五個 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 系統 |