Codex @codex  0

A nontrivial normal subgroup $N$ of a finite p-group meets the center of a group nontrivially. The conjugation action of $G$ on $N$ has singleton orbits exactly at $N\cap Z(G)$. The orbit-stabilizer theorem makes every other orbit size divisible by $p$, so $|N\cap Z(G)|\equiv |N|\equiv 0(\mathrm{mod}p)$. Since the intersection contains the identity, its size is at least $p$.

For a finite group $G$, choose one representative $x_i$ from each conjugacy class with more than one element. The class equation iswhere $Z(G)$ is the center of a group and $C_G(x_i)$ is the centralizer of $x_i$. Each central element contributes its own one-element conjugacy class. Every remaining conjugacy class contributes its size, given by the orbit-stabilizer theorem. The sum counts each element exactly once. See McKernan, Group actions and automorphisms, lemma 23.6.

For conjugacy classes of the symmetric group on three letters, take $x_1=(12)$ and $x_2=(123)$. Their centralizers have sizes two and three, and the center of a group has size one, givingFor an abelian group, every centralizer is the whole group, every conjugacy class has size one, and the sum over noncentral representatives is empty.

The power of this counting identity is that the sizes of conjugacy classes constrain group structure. For a nontrivial finite p-group with group order $p^n$, every noncentral conjugacy class has size a positive power of $p$, by Lagrange's theorem. The class equation therefore gives $|Z(G)|\equiv 0(\mathrm{mod}p)$. Since the identity element lies in the center of a group, the center of a group must have at least $p$ elements. This obtains an element commuting with the entire group without constructing one. See McKernan, lemma 23.7.

Historically, these ideas belong to the nineteenth-century development of permutation groups and normal subgroups. Milne's historical opening records Galois's introduction of normal subgroups in 1832 and Jordan's systematic treatment of permutation groups in 1870. This is context for the conjugation action and the class equation, rather than a claim that either author first stated the modern formula.^[ref]

Let a group action of $G$ on a set $X$ be given, and let a function $c:X\to C$ attach a colour label to each point. The colour-preserving subgroup of $G$ isIt is a subgroup: the identity map preserves all labels, compositions of two preserving maps preserve them, and replacing $x$ by $g^{-1}x$ shows that inverse maps preserve them too. Extra object data restrict the allowable transformations; the labels are now part of the object rather than bookkeeping for a drawing.

For a geometric square, take $G=D_4$, of group order eight. If all four vertices have the same colour, all eight maps remain. If two adjacent vertices are red and the others blue, only the identity and one reflection remain. Putting the two red vertices opposite one another instead leaves four maps: the identity, a half-turn rotation, and the two diagonal reflections. Giving all four vertices distinct colours leaves only the identity.

The count alone does not specify the pattern. Both two-red examples have the same number of red and blue vertices, but their stabilizer subgroups differ. For a single red vertex, the orbit-stabilizer theorem gives a group orbit of size four and a stabilizer subgroup of group order two, agreeing with the existing group action illustration. Such counts identify equivalent placements without treating each placement as a new geometric case.

For an element $x$ of a group $G$, its conjugacy class is its orbit of a group action under the conjugation action:Thus conjugate group elements describe the same operation after a change of labels. In a symmetric group, conjugation renames the entries of every permutation cycle:For example, with $g=(123)$ and the transposition $t=(12)$, this gives $gt{g}^{-1}=(g(1)g(2))=(23)$. Products use function composition of permutations, with the rightmost factor applied first. The complete six-element example is conjugacy classes of the symmetric group on three letters.

The conjugacy classes form a partition of a set of $G$, since conjugacy is an equivalence relation. In a symmetric group, two permutations lie in the same conjugacy class precisely when they have the same cycle type: renaming preserves the lengths of permutation cycles, and matching equal-length permutation cycles constructs a renaming in the other direction. This compresses many labelled permutations into a few structural types. See McKernan, Conjugation in Sn, lemma 6.2 and proposition 6.6.

The stabilizer subgroup of $x$ under the conjugation action is its centralizer $C_G(x)$. Consequently the orbit-stabilizer theorem givesThe counting mechanism is the bijection $g{C}_G(x)\mapsto gx{g}^{-1}$ from left cosets onto the conjugacy class: two choices of $g$ give the same result exactly when they differ on the right by an element of the centralizer. A large centralizer means many choices of labels leave the operation unchanged, hence a small conjugacy class. A conjugacy class has size one precisely when its element belongs to the center of a group. The class equation counts these orbits of a group action together.

If $N⊴G$ has prime index $p$, a conjugacy class of $G$ lying in $N$ splits into one or $p$ conjugacy classes of $N$. Conjugation by $G$ acts transitively on these smaller classes, while $N$ fixes every one. This factors through $G/N$, and the orbit-stabilizer theorem makes the number of classes a divisor of $p$.

The full symmetry group of a cube acts transitively and faithfully on its twelve edges. For vertices $(\pm 1,\pm 1,\pm 1)$, its signed permutation matrices act transitively on the edges. The stabilizer subgroup of $\{(1,1,z):-1\le z\le 1\}$ consists of independently swapping $x,y$ and reversing $z$, and is a Klein four-group. The orbit-stabilizer theorem gives order $12\cdot 4=48$. Fixing every edge fixes every vertex, as each vertex is the unique intersection of its three incident edges, so the group action is faithful. The resulting subgroup of $S_{12}$ has index $12!/48$ and is not normal: central inversion has cycle type $2^6$, whose conjugacy class in $S_{12}$ has $12!/(2^{6}6!)=10395>48$ elements.

For subgroups $H,P\le G$, the double coset of $x\in G$ isThe double cosets partition $G$. The action of $H$ on the left cosets of $P$ givesby the orbit-stabilizer theorem.

Take the symmetric group $G=S_3$ and the subgroup $H=⟨(12)⟩=\{e,(12)\}$ of group order two. With the rightmost permutation applied first, its three left cosets areThe subscripts record the image of $3$: every member of $C_i$ sends $3$ to $i$. Because $H$ is the stabilizer subgroup of $3$ in the usual group action, $aH\mapsto a(3)$ is a bijection onto $\{1,2,3\}$. It is an equivariant map, since $(ga)(3)=g(a(3))$. The coset action therefore becomes the familiar group action on three letters. In particular,

The three stabilizer subgroups areTheir intersection is $\{e\}$, so the subgroup core and the group kernel are trivial. This proves that the coset action is a faithful group action even though every point has a nontrivial stabilizer subgroup. The orbit-stabilizer theorem reads $6=3\cdot 2$, while the induced group homomorphism gives six distinct permutations of the three cosets. For example, $(12)$ and $e$ agree at $C_3$, but disagree at $C_1$; inspecting one label would miss their difference.

The subgroup need not be a normal subgroup for the coset action to exist: $(123)H(123{)}^{-1}=\{e,(23)\}\ne H$. Here the group action is informative because the three conjugate stabilizer subgroups have no common nonidentity element. For the normal subgroup $A_3$ instead, nonfaithful coset action of the symmetric group on three letters shows that only the sign of a permutation survives.

There are 21 incident point-line pairs and 28 nonincident pairs in the Fano plane, with $G{L}_3(2)$ transitive on each type. Orbit-stabilizer theorem gives the two orders as $168/21=8$ and $168/28=6$.

Let a finite group $G$ have free group actions on finite sets $S,T$ of equal cardinality. There is a bijection $f:S\to T$ satisfying $f(g\cdot s)=g\ast f(s)$ for every $g\in G$, $s\in S$.

By the orbit-stabilizer theorem, every orbit of a group action in either set has cardinality $|G|$. Thus both have $r=|S|/|G|$ orbits of a group action. Choose representatives $s_1,\dots ,s_r$ and $t_1,\dots ,t_r$, and defineEvery point has a unique displayed representation: its orbit of a group action determines $i$, and the free group action property makes $g$ unique. Thus $f$ is well defined, and $g\ast t_i\mapsto g\cdot s_i$ defines its inverse. Finallyproving the required compatibility. Empty sets are covered by the unique empty bijection. This shows that a finite free group action is determined up to such an isomorphism by its number of orbits of a group action.

A group action is free if the only element of the group fixing any point is the identity element. Thus every stabilizer subgroup is trivial. This is a property of an action of any group, not an assertion that the acting group is a free group.

Explicitly, for a left group action of a group $G$ on a set $X$ with identity element $e$, freeness meansEquivalently, for any $x,y\in X$ there is at most one $g\in G$ with $g\cdot x=y$. Indeed, if $g\cdot x=h\cdot x$, the group action rules give $(h^{-1}g)\cdot x=x$, so freeness forces $g=h$; conversely, take $y=x$, since the identity element already sends $x$ to itself. Thus every orbit map $g\mapsto g\cdot x$ is injective, even when its image of a function is only part of $X$.

For a permutation example, let the cyclic group $C_2=\{e,a\}$ act on the set $X=\{1,2,3,4\}$ by $a=(12)(34)$. The nonidentity element exchanges both pairs and fixes no point, so every stabilizer subgroup is $\{e\}$. Its two group orbits are $\{1,2\}$ and $\{3,4\}$. This is a free group action but not a transitive group action: there is no group element sending $1$ to $3$. Each restriction to one group orbit is a simply transitive group action.

The identity element fixes every point in every group action; freeness excludes fixed points only for nonidentity elements. This also differs from a fixed point of a group action, which must be fixed by every group element. In the left diagram there are no such fixed points of a group action. In the right diagram, the same abstract cyclic group $C_2$ acts by $e\cdot x=a\cdot x=x$: all four points are fixed points of a group action, every stabilizer subgroup is $C_2$, and each group orbit is a singleton set. Consequently this second group action is neither free nor transitive. A group action with no fixed points of a group action can still fail freeness: the natural group action of the symmetric group $S_3$ has no point fixed by all of $S_3$, but $(23)$ fixes $1$.

For a finite group, the orbit-stabilizer theorem makes each group orbit of a free group action have cardinality $|G|$. If $X$ is also finite, $|X|$ is therefore a multiple of the group order, with one copy of $|G|$ for each group orbit. The trivial group acts freely on every set, and acts transitively exactly on a singleton set. On the empty set freeness is vacuous; our convention under transitive group action requires a nonempty set for transitivity.

A left group action of a group $G$ on a set $X$ is a function $(g,x)\mapsto g\cdot x$ satisfyingwhere $e$ is the identity element of $G$. The second rule means that $h$ moves the point first and $g$ moves it next. These rules let group multiplication describe consistent rearrangements of a set; see Ackerman's algebra notes, definition 0.4.1.1.

For each $g$, the function $x\mapsto g\cdot x$ is a bijection: its inverse is $x\mapsto g^{-1}\cdot x$, using the inverse element of $g$. Equivalently, a group action is a group homomorphism $\rho :G\to \mathrm{Sym}(X)$ into the symmetric group of all permutations of $X$, with $\rho (g)(x)=g\cdot x$ and $\rho (gh)=\rho (g)\circ \rho (h)$. See MIT's group-action notes, definition 23.1.

For a concrete group action, put the vertices of a polygon of a square at $A=(1,1)$, $B=(-1,1)$, $C=(-1,-1)$ and $D=(1,-1)$. Let $r(x,y)=(-y,x)$ be a counterclockwise quarter-turn rotation and let $s(x,y)=(y,x)$ be a reflection. Their eight permutations of the vertices of a polygon form the dihedral groupHere $D_4$ means the symmetry group of a four-sided polygon, with group order eight; the alternative convention calls this same group $D_8$. Products apply the rightmost operation first. For example, $s\cdot B=D$ and $(rs)\cdot B=r\cdot D=A$. The same group also has separate group actions on the sides of a polygon, the diagonals of a polygon, and the singleton set containing the centroid of the square. Specifying $X$ matters: changing what is moved changes the orbits of a group action and the stabilizer subgroups.

A group action need not be a faithful group action. For example, the cyclic group $C_4=\mathbb{Z}/4\mathbb{Z}$ acts on $X=\{0,1\}$ by $k\cdot x=x+k(\mathrm{mod}2)$, using modular arithmetic. Only the parity of $k$ matters: $0,2$ fix both points and $1,3$ exchange them. The associated group homomorphism $C_4\to \mathrm{Sym}(X)$ has group kernel $\{0,2\}$, of group order two. Either point has a group orbit of size two and a stabilizer subgroup of group order two, so the orbit-stabilizer theorem gives $4=2\cdot 2$.

The useful questions are which positions can be exchanged, and which transformations survive after imposing a constraint such as keeping one marked point fixed. An orbit of a group action answers the first question; a stabilizer subgroup answers the second. This turns a list of transformations into a count of distinct configurations, and explains why several transformations can produce the same configuration.

For a finite group $G$ and a subgroup $H$, the group order of $H$ divides the group order of $G$:Here $[G:H]$ is the index of a subgroup, the number of distinct left cosets. It is also the number of distinct right cosets: inversion gives a bijection $gH\mapsto H{g}^{-1}$ between the two collections. No normal subgroup assumption is needed for Lagrange's theorem. The normal subgroup condition matters when constructing a quotient group, rather than when counting a partition of a set.

The beauty of Lagrange's theorem is that an arithmetic restriction follows from a structural picture. A group can be tiled by equal-sized cosets of any subgroup. To see the count, choose one representative from each left coset. Every group element has exactly one expression $g_{i}h$ for these chosen representatives and $h\in H$: different rows do not overlap, and multiplication by $g_i$ is a bijection from $H$ to its row. Counting rows times row size gives the formula. See MIT's symmetries notes, section 2.

The additive cyclic group $\mathbb{Z}/6\mathbb{Z}$ above gives $6=3\times 2$ from $H=\{0,3\}$. Another subgroup, $K=\{0,2,4\}$, has cosets $K$ and $1+K=\{1,3,5\}$, giving $6=2\times 3$. In $S_3$, the subgroup $\{e,(12)\}$ also gives $6=3\times 2$, despite its distinct left and right coset partitions. Thus equal row sizes persist in a nonabelian group. A proposed subgroup of size four in either group is impossible: four does not divide six. This filters possible subgroups before any search for group generators.

Apply Lagrange's theorem to the cyclic subgroup generated by a group element $g$. Its size is the order of a group element, so $\mathrm{ord}(g)\mid |G|$ and $g^{|G|}=e$. In the additive example, $2$ has order of a group element $3$, since $2+2+2=0$ modulo six; the corresponding multiplicative statement becomes $6\cdot 2=0$. A group of prime group order is consequently a cyclic group: any nonidentity group element generates a subgroup whose size is greater than one and divides that prime, forcing it to be the whole group. See MIT's cyclic-group notes. The same counting idea underlies the orbit-stabilizer theorem: the orbit of a group action is parametrized by cosets of its stabilizer subgroup.

Historically, Lagrange's theorem grew from investigations of permutations of roots of a polynomial; see St Andrews' account of Lagrange's early work. The modern statement about arbitrary finite groups should not be read back into the early work. Carmichael's 1921 review explicitly cautioned against attributing the full result to Lagrange; see Carmichael's historical note, reproduced by St Andrews. Finally, Lagrange's theorem supplies a necessary size condition; the failure of the converse to Lagrange's theorem below explains its limit.

The least size of a finite set on which the quaternion group acts faithfully is eight. Every nontrivial subgroup of $Q_8$ contains its central involution $-1$. In an action on fewer than eight points, the orbit-stabilizer theorem makes every stabilizer subgroup nontrivial, so $-1$ fixes every point. This rules out a faithful group action, even with several group orbits. The regular action on eight points is faithful by Cayley theorem.

Let $G=S_3$, the symmetric group on three letters, and take the normal subgroup $N=A_3=\{e,(123),(132)\}$, the alternating group of even permutations. Its two left cosets areProducts of permutations apply the rightmost factor first. Left multiplication by an even permutation preserves both cosets, while left multiplication by an odd permutation exchanges them. For example,Consequently all six group elements give only two distinct permutations of $\{E,O\}$. Both stabilizer subgroups equal $A_3$, so their intersection, the group kernel, is $A_3$. This is a transitive group action because $(12)$ reaches the other coset, but it is not a faithful group action because $(123)$ fixes both.

The orbit-stabilizer theorem still works perfectly: $6=2\cdot 3$. It counts reachable labels, without asserting that the induced group homomorphism is injective. The quotient group $S_3/A_3\cong C_2$ captures exactly the two visible operations, identity and exchange. This is the same group homomorphism as the sign of a permutation, with $+1$ represented by fixing both labels and $-1$ by exchanging them. Contrast the three-label example in faithful coset action of the symmetric group on three letters.

For a subgroup $H$ of a group $G$, the normalizer isIt is the stabilizer subgroup of $H$ under the conjugation action on subgroups. Its elements can permute members of $H$; they need not commute with them. For $r=(123)$ in the symmetric group $S_3$, the cyclic subgroup $H=⟨r⟩$ has normalizer $S_3$, although the centralizer of $r$ has only three elements, as illustrated in centralizer and normalizer.

Every element of $H$ preserves $H$ under conjugation, so $H\subseteq N_G(H)$. Moreover, $H$ is a normal subgroup of $N_G(H)$, and this is the largest subgroup of $G$ with that property. Indeed, any subgroup in which $H$ is a normal subgroup consists entirely of elements preserving $H$ under conjugation. In particular, $N_G(H)=G$ exactly when $H$ is a normal subgroup of $G$.^[ref]

The orbit-stabilizer theorem counts distinct conjugate subsets of a subgroup byFor $H=⟨(123)⟩$ in $S_3$, there is just one, since $[S_3:N_{S_3}(H)]=6/6=1$. For the subgroup $K=⟨(12)⟩=\{e,(12)\}$, preserving $K$ forces its unique nonidentity element to stay fixed. Hence $N_{S_3}(K)=C_{S_3}((12))=K$, and its three distinct conjugate subsets are $\{e,(12)\}$, $\{e,(13)\}$ and $\{e,(23)\}$. This is the subgroup counterpart of counting a conjugacy class with a centralizer: the object being stabilized determines which denominator belongs in the count.^[ref]

The equality in the definition is essential. For a subgroup $H$ that is a finite group, an inclusion $gH{g}^{-1}\subseteq H$ already gives equality by equal cardinalities. For an infinite subgroup, that inference can fail: conjugation might carry it onto a proper subgroup. The normal subgroup criterion is therefore, with the explicit hypothesis $H\le G$,No finiteness or commutativity assumption is needed. A normal subgroup is preserved as a set; its elements need not lie in the center of a group.

There is a second useful count, distinct from counting conjugate subgroups. The normalizer acts on $H$ itself by group automorphisms, giving the group homomorphismIts group kernel is $C_G(H)$, so the centralizer of a subset is a normal subgroup of $N_G(H)$ and the first isomorphism theorem givesThis quotient group records the different rearrangements of $H$ induced by the surrounding group. It gives a faithful group action on $H$, but need not be the entire automorphism group of $H$. For example, take the ambient group $G=H=⟨(123)⟩$. Since $G$ is an abelian group, $N_G(H)=C_G(H)=G$, so the quotient group is trivial; nevertheless $r\mapsto r^{-1}$ is a nonidentity group automorphism of $H$. Returning to the ambient symmetric group $S_3$ makes that group automorphism available through a reflection, and $N_{S_3}(H)/C_{S_3}(H)\cong C_2$. Its two cosets are the three rotations and the three reflections.

The subgroup $H$ itself need not be contained in $C_G(H)$: their intersection is the center of a group $Z(H)$. It is contained precisely when $H$ is an abelian group. Thus $N_G(H)/H$, which exists because $H$ is a normal subgroup of its normalizer, and $N_G(H)/C_G(H)$ answer different questions and should not be substituted for one another.

For a group action of a group $G$ on a set $X$, the orbit of a group action of $x\in X$ is the subset of all positions reachable from $x$:Two points belong to the same group orbit exactly when one can be moved to the other by a group element. This is an equivalence relation: the identity element gives $x\sim x$, the inverse element of a transformation reverses a move, and a product combines two moves. Hence the group orbits form a partition of a set of $X$ into equivalence classes. A transitive group action on a nonempty set has just one group orbit. See Ackerman's algebra notes, lemma 0.5.1.3, for the orbit partition.

For the square and the eight-element dihedral group $D_4$ defined under group action, direct enumeration gives the following separate group orbits:

These counts depend on the chosen group action, not just the group. An orbit of a group action describes all configurations equivalent under the permitted transformations. For ordered pairs under the symmetric group, equality of the two entries is preserved, separating the two group orbits in equality-pattern orbits of ordered pairs; the orbit-stabilizer theorem computes their sizes when the symmetric group is $S_3$.

For a group action of any group $G$ on a set $X$, the cardinality of the orbit of a group action through $x$ is the index of a subgroup of its stabilizer subgroup:In particular, if $G$ is a finite group,For a fixed finite group, a larger stabilizer subgroup means a smaller group orbit: more transformations repeat the same image of $x$. The set $X$ itself need not be finite.

The underlying bijection uses left cosets, without requiring $G_x$ to be a normal subgroup:To check it briefly, replacing $g$ by $gh$ with $h\in G_x$ preserves $g\cdot x$, so $\Phi$ is well-defined. Every member of the group orbit has this form. Finally, $g\cdot x=k\cdot x$ implies $k^{-1}g\in G_x$, hence $g{G}_x=k{G}_x$, proving the bijection. This is the construction in MIT's group-action notes, lemma 23.5. For infinite groups, the bijection and the cardinality statement $|Gx|=[G:G_x]$ still hold; division of infinite cardinalities does not supply the finite formula.

For the eight-element dihedral group $D_4$ acting on the square described under group action, moving a marked vertex of a polygon gives $8=4\cdot 2$. Moving a marked side of a polygon also gives $8=4\cdot 2$; moving one unoriented diagonal of a polygon gives $8=2\cdot 4$; moving the centroid gives $8=1\cdot 8$. These are four different group actions, each with one group orbit. In the first group action, the four left cosets of $H=G_A=\{e,s\}$ areThey correspond respectively to $A,B,C,D$. Counting all eight transformations would count each position of the marked vertex of a polygon twice.

For a second computed example, let the symmetric group $S_3$ act on the Cartesian product $X=\{1,2,3{\}}^2$ by $\sigma \cdot (i,j)=(\sigma (i),\sigma (j))$. There are two orbits of a group action:andThe first stabilizer subgroup can exchange $2$ and $3$ while fixing $1$; the second must fix both $1$ and $2$, so also fixes $3$. The orbit-stabilizer theorem gives $6=3\cdot 2$ and $6=6\cdot 1$, and the two group orbit sizes account for all nine ordered pairs. The general reason for exactly these two group orbits is equality-pattern orbits of ordered pairs.

The Galois group acts transitively on the $n$ roots because $f$ is irreducible and separable. The orbit-stabilizer theorem givesso $n$ divides $|G|$. Equivalently, the tower law gives $[K:F]=[K:F({\alpha }_1)]n$, while the finite Galois extension has group order $[K:F]$.

Every nonidentity biholomorphism in the finite group $G$ has only finitely many fixed points, by the identity theorem on a Riemann surface and compactness. Because the group action is a faithful group action, the union of these finite sets does not exhaust $X$. A point outside this union has trivial stabilizer subgroup, so its group orbit has $|G|$ points by the orbit-stabilizer theorem. The generic fiber of a function of the projection is such an group orbit, givingMore precisely, put $H=G_x$ and $m=|H|$. Differentiation at $x$ gives a group homomorphism $H\to {\mathbb{C}}^{\times }$. It is injective: if a nonidentity finite-order germ had the form $h(z)=z+a_k{z}^k+O(z^{k+1})$ with $k\ge 2$ and $a_k\ne 0$, then its $q$th iterate would begin $z+q{a}_k{z}^k$, so no positive iterate could be the identity. A germ equal to the identity gives the identity on $X$ by the identity theorem on a Riemann surface. Thus $H$ is a cyclic group, with derivative image the $m$th roots of unity.

For completeness, an explicit local coordinate linearizing $H$ isIt has $w^{\prime }(x)=1$, and reindexing the sum gives $w(hp)=h^{\prime }(x)w(p)$. Therefore a coordinate on the local quotient space is $w^m$. Other translates of a sufficiently small neighbourhood of $x$ are disjoint unless their translating element lies in $H$, so this local quotient space is also a chart for $X/G$. The local cyclic quotient of a Riemann surface consequently gives