Group Actions and Sylow Theorems - Core Definitions

Group actions provide a framework for studying how groups act on sets, unifying many concepts in group theory and revealing deep structural properties.

DefinitionGroup Action

A group action of a group $G$ on a set $X$ is a function $\cdot: G \times X \to X$ , written $(g, x) \mapsto g \cdot x$ , satisfying:

Identity: $e \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$

We say " $G$ acts on $X$ " or " $X$ is a $G$ -set".

ExampleClassical Group Actions

Conjugation: $G$ acts on itself by $g \cdot x = gxg^{-1}$
Left multiplication: $G$ acts on itself by $g \cdot x = gx$
Coset action: $G$ acts on $G/H$ by $g \cdot (aH) = (ga)H$
Linear action: $GL_n(\mathbb{R})$ acts on $\mathbb{R}^n$ by matrix multiplication
Symmetries: The dihedral group $D_n$ acts on a regular $n$ -gon

DefinitionOrbit and Stabilizer

For a group action of $G$ on $X$ and an element $x \in X$ :

The orbit of $x$ is: $\text{Orb}(x) = \{g \cdot x : g \in G\}$

The stabilizer of $x$ is: $\text{Stab}(x) = \{g \in G : g \cdot x = x\}$

The stabilizer is always a subgroup of $G$ .

The orbit of $x$ consists of all elements that $x$ can be moved to by the group action. The stabilizer consists of all group elements that fix $x$ . These concepts are dual: orbits partition $X$ into equivalence classes, while stabilizers measure symmetry at individual points.

TheoremOrbit-Stabilizer Theorem

For a finite group $G$ acting on a set $X$ and any $x \in X$ : $|G| = |\text{Orb}(x)| \cdot |\text{Stab}(x)|$

Equivalently: $|\text{Orb}(x)| = [G : \text{Stab}(x)]$

This fundamental result relates the size of an orbit to the size of its stabilizer. It generalizes Lagrange's theorem and is crucial for counting arguments in group theory.

Remark

Group actions provide a unifying language for many group-theoretic phenomena. Cayley's theorem (every group is isomorphic to a group of permutations) follows from the left multiplication action. The class equation, Sylow theorems, and Burnside's lemma all arise naturally from studying group actions.

Understanding group actions requires thinking geometrically: how does the group transform the underlying set? This perspective connects abstract algebra with geometry, topology, and representation theory.