## Commutator Subgroups

If we have a group , it may or may not be abelian. We can measure how nonabelian it is with the commutator subgroup . This is the subgroup generated by all the commutators in . Start with all the elements of of the form with and any elements of . If is abelian, these are all trivial.

If is not abelian, is a nontrivial normal subgroup of (verify), so we can form the quotient . This group *is* abelian. In fact, there’s a universal property floating around. If we have a group , an abelian group , and a homomorphism , there is a unique homomorphism so that is the composition . From this we can see that if is any normal subgroup of with abelian, then .

We can repeat this construction. Define to be itself, and . This series of subgroups is extremely important in the classification of groups. If eventually it bottoms out at the trivial subgroup we say the group is “solvable”, which recalls the origins of group theory in finding solutions to polynomial equations. We say a group where is “perfect”. If the series of groups ever hits a perfect group then it stops and will never bottom out, so the original group can’t be solvable.

In 1963, John Thompson and Walter Feit proved that a finite group with an odd number of elements is solvable. Their paper ran over 250 pages, consuming an entire issue of the *Pacific Journal of Mathematics*. If you’re up for it, you can read it yourself. This result really got the ball rolling on the project to completely classify *all* finite simple groups. The classification is considered by many to be complete, spanning tens of thousands of pages in over 500 articles. Since it’s so huge a body, some people think that no one person can check it all over and thus verify the classification. The controversy rages on.

[…] Next we review a character table for a finite group. This is pretty classical stuff that most mathematicians have some handle on. We view it as a function of two variables. One runs over the conjugacy classes of the group, while the other runs over a list of (equivalence classes of) irreducible representations. It turns out that these two sets are the same size, and it’s common to pick an ordering of each to arrange the function into a table. The Atlas of Finite Simple Groups classified all of these groups and calculated their character tables, as I’ve mentioned. […]

Pingback by Admissible Character Tables for Real Reductive Algebraic Groups « The Unapologetic Mathematician | April 9, 2007 |

[…] we do have something rather closely related: the commutator in the sense of a group. That is, we can flow forwards along , then along , then backwards along […]

Pingback by What Does the Bracket Measure? (part 1) « The Unapologetic Mathematician | June 23, 2011 |

[…] https://unapologetic.wordpress.com/2007/03/14/commutator-subgroups/ […]

Pingback by Commutator subgroup; quaternions; cyclic groups | Peter's ruminations | September 24, 2011 |