Polya

Polya

---

拉格朗日定理

H是G的子群
$|H||G:H|=|G|$ ($|G:H|$表示H在G中的陪集个数)
$|H|$的每个陪集的大小与$|H|$相等，又由不同的陪集互不相交且不同陪集的并为$G$得证
很显然这也说明了一个群的子群大小是整除该群大小的

---

轨道与稳定化子定理

对于一个被置换集合内的元素x
我们定义他的轨道为
$Orbit(x) = \{n|n=f(x),f\in G \}$
即他最后通过置换集合的作用后能变成的不同元素集合.
我们定义他的稳定化子为
$Stab(x) = \{f|x=f(x),f\in G \}$的置换组成的集合

首先证明一个东西
$H是G的一个子集$
$aH$是$H$关于$a$的陪集，
$bH$是$H$关于$b$的陪集，
那么$aH = bH$ <-> $a^{-1}b \in H$
直接先证明$aH = bH$ -> $a^{-1}b \in H$,反过来的话同理
我们有$ah_{1}=bh_{2}$,那么$a*b^{-1}=h_{2}*h_{1}^{-1}$，因为$h_{2}*h_{1}^{-1} \in H$(群的定义）,得证。

|轨道||稳定化子|=|群|
证明
$g_{1}x$等于$g_{2}x$当且仅当$g_{1}^{-1}g_{2}x=x$
也就是$g_{1}^{-1}g_{2}$(g1的逆乘以g2)在x的稳定化子里
也就是说$g_{1}$和$g_{2}$对应的稳定化子的陪集相同
轨道的大小就是不同的$g_{1}x$的个数，即稳定化子的陪集数量
根据拉格朗日定理，得证.

---

Polya定理

一个显然的东西:
$对于x \in M, 有 x \in Orbit(x)$

$|M/G|=\frac{1}{|G|}\sum_{g\in G}|M^{g}|$
其中$M^{g}= \{ g(m) = m，m \in M \}$即在g的作用下不动的元素

证明
$\frac{1}{|G|}\sum_{g\in G}|M^{g}|=\frac{1}{|G|}\sum_{m \in M}|Stab(M)|=\sum_{m \in M}\frac{1}{|Orbit(M)|}$
这个式子很明显就是$|M/G|$了