1、a=FiniteGroupData[24][[5]];这里的a就是12阶二面体群。它的矩阵表示如下。
2、Cayley图很简单。这说明,这个群有两个生成元。
4、只有一个3阶子群。
6、5个6阶子群。
8、下图中的两个子群的乘积不是子群。