Abelization
The Abelisierung (also Abelianisierung or Faktorkommutatorgruppe ) is a construction of the mathematical part area of group theory . Abelizing a group is in some ways the best approximation by an Abelian group .
definition
The factor group
a group after its commutator subgroup is called the abelization of . The term abelization is also used for canonical surjection
used.
properties
- Abelization is an Abelian group; the abelization of an Abelian group is the group itself.
- If a group homomorphism, the concatenation induces a canonical homomorphism ; the abelization is functional.
- The Abelization is left adjoint to the forget function from the category of the Abelian groups to the category of all groups, i.e. H. is any group and an Abelian group, the canonical mapping induces a bijection
- In other words: Every homomorphism into an Abelian group factors via the Abelization.
- Have particular and the same characters .
- The abelization of a group is canonically dual to group cohomology
Examples
- If a simple group is not Abelian, then its Abelization is the trivial group .
- For a well - dotted path-connected topological space , the first homology group is the abelization of the fundamental group .
- The class field theory deals with the description of the Abelization of the absolute Galois group of a number field .
Relocation
If a subgroup is a finite group , there is a canonical homomorphism
called the relocation . It is dual to the correction
but can also be described explicitly: Let it be a section of the canonical projection (no homomorphism, just a mapping). Then the shift is given by
swell
- ↑ JP May: A Concise Course in Algebraic Topology . University of Chicago Press, Chicago 1999. ISBN 0-226-51183-9 : Sections 14.4 and 15.1
- ^ J. Neukirch, A. Schmidt, K. Wingberg: Cohomology of number fields . Springer-Verlag, Berlin-Heidelberg-New York 1999, ISBN 3-540-66671-0 : Section I.5, p. 52f.