【抽象代数】正八面体对称群的表示

1、除了恒等变换，绕着x轴的旋转对称还包括90°、180°、270°的旋转，其中，把绕着x轴的90°旋转记为a，那么，a的矩阵形式可以写为：a = RotationMatrix[Pi/2, {1, 0, 0}]绕着x轴的180°、270°的旋转，可以记为a.a、a.a.a。

3、绕着z轴旋转90°的矩阵形式，记为c：c = RotationMatrix[Pi/2, {0, 0, 1}]还有对应的c.c、c.c.c。

5、还有绕着向量{1, -1, 1}、{-1, 1, 1}、{-1, -1, 1}的120°旋转，其矩阵形式分别记为e、f、g：e = RotationMatrix[2*Pi/3, {1, -1, 1}];f = RotationMatrix[2*Pi/3, {-1, 1, 1}];g = RotationMatrix[2*Pi/3, {-1, -1, 1}];还有对应的e.e、f.f、g.g。下图是矩阵e。

7、再算上恒等变换（矩阵形式是单位矩阵），可以发现，正八面体群共有24个元素。它们的旋转矩阵表示，在下表中列出。