Characteristic subgroup (source code)

= Characteristic subgroup
{wiki}

A subgroup is characteristic when every automorphism of the ambient group maps it to itself. A uniquely determined subgroup of a given order or structural type is characteristic.