DOCSLIB.ORG

Sporadic Simple Groups, II*

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Sporadic Simple Groups, II* MATHEMATICS OF COMPUTATION VOLUME 4«, NUMBER 174 APRIL 1986, PAGES 609-611 A Conjecture of Frobenius and the Sporadic Simple Groups, II* By Hiroyoshi Yamaki Abstract. A conjecture of Frobenius which has been reduced to the classification of finite simple groups is verified for the sporadic simple groups. Let G be a finite group and « be a positive integer dividing \G\. Let Ln(G) = {x e G\x" = 1). Then by a theorem of Frobenius [6] one knows that \Ln(G)\ = cnn for some integer cn. Frobenius conjectured that Ln(G) forms a subgroup of G provided \Ln(G)\ = « (see [2]). Zemlin [25] has reduced the conjecture to the classification of finite simple groups which is now complete (see [8]). The author has verified the conjecture for the Fischer Griess monster Fx and the Fischer baby monster F2 in [24]. The purpose of this note is to prove the following Theorem. The conjecture of Frobenius is true for all the sporadic simple groups. The proof of our theorem has been carried out in the following way with the use of a computer. Let G be one of the sporadic simple groups. By [24] we may assume that G + Fx and G + F2. Let f(G, t) be the number of elements of order t in G and Ord(G) = (order of x \ x e G}. Tables of f(G, t) are given in the Appendix; see the supplements section at the end of this issue. For f(G,t) the reader is referred to the following papers: Mxx, M22, M23 Burgoyne and Fong [1] •^12' ^24 Frobenius [5] Jx Janko [14] HJ = J2 Hall and Wales [8] HJM = J3 Janko [15] JA Janko [16] HiS Frame [4] Suz Wright [23] McL, .3 Finkelstein [3] Rud Rudvalis [19] HUM Held [10] LyS Lyons [17] ReceivedJune 21, 1982; revisedMarch 19, 1984 and July 11, 1984. 1980 Mathematics Subject Classification. Primary 20D05. Key words and phrases. Simple groups, a conjecture of Frobenius. *Dedicated to Professor Nagayoshi Iwahori on his 60th birthday. ©1986 American Mathematical Society 0025-5718/86 $1.00 + $.25 per page 609 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use 610 hiroyoshi yamaki ON O'Nan [18] .1 Wilson [21] .2 Wilson [22] M(22) Hunt [11] M(23) Hunt [12] M(24)' Hunt [13] F3 Smith [20] F5 Harada [9] We look for all the subsets ß of Ord(G) satisfying the following two conditions: (a) If t is a member of ß, then ß contains all divisors of t. In particular 1 is always a member of ß. (b) For the subset ß of Ord(G) in (a), E,eS2/(G, /) divides |G|. A PASCAL program effectively generates such a subset ß with the use of a recursive concept. Special add and divide routines are used for explicit calculation with very large digit numbers. Then we have only six possibilities for ß: (i) ß = {1}, (ii) ß = Ord(G), (iii) ß = (1,2,3,4,5,10,11} and G is the Mathieu group MX2, (iv) ß = (1,2,3,5,7,11,19} and G is the Janko group Jx, (v) ß = (1,2,3,4,5,6,7,8,12,13,14,26,29} and G is the Rudvalisgroup Rud, (vi) ß = {1,2,3,4,5,6,7,8,13,14,16,26,29} and G is the Rudvalisgroup Rud. It follows from the Table of f(G, t) in the Appendix that (1, ifß={l}, £/(G,í) = (|G|, ifß = Ord(G), \|G|/2, otherwise. Since « = \Ln(G)\ = Lt<=af(G, t) for some ß satisfying the two conditions (a) and (b), we have « = 1 or n = \G\. This verifies the conjecture for G. The proof of our theorem is complete. Acknowledgment. The author thanks Sachiko Yamaki for her help with the computer calculations. Department of Mathematics University of Tsukuba Ibaraki 305, Japan 1. N. Burgoyne & P. Fong, "The Schur multipliers of the Mathieu groups," Nagoya Math.J., v. 27, 1966, pp. 733-745. [Correction, ibid., v. 31,1968, pp. 297-304.] 2. W. Feit, "Some consequences of the classification of finite simple groups," Proc. Sympos. Pure Math., v. 37, 1980,pp. 175-181. 3. L. Finkelstein, "The maximal subgroups of Conway's group C3 and McLaughlin's group," J. Algebra,v. 25,1973, pp. 58-89. 4. J. S. Frame, " Computation of characters of the Higman-Sims group and its automorphism group," J. Algebra, v. 20, 1972, pp. 320-349. 5. G. Frobenius, "Über die Charaktere der mehrfach transitiven Gruppen," Berliner Ber., 1904, pp. 558-571. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use A CONJECTURE OF FROBENIUS AND THE SPORADIC SIMPLE GROUPS 611 6. G Frobenius, "Über einen Fundamen talsatz der Gruppen théorie II," Berliner Ber., 1907, pp. 428-437. 7. D. GORENSTEIN,Finite Simple Groups, Plenum Press, New York, London, 1982. 8. M. Hall, Jr. & D. Wales, "The simple group of order 604,800," /. Algebra, v. 9, 1968, pp. 417-450. 9. K. Harada, "On the simple group F of order 214 • 36 • 56 ■7 • 11 ■19," Proc. Conf. on Finite Groups, Academic Press, New York, London, 1976, pp. 119-276. 10. D. Held, "The simple groups related to M24," J. Algebra, v. 13,1969, pp. 253-296. 11. D. C. Hunt, "Character tables of certain finite simple groups," Bull. Austral. Math. Soc, v. 5, 1971,pp. 1-42. 12. D. C. Hunt, "The character table of Fischer's simple group A/(23)," Math. Comp., v. 28, 1974, pp. 660-661. 13. D. C. Hunt, Computer print-out. 14. Z. Janko, "A new finite simple group with abelian Sylow 2-subgroups and its characterization," J. Algebra,v. 3,1966, pp. 147-186. 15. Z. Janko, "Some new simple groups of finite order I," Symposia Math. (INDAM, Rome, 1967/68), Vol. 1, Academic Press, London, 1969, pp. 25-64. 16. Z. Janko, "A new finite simple group of order 86 • 775 ■571 ■046 • 007 ■562 • 880 which possesses M2¿ and the full covering group of M22 as subgroups," J. Algebra, v. 42,1976, pp. 564-596. 17. R. Lyons, "Evidence for a new finite simple group," J. Algebra, v. 20,1972, pp. 540-569. 18. M. E. O'Nan, "Some evidence for the existence of a new simple group," Proc. London Math. Soc, v. 32,1976, pp. 421-479. 19. A. Rudvalis, "A rank 3 simple group of order 214■ 33 ■53 • 7 ■13 ■29 I, II," J. Algebra, v. 86, 1984,pp. 181-218,219-258. 20. P. E. Smith, "A simple subgroup of Ml and £8(3)," Bull. London Math. Soc, v. 8, 1976, pp. 161-165. 21. R. A. Wilson, "The maximal subgroups of Conway's group Co,," J. Algebra, v. 85, 1983, pp. 144-165. 22. R. A. Wilson, "The maximal subgroups of Conway's group .2," J. Algebra, v. 84, 1983, pp. 107-114. 23. D. Wright, "The irreducible characters of the simple group of M. Suzuki of order 448, 345, 497, 600," J. Algebra,v. 29,1974, pp. 303-323. 24. H. Yamaki, "A conjecture of Frobenius and the sporadic simple groups," Comm. Algebra, v. 11, 1983,pp. 2513-2518. 25. R. Zemlin, On a Conjecture Arising from a Theorem of Frobenius, Ph. D. Thesis, Ohio State Univeristy, 1954. License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use MATHEMATICS OF COMPUTATION VOLUME 46. NUMBER 174 APRIL 1986, PAGES S43-S46 Supplement to A Conjecture of Frobenius and the Sporadic Simple Groups. II By Hiroyoshi Yamaki Appendix The following is the Table of f(0,t) for the sporadic simple groups we study. "-" means f(O,t)=0, t »il V12 K22 K23 K2h Jl 1111 1 11 S 165 891 1,155 3,795 U3.263 1.U63 3 Uo l4,li00 12,320 56,672 712,1*1)6 5,852 ■i 990 5,9>tO 141,580 318,780 5,100,1480 5 l,581i 9,50l4 88,7014 68o,o6l4 14,080,38I4 ll,70li 6 1,320 23,760 36,960 850,080 20,1401,920 29,260 7 - - 126,720 1,1457,280 11,658,2140 25,080 8 1,980 23,760 55,>4l40 1,275,120 15,301,M40 10 - 9,50l4 - - 12,2l4l,152 35,112 11 l.UltO 17,280 80,61*0 1,8514,720 22,256,6140 15,960 12 - 1,0,803,8140 114 - 1,1457,280 314,9714,720 15 - - - 1,360,128 32,6143,072 23,1408 19 - - 27,720 21 - 23,316,1480 23 - - - 887,0140 21,288,960 t HJ HJK HiS McL 1111 1 2 2,835 26,163 21,175 22,275 3 17,360 253,232 123,200 9514,800 I4 6,300 523,260 877,800 9,355,500 5 28,22>4 3,3l48,86l4 2,010,6214 37,122,6214 6 75,600 2,093,0140 3,080,000 27,!4¡42,800 7 86,1,00 - 6,336,000 128,3014,000 8 75,600 6,279,120 8,316,000 112,266,000 9 - 5,581,1*1*0 - 66,528,000 10 181,1*1*0 10,01*6,592 1*,1*35,200 29,937,600 11 8,o6i* ,000 163,296,000 12 50,1*00 1*,186,080 3,696,000 7I*,81*1* ,000 11* - - 128,301* ,000 15 80,61*0 6,697,728 2,956,800 59,875,200 17 - 5,909,760 19 - 5,287,680 20 - - 1*,1*35,200 30 - - - 59,875,200 ©1986 American Mathematical Society 0025-5718/86 $1.00 + $.25 per page S43 License or copyright restrictions may apply to redistribution; see https://www.ams.org/journal-terms-of-use S44 SUPPLEMENT Ov CM O VO _ O -X O VO CO VO O VO 00 CO vü On VO CM VO CO r-H 00 -3 CO VO CO O co -3- vu CM Ov vo cO co .3 la co co on ov Ov CM Ov w u-\o m j vo en la co vo ovo cvi^ co ov t— -3 IA H CM co la ov vo ío co Ov vo CO O O CO (H eo H md m o on cu ia o t— o o\ CM Ov CO fli pj iA (ti Ctj IA (\j VD t- lA O H -3 ON-3- m ia vo ia vo o co ia o la on Ov lA MO ovocoocoocmo on ov la o cm vo vo Q\ i-i co la 0j cmcocmocmcm-3co OCO O H CM CM Ov O V£> la t— CM On CO CO co w U) co co .3 ro cm VO CO CO vO CO (\) J CO O O la ro m m ov LA .3 O Oí 1*1 iA 0\ t- CO 4 la co cm o\ 0\ 0\ H m m co Rl(M(\lCJ>iAtCO\W&W Ov lA Ov On Ov -3^ Ov t"- W O 4 CV 00 On on O O CO ■a co lA on co o\ ov CO CO VO VO CJ\ IA W 5 ÍÜCM H CO CO t— CO CO VO CO CM CO CM O CO C\j \0 Ov CO CO cu m t- j en CO VO VO CO _3 CM OV C— t— 0J M3 CO CM CM VO CM CO O VO CM CM LA VO VO CO VO On vO 0\ vx» m On ia On On CO iH MD la LA VO OV VO co o\ cm co vo ON, CO 1A t— c— o\ on la on IA VO t- CO ON O _ h ni m j vo œ o IA V£> OV O CMCMCMCMCMCMCMCO ro on ro „3 On CM CM LA VO LA ON ON LACOO VO On VO t-cOHvovo t— h on ON CO t— t— o c\i cm ov t— en .3 VO VO CO CM CM lA O O O O -3 O VO O -3- O H CO la -a- r- CO O CO CO CM VU Ov CO n h w o co m VO CM J- CM IA VO CM LACOVOcOcO CM H CM CO H CO t- t- MO Ov CM on LA co on ov vo CM H -3 CO VO i—1 LA LA CO ON VO CMVO r- C\ r-i la o -3 co m lA ri
Load more

Recommended publications
  • ELEMENTARY ABELIAN P-SUBGROUPS of ALGEBRAIC GROUPS
    ROBERT L. GRIESS, JR ELEMENTARY ABELIAN p-SUBGROUPS OF ALGEBRAIC GROUPS Dedicated to Jacques Tits for his sixtieth birthday ABSTRACT. Let ~ be an algebraically closed field and let G be a finite-dimensional algebraic group over N which is nearly simple, i.e. the connected component of the identity G O is perfect, C6(G °) = Z(G °) and G°/Z(G °) is simple. We classify maximal elementary abelian p-subgroups of G which consist of semisimple elements, i.e. for all primes p ~ char K. Call a group quasisimple if it is perfect and is simple modulo the center. Call a subset of an algebraic group total if it is in a toms; otherwise nontoral. For several quasisimple algebraic groups and p = 2, we define complexity, and give local criteria for whether an elementary abelian 2-subgroup of G is total. For all primes, we analyze the nontoral examples, include a classification of all the maximal elementary abelian p-groups, many of the nonmaximal ones, discuss their normalizers and fusion (i.e. how conjugacy classes of the ambient algebraic group meet the subgroup). For some cases, we give a very detailed discussion, e.g. p = 3 and G of type E6, E 7 and E 8. We explain how the presence of spin up and spin down elements influences the structure of projectively elementary abelian 2-groups in Spin(2n, C). Examples of an elementary abelian group which is nontoral in one algebraic group but toral in a larger one are noted. Two subsets of a maximal torus are conjugate in G iff they are conjugate in the normalizer of the torus; this observation, with our discussion of the nontoral cases, gives a detailed guide to the possibilities for the embedding of an elementary abelian p-group in G.
    [Show full text]
  • Arxiv:1305.5974V1 [Math-Ph]
    INTRODUCTION TO SPORADIC GROUPS for physicists Luis J. Boya∗ Departamento de F´ısica Te´orica Universidad de Zaragoza E-50009 Zaragoza, SPAIN MSC: 20D08, 20D05, 11F22 PACS numbers: 02.20.a, 02.20.Bb, 11.24.Yb Key words: Finite simple groups, sporadic groups, the Monster group. Juan SANCHO GUIMERA´ In Memoriam Abstract We describe the collection of finite simple groups, with a view on physical applications. We recall first the prime cyclic groups Zp, and the alternating groups Altn>4. After a quick revision of finite fields Fq, q = pf , with p prime, we consider the 16 families of finite simple groups of Lie type. There are also 26 extra “sporadic” groups, which gather in three interconnected “generations” (with 5+7+8 groups) plus the Pariah groups (6). We point out a couple of physical applications, in- cluding constructing the biggest sporadic group, the “Monster” group, with close to 1054 elements from arguments of physics, and also the relation of some Mathieu groups with compactification in string and M-theory. ∗[email protected] arXiv:1305.5974v1 [math-ph] 25 May 2013 1 Contents 1 Introduction 3 1.1 Generaldescriptionofthework . 3 1.2 Initialmathematics............................ 7 2 Generalities about groups 14 2.1 Elementarynotions............................ 14 2.2 Theframeworkorbox .......................... 16 2.3 Subgroups................................. 18 2.4 Morphisms ................................ 22 2.5 Extensions................................. 23 2.6 Familiesoffinitegroups ......................... 24 2.7 Abeliangroups .............................. 27 2.8 Symmetricgroup ............................. 28 3 More advanced group theory 30 3.1 Groupsoperationginspaces. 30 3.2 Representations.............................. 32 3.3 Characters.Fourierseries . 35 3.4 Homological algebra and extension theory . 37 3.5 Groupsuptoorder16..........................
    [Show full text]
  • Construction of the Rudvalis Group of Order 145,926,144,000*
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 27, 538-548 (1973) Construction of the Rudvalis Group of Order 145,926,144,000* J. H. CONWAY Department of Pure Mathematics and Mathematical Statistics, Cambridge, England AND D. B. WALES Department of Mathematics, California Institute of Technology, Pasadena, California 91109 Communicated by Marshall Hall, Jr. Received August 4, 1972 Recently, Arunas Rudvalis [l] provided evidence for the existence of a new simple group R of order 145,926,144,000 = 2r4 * 33 * 5a . 7 * 13 . 29. He describes the group as a rank 3 permutation group on 4060 letters, in which the stabilizer of a point is the (nonsimple) Ree group F = V’,(2), which has orbits of sizes 1,1755,2304, corresponding to subgroups of F of orders 20480 and 15600. The first of these is the centralizer of an involution of F, while the second has the known subgroup L = PSLa(25) of P’ (see Ref. [4]) as a subgroup of index 2. Since one of the involutions in R has no fixed point and so just 2030 2-cycles, an argument of Griess and Schur [2] shows that R has a proper double cover 2R. Rudvalis and Frame gave evidence for supposing that this group had a 28-dimensional complex representation not splitting over F. (Feit and Lyons have proved this under further assumptions on R.) We sup- pose that this unitary representation of 2R exists while constructing the group, but then conclude independently of this supposition that the con- struction defines a group 2R whose central quotient is R.
    [Show full text]
  • Finite Simple Groups Which Projectively Embed in an Exceptional Lie Group Are Classified!
    BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 36, Number 1, January 1999, Pages 75{93 S 0273-0979(99)00771-5 FINITE SIMPLE GROUPS WHICH PROJECTIVELY EMBED IN AN EXCEPTIONAL LIE GROUP ARE CLASSIFIED! ROBERT L. GRIESS JR. AND A. J. E. RYBA Abstract. Since finite simple groups are the building blocks of finite groups, it is natural to ask about their occurrence “in nature”. In this article, we consider their occurrence in algebraic groups and moreover discuss the general theory of finite subgroups of algebraic groups. 0. Introduction Group character theory classifies embeddings of finite groups into classical groups. No general theory classifies embeddings into the exceptional complex al- gebraic group, i.e., one of G2(C), F4(C), E6(C), E7(C), E8(C). For exceptional groups, special methods seem necessary. Since the early 80s, there have been ef- forts to determine which central extensions of finite simple groups embed in an exceptional group. For short, we call this work a study of projective embeddings of finite simple groups into exceptional groups. Table PE on page 84 contains a summary. The classification program for finite subgroups of complex algebraic groups involves both existence of embeddings and their classification up to conjugacy. We have just classified embeddings of Sz(8) into E8(C) (there are three, up to E8(C)- conjugacy), thus settling the existence question for projective embeddings of finite simple groups into exceptional algebraic groups. The conjugacy part of the program is only partially resolved. The finite subgroups of the smallest simple algebraic group PSL(2; C)(upto conjugacy) constitute the famous list: cyclic, dihedral, Alt4, Sym4, Alt5.
    [Show full text]
  • Moonshines for L2(11) and M12
    Moonshines for L2(11) and M12 Suresh Govindarajan Department of Physics Indian Institute of Technology Madras (Work done with my student Sutapa Samanta) Talk at the Workshop on Modular Forms and Black Holes @NISER, Bhubaneswar on January 13. 2017 Plan Introduction Some finite group theory Moonshine BKM Lie superalgebras Introduction Classification of Finite Simple Groups Every finite simple group is isomorphic to one of the following groups: (Source: Wikipedia) I A cyclic group with prime order; I An alternating group of degree at least 5; I A simple group of Lie type, including both I the classical Lie groups, namely the groups of projective special linear, unitary, symplectic, or orthogonal transformations over a finite field; I the exceptional and twisted groups of Lie type (including the Tits group which is not strictly a group of Lie type). I The 26 sporadic simple groups. The classification was completed in 2004 when Aschbacher and Smith filled the last gap (`the quasi-thin case') in the proof. Fun Reading: Symmetry and the Monster by Mark Ronan The sporadic simple groups I the Mathieu groups: M11, M12, M22, M23, M24; (found in 1861) I the Janko groups: J1, J2, J3, J4; (others 1965-1980) I the Conway groups; Co1, Co2, Co3; 0 I the Fischer groups; Fi22. Fi23, Fi24; I the Higman-Sims group; HS I the McLaughlin group: McL I the Held group: He; I the Rudvalis group Ru; I the Suzuki sporadic group: Suz; 0 I the O'Nan group: O N; I Harada-Norton group: HN; I the Lyons group: Ly; I the Thompson group: Th; I the baby Monster group: B and Sources: Wikipedia and Mark Ronan I the Fischer-Griess Monster group: M Monstrous Moonshine Conjectures I The j-function has the followed q-series: (q = exp(2πiτ)) j(τ)−744 = q−1+[196883+1] q+[21296876+196883+1] q2+··· I McKay observed that 196883 and 21296876 are the dimensions of the two smallest irreps of the Monster group.
    [Show full text]
  • Arxiv:2102.04443V2 [Math.RT] 16 Feb 2021 Lse of Classes Where Qae Cret on Ean Ob Found
    BOUNDING p-BRAUER CHARACTERS IN FINITE GROUPS WITH TWO CONJUGACY CLASSES OF p-ELEMENTS NGUYEN NGOC HUNG, BENJAMIN SAMBALE, AND PHAM HUU TIEP Dedicated to Burkhard K¨ulshammer on the occasion of his retirement. Abstract. Let k(B0) and l(B0) respectively denote the number of ordinary and p-Brauer irreducible characters in the principal block B0 of a finite group G. We prove that, if k(B0) l(B0) = 1, then l(B0) p 1 or else p = 11 and l(B0) = 9. This follows from a− more general result that≥ for− every finite group G in which all non-trivial p-elements are conjugate, l(B0) p 1 or else p = 11 and G/Op′ (G) = 2 ≥ − ∼ C11 ⋊ SL(2, 5). These results are useful in the study of principal blocks with few characters. We propose that, in every finite group G of order divisible by p, the number of irreducible Brauer characters in the principal p-block of G is always at least 2√p 1+1 kp(G), where kp(G) is the number of conjugacy classes of p-elements of G.− This indeed− is a consequence of the celebrated Alperin weight conjecture and known results on bounding the number of p-regular classes in finite groups. 1. Introduction Let G be a finite group and p a prime. Bounding the number k(G) of conjugacy classes of G and the number kp′ (G) of p-regular conjugacy classes of G is a classical problem in group representation theory, one important reason being that k(G) is the same as the number of non-similar irreducible complex representations of G and kp′ (G) is the same as the number of non-similar irreducible representations of G over an algebraically closed field F of characteristic p.
    [Show full text]
  • A Survey: Bob Griess's Work on Simple Groups and Their
    Bulletin of the Institute of Mathematics Academia Sinica (New Series) Vol. 13 (2018), No. 4, pp. 365-382 DOI: 10.21915/BIMAS.2018401 A SURVEY: BOB GRIESS’S WORK ON SIMPLE GROUPS AND THEIR CLASSIFICATION STEPHEN D. SMITH Department of Mathematics (m/c 249), University of Illinois at Chicago, 851 S. Morgan, Chicago IL 60607-7045. E-mail: [email protected] Abstract This is a brief survey of the research accomplishments of Bob Griess, focusing on the work primarily related to simple groups and their classification. It does not attempt to also cover Bob’s many contributions to the theory of vertex operator algebras. (This is only because I am unqualified to survey that VOA material.) For background references on simple groups and their classification, I’ll mainly use the “outline” book [1] Over half of Bob Griess’s 85 papers on MathSciNet are more or less directly concerned with simple groups. Obviously I can only briefly describe the contents of so much work. (And I have left his work on vertex algebras etc to articles in this volume by more expert authors.) Background: Quasisimple components and the list of simple groups We first review some standard material from the early part of [1, Sec 0.3]. (More experienced readers can skip ahead to the subsequent subsection on the list of simple groups.) Received September 12, 2016. AMS Subject Classification: 20D05, 20D06, 20D08, 20E32, 20E42, 20J06. Key words and phrases: Simple groups, classification, Schur multiplier, standard type, Monster, code loops, exceptional Lie groups. 365 366 STEPHEN D. SMITH [December Components and the generalized Fitting subgroup The study of (nonabelian) simple groups leads naturally to consideration of groups L which are: quasisimple:namely,L/Z(L) is nonabelian simple; with L =[L, L].
    [Show full text]
  • Maximal Subgroups of Sporadic Groups Was Pe- Tra (Beth) Holmes, Whose Phd Thesis on ‘Computing in the Monster’ Dates from 2002
    MAXIMAL SUBGROUPS OF SPORADIC GROUPS ROBERT A. WILSON Abstract. A systematic study of maximal subgroups of the sporadic simple groups began in the 1960s. The work is now almost complete, only a few cases in the Monster remaining outstanding. We give a survey of results obtained, and methods used, over the past 50 years, for the classification of maximal subgroups of sporadic simple groups, and their automorphism groups. 1. Introduction The subtitle of the ‘Atlas of Finite Groups’ [7] is ‘Maximal Subgroups and Or- dinary Characters for Simple Groups’. These two aspects of the study of finite simple groups remain at the forefront of research today. The Atlas was dedicated to collecting facts, not to providing proofs. It contains an extensive bibliography, but not citations at the point of use, making it difficult for the casual reader to track down proofs. In the ensuing 30 years, moreover, the landscape has changed dramatically, both with the appearance of new proofs in the literature, and with the ability of modern computer algebra systems to recompute much of the data in the twinkling of an eye. As far as maximal subgroups are concerned, shortly before the publication of the Atlas it became clear that the maximal subgroup project should be extended to almost simple groups. The reason for this is that it is not possible to deduce the maximal subgroups of an almost simple group directly from the maximal subgroups of the corresponding simple group. This was made clear by the examples described in [49], especially perhaps the maximal subgroup S5 of M12:2, which is neither the normalizer of a maximal subgroup of M12, nor the normalizer of the intersection of two non-conjugate maximal subgroups of M12.
    [Show full text]
  • Arxiv:1610.03625V2 [Math.GR]
    THE FSZ PROPERTIES OF SPORADIC SIMPLE GROUPS MARC KEILBERG Abstract. We investigate a possible connection between the FSZ properties of a group and its Sylow subgroups. We show that the simple groups G2(5) 6 and S6(5), as well as all sporadic simple groups with order divisible by 5 are not FSZ, and that neither are their Sylow 5-subgroups. The groups G2(5) and HN were previously established as non-FSZ by Peter Schauenburg; we present alternative proofs. All other sporadic simple groups and their Sylow subgroups are shown to be FSZ. We conclude by considering all perfect groups available through GAP with order at most 106, and show they are non-FSZ if and only if their Sylow 5-subgroups are non-FSZ. Introduction The FSZ properties for groups, as introduced by Iovanov et al. [4], arise from considerations of certain invariants of the representation categories of semisimple Hopf algebras known as higher Frobenius-Schur indicators [5, 10, 11]. See [9] for a detailed discussion of the many important uses and generalizations of these in- variants. When applied to Drinfeld doubles of finite groups, these invariants are described entirely in group theoretical terms, and are in particular invariants of the group itself. The FSZ property is then concerned with whether or not these invariants are always integers—which gives the Z in FSZ. While the FSZ and non-FSZ group properties are well-behaved with respect to direct products [4, Example 4.5], there is currently little reason to suspect a partic- ularly strong connection to proper subgroups which are not direct factors.
    [Show full text]
  • Interviews with the Abel Prize Laureates 2003–2016
    Martin aussen and Christian Skau, Editors Interviews with the Abel Prize Laureates 2003–2016 Interviews with the Abel Prize Laureates 2003–2016 Martin Raussen Christian Skau Editors The Abel Prize was established in 2002 by the Norwegian Ministry of Education and Research. It has been awarded annually to mathe- maticians in recognition of pioneering scientific achievements. Interviews with the Since the first occasion in 2003, Martin aussen and Christian Skau have had the opportunity to conduct extensive interviews with the Abel Prize Laureates laureates. The interviews were broadcast by Norwegian television; moreover, they have appeared in the membership journals of several mathematical societies. 2003–2016 The interviews from the period 2003 – 2016 have now been collected in this edition. They highlight the mathematical achievements of the laureates in a historical perspective and they try to unravel the way in Martin Raussen which the world’s most famous mathematicians conceive and judge Christian Skau their results, how they collaborate with peers and students, and how they perceive the importance of mathematics for society. Editors ISBN 978-3-03719-177-4 www.ems-ph.org Raussen/Skau | Fonts: Helvetica Neue | Farben: Pantone 116, Pantone 287, Cyan | RB 15.1 mm Interviews with the Abel Prize Laureates 2003–2016 Martin Raussen Christian Skau Editors Editors: Martin Raussen Christian Skau Department of Mathematical Sciences Department of Mathematical Sciences Aalborg University Norwegian University of Science and Technology Skjernvej 4A 7491 Trondheim 9220 Aalborg Norway Denmark E-mail: [email protected] E-mail: [email protected] 2010 Mathematics Subject Classification: 01A70. 01A60, 01A61, 01A80, 00A35 Key words: Abel prize, laureates, interviews, history of mathematics, appreciation of mathematics ISBN 978-3-03719-177-4 The Swiss National Library lists this publication in The Swiss Book, the Swiss national bibliogra- phy, and the detailed bibliographic data are available on the Internet at http://www.helveticat.ch.
    [Show full text]
  • John Conway, My Thoughts After His Passing (28 April, 2020)
    John Conway, my thoughts after his passing (28 April, 2020) Robert L. Griess Jr. Department of Mathematics University of Michigan Ann Arbor, MI 48109-1043 USA [email protected] The mathematician John Conway passed away on April 11, 2020. In this note, I am recounting some of my own experiences with him and his work on finite groups. Since I knew Conway for more than 50 years, it seems natural for me to write this article in the first person. I met him in January 1970 at the Cambridge University DPMMS (De- partment of Pure Mathematics and Mathematical Statistics). I spent about five months there at the invitation of my advisor John Thompson, while working on my University of Chicago thesis on Schur multipliers of the finite simple groups. Just before 1970, there had been a recent and dramatic increase in the number of known finite simple groups. (At that time, there was no sense that the classification of finite simple groups would be completed.) Conway was responsible for discovering several of these groups via his study of the 24-dimensional Leech lattice [?, ?]. He was justly proud. He determined the structure of the remarkably large isometry group of the Leech lattice, 22 9 4 2 including its order 2 3 5 7 11·13·23. This group is usually notated Co0. Re- sults included discoveries of some new sporadic simple groups (Co1; Co2; Co3) and re-discoveries of then-recently discovered sporadic groups (those of Hall- Janko, Higman-Sims, McLaughlin, Suzuki). Built into the Leech lattice the- ory were the five Mathieu groups discovered in the 19th century.
    [Show full text]
  • Arxiv:1906.09414V2 [Math.CO]
    ON EDGE-PRIMITIVE GRAPHS WITH SOLUBLE EDGE-STABILIZERS HUA HAN, HONG CI LIAO, AND ZAI PING LU Abstract. A graph is edge-primitive if its automorphism group acts primitively on the edge set, and 2-arc-transitive if its automorphism group acts transitively on the set of 2-arcs. In this paper, we present a classification for those edge-primitive graphs which are 2-arc-transitive and have soluble edge-stabilizers. Keywords. Edge-primitive graph, 2-arc-transitive graph, almost simple group, 2- transitive group, soluble group. 1. Introduction In this paper, all graphs are assumed to be finite and simple, and all groups are assumed to be finite. A graph is a pair Γ =(V, E) of a nonempty set V and a set E of 2-subsets of V . The elements in V and E are called the vertices and edges of Γ , respectively. For v ∈ V , the set Γ (v) = {u ∈ V |{u, v} ∈ E} is called the neighborhood of v in Γ , while |Γ (v)| is called the valency of v. We say that the graph Γ has valency d or Γ is d-regular if its vertices have equal valency d. For an integer s ≥ 1, an s-arc in Γ is an (s+1)-tuple (v0, v1,...,vs) of vertices with {vi, vi+1} ∈ E and vi =6 vi+2 for all possible i. A 1-arc is also called an arc. Let Γ = (V, E) be a graph. A permutation g on V is called an automorphism of Γ if {ug, vg} ∈ E for all {u, v} ∈ E.
    [Show full text]