【抽象代数】写出正四面体群的一种酉表示

1、在《【抽象代数】正四面体群的三维矩阵表示》，我给出了正四面体群的一个3维的矩阵表示。本文的后续讨论，就以此为基础。a={{0,0,1},{1,0,0},{0,1,0}};b={{0,0,1},{-1,-1,-1},{1,0,0}};

3、先来寻找一个向量p1和p2，使得：f[p,p]==1&&f[p0,p0]==1&&f[p,p0]==0

5、这样，我们得到了这个型的一个标准正交基。

7、P'GP就是一个酉表示。G0=Simplify[Inverse[P].#.P]&/@G