Group Inn Automorphisms – Proving $\#\text{Inn}(G) \geq 4$ for Non-Abelian Groups

abelian-groupsabstract-algebraautomorphism-groupcyclic-groupsgroup-theory

I am trying to prove that if a group $G$ is non-abelian, that the inner automorphism group has four elements, so $\# \text{Inn}(G) \geq 4$.

So far I figured the following things:

Suppose $G$ is not abelian. Then $G/Z(G)$ is not cyclic, and thus $G/Z(G)$ has at least two generators. I know that automorphisms are determined by where they sent their generator. This is where I am stuck.

Any ideas?

Best Answer

The contrapositive is much clearer:

If $\#\text{Inn}(G) < 4$, then $G$ is abelian

The key facts are

  • $\text{Inn}(G) \cong G/Z(G)$

  • All groups of order less than $4$ are cyclic

  • If $G/Z(G)$ is cyclic then $G$ is abelian