DOCSLIB.ORG

The Classification of Finite Simple Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

Mathematical Surveys and Monographs Volume 172 The Classifi cation of Finite Simple Groups Groups of Characteristic 2 Type Michael Aschbacher Richard Lyons Stephen D. Smith Ronald Solomon American Mathematical Society surv-172-smith3-cov.indd 1 2/4/11 1:15 PM http://dx.doi.org/10.1090/surv/172 The Classification of Finite Simple Groups Mathematical Surveys and Monographs Volume 172 The Classification of Finite Simple Groups Groups of Characteristic 2 Type Michael Aschbacher Richard Lyons Stephen D. Smith Ronald Solomon American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Ralph L. Cohen, Chair MichaelA.Singer Eric M. Friedlander Benjamin Sudakov MichaelI.Weinstein 2010 Mathematics Subject Classification. Primary 20D05; Secondary 20C20. Abstract. We complete an outline, aimed at the non-expert reader, of the original proof of the Classification of the Finite Simple Groups. The first half of such an outline, namely Volume 1 covering groups of noncharacteristic 2 type, had been published much earlier by Daniel Gorenstein in his very detailed 1983 work [Gor83]. Thus the present book, which we regard as “Volume 2” of that project, aims at presenting a reasonably detailed outline of the second half of the Classification: namely the treatment of groups of characteristic 2 type. Aschbacher was supported in part by NSF DMS 0504852 and subsequent grants. Lyons was supported in part by NSF DMS 0401132, NSA H98230-07-1-0003, and subsequent grants. Smith was supported in part by NSA H98230-05-1-0075 and subsequent grants. Solomon was supported in part by NSF DMS 0400533, NSA H98230-07-1-0014, and subsequent grants. For additional information and updates on this book, visit www.ams.org/bookpages/surv-172 Library of Congress Cataloging-in-Publication Data The classification of finite simple groups : groups of characteristic 2 type / Michael Aschbacher ... [et al.]. p. cm. — (Mathematical surveys and monographs ; v. 172) Includes bibliographical references and index. ISBN 978-0-8218-5336-8 (alk. paper) 1. Finite simple groups. 2. Representations of groups. I. Aschbacher, Michael, 1944– QA177.C53 2011 512.2—dc22 2010048011 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA. Requests can also be made by e-mail to [email protected]. c 2011 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 161514131211 To the memory of Danny Gorenstein Contents Preface xi Background and overview 1 Chapter 0. Introduction 3 0.1. The Classification Theorem 3 0.2. Principle I: Recognition via local subgroups 4 0.3. Principle II: Restricted structure of local subgroups 7 0.4. The finite simple groups 16 0.5. The Classification grid 19 Chapter 1. Overview: The classification of groups of Gorenstein-Walter type 25 The Main Theorem for groups of Gorenstein-Walter type 25 1.1. A strategy based on components in centralizers 26 1.2. The Odd Order Theorem 28 1.3. (Level 1) The Strongly Embedded Theorem and the Dichotomy Theorem 29 1.4. The 2-Rank 2 Theorem 33 1.5. (Level 1) The Sectional 2-Rank 4 Theorem and the 2-Generated Core Theorem 35 1.6. The B-Conjecture and the Standard Component Theorem 41 1.7. The Unbalanced Group Theorem, the 2An-Theorem, and the Classical Involution Theorem 44 1.8. Finishing the Unbalanced Group Theorem and the B-Theorem 48 1.9. The Odd Standard Component Theorem and the Aschbacher-Seitz reduction 53 1.10. The Even Standard Component Theorem 55 Summary: Statements of the major subtheorems 59 Chapter 2. Overview: The classification of groups of characteristic 2 type 63 The Main Theorem for groups of characteristic 2 type 63 2.1. The Quasithin Theorem covering e(G) ≤ 265 2.2. The trichotomy approach to treating e(G) ≥ 366 2.3. The Trichotomy Theorem for e(G) ≥ 469 2.4. The e(G) = 3 Theorem (including trichotomy) 75 2.5. The Standard Type Theorem 77 2.6. The GF (2) Type Theorem 77 2.7. The Uniqueness Case Theorem 78 Conclusion: The proof of the Characteristic 2 Type Theorem 80 vii viii CONTENTS Outline of the classification of groups of characteristic 2 type 83 Chapter 3. e(G) ≤ 2: The classification of quasithin groups 85 3.1. Introduction: The Thompson Strategy 86 3.2. Preliminaries: Structure theory for quasithin 2-locals (SQTK-groups) 88 3.3. More preliminaries: Some general techniques 90 3.4. The degenerate case: A Sylow T in a unique maximal 2-local 98 3.5. The Main Case Division (Possibilities for a suitable group L and module V ) 100 n 3.6. The Generic Case—where L = L2(2 ) with n>1 103 3.7. Reducing to V an FF-module for L 106 3.8. Cases with L over F2n for n>1 109 3.9. Cases with L over F2 (but not L3(2)) 111 3.10. Cases with L = L3(2), and analogues for L2(2) 117 3.11. The final case where Lf (G, T ) is empty 120 3.12. Bonus: The Even Type (Quasithin) Theorem for use in the GLS program 123 Chapter 4. e(G) = 3: The classification of rank 3 groups 127 4.1. The case where σ(G) contains a prime p ≥ 5 128 The Signalizer Analysis 128 The Component Analysis 130 4.2. The case σ(G)={3} 133 The Signalizer Analysis 134 The Component Analysis 142 Chapter 5. e(G) ≥ 4: The Pretrichotomy and Trichotomy Theorems 149 5.1. Statements and Definitions 149 5.2. The Signalizer Analysis 152 5.3. The Component Analysis (leading to standard type) 159 Chapter 6. The classification of groups of standard type 173 6.1. The Gilman-Griess Theorem on standard type for e(G) ≥ 4 173 Identifying a large Lie-type subgroup G0 174 The final step: G = G0 177 6.2. Odd standard form problems for e(G) = 3 (Finkelstein-Frohardt) 180 Chapter 7. The classification of groups of GF (2) type 183 Introduction 184 7.1. Aschbacher’s reduction of GF (2) type to the large-extraspecial case 185 7.2. The treatment of some fundamental extraspecial cases 188 7.3. Timmesfeld’s reduction to a list of possibilities for M 192 7.4. The final treatment of the various cases for M 199 7.5. Chapter appendix: The classification of groups of GF (2n) type 204 CONTENTS ix Chapter 8. The final contradiction: Eliminating the Uniqueness Case 213 8.1. Prelude: From the Preuniqueness Case to the Uniqueness Case 215 8.2. Introduction: General strategy using weak closure and uniqueness theorems 223 8.3. Preliminary results and the weak closure setup 226 8.4. The treatment of small n(H) 230 8.5. The treatment of large n(H) 234 Appendices 249 Appendix A. Some background material related to simple groups 251 A.1. Preliminaries: Some notation and results from general group theory 251 A.2. Notation for the simple groups 254 A.3. Properties of simple groups and K-groups 256 A.4. Properties of representations of simple groups 261 A.5. Recognition theorems for identifying simple groups 262 A.6. Transvection groups and transposition-group theory 264 Appendix B. Overview of some techniques used in the classification 267 B.1. Coprime action 267 B.2. Fusion and transfer 269 B.3. Signalizer functor methods and balance 272 B.4. Connectivity in commuting graphs and i-generated cores 280 B.5. Application: A short elementary proof of the Dichotomy Theorem 287 B.6. Failure of factorization 290 B.7. Pushing-up, and the Local and Global C(G, T ) Theorems 292 B.8. Weak closure 299 B.9. Klinger-Mason analysis of bicharacteristic groups 302 B.10. Some details of the proof of the Uniqueness Case Theorem 305 References and Index 313 References used for both GW type and characteristic 2 type 315 References mainly for GW type (see [Gor82][Gor83] for full list) 317 References used primarily for characteristic 2 type 321 Expository references mentioned 329 Index 333 Preface The present book, “The Classification of Finite Simple Groups: Groups of Characteristic 2 Type”, completes a project of giving an outline of the proof of the Classification of the Finite Simple Groups (CFSG). The project was begun by Daniel Gorenstein in 1983 with his book [Gor83]—which he subtitled “Volume 1: Groups of Noncharacteristic 2 Type”. Thus we regard our present discussion of groups of characteristic 2 type as “Volume 2” of that project. The Classification of the Finite Simple Groups (CFSG) is one of the premier achievements of twentieth century mathematics. The result has a history which, in some sense, goes back to the beginnings of proto-group theory in the late eighteenth century. Many classic problems with a long history are important more for the mathematics they inspire and generate, than because of interesting consequences. This is not true of the Classification, which is an extremely useful result, making possible many modern successes of finite group theory, which have in turn been applied to solve numerous problems in many areas of mathematics.
Recommended publications
  • Galois-Equivariant Mckay Bijections for Primes Dividing $ Q-1$

    Galois-Equivariant Mckay Bijections for Primes Dividing $ Q-1$

    GALOIS-EQUIVARIANT MCKAY BIJECTIONS FOR PRIMES DIVIDING q 1 − A. A. SCHAEFFER FRY Abstract. We prove that for most groups of Lie type, the bijections used by Malle and Sp¨ath in the proof of Isaacs–Malle–Navarro’s inductive McKay conditions for the prime 2 and odd primes dividing q − 1 are also equivariant with respect to certain Galois automorphisms. In particular, this shows that these bijections are candidates for proving Navarro–Sp¨ath–Vallejo’s recently-posited inductive Galois–McKay conditions. Mathematics Classification Number: 20C15, 20C33 Keywords: local-global conjectures, characters, McKay conjecture, Galois-McKay, finite simple groups, Lie type 1. Introduction One of the main sets of questions of interest in the representation theory of finite groups falls under the umbrella of the so-called local-global conjectures, which relate the character theory of a finite group G to that of certain local subgroups. Another rich topic in the area is the problem of determining how certain other groups (for example, the group of automorphisms Aut(G) of G, or the Galois group Gal(Q/Q)) act on the set of irreducible characters of G and the related question of determining the fields of values of characters of G. This paper concerns the McKay–Navarro conjecture, which incorporates both of these main problems. For a finite group G, the field Q(e2πi/|G|), obtained by adjoining the G th roots of unity in some | | algebraic closure Q of Q, is a splitting field for G. The group G := Gal(Q(e2πi/|G|)/Q) acts naturally on the set of irreducible ordinary characters, Irr(G), of G via χσ(g) := χ(g)σ for χ Irr(G), g G, σ G .
  • Boletín De La RSME

    Boletín De La RSME

    Boletín de la RSME Número 297, 16 de enero de 2012 Sumario Noticias de la RSME Noticias de la RSME Encuentro Conjunto RSME-SMM. Antonio Campillo. Torremolinos, Málaga, 17-20 de enero El programa científico consta de veinticuatro • Encuentro Conjunto RSME- La Real Sociedad Matemática Española y la sesiones especiales, ocho conferencias ple- SMM. Torremolinos, Málaga, Sociedad Matemática Mexicana celebran el narias y la conferencia de clausura del profe- 17-20 de enero Segundo Encuentro Conjunto RSME-SMM en sor Federico Mayor Zaragoza con el título preciso “La comunidad científica ante los de- • Noticias del CIMPA el Hotel Meliá Costa del Sol de Torremolinos (Málaga) los próximos días 17, 18, 19 y 20 de safíos presentes”. Como en la primera edi- • Acuerdo entre cuatro insti- enero. El Primer Encuentro Conjunto se ce- ción, el congreso ha programado alrededor tuciones para la creación del lebró en Oaxaca en julio de 2009 y la serie de doscientas conferencias invitadas, la mitad IEMath. Documento de In- continuará cada tres años a partir de 2014, de las cuales corresponden a la parte mexi- cana y la otra mitad a la española. vestigación de la RSME año en el que está prevista la tercera edición en México. El comité organizador está presi- Las conferencias plenarias están a cargo de • Ampliación del orden del dido por Daniel Girela, e integrado por José Samuel Gitler, José Luis Alías, José María día de la Junta General Ordi- Luis Flores, Cristóbal González, Francisco Pérez Izquierdo, Jorge Velasco, María Emilia naria de la RSME Javier Martín Reyes, María Lina Martínez, Caballero, Javier Fernández de Bobadilla, Francisco José Palma, José Ángel Peláez y • Noticia de la COSCE: Nue- Xavier Gómez-Mont y Eulalia Nulart.
  • Lecture Notes in Mathematics

    Lecture Notes in Mathematics

    Lecture Notes in Mathematics Edited by A. Oold and B. Eckmann 1185 Group Theory, Beijing 1984 Proceedings of an International Symposium held in Beijing, Aug. 27-Sep. 8, 1984 Edited by Tuan Hsio-Fu Springer-Verlag Berlin Heidelberg New York Tokyo Editor TUAN Hsio-Fu Department of Mathematics, Peking University Beijing, The People's Republic of China Mathematics Subject Classification (1980): 05-xx, 12F-xx, 14Kxx, 17Bxx, 20-xx ISBN 3-540-16456-1 Springer-Verlag Berlin Heidelberg New York Tokyo ISBN 0-387-16456-1 Springer-Verlag New York Heidelberg Berlin Tokyo This work is subject to copyright. All rights are reserved, whether the whole or part of the material is concerned, specifically those of translation, reprinting, re-use of illustrations, broadcasting, reproduction by photocopying machine or similar means, and storage in data banks. Under § 54 of the German Copyright Law where copies are made for other than private use, a fee is payable to "Verwertungsgesellschaft Wort", Munich. © by Springer-Verlag Berlin Heidelberg 1986 Printed in Germany Printing and binding: Beltz Offsetdruck, Hemsbach/Bergstr. 2146/3140-543210 PREFACE From August 27 to September 8, 1984 there was held in Peking Uni• versity, Beijing an International Symposium on Group Theory. As well said by Hermann Wey1: "Symmetry is a vast subject signi• ficant in art and nature. Whenever you have to do with a structure endowed entity, try to determine the group of those transformations which leave all structural relations undisturbed." This passage underlies that the group concept is one of the most fundamental and most important in modern mathematics and its applications.
  • The Finite Simple Groups Have Complemented Subgroup Lattices

    The Finite Simple Groups Have Complemented Subgroup Lattices

    Pacific Journal of Mathematics THE FINITE SIMPLE GROUPS HAVE COMPLEMENTED SUBGROUP LATTICES Mauro Costantini and Giovanni Zacher Volume 213 No. 2 February 2004 PACIFIC JOURNAL OF MATHEMATICS Vol. 213, No. 2, 2004 THE FINITE SIMPLE GROUPS HAVE COMPLEMENTED SUBGROUP LATTICES Mauro Costantini and Giovanni Zacher We prove that the lattice of subgroups of every finite simple group is a complemented lattice. 1. Introduction. A group G is called a K-group (a complemented group) if its subgroup lattice is a complemented lattice, i.e., for a given H ≤ G there exists a X ≤ G such that hH, Xi = G and H ∧X = 1. The main purpose of this Note is to answer a long-standing open question in finite group theory, by proving that: Every finite simple group is a K-group. In this context, it was known that the alternating groups, the projective special linear groups and the Suzuki groups are K-groups ([P]). Our proof relies on the FSGC-theorem and on structural properties of the maximal subgroups in finite simple groups. The rest of this paper is divided into four sections. In Section 2 we collect some criteria for a subgroup of a group G to have a complement and recall some useful known results. In Section 3 we deal with the classical groups, in 4 with the exceptional groups of Lie type and in Section 5 with the sporadic groups. With reference to notation and terminology, we shall follow closely those in use in [P] and [S]. All groups are meant to be finite. 2. Preliminaries.
  • Fundamental Theorems in Mathematics

    Fundamental Theorems in Mathematics

    SOME FUNDAMENTAL THEOREMS IN MATHEMATICS OLIVER KNILL Abstract. An expository hitchhikers guide to some theorems in mathematics. Criteria for the current list of 243 theorems are whether the result can be formulated elegantly, whether it is beautiful or useful and whether it could serve as a guide [6] without leading to panic. The order is not a ranking but ordered along a time-line when things were writ- ten down. Since [556] stated “a mathematical theorem only becomes beautiful if presented as a crown jewel within a context" we try sometimes to give some context. Of course, any such list of theorems is a matter of personal preferences, taste and limitations. The num- ber of theorems is arbitrary, the initial obvious goal was 42 but that number got eventually surpassed as it is hard to stop, once started. As a compensation, there are 42 “tweetable" theorems with included proofs. More comments on the choice of the theorems is included in an epilogue. For literature on general mathematics, see [193, 189, 29, 235, 254, 619, 412, 138], for history [217, 625, 376, 73, 46, 208, 379, 365, 690, 113, 618, 79, 259, 341], for popular, beautiful or elegant things [12, 529, 201, 182, 17, 672, 673, 44, 204, 190, 245, 446, 616, 303, 201, 2, 127, 146, 128, 502, 261, 172]. For comprehensive overviews in large parts of math- ematics, [74, 165, 166, 51, 593] or predictions on developments [47]. For reflections about mathematics in general [145, 455, 45, 306, 439, 99, 561]. Encyclopedic source examples are [188, 705, 670, 102, 192, 152, 221, 191, 111, 635].
  • The Thompson-Lyons Transfer Lemma for Fusion Systems

    The Thompson-Lyons Transfer Lemma for Fusion Systems

    Submitted exclusively to the London Mathematical Society doi:10.1112/0000/000000 The Thompson-Lyons transfer lemma for fusion systems Justin Lynd Abstract A generalization of the Thompson transfer lemma and its various extensions, most recently due to Lyons, is proven in the context of saturated fusion systems. A strengthening of Alperin’s fusion theorem is also given in this setting, following Alperin’s own “up and down” fusion. The classical Thompson transfer lemma appeared as Lemma 5.38 in [12]; for a 2-perfect group G with S ∈ Syl2(G), it says that if T is a maximal subgroup of S and u is an involution in S − T , then the element u has a G-conjugate in T . Thompson’s lemma has since been generalized in a number of ways. Harada showed [9, Lemma 16] that the same conclusion holds provided one takes u to be of least order in S − T . Unpublished notes of Goldschmidt [6] extended this to show that one may find an G-conjugate of u in T which is extremal under the same conditions. An element t ∈ S is said to be extremal in S with respect to G if CS(t) is a Sylow subgroup of CG(t). In other words, hti is fully FS(G)-centralized, where FS(G) is the fusion system of G. Later, Thompson’s result and its extensions were generalized to all primes via an argument of Lyons [7, Proposition 15.15]. We prove here a common generalization of Lyons’ extension and his similar transfer result [8, Chapter 2, Lemma 3.1] (which relaxes the requirement that S/T be cyclic) in the context of saturated fusion systems.
  • UT Austin Professor, Luis Caffarelli, Wins Prestigious Wolf Prize Porto Students Conduct Exploratory Visits

    UT Austin Professor, Luis Caffarelli, Wins Prestigious Wolf Prize Porto Students Conduct Exploratory Visits

    JANUARY//2012 NUMBER//41 UT Austin Professor, Luis Caffarelli, wins prestigious Wolf Prize Luis Caffarelli, a mathematician, Caffarelli’s research interests include Professor at the Institute for Compu- nonlinear analysis, partial differential tational Engineering and Sciences equations and their applications, (ICES) at the University of Texas at calculus of variations and optimiza- Austin and Director of CoLab tion. The ICES Professor is also widely Mathematics Program, has been recognized as the world’s leading named a winner of Israel’s prestigious specialist in free-boundary problems Wolf Prize, in the mathematics for nonlinear partial differential category. equations. This prize, which consists of a cer- Each year this prize is awarded to tificate and a monetary award of specialists in the fields of agriculture, $100,000, “is further evidence of chemistry, mathematics, physics Luis’ huge impact”, according to and the arts. Caffarelli will share the Alan Reid (Chair of the Department 2012 mathematics prize with of Mathematics). “I feel deeply Michael Aschbacher, a professor at honored”, states Caffarelli, who joins the California Institute of Technology. the UT Austin professors John Tate (Mathematics, 2002) and Allen Bard Link for Institute for Computational UT Austin Professor, Luis Caffarelli (Chemistry, 2008) as a Wolf Prize Engineering and Sciences: winner. http://www.ices.utexas.edu/ Porto Students Conduct Exploratory Visits UT Austin welcomed several visitors at the end of the Fall animation. Bastos felt he benefited greatly from the visit, 2011 semester, including Digital Media doctoral students commenting, “The time I spent in Austin and in College Pedro Bastos, Rui Dias, Filipe Lopes, and George Siorios of Station was everything I expected and more.
  • A Sketch of the History and State of Automated Deduction

    A Sketch of the History and State of Automated Deduction

    A Sketch of the History and State of Automated Deduction David A. Plaisted October 19, 2015 Introduction • Ed Reingold influenced me to do algorithms research early in my career, and this led to some good work. However, my main research area now is automatic theorem proving, so I will discuss this instead. • This talk will be a survey touching on some aspects of the state of the field of automated deduction at present. The content of the talk will be somewhat more general than the original title indicated; thus the change in title. This talk should be about 20 minutes long. I’m planning to put these notes on the internet soon. There is a lot to cover in 20 minutes, so it is best to leave most questions until the end. Proofs in Computer Science • There is a need for formal proofs in computer science, for example, to prove the correctness of software, or to prove theorems in a theoretical paper. • There is also a need for proofs in other areas such as mathematics. • It can be helpful to have programs that check proofs or even help to find the proofs. 1 Automated Deduction • This talk emphasizes systems that do a lot of proof search on their own, either to find the whole proof automatically or large parts of it, without the user specifying each application of each rule of inference. • There are also systems that permit the user to construct a proof and check that the rules of inference are properly applied. History of Automated Deduction Our current state of knowledge in automated deduction came to us by a long and complicated process of intellectual development.
  • Daniel Gorenstein 1923-1992

    Daniel Gorenstein 1923-1992

    Daniel Gorenstein 1923-1992 A Biographical Memoir by Michael Aschbacher ©2016 National Academy of Sciences. Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. DANIEL GORENSTEIN January 3, 1923–August 26, 1992 Elected to the NAS, 1987 Daniel Gorenstein was one of the most influential figures in mathematics during the last few decades of the 20th century. In particular, he was a primary architect of the classification of the finite simple groups. During his career Gorenstein received many of the honors that the mathematical community reserves for its highest achievers. He was awarded the Steele Prize for mathemat- New Jersey University of Rutgers, The State of ical exposition by the American Mathematical Society in 1989; he delivered the plenary address at the International Congress of Mathematicians in Helsinki, Finland, in 1978; Photograph courtesy of of Photograph courtesy and he was the Colloquium Lecturer for the American Mathematical Society in 1984. He was also a member of the National Academy of Sciences and of the American By Michael Aschbacher Academy of Arts and Sciences. Gorenstein was the Jacqueline B. Lewis Professor of Mathematics at Rutgers University and the founding director of its Center for Discrete Mathematics and Theoretical Computer Science. He served as chairman of the universi- ty’s mathematics department from 1975 to 1982, and together with his predecessor, Ken Wolfson, he oversaw a dramatic improvement in the quality of mathematics at Rutgers. Born and raised in Boston, Gorenstein attended the Boston Latin School and went on to receive an A.B.
  • The Classification of the Finite Simple

    The Classification of the Finite Simple

    http://dx.doi.org/10.1090/surv/040.4 Selected Titles in This Series 68 David A. Cox and Sheldon Katz, Mirror symmetry and algebraic geometry, 1999 67 A. Borel and N. Wallach, Continuous cohomology, discrete subgroups, and representations of reductive groups, Second Edition, 1999 66 Yu. Ilyashenko and Weigu Li, Nonlocal bifurcations, 1999 65 Carl Faith, Rings and things and a fine array of twentieth century associative algebra, 1999 64 Rene A. Carmona and Boris Rozovskii, Editors, Stochastic partial differential equations: Six perspectives, 1999 63 Mark Hovey, Model categories, 1999 62 Vladimir I. Bogachev, Gaussian measures, 1998 61 W. Norrie Everitt and Lawrence Markus, Boundary value problems and symplectic algebra for ordinary differential and quasi-differential operators, 1999 60 Iain Raeburn and Dana P. Williams, Morita equivalence and continuous-trace C*-algebras, 1998 59 Paul Howard and Jean E. Rubin, Consequences of the axiom of choice, 1998 58 Pavel I. Etingof, Igor B. Frenkel, and Alexander A. Kirillov, Jr., Lectures on representation theory and Knizhnik-Zamolodchikov equations, 1998 57 Marc Levine, Mixed motives, 1998 56 Leonid I. Korogodski and Yan S. Soibelman, Algebras of functions on quantum groups: Part I, 1998 55 J. Scott Carter and Masahico Saito, Knotted surfaces and their diagrams, 1998 54 Casper Goffman, Togo Nishiura, and Daniel Waterman, Homeomorphisms in analysis, 1997 53 Andreas Kriegl and Peter W. Michor, The convenient setting of global analysis, 1997 52 V. A. Kozlov, V. G. Maz'ya, and J. Rossmann, Elliptic boundary value problems in domains with point singularities, 1997 51 Jan Maly and William P. Ziemer, Fine regularity of solutions of elliptic partial differential equations, 1997 50 Jon Aaronson, An introduction to infinite ergodic theory, 1997 49 R.
  • The Maximal Subgroups of the Finite 8-Dimensional Orthogonal Groups /Xl: (9) and of Their Automorphism Groups

    The Maximal Subgroups of the Finite 8-Dimensional Orthogonal Groups /Xl: (9) and of Their Automorphism Groups

    JOURNAL OF ALGEBRA 110, 173-242 (1987) The Maximal Subgroups of the Finite 8-Dimensional Orthogonal Groups /Xl: (9) and of Their Automorphism Groups PETER B. KLEIDMAN D.P.M.M.S., 16 Mill Lane, Cambridge CB2 ISB, United Kingdom Communicated by Walter Feit Received November 13, 1985 PART 1. PRELIMINARIES 1.1. Introduction During this century, and even before, a substantial amount of work has been devoted to finding the maximal subgroups of finite simple groups and their automorphism groups. Some of the earliest published results of this nature appear in Wiman [42] and Moore [33], where the maximal sub- groups of the groups L,(q) = PSL,(q) are determined for all q. Then Mitchell [31, 321 and Hartley [15] found the maximal subgroups of L,(q), U,(q) = PSU,(q), and also PSpJq) for odd q. Several decades later, analogous results appeared for various other low-dimensional classical groups, including P,!+,(q) with q even, L,(q), U,(q), and L,(q). (The bibliographies of [lo] and [43] serve as good sources of reference.) Recently Aschbacher [2] made a significant contribution to the solution of the problem of finding the maximal subgroups of any group whose socle is a classical simple group. The main theorem of [2] says the following. Let Go be a linite classical simple group with natural projective module V, and let G be a group with socle G, (i.e., G, a G9 Aut(G,)). Assume that if GOr PQ,t(q) then G does not contain a triality automorphism of G,. If M is a maximal subgroup of G not containing G,, then one of the following holds: IS a known group with a well-described projective action on ;“’ A4 ;B) th e socle S = sot(M) of M is a non-abelian simple group whose projective representation in PGL( V) corresponds to an absolutely irreducible representation of the covering group of S in GL( V).
  • NON-SPLIT REDUCTIVE GROUPS OVER Z Brian Conrad

    NON-SPLIT REDUCTIVE GROUPS OVER Z Brian Conrad

    NON-SPLIT REDUCTIVE GROUPS OVER Z Brian Conrad Abstract. | We study the following phenomenon: some non-split connected semisimple Q-groups G admit flat affine Z-group models G with \everywhere good reduction" (i.e., GFp is a connected semisimple Fp-group for every prime p). Moreover, considering such G up to Z-group isomorphism, there can be more than one such G for a given G. This is seen classically for types B and D by using positive-definite quadratic lattices. The study of such Z-groups provides concrete applications of many facets of the theory of reductive groups over rings (scheme of Borel subgroups, auto- morphism scheme, relative non-abelian cohomology, etc.), and it highlights the role of number theory (class field theory, mass formulas, strong approximation, point-counting over finite fields, etc.) in analyzing the possibilities. In part, this is an expository account of [G96]. R´esum´e. | Nous ´etudions le ph´enom`ene suivant : certains Q-groupes G semi-simples connexes non d´eploy´es admettent comme mod`eles des Z-groupes G affines et plats avec \partout bonne r´eduction" (c'est `adire, GFp est un Fp- groupe Q-groupes G pour chaque premier p). En outre, consid´erant de tels G `a Z-groupe isomorphisme pr`es, il y a au plus un tel G pour un G donn´e.Ceci est vu classiquement pour les types B et D en utilisant des r´eseaux quadratiques d´efinis positifs. L'´etude de ces Z-groupes donne lieu `ades applications concr`etes d'aspects multiples, de la th´eorie des groupes r´eductifs sur des anneaux (sch´emas de sous-groupes de Borel, sch´emas d'automorphismes, cohomologie relative non ab´elienne, etc.), et met en ´evidence le r^ole de la th´eorie des nombres (th´eorie du corps de classes, formules de masse, approximation forte, comptage de points sur les corps finis, etc.) dans l'analyse des possibilit´es.En partie, ceci est un article d'exposition sur [G96].