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.
We begin with the basic Three Subgroups Lemma , which is a direct consequence of Philip Hall's Jacobi - like commutator ... B , C are subgroups of X and N X with ( A , B , C ) < N and ( C , A , B ) < N , then ( B , C , A ] < N. PROOF .
MR916173 Martin W. Liebeck, Cheryl E. Praeger, and Jan Saxl, On the O'Nan-Scott theorem for finite primitive permutation groups, J. Austral. Math. Soc. Ser. A 44 (1988), no. 3, 389–396. MR929529 Vicente Landazuri and Gary M. Seitz, ...
If A E EX + 2 ( G ) , k a positive integer , and G is ( k + 1 ) -balanced with respect to A , then TA , k + 1 ( G ) ... to be able to verify either k - balance or ( k + 2 ) -balance with respect to A. As shown by Gorenstein and Walter ...
Now J is (a, y)-invariant and by L3-balance, J is the product of one or three (a, y)-conjugate components with Kf and Laf being ... Therefore J is a single 3-component, simultaneously a pumpup of Kf and of Laf. ... Hence, Adla = 3.