24阶群之：12阶二面体群

1、a=FiniteGroupData[24][[5]];

这里的a就是12阶二面体群。它的矩阵表示如下。

2、Cayley图很简单。

这说明，这个群有两个生成元。

3、它有13个二阶子群。

4、只有一个3阶子群。

5、7个4阶子群。

6、5个6阶子群。

7、3个8阶子群。

8、下图中的两个子群的乘积不是子群。