Group Action, Orbits and Stabilizer - - 数学杂记 | SuBonan = やがて、平凡な人になる

我们和过去永远绝缘了… 而这，在我看来，本身就是一种成就。

If $G$ is a group with identity element $e$ , and $X$ is a set, then a (left) group action $\alpha$ of $G$ on $X$ is a function

$\alpha:G\times X\to X,$

that satisfying the following two axioms:

Identity: $\alpha(e,x)=x$ ;
Compatibility: $\alpha(g,\alpha(h,x))=\alpha(gh,x)$ .
where $\alpha(g,x)$ is often shortened to $g\cdot x$ .

The action of $G$ on $X$ is called transitive if for any two points $x,y\in X$ , there exists a $g\in G$ such that $g\cdot x=y$ .（联通性）

Consider a group $G$ acting on a set $X$ . The orbit of an element $x\in X$ is the set of element in $X$ to which $x$ can be moved by the elements of $G$ .
The orbit of $x$ is denoted by $G\cdot x$ :

$G\cdot x=\{g\cdot x:g\in G\}.$

实际上 group action 诱导出了一个 $X$ 上的等价关系： $x\sim y$ 当且仅当 $\exists g\in G,\ g\cdot x=y$ ，也就是说 $x,y$ 是联通的。
因此，orbits $G\cdot x$ 就构成了 $X$ 的一个划分：要么 $G\cdot x=G\cdot y$ ，要么 $G\cdot x\cap G\cdot y=\emptyset$ 。
而且不难发现，group action 是 transitive 的当且仅当只有一个 orbit： $\forall x\in X,\ G\cdot x=X$ 。

The set of all orbits of $X$ under the action of $G$ is written as $X/G$ , and is called the quotient of the action.

In geometric situations it may be called the orbit space, while in algebraic situations it may be called the space of coinvariants, and written $X_G$ , by contrast with the invariants (fixed points), denoted $X^G$ : the coinvariants are a quotient while the invariants are a subset.

A subset $Y\subseteq X$ is said to be invariant under $G$ if $G\cdot Y=\{g\cdot y:g\in G,y\in Y\}=Y$ , which is equivalent to $G\cdot Y\subseteq Y$ .
Moreover, $Y$ is said to be fixed under $G$ if $g\cdot y=y$ for all $g\in G,y\in Y$ .

Every orbit is an invariant subset of $X$ on which $G$ acts transitively. Conversely, any invariant subset of $X$ is a union of orbits.

Given $g\in G,x\in X$ with $g\cdot x= x$ , it is said that $x$ is a fixed point of $g$ or $g$ fixes $x$ .
For every $x\in X$ , the stabilizer subgroup of $G$ with respect to $x$ (also called the isotropy group or little group) is the set of all elements in $G$ that fixes $x$ :

$G_x=\{g\in G:g\cdot x=x\}.$

This is a subgroup of $G$ , though typically not a normal one.
The action of $G$ on $X$ is free if and only if all stabilizers are trivial.

The kernel $N$ of the homomorphism with the symmetric group, $G \to Sym(X)$ , is given by the intersection of the stabilizers $G_x$ for all $x\in X$ . If $N$ is trivial, the action is said to be faithful (or effective).

Let $x,y\in X$ such that $y=g\cdot x$ for some $g\in G$ , then the two stabilizer groups are related by $G_y=gG_xg^{-1}$ .

The above says that the stabilizers of elements in the same orbit are conjugate to each other. Thus, to each orbit, we can associate a conjugacy class of a subgroup of $G$ (that is, the set of all conjugates of the subgroup). Let $(H)$ denote the conjugacy class of $H$ . Then the orbit $O$ has type $(H)$ if the stabilizer $G_x$ of some/any $x$ in $O$ belongs to $(H)$ . A maximal orbit type is often called a principal orbit type.

(Orbit-stabilizer Theorem)
Orbits and stabilizers are closely related. For a fixed $x$ in $X$ , consider the map $f : G \to X$ given by $g \mapsto g\cdot x$ . By definition the image $f(G)$ of this map is the orbit $G\cdot x$ . The condition for two elements to have the same image is

$f(g)=f(h)\iff g\cdot x=h\cdot x\iff g^{-1}h\cdot x=x\iff g^{-1}h\in G_x\iff h\in gG_x.$

In other words, $f(g) = f(h)$ if and only if $g$ and $h$ lie in the same coset for the stabilizer subgroup $G_x$ .
Thus, the fiber $f^{−1}(\{y\})$ of $f$ over any $y$ in $G\cdot x$ is contained in such a coset, and every such coset also occurs as a fiber.
Therefore $f$ induces a bijection between the set $G / G_x$ of cosets for the stabilizer subgroup and the orbit $G\cdot x$ , which sends $gG_x \mapsto g\cdot x$ . This result is known as the orbit-stabilizer theorem.

If $G$ is finite then the orbit-stabilizer theorem, together with Lagrange’s theorem, gives

$|G\cdot x|=[G:G_x]=|G|/|G_x|.$

Example: Let $G$ be a group of prime order $p$ acting on a set $X$ with $k$ elements.
Since each orbit has either $1$ or $p$ elements（因为素数阶群必然是循环群）, there are at least $k\mod p$ orbits of length $1$ （因为 orbits 构成 $X$ 的一个划分，而且 orbits 大小要么是 $p$ 要么是 $1$ ，所以至少有 $|X|\mod p$ 个 orbits 大小为 1）, which are $G$ -invariant elements. More specifically, $k$ and the number of $G$ -invariant elements are congruent modulo $p$ .
这个结果特别有用，因为它可以用于计数论证（通常在 $X$ 也是有限的情况下）。

Example: We can use the orbit-stabilizer theorem to count the automorphisms of a graph.
Consider the cubical graph as pictured below, and let $G$ denote its automorphism group. Then $G$ acts on the set of vertices $\{1,2,3,...,8\}$ , and this action is transitive as can be seen by composing rotations about the center of the cube. Thus, by the orbit-stabilizer theorem, $|G|=|G\cdot 1||G_1|=8|G_1|$ （因为 action 是 transitive 的，所以 $G\cdot 1=\{1,2,...,8\}$ ）. Applying the theorem now to the stabilizer $G_1$ , we can obtain $|G_1| = |G_1 \cdot 2| |(G_1)_2|$ . Any element of $G$ that fixes $1$ must send $2$ to either $2$ , $4$ , or $5$ . Thus, $|G_1\cdot 2|=3$ （因为 $G_1\cdot 2=\{2,4,5\}$ ）. Applying the theorem a third time gives $|(G_1)_2|=|(G_1)_2\cdot 3||((G_1)_2)_3|$ . Any element of $G$ that fixes $1,2$ must send $3$ to either $3$ or $6$ （譬如关于平面 1278 对称，自同构群不是旋转群，它不需要保持手性，而只需要保持顶点间的连边就可以了）, thus $|(G_1)_2\cdot 3|=2$ . One also sees that $((G_1)_2)_3$ consists only of the identity automorphism, as any element of $G$ fixing $1, 2$ and $3$ must also fix all other vertices, since they are determined by their adjacency to $1$ , $2$ and $3$ . Combining the preceding calculations, we can now obtain $|G| = 8 ⋅ 3 ⋅ 2 ⋅ 1 = 48$ .

(Burnside’s lemma)

$|X/G|=\frac{1}{|G|}\sum_{g\in G}|X^g|,$

where $X^g=\{x\in X:g\cdot x=x\}$ is the set of elements fixed by $g$ .

This result is mainly of use when $G$ and $X$ are finite, when it can be interpreted as follows: the number of orbits is equal to the average number of points fixed per group element.

紧致辛群和四元代数

Sylow Theorem