小魔群

小魔群（）是一个散在单群，写作B 或 F_{2+} 或 F_2；是阶数第二大的散在单群。它的阶数是：
:   
: = 241313567211131719233147
: = 20!6!24!212233147
: ≈ 4.
历史
该群的存在性由贝恩德·菲舍尔在20世纪70年代早期未发表的工作中提出，当时他正在研究 {3,4}-对换群：即由一类对换生成的群，使得任意两个元素的乘积的阶至多为4。他研究了该群的性质，并计算了它的特征标表。小怪兽群的第一个构造后来由杰弗里·莱昂与查尔斯·西姆斯借助计算机实现，是作用在 13,571,955,000 个点上的置换群。 罗伯特·格里斯后来利用其双重覆盖包含在怪兽群中这一事实，找到了一个无需计算机的构造。其名称“小怪兽”由约翰·霍顿·康威提议。
参考资料