“置换群”(permutation group)
置换就是一种特殊的函数。函数的定义域是{1,2,3,...,n},也就是从1到n的n个自然数。值域也是{1,2,3,...n}。
如果这个函数满足,对于不同的自变量,函数值都不一样,那么这个函数就称为一个置换。
f(1)=3;
f(2)=2;
f(3)=1;
这时,f 就是一个置换。但如果 g 是这样定义的,g(1)=1,g(2)=1,g(3)=2,这g不是一个置换
一个置换就是把 1,2,3,...n 做了重新排列。
3个颜色面的块有top层4个 bottom层4个 一共8个
2个颜色面的块有 top层4个, bottom层4个,中间层4个一共12个
因此每个颜色面编号一共3*8+2*12=48
一个魔方的状态又可以看成定义域和值域都是{1,2,3,...,48}的一个置换
置换表示方法:
(13)(24): 即1变成3,3变成1 2->4 4->2
1 3
2 4
3 1
4 2
(17)(26)(3)(4)(5) 就进一步简化成 (17)(26)
n元集{1,2,...,n}上的置换有 n ! 个
分解:每个置换表示成对换的复合的形式不是唯一的,但是所有不同的表示中,对换的个数的奇偶性的不变的
(12345)=(12) x(13) x(14) x (15)
f =(123)(4567)=(12)(13) (45)(46)(47) 是一个奇置换