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: for every φAut(G)\varphi\in\operatorname{Aut}(G),

φ(Z(G))=Z(G).\varphi(Z(G))=Z(G).
Remarks

Every characteristic subgroup is normal, but the converse need not hold. The center is preserved because automorphisms preserve commutation: if zZ(G)z\in Z(G), then φ(z)φ(g)=φ(g)φ(z)\varphi(z)\varphi(g)=\varphi(g)\varphi(z) for every gGg\in G.