事实上，魔群不存在以 socle $\text{PSL}_2(16)$ 为基的几乎单极大子群
群论
2023-11-08 v3
摘要
魔群 的极大子群分类被认为已完成，尚依赖于 Holmes 和 Wilson 一项未发表的结果，该结果断言 没有几乎单且 socle 同构于 、 或 的极大子群。我们证明了关于 的该结果，并打算在本文的扩展版本中处理另外两种情况。我们的证明得到使用 Seysen 公开可用的 Python 包 mmgroup 进行 计算的、可复现的计算的支持。
引用
@article{arxiv.2310.03317,
title = {Indeed, the Monster has no almost simple maximal subgroup with socle $\text{PSL}_2(16)$},
author = {Heiko Dietrich and Melissa Lee and Tomasz Popiel},
journal= {arXiv preprint arXiv:2310.03317},
year = {2023}
}
备注
Merged with arXiv:2304.14646