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.