Commutator subgroup

From Wikipedia, the free encyclopedia

In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.

The commutator subgroup is important because it is the smallest normal subgroup such that the quotient group of the original group by this subgroup is abelian. So in some sense it provides a measure of how far the group is from being abelian; the larger the commutator subgroup is, the "less abelian" the group is.

Contents

[edit] Definition

Given a group G the commutator subgroup [G,G] (also called the derived subgroup, and denoted G′ or G(1)) of G is the subgroup generated by all the commutators[1] [g,h]: = g − 1h − 1gh of elements of G, that is

[G,G] = \langle g^{-1}h^{-1}gh \, | \, g, h \in G\rangle .

The commutator subgroup is a fully characteristic subgroup: it is closed under all endomorphisms of the group. In particular, the commutator subgroup is a normal subgroup.

[edit] Derived Series

This construction can be iterated:

G(0): = G
G^{(n)} := [G^{(n-1)},G^{(n-1)}] \quad n \in \mathbb{N}

The groups G^{(2)}, G^{(3)}, \ldots are called the second derived subgroup, third derived subgroup, and so forth, and the descending normal series

\cdots \triangleleft G^{(2)} \triangleleft G^{(1)} \triangleleft G^{(0)} = G

is called the derived series. This should not be confused with the lower central series, whose terms are Gn: = [Gn − 1,G], not G(n): = [G(n − 1),G(n − 1)].

For a finite group, the derived series terminates in a perfect group, which may or may not be trivial. For an infinite group, the derived series need not terminate at a finite stage, and one can continue it to infinite ordinal numbers via transfinite recursion, thereby obtaining the transfinite derived series, which eventually terminates at the perfect core of the group.

[edit] Special Classes of Groups

A group G is an abelian group if and only if the derived group is trivial: [G,G] = e. Equivalently, if and only if the group equals its abelianization.

A group G is a perfect group if and only if the derived group equals the group itself: [G,G] = G. Equivalently, if and only if the abelianization of the group is trivial. This is "opposite" to abelian.

A group with G(n) = {e} for some n in N is called a solvable group; this is weaker than abelian, which is the case n = 1.

A group with G(α) = {e} for some ordinal number, possibly infinite, is called a hypoabelian group; this is weaker than solvable, which is the case n is finite (a natural number).

[edit] Abelianization

The quotient group G / [G,G] is an abelian group called the abelianization of G or G made abelian. It is the "largest" abelian group to which G maps, in the sense of a universal property.

It is usually denoted by Gab or Gab.

The abelianization of G coincides with the first homology group of G.

[edit] Notes

In general the set of all commutators of the group is not a subgroup so we have to consider the subgroup generated by them. The smallest examples are two non-isomorphic groups of order 96. In each of these examples, the elements of the derived subgroup may be written as a product of two commutators.

The commutator subgroup can also be defined as the set of elements g of the group which have an expression as a product g=g1g2...gk that can be rearranged to give the identity.

[edit] Examples

[edit] Properties

A group is abelian if and only if its commutator subgroup is the trivial group {e}.

Given a group G, a factor group G/N is abelian if and only if [G,G] ⊂ N.

If f : G → H is a group homomorphism, then f([G,G]) is a subgroup of [H,H], because f maps commutators to commutators. This implies that the operation of forming derived groups is a functor from the category of groups to the category of groups.

Applying this to endomorphisms of G, we find that [G,G] is a fully characteristic subgroup of G, and in particular a normal subgroup of G. (To reach the final conclusion, simply take conjugation with any particular g in G to be the automorphism in question. We see that g-1[G,G]g = [G,G] for every g in G, and therefore that [G,G] is a normal subgroup of G. This is shown explicitly below).

[edit] Category theory

In the language of category theory, abelian groups are a reflective subcategory of the category of groups, and abelianization is the reflector: the functor which assigns to every group its abelianization is left adjoint to the inclusion of abelian groups in groups.

In other words, Gab=G/[G,G] is the maximal abelian quotient of G.

In terms of universal properties, the commutator subgroup satisfies the following:

Given a group G, the commutator subgroup [G,G] is the uniquely defined subgroup[2] of G so that given any homomorphism f\colon G \to A from G to an abelian group A, then there exists a unique homomorphism s\colon G/[G,G] \to A such that s \circ \pi = f, where π is the abelianization \pi\colon G \to G/[G,G] .

[edit] Normality Property

The commutator subgroup is a normal subgroup. That is, [G,G]\triangleleft G.

Proof: If g in G and h in [G,G] then hg = h[h,g] is the product of two elements of [G,G].

Furthermore, if H is a subgroup of G that contains [G,G], then H is normal in G.

Proof: If g in G and h in H, then hg = h[h,g] is the product of two elements of H.

[edit] Map from Out

Since the derived subgroup is characteristic, any automorphism of G induces an automorphism of the abelianization. Since the abelianization is abelian, inner automorphisms act trivially, hence this yields a map

\mbox{Out}(G) \to \mbox{Aut}(G^{\mbox{ab}})

[edit] Footnotes

  1. ^ Some authors use the opposite convention of [g,h]: = ghg − 1h − 1; this does not change the definition of commutator subgroup, as inverting switches between conventions: [g − 1,h − 1] = ghg − 1h − 1.
  2. ^ [G,G] is a well-defined subgroup, since it is (fully) characteristic; it is not only "defined up to unique isomorphism", as is common in universal properties, as any isomorphism of G stabilizes it.

[edit] See also