群论是数学分支之一，在OI中的运用主要在于置换群和Burnside引理，polya定理。
http://blog.csdn.net/liangzhaoyang1/article/details/72639208
http://blog.csdn.net/gengmingrui/article/details/50564027
http://www.cnblogs.com/candy99/category/955780.html
https://files.cnblogs.com/files/HocRiser/Burnside.pdf
首先介绍群的概念
群是一个集合和一个定义在集合上的运算$*$组成的有序二元组，这个集合中的元素包含非常广泛（元素本身就可以是一种运算等等）。群需要满足四个公理：封闭性（对于*运算封闭），结合性（$a*b=b*a$)，存在幺元（$e*a=a$），任意元素存在逆元（$a*a^{-1}=e$）。
然后是置换群$G$：一个置换规定一种变换法则，将集合中的一些元素映射成另一些。
OI中一般可以认为“元素”是一个数组${a_i}$，对这个数组的变换（如交换某两个元素，翻转等等）就是置换，置换群就是一个置换的集合加上一个“叠加”运算（就是两个置换一次操作）。
有了这些概念，就可以引入Burnside的概念了。
不动点$c(a_i)$：若某元素在置换$a_i$下不改变，则成它为置换$a_i$的不动点。
元素轨道$E_k$（等价类）：一个元素经过置换能得到的所有元素集合（这里元素可以看做一个点，置换可以看作走一条边，轨道就是能走到的所有点的集合）。
稳定化子$Z_k$ ：使操作后这个元素不变的置换集合（即这个元素是此集合内所有置换的不动点）。
拉格朗日定理：一个有限群的子群的元素个数必能整除这个群的元素个数。
轨道－稳定化子定理：$|E_k|*|Z_k|=G$
由上式即可推出Burnside引理：一个置换群的等价类的个数等于各置换不动点个数的平均值。
证明见上面第四个网址，下同。
但是要求每个置换的不动点个数过于复杂，这时候就需要用到polya定理，就是将不动点的个数具体化为颜色的循环个数次方。
概念理解之后就可以做练习了，下面是例题。
注意题目是否给出了恒等变换，如果没有则需要自己添加。
切记：循环是所有问题的突破口，DP与数学通式是大部分题目的标算。
不涉及定理的题目：POJ3270,POJ2369,POJ1721,POJ3128,BZOJ1025
polya定理：BZOJ1004,POJ2409,POJ2154