Taking abstract algebra was probably one of the best academic decisions I have made in college so far. Although it remains unclear to me where I would ever use abstract algebra given my interests in machine learning and finance, it still is one of the most fun and profound course-sequences I have taken here at UC San Diego. This blog post aims to explain the intuition and discuss some very useful applications of the class equation in group theory. Unfortunately this post assumes some elementary knowledge of abstract algebra.

The class equation

Here’s the beautiful equation: . Where are the non-singleton conjugacy classes in the group . Here refers to the center of G, and is the centralizer of the element . Note that .

Intuition / “Proof”

Although this is not the formal proof it should suffice. Firstly it should be fairly easy to see that where are the conjugacy classes. This is true because the conjugacy classes of a group partition it (because they induce an equivalence relation). Now, note that if then . This is because pick then but commutes with all . So we have . Therefore is the only element in its conjugacy class if . Therefore we can now separate our conjugacy classes into being singletons and non-singletons. The number of singleton classes is exactly equal to the size of the center of the group, as we just showed, therefore the non-singleton classes remain. Here is where I was at a lost for intuition: . If we can prove this we are clearly done. However, this is rather non-trivial fact. What this equation is saying is that the number of cosets of the normalizer of an element in is exactly equal to the number of elements in it’s conjugacy class. (How do people think of such stuff?) Anyway, here’s why it makes sense. In plain english, every coset collapses into one exact element in . Let’s show this: pick . Then such that . Now note that . Although this seems simple, it is pretty cool. What this proof is telling us that the coset is completely determined by regarding where it sits in . No matter which element you pick in a given coset, they all map to exactly one element in the conjugacy class of ! This proof can be easily formalized by showing that this is indeed an isomorphism.


Centers of p-groups

It follows directly from the class equation that p-groups can not have trivial center since no prime divides 1.

Orbit decomposition theorem

Given a G-Set , we have the following equation: . Here is the fixed set (analogous to the center of a group) and is the stablizer of the element (analogous to the normalizer). Instead of classes of an element we have the orbits of an element (which also partition X). Using the same idea as the class equation we have a much stronger equation! In fact note that the class equation is just a special case of acting upon itself via conjugation.


Abstract algebra is full of such profound, strong theorems and equations, and that’s what makes it so beautiful to study.