The Classification of Finite Simple Groups: Groups of Characteristic 2 Type

The book provides an outline and modern overview of the classification of the finite simple groups. It primarily covers the "even case", where the main groups arising are Lie-type (matrix) groups over a field of characteristic 2. The book thus completes a project begun by Daniel Gorenstein's 1983 book, which outlined the classification of groups of "noncharacteristic 2 type". However, this book provides much more. Chapter 0 is a modern overview of the logical structure of the entire classification. Chapter 1 is a concise but complete outline of the "odd case" with updated references, while Chapter 2 sets the stage for the remainder of the book with a similar outline of the "even case". The remaining six chapters describe in detail the fundamental results whose union completes the proof of the classification theorem. Several important subsidiary results are also discussed. In addition, there is a comprehensive listing of the large number of papers referenced from the literature. Appendices provide a brief but valuable modern introduction to many key ideas and techniques of the proof. Some improved arguments are developed, along with indications of new approaches to the entire classification--such as the second and third generation projects--although there is no attempt to cover them comprehensively. The work should appeal to a broad range of mathematicians--from those who just want an overview of the main ideas of the classification, to those who want a reader's guide to help navigate some of the major papers, and to those who may wish to improve the existing proofs.

[1]  L. Finkelstein.  Finite groups with a standard component isomorphic to M22 , 1977 .

[2]  Daniel Gorenstein.  On the centralizers of involutions in finite groups, II , 1969 .

[3]  Zvonimir Janko.  A new finite simple group of order 86 · 775 · 571 · 046 · 077 · 562 · 880 which possesses M24 and the full covering group of M22 as subgroups , 1976 .

[4]  D. Passman,et al.  Character Theory of Finite Groups , 2010 .

[5]  A characterization of the finite simple group M(23) , 1973 .

[6]  Sara Arias-de-Reyna,et al.  Galois Representations and the Tame Inverse Galois Problem , 2011, WIN - Women in Numbers.

[7]  On groups generated by three-dimensional special unitary groups II , 1977 .

[8]  R. Martineau.  ON 2-MODULAR REPRESENTATIONS OF THE SUZUKI GROUPS. , 1972 .

[9]  D. Holt.  Transitive Permutation Groups in Which an Involution Central in a Sylow 2‐Subgroup Fixes a Unique Point , 1978 .

[10]  J. Conway,et al.  Atlas of finite groups : maximal subgroups and ordinary characters for simple groups , 1987 .

[11]  F. Timmesfeld.  On elementary abelian TI-subgroups , 1977 .

[12]  Koichiro Harada.  Groups with nonconnected Sylow 2-subgroups revisited , 1981 .

[13]  M. Aschbacher.  A 2-local characterization of M(12) , 2003 .

[14]  David M. Goldschmidt,et al.  2-Fusion in Finite Groups , 1974 .

[15]  F. Timmesfeld.  A condition for the existence of a weakly closed TI-set , 1979 .

[16]  Michael Aschbacher,et al.  The Status of the Classification of the Finite Simple Groups , 2004 .

[17]  A. Reifart.  On finite simple groups with large extraspecial subgroups I , 1978 .

[18]  A. J. Weir.  SYLOW p-SUBGROUPS OF THE CLASSICAL GROUPS OVER FINITE FIELDS WITH CHARACTERISTIC PRIME TO p , 1955 .

[19]  A. Reifart.  A characterization of Thompson's sporadic simple group , 1976 .

[20]  D. Gorenstein,et al.  A characterization of the Higman-Sims simple group , 1973 .

[21]  W. L. Edge.  The simple group of order 6048 , 1960, Mathematical Proceedings of the Cambridge Philosophical Society.

[22]  L. Finkelstein.  Finite groups with a standard component whose centralizer has cyclic Sylow 2-subgroups , 1977 .

[23]  D. Gorenstein,et al.  On finite groups with dihedral Sylow 2-subgroups , 1962 .

[24]  Corneliu G. Hoffman,et al.  Even-dimensional orthogonal groups as amalgams of unitary groups , 2005 .

[25]  D. M. Clark.  Theory of Groups , 2012 .

[26]  George Glauberman,et al.  A Characteristic Subgroup of a p-Stable Group , 1968, Canadian Journal of Mathematics.

[27]  Standard subgroups of type Ln(2a) , 1977 .

[28]  S. Assa.  A characterization of M(22) , 1981 .

[29]  G. Glauberman,et al.  Local Analysis for the Odd Order Theorem: Maximal Subgroups , 1995 .

[30]  M. Aschbacher.  A 2-local characterization of the Higman–Sims group , 2003 .

[31]  Daniel Gorenstein,et al.  The characterization of nite groups with dihedral Sylow 2 - subgroups , 1964 .

[32]  Harriet Pollatsek.  First cohomology groups of some linear groups over fields of characteristic two , 1971 .

[33]  R. Solomon.  Maximal 2-components in finite groups , 1976 .

[34]  R. Foote.  Component type theorems for finite groups in characteristic 2 , 1982 .

[35]  D. Gorenstein.  FINITE GROUPS WITH SYLOW 2-SUBGROUPS OF CLASS TWO . II , 2010 .

[36]  L. Finkelstein,et al.  Standard 3-components of type sp(6, 2) , 1981 .

[37]  S. D. Chatterji.  Proceedings of the International Congress of Mathematicians , 1995 .

[38]  I. Miyamoto.  Finite groups with a standard subgroup of type U5(2n), n > 1 , 1980 .

[39]  John H. Walter,et al.  The Characterization of Finite Groups with Abelian Sylow 2-Subgroups , 1969 .

[40]  M. E. Harris.  FINITE GROUPS HAVING AN INVOLUTION CENTRALIZER WITH A 2-COMPONENT OF TYPE PSL.3; 3/ , 1980 .

[41]  M. E. Harris.  Finite groups having an involution centralizer with a PSU(3, 3) component , 1981 .

[42]  G. M.,et al.  Theory of Groups of Finite Order , 1911, Nature.

[43]  R. Solomon.  Standard components of alternating type, I , 1976 .

[44]  Generation of finite groups of Lie type , 1982 .

[45]  H. Yamada.  Standard subgroups isomorphic to PSU(6, 2) or SU(6, 2) , 1979 .

[46]  Dieter Held.  The simple groups related to M24 , 1969 .

[47]  P. Hall,et al.  On the p‐Length of p‐Soluble Groups and Reduction Theorems for Burnside's Problem , 1956 .

[48]  J. S. Frame.  The classes and representations of the groups of 27 lines and 28 bitangents , 1951 .

[49]  A. Prince.  On 2-groups admitting A5 or A6 with an element of order 5 acting fixed point freely , 1977 .

[50]  L. Finkelstein.  Finite groups with a standard component isomorphic to HJ or HJM , 1976 .

[51]  I. G. MacDonald,et al.  Lectures on Lie Groups and Lie Algebras: Simple groups of Lie type , 1995 .

[52]  D. Gorenstein,et al.  The Classification of the Finite Simple Groups, Number 2 , 1995 .

[53]  F. Smith.  Finite simple groups all of whose 2-local subgroups are solvable , 1975 .

[54]  M. Aschbacher.  Generation of fusion systems of characteristic 2-type , 2010 .

[55]  H. H. Mitchell.  The subgroups of the quaternary abelian linear group , 1914 .

[56]  D. M. Bloom,et al.  THE SUBGROUPS OF PSL(3, q) FOR ODD qC) , 2010 .

[57]  Derek J. S. Robinson,et al.  The vanishing of certain homology and cohomology groups , 1976 .

[58]  G. Higman.  Groups and Rings Having Automorphisms without Non-Trivial Fixed Elements , 1957 .

[59]  Walter Feit,et al.  Finite Groups which Contain a Selfcentralizing Subgroup of Order 3 , 1962, Nagoya Mathematical Journal.

[60]  M. E. Harris.  PSL(2, q) type 2-components and the unbalanced group conjecture , 1981 .

[61]  G. Seitz.  Some standard groups , 1981 .

[62]  G. Seitz.  Chevalley groups as standard subgroups, I , 1979 .

[63]  Bender groups as standard subgroups , 1978 .

[64]  L. Finkelstein.  Finite groups with a standard component isomorphic to M23 , 1976 .

[65]  Obert,et al.  MAXIMAL SUBGROUPS AND AUTOMORPHISMS OF CHEVALLEY GROUPS , 2012 .

[66]  I. Miyamoto.  Finite groups with a standard subgroup isomorphic to U 4 (2 n ) , 1979 .

[67]  L. Finkelstein.  The maximal subgroups of Conway's group C3 and McLaughlin's group , 1973 .

[68]  D. Gorenstein,et al.  The Classification of the Finite Simple Groups , 1983 .

[69]  Gary M. Seitz,et al.  Groups with a (B, N)-pair of rank 2. II , 1974 .

[70]  Gernot Stroth,et al.  Finite groups of local characteristic p An Overview , 2003 .

[71]  B. Fischer,et al.  Finite groups generated by 3-transpositions. I , 1971 .

[72]  Richard Lyons,et al.  Evidence for a new finite simple group , 1972 .

[73]  Finite groups with unbalancing 2-components of {L̂3(4), He}-type , 1979 .

[74]  Finite groups having a standard component L of type Mˆ12 or Mˆ22 , 2008 .

[75]  Larry Finkelstein,et al.  Maximal subgroups of the Hall-Janko-Wales group , 1973 .

[76]  John H. Conway,et al.  A Group of Order 8,315,553,613,086,720,000 , 1969 .

[77]  Richard Niles.  Pushing-up in finite groups , 1979 .

[78]  Spyros S. Magliveras.  The subgroup structure of the Higman-Sims simple group , 1971 .

[79]  W. J. Wong.  A CHARACTERIZATION OF THE FINITE SIMPLE GROUPS PSp(4,q), G2(q), DJ(q), I , 2004 .

[80]  Z. Janko.  Finite simple groups with short chains of subgroups , 1964 .

[81]  A. Borel,et al.  Éléments unipotents et sous-groupes paraboliques de groupes réductifs. I , 1971 .

[82]  N. Burgoyne,et al.  On a theorem of Borel and Tits for finite Chevalley groups , 1976 .

[83]  J. Conway,et al.  Construction of the Rudvalis group of order 145,926,144,000☆ , 1973 .

[84]  R. Solomon.  Some standard components of sporadic type , 1978 .

[85]  H. Yamada.  Standard subgroups isomorphic to PSU(5, 2) , 1979 .

[86]  Y. Egawa.  Standard components of type M24 , 1981 .

[87]  R. Solomon.  Finite groups with Sylow 2-subgroups of type a12 , 1973 .

[88]  L. Finkelstein,et al.  Finite simple groups with a standard 3-component of type Sp(2n, 2), n ⩾ 4 , 1979 .

[89]  Richard Brauer,et al.  ON GROUPS OF EVEN ORDER , 1955 .

[90]  B. Stellmacher,et al.  Pushing up weak BN-pairs of rank two , 1993 .

[91]  Richard Lyons,et al.  The local structure of finite groups of characteristic 2 type , 1983 .

[92]  G. Stroth.  On Standard Subgroups of Type 2 E 6 (2) , 1981 .

[93]  A. Reifart.  A general characterization of the Steinberg simple group D42(23) , 1978 .

[94]  B. Baumann.  Endliche nichtauflösbare Gruppen mit einer nilpotenten maximalen Untergruppe , 1976 .

[95]  PATRICK P. MCBRIDE,et al.  Nonsolvable signalizer functors on finite groups , 1982 .

[96]  Charles C. Sims,et al.  A simple group of order 44,352,000 , 1968 .

[97]  Gordon James,et al.  The modular characters of the Mathieu groups , 1973 .

[98]  D. Goldschmidt.  Strongly closed 2-subgroups of finite groups , 1975 .

[99]  The Classification of the Finite Simple Groups, Number 6 , 2004 .

[100]  Abhinav Shrestha.  CLASSIFICATION OF FINITE SIMPLE GROUPS , 2010 .

[101]  Anne R. MacWilliams.  On 2-groups with no normal abelian subgroups of rank 3, and their occurrence as Sylow 2-subgroups of finite simple groups , 1970 .

[102]  Michael Aschbacher,et al.  Sporadic groups , 1994, Cambridge tracts in mathematics.

[103]  R. Solomon.  Finite groups with intrinsic 2-components of type Ân , 1975 .

[104]  Franz Timmesfeld,et al.  Finite Simple Groups in Which the Generalized Fitting Group of the Centralizer of Some Involution is Extraspecial , 1978 .

[105]  G. Seitz,et al.  On the minimal degrees of projective representations of the finite Chevalley groups , 1974 .

[106]  F. Timmesfeld.  On the structure of 2-local subgroups in finite groups , 1978 .

[107]  Michael Aschbacher.  The Uniqueness Case for Finite Groups , 1983 .

[108]  Geoffrey Mason,et al.  Centralizers of p-groups in groups of characteristic 2, p-type , 1975 .

[109]  K. Harada.  On finite simple groups possessing 2-local blocks of orthogonal type , 1980 .

[110]  Y. Kawamata.  Remarks on the cone of divisors , 2009, 0909.3621.

[111]  Z. Janko.  Nonsolvable finite groups all of whose 2-local subgroups are solvable. I , 1972 .

[112]  Zvonimir Janko,et al.  A new finite simple group with abelian Sylow 2-subgroups and its characterization , 1966 .

[113]  M. J. Collins.  The characterization of finite groups whose Sylow 2-subgroups are of type L3(q), q even , 1973 .

[114]  W. Kantor,et al.  The 2-transitive permutation representa-tions of the finite Chevalley groups , 1976 .

[115]  John H. Conway,et al.  Three Lectures on Exceptional Groups , 1988 .

[116]  Patrick Paschaluclear decay line McBride.  Near Solvable Signalizer Functors on Finite Groups , 2003 .

[117]  T. A. Springer,et al.  Seminar on Algebraic Groups and Related Finite Groups , 1970 .

[118]  A characterization of the finite simple group M(22) , 1972 .

[119]  Brian Parshall,et al.  ON THE 1-COHOMOLOGY OF FINITE GROUPS OF LIE TYPE , 1976 .

[120]  Embedding of abelian subgroups in $p$-groups , 1971 .

[121]  David L. Parrott.  Characterizations of the Fischer groups. I, II, III , 1981 .