44
$\begingroup$

Well, this is an exercise problem from Herstein which sounds difficult:

  • How does one prove that if $|G|>2$, then $G$ has non-trivial automorphism?

The only thing I know which connects a group with its automorphism is the theorem, $G/Z(G) \cong \mathcal{I}(G)$ where $\mathcal{I}(G)$ denotes the Inner- Automorphism group of $G$. So for a group with $Z(G)=(e)$, we can conclude that it has a non-trivial automorphism, but what about groups with center?

  • 0
    @Jonas: See, it was a misunderstanding.2010-10-30

3 Answers 3

54

As you note in the question, the group of inner automorphisms Inn($G$) is isomorphic to $G/Z(G)$. In particular, it's trivial if and only if $Z(G)=G$. So there is a non-trivial (inner) automorphism unless $G=Z(G)$.

Now, notice that, by definition, $Z(G)=G$ if and only if $G$ is abelian; so we have reduced to the abelian case.

If $G$ is abelian then $g\mapsto -g$ is an automorphism, and it is non-trivial unless $g=-g$ for all $g\in G$. But $g=-g$ if and only if the order of $g$ divdes two. So we have now reduced to the case in which $2g=0$ for all $g\in G$.

In this case, $G$ is a vector space over the field $\mathbb{Z}/2$. As $|G|$ is equal to 2 raised to the power of the $\mathbb{Z}/2$-dimension of $G$, the hypothesis that $|G|>2$ implies that $\mathrm{dim}_{\mathbb{Z/2}} G>1$. But now we can write down lots of linear automorphisms of $G$. For instance, you could fix any basis $g_1,g_2,\ldots$ and take the automorphism $g_1\mapsto g_2$, $g_2\mapsto g_1$ and $g_i\mapsto g_i$ for every $i>2$.

  • 1
    @KevinCarlson, it might not be a direct product. For instance, it might be a direct sum...2015-01-16
43

If $G$ is not abelian, then conjugation by a noncentral element will do.

If $G$ is abelian, then $x\mapsto x^{-1}$ is an automorphism. It will be nontrivial unless every element of $G$ equals its inverse, that is, if every element of $G$ is of exponent $2$.

If every element of $G$ is of exponent $2$, then $G$ is a vector space over the field of $2$ elements, so it is isomorphic to a (possibly infinite) sum of copies of $C_2$, the cyclic group of two elements. Since $|G|\gt 2$, there are at least two copies, so the linear transformation that swaps two copies of $C_2$ is a nontrivial automorphism.

  • 0
    A question related to the answer https://math.stackexchange.com/questions/2855187/an-abelian-group-as-an-mathbb-f-2-vector-space2018-07-18
4

The other two answers assume the axiom of choice:

  • Arturo Magidin uses choice when he forms the direct sum ("...it is isomorphic to a (possibly infinite) sum of copies of $C_2$...")
  • HJRW uses choice when he fixes a basis (the proof that every vector space has a basis requires the axiom of choice).

If we do not assume the axiom of choice then it is consistent that there exists a group $G$ of order greater than two such that $\operatorname{Aut}(G)$ is trivial. This is explained in this answer of Asaf Karagila.

  • 0
    Yeah, I like Norwich so far.2018-08-30