G/Z(G) is Isomorphic to Inn(G)

G/Z(G) is Isomorphic to Inn(G)

Proposition 1: Let $G$ be a group. Then $G/Z(G)$ is isomorphic to $\mathrm{Inn}(G)$.

Recall that $Z(G) = C_G(G)$ is the center of $G$, i.e., all elements of $g$ that commute with every element of $G$. Also recall that $\mathrm{Inn}(G)$ is the set of all inner automorphisms of $G$.

  • Proof: Let $\phi : G \to \mathrm{Inn}(G)$ be defined for all $a \in G$ by:
(1)
\begin{align} \quad \phi(a) = i_a \end{align}
  • Then $\phi$ is a homomorphism since for all $a, b \in G$ we have that for all $g \in G$:
(2)
\begin{align} \quad [\phi(ab)](g) = [i_{ab}](g) = (ab)g(ab)^{-1} = abgb^{-1}a^{-1} =ai_b(g)a^{-1} = [i_a \circ i_b](g) = [\phi(a) \circ \phi(b)](g) \end{align}
  • So $\phi(ab) = \phi(a) \circ \phi(b)$. Now observe that:
(3)
\begin{align} \quad \ker (\phi) &= \{ a \in G : i_a = i_e \} \end{align}
  • Note that $i_a = i_e$ if and only if $i_a(g) = i_e(g)$ for all $g \in G$, i.e., if and only if $aga^{-1} = g$ for all $g \in G$, i.e., if and only if $ag = ga$ for all $g \in G$. So $i_a = i_e$ if and only if $a \in Z(G)$. Thus:
(4)
\begin{align} \quad \ker (\phi) = Z(G) \end{align}
(5)
\begin{align} \quad G/Z(G) = G/\ker(\phi) \cong \phi(G) \end{align}
  • Furthermore, observe that $\phi$ is surjective since for all $i_a \in \mathrm{Inn}(G)$ we have that $a \in G$ is such that $\phi(a) = i_a$. So $\phi(G) = \mathrm{Inn}(G)$. From above we conclude that:
(6)
\begin{align} \quad G/Z(G) \cong \mathrm{Inn}(G) \quad \blacksquare \end{align}
Corollary 2: Let $G$ be a group. If $\mathrm{Inn}(G)$ is cyclic then $G$ is an abelian group.
  • Proof: From proposition 1 we know that $G/Z(G)$ is isomorphic to $\mathrm{Inn}(G)$. So if $\mathrm{Inn}(G)$ is abelian then $G/Z(G)$ is abelian.
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License