ENCYCLOPEDIA 4U .com

 Web Encyclopedia4u.com

# Derived group

In mathematics, the derived group (or commutator subgroup) of a group G is the subgroup G1 generated by all the commutators of elements of G; that is, G1 = <[g,h] : g,h in G>.

The derived group, in a sense, gives a measure of how far G is from being abelian; the larger G1, the "less abelian" G is. In particular, G1 is equal to {1} if and only if the group G is abelian.

If f : G -> H is a group homomorphism, then f(G1) is a subset of H1, 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 f, we find that G1 is a fully characteristic subgroup of G, and in particular a normal subgroup of G. The quotient G/G1 is an abelian group sometimes called G made abelian, or the abelianization of G. In a sense, it is the abelian group that's "closest" to G, which can be expressed by the following universal property: if p : G -> G/G1 is the canonical projection, and f : G -> A is any homomorphism from G to an abelian group A, then there exists exactly one homomorphism s : G/G1 -> A such that s o p = f. In the language of category theory: the functor which assigns to every group its abelianization is left adjoint to the forgetful functor which assigns to every abelian group its underlying group.

In particular, a quotient G/N of G is abelian if and only if N includes G1.

A group is called perfect if it is equal to its derived group.

Content on this web site is provided for informational purposes only. We accept no responsibility for any loss, injury or inconvenience sustained by any person resulting from information published on this site. We encourage you to verify any critical information with the relevant authorities.