Polya
拉格朗日定理
H是G的子群
|H||G:H|=|G|
(
|G:H|
表示H在G中的陪集个数)
|H|
的每个陪集的大小与
|H|
相等,又由不同的陪集互不相交且不同陪集的并为
G
得证
很显然这也说明了一个群的子群大小是整除该群大小的
轨道与稳定化子定理
对于一个被置换集合内的元素x
我们定义他的轨道为
即他最后通过置换集合的作用后能变成的不同元素集合.
我们定义他的稳定化子为
Stab(x)={f|x=f(x),f∈G}
的置换组成的集合
首先证明一个东西
H是G的一个子集
aH
是
H
关于
bH
是
H
关于
那么
aH=bH
<->
a−1b∈H
直接先证明
aH=bH
->
a−1b∈H
,反过来的话同理
我们有
ah1=bh2
,那么
a∗b−1=h2∗h−11
,因为
h2∗h−11∈H
(群的定义),得证。
|轨道||稳定化子|=|群|
证明
g1x
等于
g2x
当且仅当
g−11g2x=x
也就是
g−11g2
(g1的逆乘以g2)在x的稳定化子里
也就是说
g1
和
g2
对应的稳定化子的陪集相同
轨道的大小就是不同的
g1x
的个数,即稳定化子的陪集数量
根据拉格朗日定理,得证.
Polya定理
一个显然的东西:
对于x∈M,有x∈Orbit(x)
|M/G|=1|G|∑g∈G|Mg|
其中
Mg={g(m)=m,m∈M}
即在g的作用下不动的元素
证明
1|G|∑g∈G|Mg|=1|G|∑m∈M|Stab(M)|=∑m∈M1|Orbit(M)|
这个式子很明显就是
|M/G|
了