commutator subgroup

- group, ∞-group
- group object, group object in an (∞,1)-category
- abelian group, spectrum
- group action, ∞-action
- representation, ∞-representation
- progroup
- homogeneous space

For $G$ a group its *commutator subgroup* $[G,G] \hookrightarrow G$ is the smallest subgroup containing all the group commutator elements $[g,h] \coloneqq g^{-1} h^{-1} g h$.

- The commutator subgroup is a normal subgroup. Therefore the quotient group $G^{ab} \coloneqq G/[G,G]$ exists. This is an abelian group, called the abelianization of $G$.

Last revised on August 31, 2012 at 21:07:39. See the history of this page for a list of all contributions to it.