(adsbygoogle = window.adsbygoogle || []).push({}); Definition/Summary

The commutator subgroup of a group is the subgroup generated by commutators of all the elements. For group G, it is [G,G]. Its quotient group is the maximal abelian quotient group of G.

Equations

The commutator of group elements g, h:

[itex][g,h] = g h g^{-1} h^{-1}[/itex]

The commutator of groups G and H is

[itex][G,H] = \text{group generated by} \{[g,h] : g \in G ,\ h \in H\}[/itex]

Extended explanation

One can extend the concept of commutator subgroup further.

The derived series of a group G is

[itex]G^{(0)} = G[/itex]

[itex]G^{(n)} = [G^{(n-1)}, G^{(n-1)}][/itex]

If it converges on the identity group, then G issolvable.

The lower central series of a group G is

[itex]G_0 = G[/itex]

[itex]G_n = [G_{n-1}, G][/itex]

If it converges on the identity group, then G isnilpotent.

Every nilpotent group is solvable, though the converse is not necessarily true. There are some solvable groups that are not nilpotent, and the smallest one of these is the smallest nonabelian group, the symmetric group S(3) ~ dihedral group D(3).

The quotient groups between successive members of both series are always abelian.

* This entry is from our old Library feature. If you know who wrote it, please let us know so we can attribute a writer. Thanks!

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# What is a commutator subgroup

Can you offer guidance or do you also need help?

Draft saved
Draft deleted

Loading...

Similar Threads - commutator subgroup | Date |
---|---|

B Factorial! and the commutative property of multiplication | May 5, 2017 |

Reflexive Property vs Commutative Property of Addition? | Sep 16, 2015 |

Discret subgroups of O(1,3) | Aug 22, 2015 |

Commuting operators | Sep 21, 2014 |

Explain why matrix multiplication is not commutative. | Nov 13, 2013 |

**Physics Forums - The Fusion of Science and Community**