I'm supposed to prove that if $G$ is a group and $Z$ is the set of all $a \in G$ with $ax = xa$ for all $x \in G$ then the cosets of $Z$ in $G$ are isomorphic to the group of inner automorphisms of $G$ which is the set of all functions $x \mapsto gxg^{-1}$ for $g \in G$. So probably the isomorphism here is gonna be $gZ \mapsto (x \mapsto gxg^{-1})$ because what else would it be? Nothing. And so it's pretty clear that this here is a morphism and surjective but I get nowhere trying to prove it is injective. $axa^{-1} = bxb^{-1} \forall x\rightarrow ??? \rightarrow aZ = bZ$, in summary.
Cosets of center and Inner automorphisms
1
$\begingroup$
abstract-algebra
-
0It's cleaner to use the first isomorphism theorem. You've written down a surjective homomorphism $G \to \text{Inn}(G)$. What is its kernel? – 2012-12-02
1 Answers
0
Suppose that $axa^{-1}=bxb^{-1}$ for all $x\in G$; then $x=a^{-1}bxb^{-1}a=\left(b^{-1}a\right)^{-1}x\left(b^{-1}a\right)$ for all $x\in G$, so $\left(b^{-1}a\right)x=x\left(b^{-1}a\right)$ for all $x\in G$, and therefore $b^{-1}a\in Z$. There’s not much left; can you finish it from here?
Alternatively, you could back up and try a slightly less computational approach: for what $g\in G$ is it true that the map $x\mapsto gxg^{-1}$ is the identity? These $g$ would form the kernel of your mapping $\varphi$ from $G$ to $\operatorname{Inn}(G)$. Clearly $gxg^{-1}=g$ for all $x\in G$ iff $gx=xg$ for all $x\in G$ iff $g\in Z$. In other words, $\ker\varphi=Z$; what does that tell you about $G/Z$?
-
0@To$b$y: You’re very welcome. – 2012-12-02