Characteristic subgroup

From Free net encyclopedia

In mathematics, a characteristic subgroup of a group G is a subgroup H that is invariant under each automorphism of G. That is, if φ : G → G is a group automorphism (a bijective homomorphism from the group G to itself), then for every x in H we have φ(x) ∈ H:

<math>\varphi(H)\sube H.</math>

It follows that

<math>\varphi(H) = H.</math>

In symbols, one denotes the fact that H is a characteristic subgroup of G by

<math>H\,\mathrm{char}\,G.</math>

In particular, characteristic subgroups are invariant under inner automorphisms, so they are normal subgroups. However, the converse is not true; for example, consider the Klein group V₄. Every subgroup of this group is normal; but all 6 permutations of the 3 non-identity elements are automorphisms, so the 3 subgroups of order 2 are not characteristic.

On the other hand, if H is a normal subgroup of G, and there are no other subgroups of the same order, then H must be characteristic; since automorphisms are order-preserving.

A related concept is that of a distinguished subgroup. In this case the subgroup H is invariant under the applications of surjective endomorphisms. For a finite group this is the same, because surjectivity implies injectivity, but not for an infinite group: a surjective endomorphism is not necessarily an automorphism.

For an even stronger constraint, a fully characteristic subgroup (also called a fully invariant subgroup) H of a group G is a group remaining invariant under every endomorphism of G; in other words, if f : G → G is any homomorphism, then f(H) is a subgroup of H.

Every fully characteristic subgroup is a characteristic subgroup; but a characteristic subgroup need not be fully characteristic. The center of a group is always a distinguished subgroup, but not always fully characteristic.

Example:

Consider the group Dih₃ × Z₂ (the group of order 12 which is the direct product of the dihedral group of order 6 and a cyclic group of order 2).

Writing the elements of Dih₃ as permutations, with identity permutation e, we can map:

• the identity, ((123),0), and ((132),0) to the identity
• (e,1), ((123),1), and ((132),1) to ((12),0)
• ((12),0), ((13),0), and ((23),0) to (e,1)
• ((12),1), ((13),1), and ((23),1) to ((12),1)

This is an endomorphism. However, the center {identity, (e,1)} is mapped to {identity, ((12),0)}, so it is not a fully characteristic subgroup.

The derived subgroup (or commutator subgroup) of a group is always a fully characteristic subgroup, as is the torsion subgroup of an abelian group.

The property of being characteristic or fully characteristic is transitive; if H is a (fully) characteristic subgroup of K, and K is a (fully) characteristic subgroup of G, then H is a (fully) characteristic subgroup of G.

Moreover, while it is not true that every normal subgroup of a normal subgroup is normal, it is true that every characteristic subgroup of a normal subgroup is normal. Similarly, while it is not true that every distinguished subgroup of a distinguished subgroup is distinguished, it is true that every fully characteristic subgroup of a distinguished subgroup is distinguished.

The relationship amongst these subgroup properties can be expressed as:

subgroup ← normal subgroup ← characteristic subgroup ← distinguished subgroup ← fully characteristic subgroup

See also: characteristically simple group.de:Charakteristische Untergruppe