有限群 是阶数为 12 的三个非阿贝尔群之一(阶数为 12 的群总共有五个),另外两个是 交错群
和 二面体群
。然而,非常不幸的是,符号
被用来指代这个特定的群,因为符号
也被用来表示点群
,该点群构成了完全四面体群
的纯旋转子群,并且同构于
。因此,在阶数为 12 的三个不同的非阿贝尔群中,其中两个不同的群在某些情况下都被称为
。因此,需要格外小心。
是
被
的半直积,通过映射
,由
给出,其中
是 自同构
。该群可以由以下生成元构造
(1)
| |||
(2)
|
其中 作为群元素 1,
,
,
,
,
,
,
,
,
,
, 和
。乘法表如上所示。
具有共轭类
,
,
,
,
, 和
。有 8 个子群,它们的阶数分别为 1, 2, 3, 4, 4, 4, 6 和 12。其中,以下五个是正规子群:
,
,
,
, 和整个群。
循环图 如上所示。对于
, 2, ...,满足
的元素数量分别为 1, 2, 3, 8, 1, 6, 1, 8, 3, 2, 1 和 12。
有限群 具有以下表示
(3)
|
和
(4)
|