Group Actions, Orbits and the Class Equation
A group acting on a set splits it into orbits, and each orbit has the size of an index of a stabiliser. Counting one set two ways with that relation proves results no direct argument reaches.
What a learner can do afterwards
- Identify the orbits and stabilisers of a given action
- Apply the orbit-stabiliser relation to a symmetry group
- Use the class equation to show that a group of prime-power order has a nontrivial centre
1 · Read
When a group acts on a set, you let each group element shuffle the set while respecting the group law. The orbit of a point is the set of places it can travel to, and the stabiliser is the subgroup of elements that fix it. The orbit stabiliser relation says orbit size times stabiliser size equals the group order.
Rotations of a cube send any face to any of the 6 faces, and 4 quarter turns fix a chosen face, so the rotation group holds 6 times 4, or 24, elements. Counting vertices agrees: 8 vertices times 3 spins about a body diagonal. A tetrahedron has 4 faces with 3 spins fixing each, giving 12 symmetries.
You can sort a group by letting it act on itself by conjugation, which turns orbits into conjugacy classes. Counting the set two ways gives the class equation: the group order equals the center size plus the larger class sizes. In a group of prime power order each larger class size shares the prime factor, so the center holds more than the identity, and a group of 27 elements carries central elements beyond the identity.
When the action is transitive you face a single orbit, so division does the work. A group of order 12 with a point stabiliser of size 3 has orbits of 12 divided by 3, or 4, points. A group of order 20 acting transitively on 5 objects has stabilisers of 20 divided by 5, or 4, elements.
Orbits and stabilisers split the group order between them, and the class equation turns that split into facts like nontrivial centers.
2 · Watch
Take it off screen
Where it sits
8 questions wait behind this lesson, each with its answer explained. Every answer feeds the sky: stars light as they are learned, and dim when it is time to come back.