Center is characteristic
The center of a group is invariant under all automorphisms
Center is characteristic
Proposition (Center is characteristic). Let be a group and let denote its center . Then is a characteristic subgroup of ; that is, for every automorphism one has .
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 , so it must be preserved by all automorphisms.