Center is characteristic

The center of a group is invariant under all automorphisms
Center is characteristic

Proposition (Center is characteristic). Let GG be a and let Z(G)Z(G) denote its . Then Z(G)Z(G) is a of GG; that is, for every automorphism φAut(G)\varphi\in \mathrm{Aut}(G) one has φ(Z(G))=Z(G)\varphi(Z(G))=Z(G).

Context. “Characteristic” is stronger than normal: every characteristic subgroup is normal, but not conversely. The center is the basic example of a subgroup defined purely by the intrinsic multiplication structure of GG, so it must be preserved by all automorphisms.