Group Actions and the Orbit-Stabilizer Theorem

April 11, 2026 · Luciano Muratore

1. Group Actions: Definition and Examples

A group action is a function that describes how a group $G$ interacts with a set $X$. It is defined as a map $\cdot:G\times X\rightarrow X$ where $(g,x)\mapsto g\cdot x$.

Axioms

To be a valid group action, the map must satisfy two conditions:

• Identity: $1_{G}\cdot x=x$ for all $x\in X$.
• Compatibility: $(gh)\cdot x=g\cdot(h\cdot x)$ for all $g, h \in G$ and $x \in X$.

Examples

• Permutations: The symmetric group $S_n$ acts on the set $\{1, 2, \dots, n\}$ by permutation.
• Linear Algebra: $GL_n(\mathbb{R})$ acts on $\mathbb{R}^n$ via matrix multiplication.
• Conjugation: Any group can act on itself where $g\cdot x=gxg^{-1}$.

2. Orbits and Stabilizers

Group actions allow us to break down a set $X$ into manageable pieces based on the movement of elements.

• Orbit ($\mathcal{O}(x)$): The set of all points in $X$ that $x$ can reach under the action of $G$.Orbits form a partition of the set $X$.
• Stabilizer ($G_x$): The set of elements in $G$ that fix a specific element $x$ ($g \cdot x = x$). The stabilizer is always a subgroup of $G$.
• Transitive Action: An action is transitive if it results in exactly one orbit.

3. The Orbit-Stabilizer Theorem

This theorem is a fundamental counting tool that relates the size of a group to its orbits and stabilizers.

Theorem: For a finite group $G$ acting on a set $X$, and any $x\in X$: $|G|=|\mathcal{O}(x)|\cdot|G_{x}|$

• Proof Concept: There is a bijection between the orbit $\mathcal{O}(x)$ and the set of left cosets $G/G_x$.
• Transitive Case: If $G$ acts transitively, then $|X| = \frac{|G|}{|G_x|}$.

4. Conjugation, Centers, and Normalizers

Specific actions on the group itself reveal its internal algebraic structure.

Conjugation Action

In this action, orbits are called conjugacy classes ($\mathcal{C}(x)$) and stabilizers are called centralizers ($C_G(x)$).

• Centralizer of a Subset: $C_G(S) = \{g \in G \mid gs = sg \text{ for all } s \in S\}$.

The Center $Z(G)$

The center consists of elements that commute with everything in the group.

• $Z(G)$ is the intersection of all centralizers: $Z(G) = \bigcap_{x \in G} C_G(x)$.
• It is a normal subgroup of $G$.

Normalizers

When $G$ acts on its set of subgroups by conjugation ($g \cdot H = gHg^{-1}$), the stabilizer is called the normalizer, $N_G(H)$.

• $N_G(H)$ is the largest subgroup of $G$ in which $H$ is a normal subgroup.

5. Geometric Applications: Symmetries

Symmetries of a Cube

The proper rotation group of a cube has order 24. Using the Orbit-Stabilizer Theorem on the 8 vertices:

• Orbit Size: 8 (any vertex can be rotated to any other).
• Stabilizer Size: 3 (rotations fixing a vertex permute the 3 incident edges).
• Total Rotations: $8 \times 3 = 24$.

Triangular Prism

The symmetry group of a right regular triangular prism includes base symmetries ($D_3$) and vertical reflections.

• Total isometries: $6 \times 2 = 12$.
• The group is isomorphic to $D_6$ (the dihedral group of order 12) or $D_3 \times \mathbb{Z}_2$.

6. Applications and Summary

Group actions translate algebraic structure into geometric intuition.

• Counting: Useful for solving complex counting problems in combinatorics.
• Classification: Essential for the classification of finite simple groups.
• Puzzles: Provides the mathematical foundation for understanding the Rubik’s Cube.