The Order of a Conjugacy Class Divides the Order of the Group

Group Theory Problems and Solutions in Mathematics

Problem 455

Let $G$ be a finite group.
The centralizer of an element $a$ of $G$ is defined to be
\[C_G(a)=\{g\in G \mid ga=ag\}.\]

A conjugacy class is a set of the form
\[\Cl(a)=\{bab^{-1} \mid b\in G\}\] for some $a\in G$.


(a) Prove that the centralizer of an element of $a$ in $G$ is a subgroup of the group $G$.

(b) Prove that the order (the number of elements) of every conjugacy class in $G$ divides the order of the group $G$.

 
LoadingAdd to solve later

Proof.

(a) Prove that the centralizer of $a$ in $G$ is a subgroup of $G$.

Since the identity element $e$ of $G$ satisfies $ea=a=ae$, it is in the centralizer $C_G(a)$.
Hence $C_G(a)$ is not an empty set. We show that $C_G(a)$ is closed under multiplications and inverses.

Let $g, h \in C_G(a)$. Then we have
\begin{align*}
(gh)a&=g(ha)\\
&=g(ah) && \text{since $h\in C_G(a)$}\\
&=(ga)h\\
&=(ag)h&& \text{since $g\in C_G(a)$}\\
&=a(gh).
\end{align*}
So $gh$ commutes with $a$ and thus $gh \in C_G(a)$.
Thus $C_G(a)$ is closed under multiplications.

Let $g\in C_G(a)$. This means that we have $ga=ag$.
Multiplying by $g^{-1}$ on the left and on the right, we obtain
\begin{align*}
g^{-1}(ga)g^{-1}=g^{-1}(ag)g^{-1},
\end{align*}
and thus we have
\[ag^{-1}=g^{-1}a.\] This implies that $g^{-1}\in C_G(a)$, hence $C_G(a)$ is closed under inverses.

Therefore, $C_G(a)$ is a subgroup of $G$.

(b) Prove that the order of every conjugacy class in $G$ divides the order of $G$.

We give two proofs for part (b).The first one is a more direct proof and the second one uses the orbit-stabilizer theorem.

The First Proof of (b).

By part (a), the centralizer $C_G(a)$ is a subgroup of the finite group $G$.
Hence the set of left cosets $G/C_G(a)$ is a finite set, and its order divides the order of $G$ by Lagrange’s theorem.

We prove that there is a bijective map from $G/C_G(a)$ to $\Cl(a)$.
Define the map $\phi:G/C_G(a) \to \Cl(a)$ by
\[\phi\left(\, gC_G(a) \,\right)=gag^{-1}.\]

We must show that it is well-defined.
For this, note that we have
\begin{align*}
gC_G(a)=hC_G(a) &\Leftrightarrow h^{-1}g\in C_G(a)\\
& \Leftrightarrow (h^{-1}g)a(h^{-1}g)^{-1}=a\\
& \Leftrightarrow gag^{-1}=hag^{-1}.
\end{align*}
This computation shows that the map $\phi$ is well-defined as well as $\phi$ is injective.
Since the both sets are finite sets, this implies that $\phi$ is bijective.
Thus, the order of the two sets is equal.

It yields that the order of $C_G(a)$ divides the order of the finite group $G$.

The Second Proof of (b). Use the Orbit-Stabilizer Theorem

We now move on to the alternative proof.
Consider the action of the group $G$ on itself by conjugation:
\[\psi:G\times G \to G, \quad (g,h)\mapsto g\cdot h=ghg^{-1}.\]

Then the orbit $\calO(a)$ of an element $a\in G$ under this action is
\[\calO(a)=\{ g\cdot a \mid g\in G\}=\{gag^{-1} \mid g\in G\}=\Cl(a).\]

Let $G_a$ be the stabilizer of $a$.
Then the orbit-stabilizer theorem for finite groups say that we have
\begin{align*}
|\Cl(a)|=|\calO(a)|=[G:G_a]=\frac{|G|}{|G_a|}
\end{align*}
and hence the order of $\Cl(a)$ divides the order of $G$.

Note that the stabilizer $G_a$ of $a$ is the centralizer $C_G(a)$ of $a$ since
\[G_a=\{g \in G \mid g\cdot a =a\}=\{g\in G \mid ga=ag\}=C_G(a).\]


LoadingAdd to solve later

More from my site

  • All the Conjugacy Classes of the Dihedral Group $D_8$ of Order 8All the Conjugacy Classes of the Dihedral Group $D_8$ of Order 8 Determine all the conjugacy classes of the dihedral group \[D_{8}=\langle r,s \mid r^4=s^2=1, sr=r^{-1}s\rangle\] of order $8$. Hint. You may directly compute the conjugates of each element but we are going to use the following theorem to simplify the […]
  • Group of Invertible Matrices Over a Finite Field and its StabilizerGroup of Invertible Matrices Over a Finite Field and its Stabilizer Let $\F_p$ be the finite field of $p$ elements, where $p$ is a prime number. Let $G_n=\GL_n(\F_p)$ be the group of $n\times n$ invertible matrices with entries in the field $\F_p$. As usual in linear algebra, we may regard the elements of $G_n$ as linear transformations on $\F_p^n$, […]
  • $p$-Group Acting on a Finite Set and the Number of Fixed Points$p$-Group Acting on a Finite Set and the Number of Fixed Points Let $P$ be a $p$-group acting on a finite set $X$. Let \[ X^P=\{ x \in X \mid g\cdot x=x \text{ for all } g\in P \}. \] The prove that \[|X^P|\equiv |X| \pmod{p}.\]   Proof. Let $\calO(x)$ denote the orbit of $x\in X$ under the action of the group $P$. Let […]
  • If a Finite Group Acts on a Set Freely and Transitively, then the Numbers of Elements are the SameIf a Finite Group Acts on a Set Freely and Transitively, then the Numbers of Elements are the Same Let $G$ be a finite group and let $S$ be a non-empty set. Suppose that $G$ acts on $S$ freely and transitively. Prove that $|G|=|S|$. That is, the number of elements in $G$ and $S$ are the same.   Definition (Free and Transitive Group Action) A group action of […]
  • The Center of a p-Group is Not TrivialThe Center of a p-Group is Not Trivial Let $G$ be a group of order $|G|=p^n$ for some $n \in \N$. (Such a group is called a $p$-group.) Show that the center $Z(G)$ of the group $G$ is not trivial.   Hint. Use the class equation. Proof. If $G=Z(G)$, then the statement is true. So suppose that $G\neq […]
  • Centralizer, Normalizer, and Center of the Dihedral Group $D_{8}$Centralizer, Normalizer, and Center of the Dihedral Group $D_{8}$ Let $D_8$ be the dihedral group of order $8$. Using the generators and relations, we have \[D_{8}=\langle r,s \mid r^4=s^2=1, sr=r^{-1}s\rangle.\] (a) Let $A$ be the subgroup of $D_8$ generated by $r$, that is, $A=\{1,r,r^2,r^3\}$. Prove that the centralizer […]
  • Conjugate of the Centralizer of a Set is the Centralizer of the Conjugate of the SetConjugate of the Centralizer of a Set is the Centralizer of the Conjugate of the Set Let $X$ be a subset of a group $G$. Let $C_G(X)$ be the centralizer subgroup of $X$ in $G$. For any $g \in G$, show that $gC_G(X)g^{-1}=C_G(gXg^{-1})$.   Proof. $(\subset)$ We first show that $gC_G(X)g^{-1} \subset C_G(gXg^{-1})$. Take any $h\in C_G(X)$. Then for […]
  • Normalizer and Centralizer of a Subgroup of Order 2Normalizer and Centralizer of a Subgroup of Order 2 Let $H$ be a subgroup of order $2$. Let $N_G(H)$ be the normalizer of $H$ in $G$ and $C_G(H)$ be the centralizer of $H$ in $G$. (a) Show that $N_G(H)=C_G(H)$. (b) If $H$ is a normal subgroup of $G$, then show that $H$ is a subgroup of the center $Z(G)$ of […]

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

More in Group Theory
Group Theory Problems and Solutions in Mathematics
The Product of a Subgroup and a Normal Subgroup is a Subgroup

Let $G$ be a group. Let $H$ be a subgroup of $G$ and let $N$ be a normal subgroup of...

Close