平面上围绕原点旋转的有限群的构造

设G是平面上的一个绕原点旋转的有限群，那么G里面的元素数目就是有限的。本文，试图给出这个有限群的一个构造方法。

2、不会这么复杂吧！如果我们限定n的范围，会不会好一些呢？

4、假设n是使得p[u*n]为恒等变换的最小的正整数（这样的n肯定是存在的，否则G就是无限群）：p[u*n] == {{1, 0}, {0, 1}}可以发现，u=(2cπ)/n，其中c也是整数。

再来

1、假设G-P不是空集，q[v]是G-P里面的元素，表示绕原点旋转角度v：q[v_] := {{Cos[v], -Sin[v]}, {Sin[v], Cos[v]}}那么q[v]重复若干次之后，也会回到恒等变换，类似于p[u]；假设m是最小的正整数，使得：q[v*m] == {{1, 0}, {0, 1}}那么，v=(2dπ)/m，其中d也是整数。q[v*r]（r=1,2,3,……,m）构成G的另一个有限循环子群Q。

3、真正有趣的是，k[w]生成的G的有限循环子群K，会把P和Q囊括在内。这一点不再多加说明。

4、如果G-K为空集，就说明G为有限循环群。否则，任取G-K的某个元素，执行上面的操作；由于G有限，因此，在有限步骤内，就会把G里面的元素全部拿出来。这就说明，G必定是有限循环群。