五个 Mathieu 群 ,
,
,
, 和
是最早被发现的散在群,由 Mathieu 在 1861 年和 1873 年发现。Frobenius 证明了所有 Mathieu 群都是 子群 of
。
散在 Mathieu 群在 Wolfram 语言中实现为MathieuGroupM11[], MathieuGroupM12[], MathieuGroupM22[], MathieuGroupM23[], andMathieuGroupM24[].
所有散在 Mathieu 群都是多重传递的。下表总结了 Mathieu 群的一些性质,其中 表示传递性,而
是最小置换支持的长度(群的名称由此而来)。
群 | 阶 | 分解 | ||
4 | 11 | 7920 | ||
5 | 12 | 95040 | ||
3 | 22 | 443520 | ||
4 | 23 | 10200960 | ||
5 | 24 | 244823040 |
Mathieu 群最简单的定义是 自同构群 of Steiner 系统,如下表总结。
Mathieu 群 | Steiner 系统 |