Orbits and Stabilizers

Abstract Algebra · Axiom Academy

Understanding how groups act on sets through orbits (where we can go) and stabilizers (what keeps us fixed) The orbit is the set of all elements we can reach from x by applying group elements. Think of it as "everywhere x can travel under the group action." The stabilizer consists of all group elements that fix x —they leave it unchanged. The stabilizer is always a subgroup of G . 3. The Orbit-Stabilizer Theorem This fundamental theorem states that the size of the group equals the size of the orbit times the size of the stabilizer. In other words: Key Insight: Elements with larger stabilizers have smaller orbits, and vice versa. The product is always constant—the order of G . The proof establishes a bijection between the orbit G · x and the left cosets of the stabilizer G x . 5. Geometric Example: Square Symmetries Consider the dihedral group D ₄ (symmetries of a square) acting on the vertices 1, 2, 3, 4 . The group has order 8: four rotations and four reflections.

This is the written version of the interactive lesson above. See the full Abstract Algebra course.