Difference between revisions of "Commutator subgroup"

Revision as of 11:00, 12 May 2015

Definition

Let $C$ be the group generated by the set of all commutators of a group $(G,\times)$. Then $C$ is a sugroup of $G$, furthermore it is a normal subgroup. That is to say:

• $$C=\langle\{[g,h]\in G\ |\ g,h\in G\}\rangle$$

TODO: Finish page