wikipedia上是这么定义的：



我不太明白s。

我能把s换成

\begin{array}{cc}
\frac{1}{2} & \frac{\sqrt{3}}{2} \\
\frac{\sqrt{3}}{2} & -\frac{1}{2} \\
\end{array}

吗？

我验证了一下，所有的公式都满足。那么至少这个群和 D_2n 是同构的。
--
修改:snnn FROM 73.189.34.*
FROM 73.189.34.*