4. 群作用

4.1群作用的动机

正如一位最伟大的数学家所说, 让数学自己说话——不必觉得你需要为一切提供动机. 如果它是美丽的, 它会自己激励自己. 因此, 话虽如此, 我不想为你动机群作用, 但其历史实际上相当有趣, 所以值得讨论.

所以, 如果你是 19 世纪中期的法国或德国数学家, 你对群的定义将不会是我们在上述背景中给出的那个. 事实上, 群被简单地定义为矩阵群 $G{L}_n(\mathbb{R})$, 如果你想在一个使一切绝对美丽的世界中工作, 可能会使用 $\mathbb{C}$. 自然地, 我们有一个双射$$G{L}_n(\mathbb{R})\simeq \mathrm{Aut}(V),$$(4.1)其中 $V$ 是一个维数为 $n$ 的实向量空间. 因此, 通过上述双射来研究 $G{L}_n(\mathbb{R})$ 的元素如何表现是很自然的, 而不是盲目地进行行简化——这个在自同构 (4.1) 中的 “群作用” 实际上产生了你们之前学过的更抽象的线性代数理论!

这实际上被称为群表示, 当你有一个从 $G$ 到某个向量空间的线性自同构群的群同态时, 就是群表示, 我们很快也会学习到. 关键是, 群作用自然地从对自同构 (4.1) 的研究中产生, 所以我们所研究的并非完全是人为构造的.

要理解我们是如何从研究向量空间的线性自同构转到仅仅研究集合的自同构, 事实证明, 这种群作用的概念在线性代数之外的领域也是普遍存在的, 所以为什么不将我们的群作用理论从向量空间 “推广” 到集合呢!

事实证明, 这种类型的过程在代数中非常重要. 你需要看看你手上有什么, 尝试去除任何你不一定需要用来研究 “抽象理论” 的结构, 看看是否能得到一个有趣的理论. 正是这种过程实际上促使了 Emmy Nöther 在 20 世纪初定义了我们当前的群的概念.

4.2群作用的定义

定义 4.2.1. 令 $X$ 是一个集合, $G$ 是一个群. $G$ 在 $X$ 上的群作用是一个同态$$\varphi :G\to \mathrm{Aut}(X).$$或替代的, 一个映射 $\varphi :G\to \mathrm{Aut}(X)$ 使得:

•	$\varphi (1_G)={\mathrm{Id}}_X$.
•	$\varphi (g_1\cdot g_2)=\varphi (g_1)\circ \varphi (g_2)$.

上面的定义实际上只是说, 我们希望一个群以可逆的方式作用于集合 $X$(因为群元素是可逆的!), 并且以这样的方式, 群乘法对应于自同构的组合, 所以我们实际上可以把群元素看作是 $X$ 本身的自同构!

定义 4.2.2. $G$ 在 $X$ 上的一个左群作用是一个映射$$\begin{array}{rl}G\times X& \to X\\ (g,x)& \mapsto gx\end{array}$$使得

•	$1_{G}x=x$.
•	$g(hx)=(gh)x$, 对于 $g,h\in G$.

4.3群作用的例子

例 4.3.1. 令 $S^1=\{z\in \mathbb{C}\mid |z|=1\}$. 定义$$\begin{array}{rl}\varphi :S^1& \to \mathrm{Aut}(\mathbb{C})\\ z& \mapsto f_z\end{array}$$其中, $f_z(\omega ):=z\cdot \omega$ (绕 $z$ 旋转).

4.4关于群作用的命题

命题 4.4.1. 一个群作用确定了集合的一个映射$$G\times X\to X$$其中, 我们将 $(g,x)$ 的值写为 $gx$.

映射满足

(a)	$1_{G}x=x$
(b)	$(gh)x=g(hx)$

反之, 任何映射 $G\times X\to X$ 满足 (a),(b) 确定一个群作用.

证明. 给定$$\varphi :G\to {\mathrm{Aut}}_{\mathrm{set}}(X)$$令$$\varphi (g)={\varphi }_g$$则令$$G\times X\to X$$为$$(g,x)\mapsto {\varphi }_g(x)$$(a) 则 ${\varphi }_{1_G}={\mathrm{id}}_X$ (因为 $\varphi$ 是一个同态), 所以$$\begin{array}{rl}(1,x)\mapsto {\varphi }_1(x)& ={\mathrm{id}}_X(x)\\ & =x\end{array}$$(b)$\varphi (g_1{g}_2)=\varphi (g_1)\varphi (g_2)$, 因为 $\varphi$ 是一个群同态.

因此$${\varphi }_{g_1{g}_2}(x)={\varphi }_{g_1}\circ {\varphi }_{g_2}(x)\forall x.$$根据记号, $$\begin{array}{rl}(g_1{g}_2)(x)& ={\varphi }_{g_1}(g_{2}x)\\ & =g_1(g_{2}x).\end{array}$$反之, 如果我们给定一个映射 $G\times X\to X$ 满足 (a),(b), 限制映射到集合 $\{g\}\times X\subset G\times X$.

映射 $\{g\}\times X\to X$ 可以用下面的映射识别$$\begin{array}{rl}{\psi }_g:X\cong \{g\}\times X& \to X\\ x\mapsto (g,x)& \mapsto x\end{array}$$${\psi }_g$ 是一个双射, 因为 (a) 和 (b). 首先看$$\begin{array}{rl}{\psi }_{1_G}:X\cong \{1_G\}\times X& \to X\\ x\mapsto (1_G,x)& \mapsto 1_G\cdot x\end{array}$$通过 (a), $1_G\cdot x=x⩽0$ $${\psi }_{1_G}(x)=x.$$这意味着 ${\psi }_{1_G}$ 是恒等双射, $${\psi }_{1_G}={\mathrm{id}}_X.$$等于从 $X$ 到 $X$ 的映射的集合上的元素.

接下来, 注意到 ${\psi }_g$ 对于 $\forall g$ 是一个双射. 这是因为

单射: $$\begin{array}{rlrlr}& & {\psi }_g(x)& ={\psi }_g(y)& \text{记号}\\ & \Rightarrow & gx& =gy& \text{因为给出了G×X→X.}\\ & \Rightarrow & g^{-1}(gx)& =g^{-1}(gy)& \text{(b) (x′=x ⇒ hx′=hx, ∀h∈G)}\\ & \Rightarrow & 1_{G}x& =1_{G}y& \\ & \Rightarrow & x& =y& \text{(a)}\end{array}$$满射: 如果 $x\in X$, 令 $y=g^{-1}x$, 则$$\begin{array}{rl}{\psi }_g(y)& =g(g^{-1}x)\\ & =(g{g}^{-1})x\\ & =x.\end{array}$$所以 ${\psi }_g\in {\mathrm{Aut}}_{\mathrm{set}}(X)$, $\forall g\in G$. 最后, $g\mapsto {\psi }_g$ 是一个同态, 因为$$g_1{g}_2\mapsto {\psi }_{g_1{g}_2},$$并且$$\begin{array}{rl}{\psi }_{g_1{g}_2}(x)& =(g_1{g}_2)x\\ & =g_1(g_2)x\\ & ={\psi }_{g_1}(g_2)x\\ & ={\psi }_{g_1}({\psi }_{g_2}(x))\\ & ={\psi }_{g_1}\circ {\psi }_{g_2}(x)\forall x.\end{array}$$$$\Rightarrow {\psi }_{g_1{g}_2}={\psi }_{g_1}\circ {\psi }_{g_2}.$$

$\square$

我们如何证明两个函数 $f,g:A\to B$ 是相同的?

说明 $f(a)=g(a)$ 对于所有 $a\in A$ 都成立. 这是 $f=g$ 的定义.

所以, 你可能会发现更难将群作用看成是一个映射$$G\times X\to X$$满足 (a),(b), 相对于看成一个同态$$G\to {\mathrm{Aut}}_{\mathrm{set}}(X)$$

4.5Orbits

哲学: 给定一个群作用 $G\to {\mathrm{Aut}}_{\mathrm{set}}(X)$, 我们可以把 $X$ 分裂成轨道.

定义 4.5.1. L 令 $G$ 作用在一个集合 $X$ 上. 则 $\forall x\in X$, $\mathbf{x}$ 的轨道是集合$${\mathcal{O}}_x=\{y\in X\mid y=gx\text{对于一些}g\}$$

例 4.5.2. 令 $G\to {\mathrm{Aut}}_{\mathrm{set}}(X)$ 为 $g\mapsto {\mathrm{id}}_X$ (平凡作用).

则$$\begin{array}{rl}{\mathcal{O}}_x& =\{y\mid y={\mathrm{id}}_X(X)\}\\ & =\{x\}.\end{array}$$

例 4.5.3.   $G=S^1$, $X=\mathbb{C}$, $$\begin{array}{rl}G\times X& \to X\\ ({\mathrm{e}}^{\mathrm{i}\theta },z)& \mapsto z\times {\mathrm{e}}^{\mathrm{i}\theta }\end{array}$$则 ${\mathcal{O}}_z=\{\omega \mid \omega =z\times {\mathrm{e}}^{\mathrm{i}\theta }\text{对于一些}\theta \}=$ 半径为 $|z|$ 的圆, 其意味着$$\mathbb{C}=\underset{z\in {\mathbb{R}}_{⩾0}}{⨆}{\mathcal{O}}_z$$同时注意到 ${\mathcal{O}}_0=\{0\}\subset \mathbb{C}$.

注 4.5.4. 注: 令 $\mathcal{P}(X)$ 为 $X$ 的幂集. 它是 $X$ 的所有子集的集合. 则一个群作用确定一个映射$$\begin{array}{rl}X& \to \mathcal{P}(X)\\ x& \mapsto {\mathcal{O}}_x\end{array}$$它当然不会碰到 $\mathcal{P}(X)$ 的每一个元素. 比如, 空子集. 但我们总会碰到其中的一些元素.

定义 4.5.5. 一个群作用的轨道集合, 或轨道空间, 是 $X\to \mathcal{P}(X)$ 的像, 我们记为$$X/G$$就像 $X$ 除以 $G$. 如果 $y=gx$, 则 ${\mathcal{O}}_x={\mathcal{O}}_y$, 所以 $y$ 和 $x$ 在 $\mathcal{P}(X)$ 中有相同的像, 即: 被映射到 $X/G$ 中相同的元素.

命题 4.5.6.  

(i)	$\forall x\in X$, $x\in {\mathcal{O}}_x$.
(ii)	${\mathcal{O}}_x={\mathcal{O}}_y$ $\iff$ $y=gx$ 对于一些 $g\in G$.

证明. (i) $x=1_{G}x$, 所以 $x\in {\mathcal{O}}_x$.

(ii) ${\mathcal{O}}_x={\mathcal{O}}_y$ $\iff$ $y\in {\mathcal{O}}_y$ 通过 (i) $\iff$ $y=gx$ 对于一些 $g\in G$ (${\mathcal{O}}_x$ 的定义).

$\square$

我们可以通过一个一个数轨道来数 $X$ 的元素 (如果 $X$ 是有限的).

例 4.5.7. 令 $G$ 是一个群. $\forall g\in G$, 我们有一个双射$$\begin{array}{rl}{\varphi }_g:G& \to G\\ x& \mapsto gx\end{array}$$这是一个双射, 因为:

•	$y\in G\Rightarrow y=g(g^{-1}y)={\varphi }_g(g^{-1}y)$.
•	${\varphi }_g(y)={\varphi }_g(y^{\prime })\Rightarrow gy=g{y}^{\prime }\Rightarrow y=y^{\prime }$.

更进一步, $$\begin{array}{rl}{\varphi }_{g_1{g}_2}(x)& =(g_1{g}_2)(x)\\ & =g_1(g_2(x))\\ & ={\varphi }_{g_1}\circ {\varphi }_{g_2}(x)\end{array}$$所以映射$$\begin{array}{rl}\varphi :G& \to {\mathrm{Aut}}_{\mathrm{set}}(G)\\ g& \mapsto {\varphi }_g\end{array}$$是一个同态, 即: 每一个群作用在自己上.

如果 $H\subset G$ 是一个子群, 则$$H\to G\to {\mathrm{Aut}}_{\mathrm{set}}(G)$$是一个群作用. 更准确来说, 我们有$$\begin{array}{rl}{\varphi }_h:G& \to G\\ x& \mapsto h\cdot x\end{array}$$$\forall h\in H$.

我们引入了群 $G$ 在自身上的群作用, 该作用由左平移给出.

命题 4.5.8. 令 $H$ 是 $G$ 的子群. 我们最后一次看到 $H$ 作用在 $G$ 上. 此外, $\forall x,y\in G$, $|{\mathcal{O}}_x|=|{\mathcal{O}}_y|$.

证明. 令 $h=x^{-1}y\in G$. 则我们有映射$$\begin{array}{rl}{\mathcal{O}}_x& \to {\mathcal{O}}_y\\ gx& \mapsto gxh\\ {\mathcal{O}}_y& \to {\mathcal{O}}_x\\ gy& \mapsto gy{h}^{-1}\end{array}\text{\hspace{1em}在Oy中, 因为gxh=gx(x−1y)=gy∈Oy}$$它们相互之间互为逆, 因为$$\begin{array}{rl}gx& \mapsto gxh\mapsto gxh{h}^{-1}=gx\\ gy& \mapsto gyh\mapsto gy{h}^{-1}h=gy\end{array}$$

$\square$

4.6Lagrange 定理

命题 4.6.1. $X=\bigcup _{\mathcal{O}\in X/G}\mathcal{O}$.

此外, $\mathcal{O}\ne {\mathcal{O}}^{\prime }$ $\Rightarrow$ $\mathcal{O}\cap {\mathcal{O}}^{\prime }=\varnothing$.

证明. (1) 取任意元素 $x\in X$.
根据轨道的定义, $x$ 属于轨道 ${\mathcal{O}}_x$ (包括 $x$ 的轨道).
因此, $x\in \bigcup _{\mathcal{O}\in X/G}\mathcal{O}$.
因为它对于每个 $x\in X$ 都成立, 我们有 $X=\bigcup _{\mathcal{O}\in X/G}\mathcal{O}$.

(2) 对于集合的任意映射, $$f:A\to B,$$我们知道$$A=\bigcup _{b\in B}{f}^{-1}(b)$$并且 $f^{-1}(b)\cap f^{-1}(b^{\prime })=\varnothing$,

这里, $\mathcal{O}=f^{-1}(\mathcal{O})$, 所以 $\mathcal{O}\ne {\mathcal{O}}^{\prime }$ $\Rightarrow$ $\mathcal{O}\cap {\mathcal{O}}^{\prime }=\varnothing$.

$\square$

推论 4.6.2. $X=\underset{\mathcal{O}\in X/G}{⨆}\mathcal{O}$

推论 4.6.3. $|X|=\sum _{\mathcal{O}\in X/G}|\mathcal{O}|$

推论 4.6.4. $|X|=|X/G|\cdot |{\mathcal{O}}_x|$ 对于任意 $x\in X$.

命题 4.6.5. $|{\mathcal{O}}_{{\mathrm{id}}_G}|=|H|$

证明. $$\begin{array}{rl}{\mathcal{O}}_{{\mathrm{id}}_G}& =\{y\mid y=h\cdot {\mathrm{id}}_G\text{对于一些}h\in H\}\\ & =\{y\mid y=h\text{对于一些}h\in H\}\\ & =H\end{array}$$

$\square$

我们已经说明了如果 $G$ 是有限的, 则$$|{\mathcal{O}}_x|=|H|$$$\forall x\in G$.

因此$$G=⨆{\mathcal{O}}_x$$$$|G|=\sum _{\begin{array}{c}\text{对所有的}\\ \text{轨道求和}\end{array}}|H|$$这意味着 $|H|$ 分裂 $|G|$.

这就是 Lagrange 定理.

定理 4.6.6 (Lagrange 定理). 令 $G$ 是有限的. 则 $|H|$ 分裂 $|G|$.

4.7陪集和正规子群

定义 4.7.1. 给定 $H\subset G$ 为一个子群. 令 $g\in G$. 我们定义$$Hg:=\{hg\mid h\in H\}$$为 $H$ 右陪集.

我们看到$$Hg=H{g}^{\prime }\text{当且仅当}hg=g^{\prime }$$对于某些 $h\in H$.

定义 4.7.2. 我们定义$$gH:=\{gh\mid h\in H\}$$为 $g$ 关于 $H$ 的左陪集.

例 4.7.3. 令 $H=⟨(12)⟩\subset S_3=G$. 则对于 $g=(123)$. $$\begin{array}{rl}gH& =\{(123),(123)(12)\}\\ & =\{(123),(13)\}\end{array}$$同时$$\begin{array}{rl}Hg& =\{(123),(12)(123)\}\\ & =\{(123),(23)\}\end{array}$$所以一般来说 $gH\ne Hg$.

我们将 $G/H$ 写做左陪集, 我们将尝试不再提右陪集.

定义 4.7.4. 一个子群 $H\subset G$ 被称为是正规的, 如果 $\forall g\in G$, $$\{gh{g}^{-1}\mid h\in H\}=H$$等号左边也被写成 $gH{g}^{-1}$, 即: $H$ 是正规的当且仅当$$gH{g}^{-1}=H.$$我们记为 $H◃G$.

$gH$ 是一个群从右边作用: $X\times H\to X$ 的轨道. 所以我们关于群 $G/H$ 的定义是相同的—相同元素, 相同操作.

命题 4.7.5. (1) $gH=g{H}^{\prime }$ 当且仅当 $\exists h\in H$, 即: $gh=g^{\prime }$.
(2) $gH=Hg$, $\forall g\in G$ 当且仅当 $H◃G$.

证明. (1) $gH=g^{\prime }H$ $\Rightarrow$ $\exists h_1,h_2\in H$, 使得 $g{h}_1=g^{\prime }{h}_2$

$\Rightarrow$ $g{h}_1{h}_2^{-1}=g^{\prime }$.
设 $h_1{h}_2^{-1}=h$ 并且我们得到$$gh=g^{\prime }.$$(2) $gH=Hg$ $\Rightarrow$ $\forall h\in H$, $\exists h^{\prime }\in H$, 使得 $gh=h^{\prime }g$

$\Rightarrow$ $gh{g}^{-1}=h^{\prime }$, 即: $\forall h\in H$, $gh{g}^{-1}\in H$

$\Rightarrow$ $gH{g}^{-1}\subset H$, $\forall g\in G$

$\Rightarrow$ $H◃G$.

$H◃G$ $\Rightarrow$ $gh{g}^{-1}\in H$, $\forall g\in G$, $h\in H$

$\Rightarrow$ $\forall g\in G$, $h\in H$, $\exists h^{\prime }\in H$, 使得: $gh{g}^{-1}=h^{\prime }$

$\Rightarrow$ $\forall g\in G$, $h\in H$, $\exists h^{\prime }\in H$, $gh=h^{\prime }g$.

$\square$

4.8指标

定义 4.8.1. 令 $H\subset G$ 是一个子群. $H$ 在 $G$ 中的指标是 $G/H$ 中元素数量. 它被写成$$[G:H]:=|G/H|=\#\text{陪集}Hg=\#\text{轨道}{\mathcal{O}}_g$$

命题 4.8.2. 假设 $K\subset H\subset G$ 是子群. ($H$ 是 $G$ 的子群, $K$ 是 $H$ 的子群. 注意这也意味着 $K$ 是 $G$ 的子群.) 那么$$[G:K]=[G:H][H:K].$$

证明. 在 Lagrange 定理的证明中, 我们看到$$G=\underset{{\mathcal{O}}_g\in G/H}{⨆}{\mathcal{O}}_g$$即: $G$ 是 $H$ 作用在 $G$ 上的轨道的不交并. 此外, 所有轨道都有相同的大小 $|{\mathcal{O}}_g|=|H|$, 对所有 $g\in G$ 成立.

因此$$|G|=n\cdot |H|$$其中 $n$ 是不同轨道的数量, 即: $n=[G:H]$.

因此$$[G:K]=|G|/|K|=|G|/|H|\cdot |H|/|K|=[G:H][H:K].$$

$\square$

这个命题将许多概念联系在一起.

命题 4.8.3. 在一个群中, 任何指标为 $2$ 的子群都是正规子群.

证明. 由于 $H$ 在 $G$ 中的指标为 $2$, 所以 $H$ 在 $G$ 中恰有两个不同的左陪集:$$G=H\cup gH$$其中 $g\in G\setminus H$. 类似地, 恰有两个右陪集:$$G=H\cup Hg$$对于相同的 $g$.

我们将根据元素 $g$ 是否属于 $H$ 或 $G\setminus H$ 来考虑两种情况.

•	$g\in H$: 如果 $g\in H$, 那么: $$gH=H=Hg$$因为 $H$ 是一个子群, 且在群运算下封闭. 因此, 左陪集和右陪集是相同的.
•	$g\in G\setminus H$: 如果 $g\notin H$, 那么 $gH$ 和 $Hg$ 是除 $H$ 之外的另一个陪集. 由于只有两个陪集, 因此有: $$gH=G\setminus H=Hg$$因此, 左陪集和右陪集再次相同.

在两种情况下, $gH=Hg$ 对于所有 $g\in G$. 左陪集和右陪集的相等意味着 $H$ 是 $G$ 的正规子群.

$\square$

4.9轨道——稳定子定理

定义 4.9.1. 设 $\varphi :G\to {\mathrm{Aut}}_{\mathrm{set}}(X)$ 为群作用. 给定 $x\in X$, 则 $x$ 的稳定子为子群$$\begin{array}{rl}{G}_x& =\{g\mid gx=x\}=\{g\mid {\varphi }_g(x)=x\}\\ & \subset G\end{array}$$

命题 4.9.2. $G_x$ 是 $G$ 的一个子群.

证明. 因为 ${\varphi }_g(x)=x$, ${\varphi }_{g^{\prime }}(x)=x$.

$\Rightarrow x={\varphi }_g(x)={\varphi }_g({\varphi }_{g^{\prime }}(x))={\varphi }_{g{g}^{\prime }}(x)$ 且 ${\varphi }_{1_G}(x)={\mathrm{id}}_{X}x=x$

$\square$

现在, 给定 $G$ 在 $X$ 上的作用, 我们可以将 $x\in X$ 关联到两件事物:$$\begin{array}{cc}{G}_x\subset G,& {\mathcal{O}}_x\subset X\\ \text{稳定子}& \text{轨道}\end{array}$$

命题 4.9.3. 函数$$\begin{array}{rl}G/G_x& \to {\mathcal{O}}_x\\ g{G}_x& \mapsto gx={\varphi }_g(x)\end{array}$$是一个双射.

证明. 它是良定义的, 因为$$\begin{array}{rl}g{G}_x=g^{\prime }{G}_x& \Rightarrow g^{\prime }=gh\text{对于某些}h\in G_x\\ & \begin{array}{rl}\Rightarrow g^{\prime }x& =(gh)x\\ & =g(hx)\\ & =gx\end{array}\end{array}$$单射性: $$\begin{array}{rl}{g}^{\prime }x=gx& \Rightarrow g^{-1}\cdot g^{\prime }x=x\\ & \Rightarrow g^{-1}\cdot g^{\prime }\in G_x\\ & \Rightarrow g^{\prime }=gh\text{对于某些}h\in G_x\\ & \Rightarrow g{G}_x=g^{\prime }{G}_x\end{array}$$满射性: $x^{\prime }\in {\mathcal{O}}_x\Rightarrow x^{\prime }=gx$ 对于某些 $g\in G$.

$\square$

推论 4.9.4 (轨道——稳定子定理). 如果 $|G_x|$, $|{\mathcal{O}}_x|$ 是有限的, 那么 $|G|$ 也是有限的. 此外, $|G|=|G_x||{\mathcal{O}}_x|$.

证明. 根据命题, 在左陪集 $G/G_x$ 与轨道 ${\mathcal{O}}_x$ 之间存在双射关系, 因此:

陪集的数量: $|G/G_x|=|{\mathcal{O}}_x|$.

每个左陪集 $g{G}_x$ 恰好包含 $|G_x|$ 个元素, 因为 $G_x$ 是 $G$ 的一个子群.

因此, $G$ 的元素总数是陪集的数量与每个陪集的大小的乘积:$$|G|=|G/G_x||G_x|=|{\mathcal{O}}_x||G_x|.$$由于 $|{\mathcal{O}}_x|$ 和 $|G_x|$ 均为有限, 因此它们的乘积 $|G|$ 也是有限的.

因此, 如果 $|G_x|$ 和 $|{\mathcal{O}}_x|$ 是有限的, 则 $G$ 是有限的, 其大小为 $|G|=|G_x||{\mathcal{O}}_x|$.

$\square$

这就是所谓的轨道——稳定子定理, 它非常棒.

例 4.9.5. 令 $P_n\subset {\mathbb{R}}^2$ 为在原点处的正 $n$ 边形. 令 $D_{2n}\subset G{L}_2(\mathbb{R})$ 为线性变换的群, 使得$$\forall g\in D_{2n},g(P_n)=P_n$$这意味着 $g(P_n)\subset P_n$, $P_n\subset g(P_n)$. 但不意味着 $g(x)=x$, $\forall x\in P_n$.
即: $D_{2n}$ 是 $P_n$ 的线性对称群.

命题 4.9.6. $|D_{2n}|=2n$

定义 4.9.7. $D_{2n}$ 称为第 $\mathbf{n}$ 二面体群.

集合 $P_n$ 不会有帮助——它有无穷多的元素. 但是, 如果 $D_{2n}$ 作用于 $P_n$, 它必须对 $P_n$ 的顶点 $v_1,v_2,\dots ,v_n$ 进行排列. 因此 $D_{2n}$ 作用于集合 $V=\{v_1,v_2,\dots ,v_n\}$.

给定某个顶点 $v_i$, 我们可以看到$${\mathcal{O}}_{v_i}=V.$$什么? 旋转 $\frac{2\pi }{n}$ 是线性的, 并且将 $P_n$ 变换为 $P_n$ (因为我们选择了 $P_n$ 以其中心在原点). 因此, 旋转 $\frac{2\pi k}{n}$ 属于 $D_{2n}$, 并且绕 $v_i$ 旋转 $\frac{2\pi k}{n}$ 会命中每个 $v_j$.
那么稳定子是什么?

如果 $v_i$ 被固定, 那么 $g\in D_{2n}$ 对 $v_{i-1}$ 和 $v_{i+1}$ 能做什么呢?

•	如果 $g(v_{i-1})=v_{i-1}$, 则我们有两个线性独立的向量——$v_i,v_{i-1}$ 被 $g$ 固定. 因此 $g={\text{id}}_{{\mathbb{R}}^2}=\left(\begin{array}{cc}1& 0\\ 0& 1\end{array}\right)$.
•	否则, $g(v_{i-1})=v_{i+1}$. 则 $g$ 必须是关于穿过原点 $\vec{O}$ 和 $v_i$ 的直线的反射.

所以恰好存在两个 $D_{2n}$ 的元素固定 $v_i$. 即: $v_i$ 的稳定子的序数为 $2$ (因此同构于 $\mathbb{Z}/2\mathbb{Z}$).

根据轨道-稳定子定理,$$\begin{array}{rl}|D_{2n}|& =2\cdot |{\mathcal{O}}_{v_i}|\\ & =2\cdot |V|\\ & =2\cdot n\end{array}$$

例 4.9.8 (旋转对称性). 令 $T$ 为以原点为中心的正四面体. 令 $G\subset S{O}_3(\mathbb{R})$ 为满足 $g(T)=T$ 的旋转群.

那么 $G$ 作用于 $T$ 的顶点集. $T$ 有四个顶点: $v_1,v_2,v_3,v_4$.

首先计算某些 $v_i$ 的稳定子. 如果 $g$ 是一个固定 $v_i$ 的旋转, 它必须旋转 $v_i$ 对面的面, 并固定穿过 $v_i$ 的直线.

然后有三种可能的平面旋转——每种旋转分别为 $\frac{2\pi }{3}$, $\frac{4\pi }{3}$, 或 $0$ 弧度. 因此 $v_i$ 的稳定子是一个阶为 $3$ 的群因此同构于 $\mathbb{Z}/3\mathbb{Z}$).
轨道是什么? 每一个顶点! 因为如果你想找到 $g$, 使得 $g(v_i)=g(v_j)$, 选择 $g$ 为一个旋转, 固定某个 $v_k$, $v_k\ne v_i,v_j$, 并旋转!

根据轨道-稳定子定理,$$\begin{array}{rl}|G|& =3\cdot |{\mathcal{O}}_{v_i}|\\ & =3\cdot 4\\ & =12\end{array}$$我们将看到这个群的具体是什么.