# Difference between revisions of "Abelianization"

From Groupprops

(New page: ==Definition== ===Abelianization as a group=== The '''Abelianization''' of a group <math>G</math> is defined in the following equivalent ways: # It is the quotient of the group by its [...) |
|||

Line 18: | Line 18: | ||

===Abelianization as a functor=== | ===Abelianization as a functor=== | ||

− | The Abelianization is a functor <math>\operatorname{Ab}</math>from the [[category of groups]] to the subcategory which is the [[category of Abelian groups]], along with a natural transformation from the identity functor on the category of groups to the functor <math>\operatorname{Ab}</math> (where <math>\operatorname{Ab} is viewed as a self-functor on the category of Abelian groups), defined as follows: | + | The Abelianization is a functor <math>\operatorname{Ab}</math>from the [[category of groups]] to the subcategory which is the [[category of Abelian groups]], along with a natural transformation from the identity functor on the category of groups to the functor <math>\operatorname{Ab}</math> (where <math>\operatorname{Ab}</math> is viewed as a self-functor on the category of Abelian groups), defined as follows: |

* On objects: It sends each group to the quotient group by its commutator subgroup. The corresponding natural transformation is the quotient map. | * On objects: It sends each group to the quotient group by its commutator subgroup. The corresponding natural transformation is the quotient map. |

## Latest revision as of 16:36, 11 October 2008

## Contents

## Definition

### Abelianization as a group

The **Abelianization** of a group is defined in the following equivalent ways:

- It is the quotient of the group by its commutator subgroup: in other words, it is the group .
- It is the quotient of by the relation .
- It is an Abelian group such that there exists a surjective homomorphism with the following property. Whenever is a homomorphism and is an Abelian group, there is a unique homomorphism such that .

### Abelianization as a homomorphism

The **Abelianization** of a group is defined in the following equivalent ways:

- It is the quotient map , where the kernel, , is the commutator subgroup of .
- It is a homomorphism to an Abelian group with the following property. Whenever is a homomorphism and is an Abelian group, there is a unique homomorphism such that .

### Abelianization as a functor

The Abelianization is a functor from the category of groups to the subcategory which is the category of Abelian groups, along with a natural transformation from the identity functor on the category of groups to the functor (where is viewed as a self-functor on the category of Abelian groups), defined as follows:

- On objects: It sends each group to the quotient group by its commutator subgroup. The corresponding natural transformation is the quotient map.
- On morphisms: The morphism is the unique one so that the quotient map described here
*is*a natural transformation.

## Related terminology

- Abelian group: A group such that the quotient map to is Abelianization is the identity map.
- Perfect group: A group whose Abelianization is trivial.