DOCSLIB.ORG

Maximal PSL2 Subgroups of Exceptional Groups of Lie Type

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Maximal PSL2 Subgroups of Exceptional Groups of Lie Type Maximal PSL2 subgroups of exceptional groups of Lie type David A. Craven October 24, 2016 Abstract In this article we study embeddings of PSL2(q0) into exceptional groups G(q) for G = F4;E6;E7, and q0 and q powers of the same prime p. With a few possible exceptions, we prove that there are no maximal subgroups with socle such a simple group inside an almost simple group with socle G(q), except for those that arise as fixed points of a maximal positive-dimensional subgroup of the corresponding algebraic group. In the few remaining cases we provide considerable information about a potential maximal subgroup. Contents 1 Introduction 2 2 Notation and preliminaries 5 3 Maximal subgroups 9 4 Unipotent and semisimple elements 14 4.1 Actions of unipotent elements . 14 4.2 Blueprints and element orders . 16 4.3 Blueprints inside A1s......................................... 18 a 4.4 Traces for modules of PGL2(p )................................... 19 4.5 The graph automorphism of F4 ................................... 20 4.6 sl2-subalgebras of L(G)....................................... 21 a 5 Modules for SL2(p ) 25 a 5.1 Modules for SL2(2 )......................................... 25 a 5.2 Modules for SL2(3 )......................................... 29 5.3 Modules for SL2(p).......................................... 31 a 5.4 Modules for SL2(p ) for p > 5 and a > 1.............................. 35 6 Some PSL2s inside E6 in characteristic 3 39 7 Proof of the theorems: strategy 41 1 8 F4 43 8.1 Characteristic 2 . 43 8.2 Characteristic 3 . 46 8.3 Characteristic at least 5 . 49 9 E6 51 9.1 Characteristic 2 . 51 9.2 Characteristic 3 . 52 9.3 Characteristic at least 5 . 52 10 E7 in characteristic 2 57 11 E7 in odd characteristic: PSL2 embedding 74 11.1 Characteristic 3 . 74 11.2 Characteristic at least 5 . 75 12 E7 in odd characteristic: SL2 embedding 82 12.1 Characteristic 3 . 82 12.2 Characteristic at least 5 . 86 A Actions of maximal positive-dimensional subgroups on minimal and adjoint modules 101 1 Introduction Classifying the maximal subgroups of a finite group is one of the most fundamental problems in the field of finite group theory. Michael Aschbacher and Len Scott [5] reduced the problem for all finite groups to understanding H1(G; M) for all simple modules M for all finite simple groups G, and classifying all maximal subgroups of almost simple groups. This paper is a contribution towards the latter, ambitious goal. For alternating and classical groups there is in some sense no complete answer, since the dimensions of the classical groups (and degrees of the alternating groups) tend to infinity, although there is substantial work in this direction. However, for sporadic and exceptional groups there is a possibility of a complete answer being known. For sporadic groups, a complete answer is known for all groups but the Monster, and here we concentrate on exceptional groups of Lie type. There is a classification of maximal subgroups for exceptional groups 2 G = G(q) for G not of type F4, E6, E6, E7 and E8 already, and so we focus on these cases. What is known in the literature so far is summarized in Section 3, but broadly speaking, all maximal subgroups are known in these groups apart possibly from various almost simple maximal subgroups, and these are either a small list of simple groups that are not Lie type in defining characteristic, and if the potential maximal is Lie type in defining characteristic then what is left are groups of small rank and small field size, together with a large a collection of possible subgroups PSL2(p ), the focus of this paper. We prove the following theorems, for any almost simple group of the appropriate type. Theorem 1.1 Let p be a prime, a > 1 be an integer, and let q be a power of p. Let G be an almost simple ∗ a group with socle F4(q), and suppose that H is an almost simple group with F (H) = PSL2(p ). If H is maximal in G then one of the following holds: 2 (i) pa = 9; a (ii) p = 13, H = PSL2(13) and is a Serre embedding; a ∗ (iii) q = p , p > 13, F (H) = PSL2(q), and H is the intersection of G with a maximal algebraic A1 subgroup of the algebraic group F4. The definition of a Serre embedding is given formally in Definition 4.7, but informally it is a copy of PSL2(h + 1) where h is the Coxeter number of G and this subgroup contains a regular unipotent element. (This subgroup is named after Serre as he constructed copies of PSL2(h + 1) (if h + 1 is a prime) over all fields in [27].) In recent work of Tim Burness and Donna Testerman, this case has been solved, and proved to be a subcase of (iii) above, so pa = 9 is the only outstanding case. It seems difficult to remove the first possibility, although it might be possible using more advanced geometric techniques than employed here; of course no such maximal subgroup is known. In Section 8.2 we give more information about the case pa = 9, where we give the action of a potential maximal subgroup on the minimal module; such a subgroup does exist, but is contained inside a positive-dimensional subgroup, and representation-theoretic techniques do not seem able to prove uniqueness. Kay Magaard [24] proved Theorem 1.1 for p > 5 in his PhD thesis, with the extra condition that q = 13 in (ii). For E6 we have a complete theorem, as the Serre embedding can be shown to lie in F4. Theorem 1.2 Let p be a prime, a > 1 be an integer, let q be a power of p, and let G be an almost simple 2 group with socle either E6(q) or E6(q). There does not exist an almost simple maximal subgroup H of G ∗ a with F (H) = PSL2(p ). Almost all of this theorem was obtained by Aschbacher [4] using geometric techniques, where only the a case q = p = 11 and H contains a semiregular unipotent element, from class E6(a1), is left open; here we remove it using the Lie algebra structure of the adjoint module L(G). a For E7, here we again have some potential exceptions, but not the case p = 9, which was completed in [9]. This time the difficult cases are the Serre embedding and pa = 7; 8; 25. Theorem 1.3 Let p be a prime, a > 1 be an integer and let q be a power of p. Let G be an almost simple ∗ a group with socle E7(q), and suppose that H is an almost simple subgroup with F (H) = PSL2(p ). If H is maximal in G then one of the following holds: (i) pa = 7, pa = 8 or pa = 25; a a (ii) p = 19, H = PSL2(p ) and is a Serre embedding; a ∗ (iii) q = p , p > 17, F (H) = PSL2(q), and H is the intersection of G with a maximal algebraic A1 subgroup of the algebraic group E7. Again, Burness and Testerman have showed that (ii) is a subcase of (iii). In the case (i) where pa = 8, we can give the composition factors of H on the minimal module, and can give the precise module structure a as well whenever 8 j q. For p = 7, there are unresolved cases of potential copies of PSL2(7) where the preimage of the subgroup in the simply connected version of E7 is both 2 × PSL2(7) and SL2(7). In both cases the module structures on the minimal module can be given precisely, but it seems difficult to progress 3 a further using these techniques. In the case of p = 25, this is a copy of SL2(25) inside the simply connected version of E7 with centres coinciding, and we have complete information about the module structures on both the minimal and adjoint modules. If it exists then it is a maximal subgroup of E7(q) for the smallest q into which the group embeds. We do not deal with maximal subgroups of E8 here, and only consider it for certain lemmas, which will be useful in a later treatment of this case. A rough estimate is that, with current techniques, attempting E8 here would result in many unresolved cases and double the length of this work. For exceptional groups other than E8, the minimal module has dimension much smaller than the dimension of the group (as an algebraic group) and we can use representation theory to analyse this module. We can still do things with the Lie algebra for E8, as we did in [9], The strategy for the proofs of these theorems is given in Section 7, and relies heavily on computer calculations in three ways: (i) The first is to compute the traces of semisimple elements of large order on various modules for excep- tional groups. Tables of these traces are available for elements of small order, but we need them for very large orders, sometimes in the hundreds. For this we can use the program that Litterick produced in his PhD thesis [22], or construct the normalizer of a torus explicitly in Magma and take the con- jugacy classes, then compute their eigenvalues. (Litterick has produced a much faster algorithm for computing traces of elements on fundamental modules, but we do not need this for our cases.) (ii) The second is to do large linear algebra problems. To find all sets of composition factors that could arise as the composition factors of the restriction of a G-module to a subgroup H involves checking many possible combinations against these large lists of possible sets of composition factors.
Load more

Recommended publications
  • On Some Generation Methods of Finite Simple Groups
    Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography On Some Generation Methods of Finite Simple Groups Ayoub B. M. Basheer Department of Mathematical Sciences, North-West University (Mafikeng), P Bag X2046, Mmabatho 2735, South Africa Groups St Andrews 2017 in Birmingham, School of Mathematics, University of Birmingham, United Kingdom 11th of August 2017 Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Abstract In this talk we consider some methods of generating finite simple groups with the focus on ranks of classes, (p; q; r)-generation and spread (exact) of finite simple groups. We show some examples of results that were established by the author and his supervisor, Professor J. Moori on generations of some finite simple groups. Ayoub Basheer, North-West University, South Africa Groups St Andrews 2017 Talk in Birmingham Introduction Preliminaries Special Kind of Generation of Finite Simple Groups The Bibliography Introduction Generation of finite groups by suitable subsets is of great interest and has many applications to groups and their representations. For example, Di Martino and et al. [39] established a useful connection between generation of groups by conjugate elements and the existence of elements representable by almost cyclic matrices. Their motivation was to study irreducible projective representations of the sporadic simple groups. In view of applications, it is often important to exhibit generating pairs of some special kind, such as generators carrying a geometric meaning, generators of some prescribed order, generators that offer an economical presentation of the group.
    [Show full text]
  • Janko's Sporadic Simple Groups
    Janko’s Sporadic Simple Groups: a bit of history Algebra, Geometry and Computation CARMA, Workshop on Mathematics and Computation Terry Gagen and Don Taylor The University of Sydney 20 June 2015 Fifty years ago: the discovery In January 1965, a surprising announcement was communicated to the international mathematical community. Zvonimir Janko, working as a Research Fellow at the Institute of Advanced Study within the Australian National University had constructed a new sporadic simple group. Before 1965 only five sporadic simple groups were known. They had been discovered almost exactly one hundred years prior (1861 and 1873) by Émile Mathieu but the proof of their simplicity was only obtained in 1900 by G. A. Miller. Finite simple groups: earliest examples É The cyclic groups Zp of prime order and the alternating groups Alt(n) of even permutations of n 5 items were the earliest simple groups to be studied (Gauss,≥ Euler, Abel, etc.) É Evariste Galois knew about PSL(2,p) and wrote about them in his letter to Chevalier in 1832 on the night before the duel. É Camille Jordan (Traité des substitutions et des équations algébriques,1870) wrote about linear groups defined over finite fields of prime order and determined their composition factors. The ‘groupes abéliens’ of Jordan are now called symplectic groups and his ‘groupes hypoabéliens’ are orthogonal groups in characteristic 2. É Émile Mathieu introduced the five groups M11, M12, M22, M23 and M24 in 1861 and 1873. The classical groups, G2 and E6 É In his PhD thesis Leonard Eugene Dickson extended Jordan’s work to linear groups over all finite fields and included the unitary groups.
    [Show full text]
  • Sporadic Sics and Exceptional Lie Algebras
    Sporadic SICs and Exceptional Lie Algebras Blake C. Staceyy yQBism Group, Physics Department, University of Massachusetts Boston, 100 Morrissey Boulevard, Boston MA 02125, USA November 13, 2019 Abstract Sometimes, mathematical oddities crowd in upon one another, and the exceptions to one classification scheme reveal themselves as fellow-travelers with the exceptions to a quite different taxonomy. 1 Preliminaries A set of equiangular lines is a set of unit vectors in a d-dimensional vector space such that the magnitude of the inner product of any pair is constant: 1; j = k; jhv ; v ij = (1) j k α; j 6= k: The maximum number of equiangular lines in a space of dimension d (the so-called Gerzon bound) is d(d+1)=2 for real vector spaces and d2 for complex. In the real case, the Gerzon bound is only known to be attained in dimensions 2, 3, 7 and 23, and we know it can't be attained in general. If you like peculiar alignments of mathematical topics, the appearance of 7 and 23 might make your ears prick up here. If you made the wild guess that the octonions and the Leech lattice are just around the corner. you'd be absolutely right. Meanwhile, the complex case is of interest for quantum information theory, because a set of d2 equiangular lines in Cd specifies a measurement that can be performed upon a quantum-mechanical system. These measurements are highly symmetric, in that the lines which specify them are equiangular, and they are \informationally complete" in a sense that quantum theory makes precise.
    [Show full text]
  • Expansion in Finite Simple Groups of Lie Type
    Expansion in finite simple groups of Lie type Terence Tao Department of Mathematics, UCLA, Los Angeles, CA 90095 E-mail address: [email protected] In memory of Garth Gaudry, who set me on the road Contents Preface ix Notation x Acknowledgments xi Chapter 1. Expansion in Cayley graphs 1 x1.1. Expander graphs: basic theory 2 x1.2. Expansion in Cayley graphs, and Kazhdan's property (T) 20 x1.3. Quasirandom groups 54 x1.4. The Balog-Szemer´edi-Gowers lemma, and the Bourgain- Gamburd expansion machine 81 x1.5. Product theorems, pivot arguments, and the Larsen-Pink non-concentration inequality 94 x1.6. Non-concentration in subgroups 127 x1.7. Sieving and expanders 135 Chapter 2. Related articles 157 x2.1. Cayley graphs and the algebra of groups 158 x2.2. The Lang-Weil bound 177 x2.3. The spectral theorem and its converses for unbounded self-adjoint operators 191 x2.4. Notes on Lie algebras 214 x2.5. Notes on groups of Lie type 252 Bibliography 277 Index 285 vii Preface Expander graphs are a remarkable type of graph (or more precisely, a family of graphs) on finite sets of vertices that manage to simultaneously be both sparse (low-degree) and \highly connected" at the same time. They enjoy very strong mixing properties: if one starts at a fixed vertex of an (two-sided) expander graph and randomly traverses its edges, then the distribution of one's location will converge exponentially fast to the uniform distribution. For this and many other reasons, expander graphs are useful in a wide variety of areas of both pure and applied mathematics.
    [Show full text]
  • CHAPTER 4 Representations of Finite Groups of Lie Type Let Fq Be a Finite
    CHAPTER 4 Representations of finite groups of Lie type Let Fq be a finite field of order q and characteristic p. Let G be a finite group of Lie type, that is, G is the Fq-rational points of a connected reductive group G defined over Fq. For example, if n is a positive integer GLn(Fq) and SLn(Fq) are finite groups of Lie type. 0 In Let J = , where In is the n × n identity matrix. Let −In 0 t Sp2n(Fq) = { g ∈ GL2n(Fq) | gJg = J }. Then Sp2n(Fq) is a symplectic group of rank n and is a finite group of Lie type. For G = GLn(Fq) or SLn(Fq) (and some other examples), the standard Borel subgroup B of G is the subgroup of G consisting of the upper triangular elements in G.A standard parabolic subgroup of G is a subgroup of G which contains the standard Borel subgroup B. If P is a standard parabolic subgroup of GLn(Fq), then there exists a partition (n1, . , nr) of n (a set of positive integers nj such that n1 + ··· + nr = n) such that P = P(n1,...,nr ) = M n N, where M ' GLn1 (Fq) × · · · × GLnr (Fq) has the form A 0 ··· 0 1 0 A2 ··· 0 M = | A ∈ GL ( ), 1 ≤ j ≤ r . . .. .. j nj Fq . 0 ··· 0 Ar and In1 ∗ · · · ∗ 0 In2 · · · ∗ N = , . .. .. . 0 ··· 0 Inr where ∗ denotes arbitary entries in Fq. The subgroup M is called a (standard) Levi sub- group of P , and N is called the unipotent radical of P . Note that the partition (1, 1,..., 1) corresponds to B and (n) corresponds to G.
    [Show full text]
  • 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]
  • A Natural Representation of the Fischer-Griess Monster
    Proc. Nati. Acad. Sci. USA Vol. 81, pp. 3256-3260, May 1984 Mathematics A natural representation of the Fischer-Griess Monster with the modular function J as character (vertex operators/finite simple group Fl/Monstrous Moonshine/affine Lie algebras/basic modules) I. B. FRENKEL*t, J. LEPOWSKY*t, AND A. MEURMANt *Department of Mathematics, Rutgers University, New Brunswick, NJ 08903; and tMathematical Sciences Research Institute, Berkeley, CA 94720 Communicated by G. D. Mostow, February 3, 1984 ABSTRACT We announce the construction of an irreduc- strange discoveries could make sense. However, instead of ible graded module V for an "affine" commutative nonassocia- illuminating the mysteries, he added a new one, by con- tive algebra S. This algebra is an "affinization" of a slight structing a peculiar commutative nonassociative algebra B variant R of the conMnutative nonassociative algebra B de- and proving directly that its automorphism group contains fined by Griess in his construction of the Monster sporadic F1. group F1. The character of V is given by the modular function The present work started as an attempt to explain the ap- J(q) _ q' + 0 + 196884q + .... We obtain a natural action of pearance of J(q) as well as the structure of B. Our under- the Monster on V compatible with the action of R, thus con- standing of these phenomena has now led us to conceptual ceptually explaining a major part of the numerical observa- constructions of several objects: V; a variant a of B; an "af- tions known as Monstrous Moonshine. Our construction starts finization" 9a of@a; and F1, which appears as a group of oper- from ideas in the theory of the basic representations of affine ators on V and at the sajne time as a group of algebra auto- Lie algebras and develops further the cadculus of vertex opera- morphisms of R and of 9a.
    [Show full text]
  • Contents 1 Root Systems
    Stefan Dawydiak February 19, 2021 Marginalia about roots These notes are an attempt to maintain a overview collection of facts about and relationships between some situations in which root systems and root data appear. They also serve to track some common identifications and choices. The references include some helpful lecture notes with more examples. The author of these notes learned this material from courses taught by Zinovy Reichstein, Joel Kam- nitzer, James Arthur, and Florian Herzig, as well as many student talks, and lecture notes by Ivan Loseu. These notes are simply collected marginalia for those references. Any errors introduced, especially of viewpoint, are the author's own. The author of these notes would be grateful for their communication to [email protected]. Contents 1 Root systems 1 1.1 Root space decomposition . .2 1.2 Roots, coroots, and reflections . .3 1.2.1 Abstract root systems . .7 1.2.2 Coroots, fundamental weights and Cartan matrices . .7 1.2.3 Roots vs weights . .9 1.2.4 Roots at the group level . .9 1.3 The Weyl group . 10 1.3.1 Weyl Chambers . 11 1.3.2 The Weyl group as a subquotient for compact Lie groups . 13 1.3.3 The Weyl group as a subquotient for noncompact Lie groups . 13 2 Root data 16 2.1 Root data . 16 2.2 The Langlands dual group . 17 2.3 The flag variety . 18 2.3.1 Bruhat decomposition revisited . 18 2.3.2 Schubert cells . 19 3 Adelic groups 20 3.1 Weyl sets . 20 References 21 1 Root systems The following examples are taken mostly from [8] where they are stated without most of the calculations.
    [Show full text]
  • UCLA Electronic Theses and Dissertations
    UCLA UCLA Electronic Theses and Dissertations Title Shapes of Finite Groups through Covering Properties and Cayley Graphs Permalink https://escholarship.org/uc/item/09b4347b Author Yang, Yilong Publication Date 2017 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA Los Angeles Shapes of Finite Groups through Covering Properties and Cayley Graphs A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Yilong Yang 2017 c Copyright by Yilong Yang 2017 ABSTRACT OF THE DISSERTATION Shapes of Finite Groups through Covering Properties and Cayley Graphs by Yilong Yang Doctor of Philosophy in Mathematics University of California, Los Angeles, 2017 Professor Terence Chi-Shen Tao, Chair This thesis is concerned with some asymptotic and geometric properties of finite groups. We shall present two major works with some applications. We present the first major work in Chapter 3 and its application in Chapter 4. We shall explore the how the expansions of many conjugacy classes is related to the representations of a group, and then focus on using this to characterize quasirandom groups. Then in Chapter 4 we shall apply these results in ultraproducts of certain quasirandom groups and in the Bohr compactification of topological groups. This work is published in the Journal of Group Theory [Yan16]. We present the second major work in Chapter 5 and 6. We shall use tools from number theory, combinatorics and geometry over finite fields to obtain an improved diameter bounds of finite simple groups. We also record the implications on spectral gap and mixing time on the Cayley graphs of these groups.
    [Show full text]
  • Braids, 3-Manifolds, Elementary Particles: Number Theory and Symmetry in Particle Physics
    S S symmetry Article Braids, 3-Manifolds, Elementary Particles: Number Theory and Symmetry in Particle Physics Torsten Asselmeyer-Maluga German Aeorspace Center, Rosa-Luxemburg-Str. 2, 10178 Berlin, Germany; [email protected]; Tel.: +49-30-67055-725 Received: 25 July 2019; Accepted: 2 October 2019; Published: 15 October 2019 Abstract: In this paper, we will describe a topological model for elementary particles based on 3-manifolds. Here, we will use Thurston’s geometrization theorem to get a simple picture: fermions as hyperbolic knot complements (a complement C(K) = S3 n (K × D2) of a knot K carrying a hyperbolic geometry) and bosons as torus bundles. In particular, hyperbolic 3-manifolds have a close connection to number theory (Bloch group, algebraic K-theory, quaternionic trace fields), which will be used in the description of fermions. Here, we choose the description of 3-manifolds by branched covers. Every 3-manifold can be described by a 3-fold branched cover of S3 branched along a knot. In case of knot complements, one will obtain a 3-fold branched cover of the 3-disk D3 branched along a 3-braid or 3-braids describing fermions. The whole approach will uncover new symmetries as induced by quantum and discrete groups. Using the Drinfeld–Turaev quantization, we will also construct a quantization so that quantum states correspond to knots. Particle properties like the electric charge must be expressed by topology, and we will obtain the right spectrum of possible values. Finally, we will get a connection to recent models of Furey, Stoica and Gresnigt using octonionic and quaternionic algebras with relations to 3-braids (Bilson–Thompson model).
    [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]
  • Finite Groups Whose Element Orders Are Consecutive Integers
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OF ALGEBRA 143, 388X)0 (1991) Finite Groups Whose Element Orders Are Consecutive Integers ROLF BRANDL Mathematisches Institui, Am Hubland 12, D-W-8700 Wiirzberg, Germany AND SHI WUJIE Mathematics Department, Southwest-China Teachers University, Chongqing, China Communicated by G. Glauberman Received February 28, 1986 DEDICATED TO PROFESSORB. H. NEUMANN ON HIS 80~~ BIRTHDAY There are various characterizations of groups by conditions on the orders of its elements. For example, in [ 8, 1] the finite groups all of whose elements have prime power order have been classified. In [2, 16-181 some simple groups have been characterized by conditions on the orders of its elements and B. H. Neumann [12] has determined all groups whose elements have orders 1, 2, and 3. The latter groups are OC3 groups in the sense of the following. DEFINITION. Let n be a positive integer. Then a group G is an OC, group if every element of G has order <n and for each m <n there exists an element of G having order m. In this paper we give a complete classification of finite OC, groups. The notation is standard; see [S, 111. In addition, for a prime q, a Sylow q-sub- group of the group G is denoted by P,. Moreover Z{ stands for the direct product of j copies of Zj and G = [N] Q denotes the split extension of a normal subgroup N of G by a complement Q.
    [Show full text]