1.技术性困难:引入生成函数解出问题通解表达式.
2.概念性困难:定义一个等价关系,计数等价类.以避免重复和遗漏.
def1. 群(G,·):对代数系统(G,·),有:
(1)封闭(2)结合律(3)单位元(4)逆元
结合(2)(4)可得消去律
, ,> >都是群,加法中0为单位元逆元负数,乘法中1为单位元逆元倒数
def2.
def3.子群:集合为原群
def4.平凡子群:对于
Th.子群与parent群共享单位元(消去律可证).
Th.对于,H为G非空子集,满足任a,b∈H,则a· b−1 ∈H,那么为其子群.
proof:单位元,结合律继承,封闭性可由以上条件推得
Th.设为有限群,e为其单位元,H为G的非空子集,任意 a,b∈H ,都有 a⋅b∈H ,则为其子群.
def5.循环群之生成元
def1.置换:n元有限集合D上的一一映射
置换的复合运算
Th.置换的复合运算满足结合律但不满足交换率
def2. n元有限集合D上的所有置换的集合 Sn 关于置换的复合运算构成群 Sn 的阶为n!. Sn 称n次对称群,其子群成为n次置换群.
def3.轮换:在置换 σ 中有k个元素满足轮换,其余元素不变记为长度为k的轮换.
Th.任一置换可表示为不想交的轮换之积,这些轮换可称为原置换的轮换因子.
proof
e.g.4正方体旋转问题:恒等置换1,相对面中心线旋转置换9,相对顶点连线旋转置换8,相对边中心连线旋转置换6,=>1+9+8+6=24种置换,构成8次24阶置换群.
有限集合:对象集合D 颜色集合R
对象集合D上置换群G
D到R的映射(对D中全部对象染色方案)全体的集合F—G等价关系—G等价类
def1.有限集合D到R的映射全体记为
Th. G等价关系是映射全体集合F上的等价关系
proof:自反性,对称性,传递性,因为G是群:单位元(恒等变换),逆元, 封闭性
e.g.1正立方体6面进行红黄两色着色,着色方案全体 F={f|f:D→R} ,其中D={上下左右前后}R={红黄}. f1,f2 若是G等价则视为同一着色方案.(G为3.8中e.g.4)
e.g.2长为n的项链用r种颜色涂.着色方案全体为 F={f|f:D→R} ,项链视为D上的n次二面体.
n次置换群G( Sn 的子群)
n阶有限对象集合D—(对象) G− 等价关系— G− 等价类(k所在等价类记为 Ek )
n次对称群 Sn —(置换)G共轭关系—G共轭类
映射的集合F—(映射)G等价关系—G等价类
k不动类(使对象k不动的置换构成的G的子群)
def1.共轭类:G为置换集合 Sn 的子群,对任意 s,t∈Sn,存在g∈G ,使得 s=g−1tg ,则称s与t是G共轭的.
Th. G共轭为 Sn 上等价关系
proof:自反性(恒等变换) 对称性(逆元) 传递性(结合率)
Th.两个置换s,t关于 Sn 共轭,当且仅当它们同型
proof分解为不相交的轮换积
由于等价关系, Sn 中所有同型(关于G共轭)的置换构成一个等价类,记为共轭类
Th. Sn 中属于 1b12b23b3...nbn 型的置换个数为
n!b1!b2!...bn!1b12b23b3...nbn
proof:将{1,2,…n}的全排列填入框架 b1∗(x)b2∗(xx)...bn(xxx..x) 共有n!个置换,其中 Bk 个长为k的轮换可以写成k种形式(除以 kbk(1≦k≦n) ),不相交的轮换乘积可以交换(除以 bk!(1≦k≦n) ).
def1. G是{1,2,…,n}上的置换群,则k不动类为G中使元素k保持不动的置换全体
Th.任意 k∈D , Zk 是D上置换群G的子群,称为G的k不动置换类
proof:有限群 封闭
def. k与l是 G− 等价的:存在 σ∈G ,使得 σ(k)=l .
易证 G− 为D上的等价关系,由该关系确定的D上的等价类称为G 诱导出的等价类,元素k所在的等价类记为 Ek
NOTE:(任意的 k,l∈D ,D={1,2…,n}),即这里k,l都是D中的元素,而非G中的置换
Th.如上定义的G, Zk , Ek 满足|Ek|⋅|Zk|=|G|(1≦k≦n)
proof:
Th.(Burnside引理) 设G={ a1,a2,...,ag }是{1,2,…,n}上的置换群(含有g个置换),则G诱导的等价类个数为
l=1|G|∑i=1gc1(ai),其中 c1(ai) 表示置换 ai 作用下保持不变的元素个数.
proof:
赋权:对颜色赋权,R中的每个元素 ci赋一个权w(ci),可以是数字或字母 ,通过加法(+)和连接(·)运算,满足交换律和结合率.
def.映射f的权是是所有项的的权的连接
**Th.**F中两个映射 f1,f2 是G等价=> w(f1)=w(f2) (充分不必要条件).
def.映射集合F中同一等价类的权相同,可以由此定义等价类的权(简称模式).
Th.有限集合D到R上映射集合F,若对D进行k划分(同一划分下元素在F中映射必须相同),则F中映射构成的模式表为
∏i=1k(∑r∈Rw(r)Di).