polya计数学习小结

最近半个月以来一直在看《组合数学》，马马虎虎也算翻完了，理解的也很浅，接下来的一个月中，我将把主要精力放在做数学题上同时巩固总结这一
个月以来所学的数论组合数学知识。那就先从Polya计数法开始吧。
Burnside定理：
首先介绍一下有关置换群的一些知识。
置换：
设X是一个有限集。取X为包含前n个整数的集合{1,2,3...,n}，X的每一个置换a1,a2,a3,..,an可视为X到其自身定义的一个一对一的函数。如{1,2.3}
的一个置换可为{2,1,3}。
置换群：
如果Sn中的置换的非空子集G满足如下三条性质，则定义它为X的一个置换的群，简称置换群：
1.（合成元素的封闭性）对G中所有置换f与g，f与g的合成f·g也属于G。
2.（结合律）对G中的置换f，g，k，有(f * g) * k == f * (g * k);
3.（单位元）Sn中的恒等置换E属于G。
4.（逆元的封闭性）对G中的每一个置换f它的逆f'也属于G。
铺垫工作做完，下面正式介绍Burnside定理。
考虑用红蓝两色将一个正方形的4个顶点进行着色正方形可旋转翻转，置换群为G,C是着色集合，问不等价着色数。
由于适当选取f和c，可使得f*c = c，所以定义G(c)为使着色c保持不变的G中的所有置换的集合，定义C(f)为在f作用下使色c保持不变的所有置换的集
合。称G(c)为稳定核。
定理1：
对于每一种着色c，c的稳定核G(c)是一个是置换群，且对G中的任意置换f与g，g*c = f*c当仅当f'·g属于G(c).
证明：
G(c)是置换群证明略。