2
$\begingroup$

Let $G$ be a group with center $Z(G)$ and let $\sim$ denote the conjugancy equivalence relation on $G$ (that is, $a \sim b$ iff $\exists g \in G$ s.t. $a = gbg^{-1}$). Finally let $[a]$ denote the conjugacy class which contains $a \in G$.

Now if $a \in Z(G)$ it is clear that $[a] = \{a\}$, for if $b = gag^{-1}$, then $b = a$ so that $[a] = \{a\}$ as desired.

Yet it is not clear to me why the converse is true (that is if $[a] = \{a\}$ that we necessarily have $a \in Z(G)$). If we assume that $[a] = \{a\}$, then clearly there exists a $g \in G$ s.t. $a = gag^{-1}$ (since $\sim$ is an equivalence relation which means $a \sim a$ $\forall a \in G$). But we cannot know that $a \in Z(G)$ until all such elements $g \in G$ satisfy this property, not merely a single one of them. How do I show this?

2 Answers 2

3

Note that $a=gbg^{-1}$ if and only if $b=(g^{-1})a(g^{-1})^{-1}$. Hence, if $b\in[a]$, then $b\in\{hah^{-1}:h\in G\},$ and the converse holds, as well. In other words, $[a]=\{hah^{-1}:h\in G\}$. If $[a]=\{a\}$, then $hah^{-1}=a$ for all $h\in G$, so $a\in Z(G)$.

4

The conjugacy class of an element is its orbit under conjugation by the whole group. In other words, the conjugacy class of $x$ is the set $\{g^{-1}xg : g \in G\}$. If this set only consists of $x$, then necessarily $g^{-1}xg =x$ for every $g\in G$. So $x\in Z(G)$.

  • 0
    @user1770201 $b=g^{-1}ag$ if and only if $a=(g^{-1})^{-1}b(g^{-1})$.2012-11-24