characteristic subgroup
If is a group, then is a characteristic subgroup of (written ) if every automorphism of maps to itself. That is, if and then .
A few properties of characteristic subgroups:
- •
If then is a normal subgroup
of .
- •
If has only one subgroup
of a given cardinality then that subgroup is characteristic.
- •
If and then . (Contrast with normality of subgroups is not transitive.)
- •
If and then .
Proofs of these properties:
- •
Consider under the inner automorphisms
of . Since every automorphism preserves , in particular every inner automorphism preserves , and therefore for any and . This is precisely the definition of a normal subgroup.
- •
Suppose is the only subgroup of of order . In general, homomorphisms
(http://planetmath.org/GroupHomomorphism) take subgroups to subgroups, and of course isomorphisms take subgroups to subgroups of the same order. But since there is only one subgroup of of order , any automorphism must take to , and so .
- •
Take and , and consider the inner automorphisms of (automorphisms of the form for some ). These all preserve , and so are automorphisms of . But any automorphism of preserves , so for any and , .
- •
Let and , and let be an automorphism of . Since , , so , the restriction
of to is an automorphism of . Since , so . But is just a restriction of , so . Hence .