41:
486:
461:
424:
788:
346:
296:
1496:
781:
291:
707:
774:
940:
1346:
In 2017 John F. R. Duncan, Michael H. Mertens, and Ken Ono proved theorems that establish an analogue of
391:
205:
888:
123:
1350:
for the O'Nan group. Their results "reveal a role for the O'Nan pariah group as a provider of hidden
1690:
1454:
1179:
1139:
1110:
995:
589:
323:
200:
88:
469:
444:
407:
1351:
896:
739:
529:
1362:." The O'Nan moonshine results "also represent the intersection of moonshine theory with the
821:
613:
1653:
1625:
1589:
1582:
1546:
1463:
1375:
825:
553:
541:
159:
93:
8:
1632:
Yoshiara, Satoshi (1985), "The maximal subgroups of the sporadic simple group of O'Nan",
1347:
884:
128:
23:
1467:
1594:
1559:
1436:
1411:
113:
85:
1366:, which, since its inception in the 1960s, has become a driving force for research in
1641:
1613:
1608:
1573:
1554:
1534:
1441:
1363:
1317:
1291:
979:
957:
900:
518:
361:
255:
1033:
representations over the field with 7 elements, exchanged by an outer automorphism.
684:
1673:
1603:
1568:
1526:
1517:
O'Nan, Michael E. (1976), "Some evidence for the existence of a new simple group",
1479:
1471:
1431:
1423:
1053:
991:
876:
802:
669:
661:
653:
645:
637:
625:
565:
505:
495:
337:
279:
154:
1649:
1621:
1578:
1542:
1501:
1492:
1395:
1386:
1049:
933:
919:
872:
753:
746:
732:
689:
577:
500:
330:
244:
184:
64:
1634:
Journal of the
Faculty of Science. University of Tokyo. Section IA. Mathematics
1530:
1427:
1359:
1355:
1120:
760:
696:
386:
366:
303:
268:
189:
179:
164:
149:
103:
80:
1667:
1684:
1645:
1617:
1538:
1367:
1011:
679:
601:
435:
308:
174:
1445:
1015:
806:
534:
233:
222:
169:
144:
139:
98:
69:
32:
1484:
1007:
1475:
914:). The following simple groups have Sylow 2-subgroups of Alperin type:
701:
429:
1030:
522:
1371:
892:
59:
1672:
401:
315:
903:
to a Sylow 2-Subgroup of a group of type (Z/2Z ×Z/2Z ×Z/2Z).PSL
40:
1385:
An informal description of these developments was written by
1410:
Duncan, John F. R.; Mertens, Michael H.; Ono, Ken (2017),
1014:. Thus it is one of the 6 sporadic groups called the
472:
447:
410:
1674:"Atlas of Finite Group Representations: O'Nan group"
1592:(1985), "The maximal subgroups of the O'Nan group",
480:
455:
418:
1497:"Moonshine Link Discovered for Pariah Symmetries"
1682:
1409:
1379:
1555:"A new construction of the O'Nan simple group"
1519:Proceedings of the London Mathematical Society
782:
1452:Griess, R. L. (1982), "The Friendly Giant",
1335:two classes, fused by an outer automorphism
1309:two classes, fused by an outer automorphism
1259:two classes, fused by an outer automorphism
831: 460,815,505,920 = 2
789:
775:
1607:
1572:
1516:
1491:
1483:
1435:
1390:
880:
474:
449:
412:
1631:
1045:
1029:showed that its triple cover has two 45-
949:(q), if q is congruent to 3 or 5 mod 8,
928:(q), if q is congruent to 3 or 5 mod 8,
1683:
1588:
1451:
1041:
999:
347:Classification of finite simple groups
975:= 2 and the extension does not split.
1552:
1036:
1026:
13:
1341:
1021:
14:
1702:
1661:
953:and the extension does not split.
39:
1138:the subgroup fixed by an outer
1380:Duncan, Mertens & Ono 2017
1178:the centralizer of an (inner)
708:Infinite dimensional Lie group
1:
986:= 2 and the extension splits.
1609:10.1016/0021-8693(85)90059-6
1574:10.1016/0021-8693(88)90141-X
481:{\displaystyle \mathbb {Z} }
456:{\displaystyle \mathbb {Z} }
419:{\displaystyle \mathbb {Z} }
7:
1329:
1324:
1303:
1298:
1278:
1273:
1253:
1248:
1229:
1224:
1206:
1201:
1172:
1167:
1132:
1127:
1103:
1098:
1048:independently found the 13
932:and the extension does not
206:List of group theory topics
10:
1707:
1428:10.1038/s41467-017-00660-y
1422:(1), Article number: 670,
1402:
863:
1109:two classes, fused by an
968:and the extension splits.
1531:10.1112/plms/s3-32.3.421
1455:Inventiones Mathematicae
996:outer automorphism group
324:Elementary abelian group
201:Glossary of group theory
1553:Ryba, A. J. E. (1988),
1668:MathWorld: O'Nan Group
740:Linear algebraic group
482:
457:
420:
1495:(22 September 2017).
1416:Nature Communications
1332:= 2·3·7·11·19·31
1281:= 3·5·7·11·19·31
1064:Maximal subgroups of
994:has order 3, and its
971:For the O'Nan group,
822:sporadic simple group
483:
458:
421:
16:Sporadic simple group
1376:mathematical physics
1130:= 2·3·5·7·11·19
470:
445:
408:
1468:1982InMat..69....1G
1387:Erica Klarreich
1348:monstrous moonshine
1232:= 2·7·11·19·31
1209:= 2·7·11·19·31
1175:= 3·7·11·19·31
1068:
114:Group homomorphisms
24:Algebraic structure
1595:Journal of Algebra
1560:Journal of Algebra
1476:10.1007/BF01389186
1412:"Pariah moonshine"
1306:= 2·3·7·19·31
1256:= 2·3·7·11·19
1111:outer automorphism
1106:= 2·3·5·11·31
1063:
590:Special orthogonal
478:
453:
416:
297:Lagrange's theorem
1590:Wilson, Robert A.
1382:, article 670).
1364:Langlands program
1339:
1338:
1054:maximal subgroups
1050:conjugacy classes
1037:Maximal subgroups
1002::94) showed that
980:Higman-Sims group
958:alternating group
877:Michael O'Nan
875:and was found by
871:is one of the 26
799:
798:
374:
373:
256:Alternating group
213:
212:
1698:
1677:
1656:
1628:
1611:
1585:
1576:
1549:
1521:, Third Series,
1513:
1511:
1509:
1493:Klarreich, Erica
1488:
1487:
1448:
1439:
1199:
1069:
1062:
992:Schur multiplier
883:) in a study of
858:
818:O'Nan–Sims group
803:abstract algebra
791:
784:
777:
733:Algebraic groups
506:Hyperbolic group
496:Arithmetic group
487:
485:
484:
479:
477:
462:
460:
459:
454:
452:
425:
423:
422:
417:
415:
338:Schur multiplier
292:Cauchy's theorem
280:Quaternion group
228:
227:
54:
53:
43:
30:
19:
18:
1706:
1705:
1701:
1700:
1699:
1697:
1696:
1695:
1691:Sporadic groups
1681:
1680:
1664:
1659:
1507:
1505:
1502:Quanta Magazine
1405:
1396:Quanta Magazine
1360:elliptic curves
1356:quadratic forms
1344:
1342:O'Nan moonshine
1331:
1326:
1321:
1305:
1301:= 2·3·5·11
1300:
1295:
1280:
1275:
1270:
1255:
1251:= 2·3·5·31
1250:
1245:
1231:
1226:
1222:
1208:
1203:
1197:
1193:
1174:
1169:
1165:
1161:
1157:
1135:= 2·3·7·31
1134:
1129:
1124:
1105:
1101:= 2·3·7·19
1100:
1095:
1046:Yoshiara (1985)
1039:
1024:
1022:Representations
963:
948:
941:Steinberg group
927:
920:Chevalley group
913:
906:
899:type", meaning
873:sporadic groups
866:
856:
801:In the area of
795:
766:
765:
754:Abelian variety
747:Reductive group
735:
725:
724:
723:
722:
673:
665:
657:
649:
641:
614:Special unitary
525:
511:
510:
492:
491:
473:
471:
468:
467:
448:
446:
443:
442:
411:
409:
406:
405:
397:
396:
387:Discrete groups
376:
375:
331:Frobenius group
276:
263:
252:
245:Symmetric group
241:
225:
215:
214:
65:Normal subgroup
51:
31:
22:
17:
12:
11:
5:
1704:
1694:
1693:
1679:
1678:
1670:
1663:
1662:External links
1660:
1658:
1657:
1640:(1): 105–141,
1629:
1602:(2): 467–473,
1586:
1567:(1): 173–197,
1550:
1525:(3): 421–479,
1514:
1489:
1449:
1406:
1404:
1401:
1343:
1340:
1337:
1336:
1333:
1328:
1327:= 2·3·5·7
1323:
1319:
1315:
1311:
1310:
1307:
1302:
1297:
1293:
1289:
1285:
1284:
1282:
1277:
1272:
1268:
1265:
1261:
1260:
1257:
1252:
1247:
1243:
1240:
1236:
1235:
1233:
1228:
1223:
1220:
1217:
1213:
1212:
1210:
1205:
1200:
1195:
1191:
1187:
1186:
1176:
1171:
1170:= 2·3·5·7
1166:
1163:
1159:
1155:
1152:
1148:
1147:
1136:
1131:
1126:
1122:
1118:
1114:
1113:
1107:
1102:
1097:
1093:
1090:
1086:
1085:
1082:
1079:
1076:
1073:
1038:
1035:
1023:
1020:
998:has order 2. (
988:
987:
976:
969:
961:
954:
946:
937:
925:
911:
904:
865:
862:
861:
860:
797:
796:
794:
793:
786:
779:
771:
768:
767:
764:
763:
761:Elliptic curve
757:
756:
750:
749:
743:
742:
736:
731:
730:
727:
726:
721:
720:
717:
714:
710:
706:
705:
704:
699:
697:Diffeomorphism
693:
692:
687:
682:
676:
675:
671:
667:
663:
659:
655:
651:
647:
643:
639:
634:
633:
622:
621:
610:
609:
598:
597:
586:
585:
574:
573:
562:
561:
554:Special linear
550:
549:
542:General linear
538:
537:
532:
526:
517:
516:
513:
512:
509:
508:
503:
498:
490:
489:
476:
464:
451:
438:
436:Modular groups
434:
433:
432:
427:
414:
398:
395:
394:
389:
383:
382:
381:
378:
377:
372:
371:
370:
369:
364:
359:
356:
350:
349:
343:
342:
341:
340:
334:
333:
327:
326:
321:
312:
311:
309:Hall's theorem
306:
304:Sylow theorems
300:
299:
294:
286:
285:
284:
283:
277:
272:
269:Dihedral group
265:
264:
259:
253:
248:
242:
237:
226:
221:
220:
217:
216:
211:
210:
209:
208:
203:
195:
194:
193:
192:
187:
182:
177:
172:
167:
162:
160:multiplicative
157:
152:
147:
142:
134:
133:
132:
131:
126:
118:
117:
109:
108:
107:
106:
104:Wreath product
101:
96:
91:
89:direct product
83:
81:Quotient group
75:
74:
73:
72:
67:
62:
52:
49:
48:
45:
44:
36:
35:
15:
9:
6:
4:
3:
2:
1703:
1692:
1689:
1688:
1686:
1675:
1671:
1669:
1666:
1665:
1655:
1651:
1647:
1643:
1639:
1635:
1630:
1627:
1623:
1619:
1615:
1610:
1605:
1601:
1597:
1596:
1591:
1587:
1584:
1580:
1575:
1570:
1566:
1562:
1561:
1556:
1551:
1548:
1544:
1540:
1536:
1532:
1528:
1524:
1520:
1515:
1504:
1503:
1498:
1494:
1490:
1486:
1485:2027.42/46608
1481:
1477:
1473:
1469:
1465:
1461:
1457:
1456:
1450:
1447:
1443:
1438:
1433:
1429:
1425:
1421:
1417:
1413:
1408:
1407:
1400:
1398:
1397:
1392:
1388:
1383:
1381:
1377:
1373:
1369:
1368:number theory
1365:
1361:
1357:
1353:
1349:
1334:
1322:
1316:
1313:
1312:
1308:
1296:
1290:
1287:
1286:
1283:
1266:
1263:
1262:
1258:
1241:
1238:
1237:
1234:
1218:
1215:
1214:
1211:
1192:
1189:
1188:
1185:
1181:
1177:
1153:
1150:
1149:
1145:
1141:
1137:
1125:
1119:
1116:
1115:
1112:
1108:
1091:
1088:
1087:
1083:
1080:
1077:
1074:
1071:
1070:
1067:
1061:
1059:
1055:
1051:
1047:
1043:
1042:Wilson (1985)
1034:
1032:
1028:
1019:
1017:
1013:
1012:monster group
1009:
1005:
1001:
997:
993:
985:
981:
977:
974:
970:
967:
959:
955:
952:
945:
942:
938:
935:
931:
924:
921:
917:
916:
915:
910:
902:
898:
894:
890:
886:
882:
878:
874:
870:
854:
851: 19
850:
847: 11
846:
842:
838:
834:
830:
829:
828:
827:
823:
819:
815:
812:
808:
804:
792:
787:
785:
780:
778:
773:
772:
770:
769:
762:
759:
758:
755:
752:
751:
748:
745:
744:
741:
738:
737:
734:
729:
728:
718:
715:
712:
711:
709:
703:
700:
698:
695:
694:
691:
688:
686:
683:
681:
678:
677:
674:
668:
666:
660:
658:
652:
650:
644:
642:
636:
635:
631:
627:
624:
623:
619:
615:
612:
611:
607:
603:
600:
599:
595:
591:
588:
587:
583:
579:
576:
575:
571:
567:
564:
563:
559:
555:
552:
551:
547:
543:
540:
539:
536:
533:
531:
528:
527:
524:
520:
515:
514:
507:
504:
502:
499:
497:
494:
493:
465:
440:
439:
437:
431:
428:
403:
400:
399:
393:
390:
388:
385:
384:
380:
379:
368:
365:
363:
360:
357:
354:
353:
352:
351:
348:
345:
344:
339:
336:
335:
332:
329:
328:
325:
322:
320:
318:
314:
313:
310:
307:
305:
302:
301:
298:
295:
293:
290:
289:
288:
287:
281:
278:
275:
270:
267:
266:
262:
257:
254:
251:
246:
243:
240:
235:
232:
231:
230:
229:
224:
223:Finite groups
219:
218:
207:
204:
202:
199:
198:
197:
196:
191:
188:
186:
183:
181:
178:
176:
173:
171:
168:
166:
163:
161:
158:
156:
153:
151:
148:
146:
143:
141:
138:
137:
136:
135:
130:
127:
125:
122:
121:
120:
119:
116:
115:
111:
110:
105:
102:
100:
97:
95:
92:
90:
87:
84:
82:
79:
78:
77:
76:
71:
68:
66:
63:
61:
58:
57:
56:
55:
50:Basic notions
47:
46:
42:
38:
37:
34:
29:
25:
21:
20:
1637:
1633:
1599:
1593:
1564:
1558:
1522:
1518:
1506:. Retrieved
1500:
1459:
1453:
1419:
1415:
1394:
1384:
1345:
1276:= 2·3·7
1227:= 2·3·5
1204:= 2·3·5
1183:
1143:
1065:
1060:as follows:
1057:
1040:
1025:
1006:cannot be a
1003:
989:
983:
972:
965:
950:
943:
929:
922:
908:
868:
867:
852:
848:
844:
843: 7
840:
839: 5
836:
835: 3
832:
817:
813:
810:
807:group theory
800:
629:
617:
605:
593:
581:
569:
557:
545:
316:
273:
260:
249:
238:
234:Cyclic group
112:
99:Free product
70:Group action
33:Group theory
28:Group theory
27:
1462:(1): 1007,
1330:182,863,296
1031:dimensional
1027:Ryba (1988)
1008:subquotient
1000:Griess 1982
855: 31 ≈ 5
811:O'Nan group
519:Topological
358:alternating
1304:58,183,776
1279:42,858,585
1254:30,968,784
1230:17,778,376
1207:17,778,376
1180:involution
1140:involution
901:isomorphic
626:Symplectic
566:Orthogonal
523:Lie groups
430:Free group
155:continuous
94:Direct sum
1646:0040-8980
1618:0021-8693
1539:0024-6115
1508:23 August
1173:2,857,239
1133:2,624,832
1099:3,753,792
1084:Comments
1075:Structure
805:known as
690:Conformal
578:Euclidean
185:nilpotent
1685:Category
1446:28935903
1372:geometry
1352:symmetry
1194:(3:4 × A
978:For the
956:For the
939:For the
918:For the
893:subgroup
685:Poincaré
530:Solenoid
402:Integers
392:Lattices
367:sporadic
362:Lie type
190:solvable
180:dihedral
165:additive
150:infinite
60:Subgroup
1654:0783183
1626:0812997
1583:0921973
1547:0401905
1464:Bibcode
1437:5608900
1403:Sources
1389: (
1168:161,280
1128:175,560
1104:122,760
1016:pariahs
1010:of the
897:Alperin
887:with a
879: (
864:History
680:Lorentz
602:Unitary
501:Lattice
441:PSL(2,
175:abelian
86:(Semi-)
1652:
1644:
1624:
1616:
1581:
1545:
1537:
1444:
1434:
1274:10,752
1249:14,880
1225:25,920
1202:25,920
885:groups
853:·
849:·
845:·
841:·
837:·
833:·
809:, the
535:Circle
466:SL(2,
355:cyclic
319:-group
170:cyclic
145:finite
140:simple
124:kernel
1393:) in
1325:2,520
1314:12,13
1299:7,920
1288:10,11
1219:3:2.D
1162:(4):2
1096:(7):2
1081:Index
1078:Order
966:n = 1
951:n = 1
934:split
930:n = 1
889:Sylow
826:order
820:is a
719:Sp(∞)
716:SU(∞)
129:image
1642:ISSN
1614:ISSN
1535:ISSN
1510:2020
1442:PMID
1391:2017
1378:." (
1374:and
1358:and
1246:(31)
1044:and
990:The
895:of "
881:1976
713:O(∞)
702:Loop
521:and
1604:doi
1569:doi
1565:112
1527:doi
1480:hdl
1472:doi
1432:PMC
1424:doi
1354:to
1271:(2)
1239:7,8
1184:O'N
1182:in
1146::2
1144:O'N
1142:in
1089:1,2
1072:No.
1066:O'N
1058:O'N
1056:of
1052:of
1004:O'N
869:O'N
859:10.
824:of
816:or
814:O'N
628:Sp(
616:SU(
592:SO(
556:SL(
544:GL(
1687::
1650:MR
1648:,
1638:32
1636:,
1622:MR
1620:,
1612:,
1600:97
1598:,
1579:MR
1577:,
1563:,
1557:,
1543:MR
1541:,
1533:,
1523:32
1499:.
1478:,
1470:,
1460:69
1458:,
1440:,
1430:,
1418:,
1414:,
1399:.
1370:,
1294:11
1267:4L
1221:10
1198:)2
1018:.
982:,
964:,
891:2-
604:U(
580:E(
568:O(
26:→
1676:.
1606::
1571::
1529::
1512:.
1482::
1474::
1466::
1426::
1420:8
1320:7
1318:A
1292:M
1269:3
1264:9
1244:2
1242:L
1216:6
1196:6
1190:5
1164:1
1160:3
1158:L
1156:2
1154:4
1151:4
1123:1
1121:J
1117:3
1094:3
1092:L
984:n
973:n
962:8
960:A
947:4
944:D
936:.
926:2
923:G
912:2
909:F
907:(
905:3
857:×
790:e
783:t
776:v
672:8
670:E
664:7
662:E
656:6
654:E
648:4
646:F
640:2
638:G
632:)
630:n
620:)
618:n
608:)
606:n
596:)
594:n
584:)
582:n
572:)
570:n
560:)
558:n
548:)
546:n
488:)
475:Z
463:)
450:Z
426:)
413:Z
404:(
317:p
282:Q
274:n
271:D
261:n
258:A
250:n
247:S
239:n
236:Z
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.