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