css3魔方3乘3每层旋转_魔方与群论（三）(人类使用交换子，神仙减少生成元）...

我会在本篇文章中着重介绍一些群论相关的知识，包括子群，生成元以及一些群的定理。最后介绍降群法解魔方。

前两篇文章：

法会因由：魔方与群论（一）(不要被标题吓到，高中生就可以看）​zhuanlan.zhihu.com

法会因由：魔方与群论（二）（交换子牛啤！）​zhuanlan.zhihu.com

Ideal Toy Company stated on the package of the original Rubik cube that there were more than three billion possible states the cube could attain. It's analogous to Mac Donald's proudly announcing that they've sold more than 120 hamburgers.
(J. A. Paulos, Innumeracy)

---

八、子群

上一篇文章我们介绍了，魔方群其实是置换群

的一个子群。什么是子群呢？如果一个群H中的每个元素都是群G中的元素，且H上的二元运算与G相同，那么H称为群G的子群。

显然，子群中必然包含单位元。那么我们以置换群为例。之前的文章中，我们介绍了，一个置换群中的置换分为奇置换与偶置换，那么猜一猜，一个置换群能否由奇置换或者偶置换构成子群呢？很显然，由于偶置换中包括单位元（恒等置换），而奇置换不包含，同时偶置换的复合一定是偶置换，因此所有的偶置换是置换群的一个子群，而奇置换不是。我们把置换群

中所有偶置换构成的子群记为

（alternating group）。以及显然，只有单位元的群是任何群的子群，同时这个群本身也是它自己的子群，我们将他们成为平凡子群。

除了偶置换构成的子群以外，置换群还有其他非平凡子群吗？

考虑置换群

。如果我们将所有保持1不动的置换拿出来，显然这些置换也构成子群：

读者可以自行验证它是否满足群的公理。

同理，我们将所有保持2不动的置换拿出来，这些置换也构成子群：

如果我们取子群H和K的交集，我们发现他们的交集也是一个子群：

这就引出了子群的一个性质：两个子群的交集必然也是一个子群。请读者证明。

子群的第二个性质跟群元素的个数有关。我们将群元素的个数称为一个群的阶（order）。（注意，本系列文章中出现了多个“阶”，请大家分清他们的含义）显然只有有限群有阶。

Lagrange's theorem ：对于一个有限群G来说，其子群H的阶数必定能整除群G的阶数。

这个定理的证明我替大家完成，就不留作习题了（笑

我们设群G的阶数为n，群H的阶数为m，且m＜n，则群H可以写成：

我们取一元素

，则我们可以把这个作用在H的每一个元素上：

我们可以得到几个结论：

• 不构成群。（请读者说明理由）
• 中没有重复的元素。（
  ）
• （
  ）

接下去，我们可以拿另一个H与

之外的元素

作用于H上，得到

。显然

。请读者自己证。

我们可以重复这个步骤，直到取不出以上所有集合之外的新的元素为止。假设我们取了k-1个g，则我们创造了k个集合：

,在G中，这些集合之外没有新的元素（如果有我们可以重新取），且这些集合的交集都为空集。那么我们可以说这k个集合包含了G中所有元素。因此n=km。Quid Erat Demonstrandum.

这个定理对于我们判断魔方群子群的阶数很重要。

---

九、生成元

我们说，魔方群是置换群的一个子群。但是这样看和我们的魔方操作关系并不大。从另一个角度看，魔方群其实是一个由六个基本操作<U,F,D,L,R,B>生成的群。

什么意思呢？如果我们有一个群G，且其中所有元素都可以由群G中的某个元素通过与它自身的复合构成，那么这个元素称为这个群的一个生成元。例如群{1，i,-1,-i}配上乘法，那么其中每个元素都可以由i复合而成，因此i是这个群的一个生成元。同时，-i也是这个群的生成元，但是-1，1都不是这个群的生成元。

一个群也可以有多个生成元。我们把多个生成元称为群的生