Orbit-stabilizer theorem

Orbit-stabilizer theorem The orbit-stabilizer theorem relates the size or structure of an orbit of an element under a group action to the size or structure of its stabilizer subgroup. In finite settings it equates the order of a group with the product of the size of an orbit and the size of a stabilizer; in infinite or topological contexts it identifies canonical bijections or homeomorphisms between quotient spaces and orbits. The theorem is fundamental in the study of permutation groups, geometric symmetry, and algebraic structures and is used across works by Évariste Galois, Camille Jordan, Sophus Lie, and Emmy Noether.

Statement and basic definitions

Let a group G act on a set X. For x in X define the Stabilizer subgroup G_x = { g in G : g·x = x } and the Orbit G·x = { g·x : g in G }. The orbit-stabilizer theorem states that there is a natural bijection between the set of left cosets G/G_x and the orbit G·x. In the finite case, if |G| < ∞ then |G| = |G·x| · |G_x|. These definitions and the statement appear in classical treatments by Évariste Galois, Camille Jordan, Felix Klein, Sophus Lie, and modern expositions such as those by Emmy Noether, Hermann Weyl, William Burnside, and Marshall Hall Jr..

Proofs

One standard proof constructs the map φ: G → G·x by φ(g) = g·x and shows φ descends to a well-defined injective map from the coset space G/G_x onto G·x; surjectivity follows by definition. This approach is used in algebra texts by David Hilbert, Emmy Noether, Claude Chevalley, and Serge Lang. An alternative categorical proof interprets the action as a functor from the one-object groupoid defined by G to the category of sets and identifies the orbit as a representable functor; related expositions appear in work by Alexander Grothendieck, Saunders Mac Lane, and William Lawvere. Topological proofs for continuous group actions on spaces such as manifolds or algebraic varieties refine the bijection to a homeomorphism or isomorphism of schemes; these perspectives are treated by Élie Cartan, André Weil, Jean-Pierre Serre, and Oscar Zariski.

Examples and applications

- Permutation groups: For the symmetric group Arthur Cayley's S_n acting on {1,…,n}, stabilizers are isomorphic to S_{n-1}, and orbit sizes yield classical counting used by Augustin-Louis Cauchy and George Boole. - Geometry: The orthogonal group Wilhelm Killing's O(n) acting on Euclidean space has stabilizers isomorphic to O(n-1); this underlies classification results used by Felix Klein in his Erlangen program and by Hermann Minkowski in geometry of numbers. - Galois theory: The Galois group of a field extension acts on the set of embeddings of an extension field; orbit-stabilizer informs orbit sizes that correspond to field degrees studied by Évariste Galois and Richard Dedekind. - Representation theory: Group actions on bases of modules produce orbit counts appearing in character formulae by Frobenius and in induction-restriction techniques of George Mackey and Issai Schur. - Combinatorics and counting: Burnside’s lemma and Pólya enumeration involve stabilizers and orbits; these methods are employed in works by William Burnside, George Pólya, and Harold Davenport. - Algebraic topology: Fundamental group actions on universal covers produce orbit-stabilizer identifications used in covering space classification by Henri Poincaré and L.E.J. Brouwer. - Algebraic geometry: Group schemes acting on varieties give quotient constructions where point stabilizers and orbit dimensions enter arguments in writings by Alexander Grothendieck, Jean-Pierre Serre, and David Mumford.

Consequences and corollaries

Immediate corollaries include the orbit-counting lemma (Burnside’s lemma) connecting fixed points and orbit enumeration, Lagrange-type divisibility results for finite groups, and transitivity criteria: a transitive action is equivalent to all stabilizers being conjugate subgroups. These consequences appear in classical theorems by Joseph-Louis Lagrange, Camille Jordan, William Burnside, and Émile Borel. In addition, conjugacy class size formulas in finite group theory derive from orbit-stabilizer applied to conjugation actions, playing a role in the classification efforts culminating in work by Daniel Gorenstein and John Conway.

Generalizations and related results

Generalizations include the orbit-stabilizer relationship for groupoids, Lie group actions with isotropy subgroups and slice theorems by Marston Morse and Marcel Berger, étale groupoid actions in algebraic geometry by Alexander Grothendieck and Jean-Pierre Serre, and stacks where stabilizer groups become inertia groups in the work of Maxim Kontsevich and Pierre Deligne. Related results include Mackey’s imprimitivity theorem in representation theory, the Bruhat decomposition for algebraic groups studied by Claude Chevalley and François Bruhat, and Luna’s slice theorem used by Dominique Luna in geometric invariant theory developed by David Mumford and Frances Kirwan.

Category:Group theory