Characteristic subgroup

In group theory, a subgroup H of a group G is termed characteristic or fully invariant if the following holds: Given any automorphism $\sigma$ of G and any element h in H, $\sigma (h)\in H$.

Any characteristic subgroup of a group is normal.

Some elementary examples and non-examples

Functions giving subgroups

The group itself and the trivial subgroup are characteristic.

Any procedure that, for any given group, outputs a unique subgroup of it, must output a characteristic subgroup. Thus, for instance, the centre of a group is a characteristic subgroup. The center is defined as the set of elements that commute with all elements. It is characteristic because the property of commuting with all elements does not change upon performing automorphisms.

Similarly, the Frattini subgroup, which is defined as the intersection of all maximal subgroups, is characteristic because any automorphism will take a maximal subgroup to a maximal subgroup.

The commutator subgroup is characteristic because an automorphism permutes the generating commutators

Non-examples

Since every characteristic subgroup is normal, an easy way to find examples of subgroups which are not characteristic is to find subgroups which are not normal. For instance, the subgroup of order two in the symmetric group on three elements, is a non-normal subgroup.

There are also examples of normal subgroups which are not characteristic. The easiest class of examples is as follows. Take any nontrivial group G. Then consider G as a subgroup of $G\times G$. The first copy G is a normal subgroup, but it is not characteristic, because it is not invariant under the exchange automorphism $(x,y)\mapsto (y,x)$.

References

• Marshall Hall jr (1959). The theory of groups. New York: Macmillan, 31.