Visualize how groups act on sets, and the orbit-stabilizer theorem
A group can shuffle the points of a shape. Track where each point can go and what holds it still, and you get some of the best counting tools in mathematics.
Pick a part of the square — vertices, edges, diagonals, or the center — and watch D4 move it. Notice that orbit size times stabilizer size is always 8.
The orbit-stabilizer theorem says |G| = |Orbit(x)| * |Stabilizer(x)| for any x. Bigger orbits mean smaller stabilizers and vice versa.
A group action of G on a set X assigns to each group element g a bijection of X, compatibly with the group operation. Group actions provide the bridge between abstract groups and concrete symmetries of objects. Every representation is a linear group action, but group actions on finite sets are the most intuitive starting point.
The orbit of a point x is the set of all points reachable from x by applying group elements. The stabilizer of x is the subgroup that fixes x.
The orbit-stabilizer theorem says |G| = |Orbit(x)| times |Stabilizer(x)| for any point x. Explore how D4 acts on different parts of the square -- vertices, edges, diagonals, and the center -- and see how orbit size and stabilizer size trade off.
Key insight: More symmetric points have larger stabilizers and smaller orbits. The center of the square is the most symmetric point (stabilizer = all of D4), while vertices are the least symmetric (stabilizer has 2 elements).
Click a permutation to watch it shuffle four basis vectors and build its matrix. Count the 1s on the diagonal: the trace is the number of fixed points.
The permutation representation sends each permutation to its corresponding permutation matrix. The character (trace) counts fixed points.
When a group acts on a finite set, we get a permutation representationby letting the group permute the standard basis vectors. The matrix has exactly one 1 in each row and column. The trace counts fixed points.
Key insight: The character of a permutation representation counts fixed points. This connects representation theory to combinatorics and leads directly to Burnside's lemma.
Slide the number of beads and colors and see how many genuinely different necklaces there are. The count is the average number of colorings each rotation leaves fixed.
Burnside's lemma counts the number of distinct objects under a group action. Here we count necklaces up to rotational symmetry (cyclic group Z/n).
How many distinct necklaces can you make with n beads and k colors, if two necklaces that differ only by rotation are considered the same? Burnside's lemma gives the answer: average the number of fixed colorings over all group elements.
Key insight: Burnside's lemma is the trace of the permutation representation divided by the group order. It is one of the most useful counting tools in combinatorics, and it comes directly from representation theory.
Spot a mistake or have an idea?