O'Nan group
Template:Short description Template:Group theory sidebar
In the area of abstract algebra known as group theory, the O'Nan group O'N or O'Nan–Sims group is a sporadic simple group of order
- 460,815,505,920 = 29Template:·34Template:·5Template:·73Template:·11Template:·19Template:·31 ≈ 5Template:E.
History
O'N is one of the 26 sporadic groups and was found by Template:Harvs in a study of groups with a Sylow 2-subgroup of "Alperin type", meaning isomorphic to a Sylow 2-Subgroup of a group of type (Z/2nZ ×Z/2nZ ×Z/2nZ).PSL3(F2). In O'Nan's original paper, the definition of Alperin type required that n ≥ 2, because the n = 1 case had already been classified. If this restriction is removed, then the following simple groups have Sylow 2-subgroups of Alperin type:
- For the Chevalley group G2(q), if q is congruent to 3 or 5 mod 8, n = 1 and the extension does not split.
- For the Steinberg group 3D4(q), if q is congruent to 3 or 5 mod 8, n = 1 and the extension does not split.
- For the alternating group A8, n = 1 and the extension splits.
- For the O'Nan group, n = 2 and the extension does not split.
- For the Higman-Sims group, n = 2 and the extension splits.
The Schur multiplier has order 3, and its outer automorphism group has order 2. Template:Harvcol showed that O'N cannot be a subquotient of the monster group. Thus it is one of the 6 sporadic groups called the pariahs.
Representations
Template:Harvtxt showed that its triple cover has two 45-dimensional representations over the field with 7 elements, exchanged by an outer automorphism.
The degrees of irreducible representations of the O'Nan group are 1, 10944, 13376, 13376, 25916, ... (sequence A003919 in the OEIS).
Maximal subgroups
Template:Harvtxt and Template:Harvtxt independently found the 13 conjugacy classes of maximal subgroups of O'N as follows:
| No. | Structure | Order | Index | Comments |
|---|---|---|---|---|
| 1,2 | L3(7):2 | 3,753,792 = 26·32·73·19 |
122,760 = 23·32·5·11·31 |
two classes, fused by an outer automorphism |
| 3 | J1 | 175,560 = 23·3·5·7·11·19 |
2,624,832 = 26·33·72·31 |
the subgroup fixed by an outer involution in O'N:2 |
| 4 | 42· L3(4):21 | 161,280 = 29·32·5·7 |
2,857,239 = 32·72·11·19·31 |
the centralizer of an (inner) involution in O'N |
| 5 | Template:Nowrap | 25,920 = 26·34·5 |
17,778,376 = 23·73·11·19·31 |
|
| 6 | 34:21+4.D10 | 25,920 = 26·34·5 |
17,778,376 = 23·73·11·19·31 |
|
| 7,8 | L2(31) | 14,880 = 25·3·5·31 |
30,968,784 = 24·33·73·11·19 |
two classes, fused by an outer automorphism |
| 9 | 43 · L3(2) | 10,752 = 29·3·7 |
42,858,585 = 33·5·72·11·19·31 |
|
| 10,11 | M11 | 7,920 = 24·32·5·11 |
58,183,776 = 25·32·73·19·31 |
two classes, fused by an outer automorphism |
| 12,13 | A7 | 2,520 = 23·32·5·7 |
182,863,296 = 26·32·72·11·19·31 |
two classes, fused by an outer automorphism |
O'Nan moonshine
In 2017 John F. R. Duncan, Michael H. Mertens, and Ken Ono proved theorems that establish an analogue of monstrous moonshine for the O'Nan group. Their results "reveal a role for the O'Nan pariah group as a provider of hidden symmetry to quadratic forms and elliptic curves." The O'Nan moonshine results "also represent the intersection of moonshine theory with the Langlands program, which, since its inception in the 1960s, has become a driving force for research in number theory, geometry and mathematical physics." Template:Harv.
An informal description of these developments was written by Template:Harvs in Quanta Magazine.
Sources
- Template:Cite journal
- Template:Cite journal
- Template:Cite magazine
- Template:Citation
- Template:Cite journal
- Template:Citation
- Template:Citation
External links
- MathWorld: O'Nan Group
- {{#invoke:citation/CS1|citation
|CitationClass=web }}