braid，叫它编织、叫它辫子，随意。这个群，名字叫Bn，它比Sn“大”，因为它有类似于记录信息的功能。比如上面的这个编织，重复三次，你可以得到一个不平凡的东西，但是如果是把这个东西写作置换群的元素，三次得到的一定是平凡的。
如果一个群，有一个正规子群和另一个和它无交的子群，满足，那么我们就说是它们的半直积，这个时候被在上面的共轭作用就唯一决定了。事实上，我们经常用这个鬼方法来构造群。
那么我们知道，su2的有限子群在映射 f：su2-su3下，也应是有限的。那么我们考虑所有su3有限子群lift到su2上，即可得出SU2的所有有限子群。
正n面体有五个，而我们注意，8面体的面数是6面体的顶点数；6面体的面数是8面体的顶点数，即互为对偶，而如果把它们的生成元素全部写出来，这两个群是一样的。
C[x,y]/(x^2+y^2-1)是PID,而R[x,y]/(x^2+y^2-1)连UFD都不是(尽管Dedekind的)，还有就是一些计算了。
对于面而言，我们有6个面可以选择作为朝下的面；确定了朝下的面之后，还有4种方向可供选择，所以总共就是6×4=24种摆放方法。
