Difference between revisions of "Abelianization"

From Groupprops
Jump to: navigation, search
(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

Definition

Abelianization as a group

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

  1. It is the quotient of the group by its commutator subgroup: in other words, it is the group G/[G,G].
  2. It is the quotient of G by the relation xy = yx.
  3. It is an Abelian group A such that there exists a surjective homomorphism f:G \to A with the following property. Whenever \varphi:G \to H is a homomorphism and H is an Abelian group, there is a unique homomorphism \psi: A \to H such that \varphi = \psi \circ f.

Abelianization as a homomorphism

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

  1. It is the quotient map G \to G/[G,G], where the kernel, [G,G], is the commutator subgroup of G.
  2. It is a homomorphism f: G \to A to an Abelian group A with the following property. Whenever \varphi:G \to H is a homomorphism and H is an Abelian group, there is a unique homomorphism \psi: A \to H such that \varphi = \psi \circ f.

Abelianization as a functor

The Abelianization is a functor \operatorname{Ab}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 \operatorname{Ab} (where \operatorname{Ab} 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.