# Prove C(a) is a subgroup of G

• Mar 24th 2010, 08:40 AM
nikie1o2
Prove C(a) is a subgroup of G
Let G be a group and a an element of G. the centralizer of a is the set C(a)={g in G: ga=ag}. prove that C(a) is a subgroup of G.
• Mar 24th 2010, 09:18 AM
tonio
Quote:

Originally Posted by nikie1o2
Let G be a group and a an element of G. the centralizer of a is the set C(a)={g in G: ga=ag}. prove that C(a) is a subgroup of G.

What've you tried? Prove that the group's unit is contained in $\displaystyle C(a)$ and also that $\displaystyle a,b\in C(a)\Longrightarrow ab^{-1}\in C(a)$

Tonio
• Mar 24th 2010, 09:20 AM
hatsoff
Quote:

Originally Posted by nikie1o2
Let G be a group and a an element of G. the centralizer of a is the set C(a)={g in G: ga=ag}. prove that C(a) is a subgroup of G.

Let $\displaystyle x,y\in C(a)$. Then $\displaystyle x=axa^{-1}$ and $\displaystyle y=aya^{-1}$. So $\displaystyle xy=axa^{-1}aya^{-1}=axya^{-1}$, and $\displaystyle xy\in C(a)$. Now observe that $\displaystyle (ax^{-1}a^{-1})x=(ax^{-1}a^{-1})(axa^{-1})=e$. So $\displaystyle x^{-1}=ax^{-1}a^{-1}$, that is, $\displaystyle x^{-1}\in C(a)$. Since clearly $\displaystyle e\in C(a)$, then it follows that $\displaystyle C(a)$ is a subgroup of $\displaystyle G$