DOCSLIB.ORG

Geometry of Sporadic Groups II

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Geometry of Sporadic Groups II Geometry of Sporadic Groups II. Representations and Amalgams A.A. Ivanov and S.V. Shpectorov July 14, 2016 Contents Preface v 1 Preliminaries 1 1.1 Geometries and diagrams . 1 1.2 Coverings of geometries . 3 1.3 Amalgams of groups . 4 1.4 Simple connectedness via universal completion . 6 1.5 Representations of geometries . 10 I Representations 15 2 General features 17 2.1 Terminology and notation . 17 2.2 Collinearity graph . 20 2.3 Geometrical hyperplanes . 21 2.4 Odd order subgroups . 24 2.5 Cayley graphs . 28 2.6 Higher ranks . 29 2.7 c-extensions . 30 2.8 Non-split extensions . 34 3 Classical geometries 37 3.1 Linear groups . 37 3.2 The Grassmanian . 39 1 3.3 Pe is uniserial . 41 3.4 G(S4(2)) . 43 3.5 Symplectic groups . 44 3.6 Orthogonal groups . 47 3.7 Brouwer's conjecture . 48 3.8 G(3 · S4(2)) . 53 3.9 G(Alt5) ............................. 55 n [ ]2 3.10 G(3 2 · S2n(2)) . 57 i ii CONTENTS 4 Mathieu groups and Held group 65 4.1 G(M23) ............................. 65 4.2 G(M22) ............................. 66 4.3 G(M24) ............................. 69 4.4 G(3 · M22)............................ 70 4.5 D(M22) ............................. 74 4.6 G(He).............................. 77 5 Conway groups 79 5.1 Leech lattice . 79 5.2 G(Co2).............................. 82 5.3 G(Co1).............................. 85 5.4 Abelianization . 86 23 5.5 G(3 · Co2)........................... 88 5.6 G(3 · U4(3)) . 92 6 Involution geometries 95 6.1 General methods . 95 6.2 I(Alt7) ............................. 98 6.3 I(M22) ............................. 100 6.4 I(U4(3)) . 102 6.5 I(Co2; 2B) ........................... 104 6.6 I(Co1; 2A) ........................... 107 7 Large sporadics 111 7.1 Existence of the representations . 111 7.2 A reduction via simple connectedness . 114 7.3 The structure of N(p) . 116 7.4 Identifying R1(p) . 122 7.5 R1(p) is normal in Rbpc . 126 7.6 Rbpc is isomorphic to Ge(p) . 131 7.7 Generation of Ge(p) \ Ge(q)................... 133 7.8 Reconstructing the rank 3 amalgam . 134 7.9 G(34371 · BM) . 138 II Amalgams 139 8 Method of group amalgams 141 8.1 General strategy . 141 8.2 Some cohomologies . 143 8.3 Goldschmidt's lemma . 147 8.4 Factor amalgams . 150 8.5 L3(2)-lemma . 151 8.6 Two parabolics are sufficient . 154 CONTENTS iii 9 Action on the derived graph 155 9.1 A graph theoretical setup . 155 9.2 Normal series of the vertex stabiliser . 158 9.3 Condition (∗i) . 161 9.4 Normal series of the point stabiliser . 164 9.5 Pushing up . 168 10 Shapes of amalgams 171 10.1 The setting . 171 10.2 Rank three case . 173 10.3 Rank four case . 177 10.4 Rank five case . 181 10.5 Rank six case . 183 10.6 The symplectic shape . 183 10.7 Summary . 184 11 Amalgams for P -geometries 187 11.1 M22-shape . 187 11.2 Aut M22-shape . 189 11.3 M23-shape . 190 11.4 Co2-shape . 192 11.5 J4-shape . 197 11.6 Truncated J4-shape . 203 11.7 BM-shape . 204 12 Amalgams for T -geometries 209 12.1 Alt7-shape . 209 12.2 S6(2)-shape . 210 12.3 M24-shape . 212 12.4 Truncated M24-shape . 215 12.5 The completion of Af . 218 12.6 Co1-shape . 221 12.7 M-shape . 226 12.8 S2n(2)-shape, n ≥ 4 . 226 Concluding Remarks 233 13 Further developments 235 13.1 Group-free characterisations . 235 13.2 Locally projective graphs . 238 Bibliography 240 Index 249 iv CONTENTS Preface This is the second volume of the two-volume series which contains the proof of the classification of the flag-transitive P - and T -geometries. A P -geometry (Petersen geometry) has diagram P ◦ ◦ · · · ◦ ◦ ◦; 2 2 2 2 1 where ◦ P ◦ denotes the geometry of 15 edges and 10 vertices of the 2 1 Petersen graph. A T -geometry (Tilde geometry) has diagram ∼ ◦ ◦ · · · ◦ ◦ ◦; 2 2 2 2 2 where ◦ ∼ ◦ denotes the 3-fold cover of the generalized quadrangle of 2 2 ∼ order (2; 2), associated with the non-split extension 3 · S4(2) = 3 · Sym6. The final result of the classification as announced in [ISh94b], is the following (we write G(G) for the P - or T -geometry admitting G as a flag- transitive automorphism group). Theorem 1 Let G be a flag-transitive P - or T -geometry and G be a flag- transitive automorphism group of G. Then G is isomorphic to a geometry H in Table I or Table II and G is isomorphic to a group H in the row corresponding to H. In the first volume [Iv99] and in [IMe99] for the case G(J4) the following has been established. Theorem 2 Let H be a geometry from Table I or II of rank at least 3 and H be a group in the row corresponding to H. Then (i) H exists and of correct type (i.e., P - or T -geometry); (ii) H is a flag-transitive automorphism group of H; ∼ (iii) either H is simply connected or H = G(M22) and the universal cover of H is G(3 · M22). v vi Geometries of sporadic groups II Table I. Flag-transitive P -geometries Rank Geometry H Flag-transitive automorphism groups H 2 G(Alt5) Alt5, Sym5 3 G(M22) M22, Aut M22 G(3 · M22) 3 · M22, 3 · Aut M22 4 G(M23) M23 G(Co2) Co2 23 23 G(3 · Co2) 3 · Co2 G(J4) J4 5 G(BM) BM G(34371 · BM) 34371 · BM If F is a geometry and F is a flag-transitive automorphism group of F then A(F; F) denotes the amalgam of maximal parabolics associated with the action of F on F. In these terms the main result of the present volume can be stated follows: Theorem 3 Let G be a flag-transitive P - or T -geometry of rank at least 3 and G be a flag-transitive automorphism group of G. Then for a geometry H and its automorphism group from Table I or Table II we have the following: A(G; G) =∼ A(H; H): In the above theorem we can assume that H is simply connected. Then by Theorem 1.4.5 H is the universal cover of G and H is the universal completion of A(G; G). Notice that Theorem 3 immediately implies that a geometry H from Table I or Table II does not have flag-transitive automorphism groups ex- cept those already in the tables. Particularly, the largest of the groups corresponding to H is the full automorphism group. Preface vii Table II. Flag-transitive T -geometries Rank Geometry H Flag-transitive automorphism groups H ∼ 2 G(3 · S4(2)) 3 · Alt6, 3 · S4(2) = 3 · Sym6 3 G(M24) M24 G(He) He 4 G(Co1) Co1 5 G(M) M n n [ ]2 [ ]2 n G(3 2 · S2n(2)) 3 2 · S2n(2) Now in order to deduce Theorem 1 from Theorems 2 and 3 it is sufficient to observe the following Proposition 4 The set of geometries in Tables I and II is closed under taking coverings commuting with the actions of the flag-transitive automor- phism groups given in these tables. Proof. Let H be a geometry from Table I or II and H be a flag- transitive automorphism group of H (also from the table). Suppose that σ : H! H is a proper covering which commutes with the action of H on H and let H be the action induced by H on H. Let N be the kernel of the homomorphism of H onto H (the subgroup of deck transformations with respect to σ). In order to identify N we look at the normal structure of H. If Q = O3(H) then either Q is trivial or it is an elementary abelian 3-group which is irreducible as a GF (3)-module for H=Q. Furthermore, H=Q is either a non-abelian simple group or such a group extended by an outer automorphism of order 2, finally H does not split over Q. Hence either jHj ≤ 2, or N = Q, or N = 1. If jHj ≤ 2 then clearly H cannot act flag-transitively on a P - or T -geometry. If N = Q 6= 1, then the elements of H are the orbits of Q on H with the natural incidence relation. We know from [Iv99] that under these circumstances H is a cover of H only if the former is G(3 · M22) and the latter is G(M22) (in the other cases σ is only a 1- or 2-covering). Thus N = 1 and H acts flag-transitively on both H and viii Geometries of sporadic groups II H. In this case the 2-part of the stabilizer in H of a point of H must be strictly larger than that of the stabilizer of a point of H. This is impossible since for all the pairs (H;H) from the tables the stabilizer in H of a point from H contains a Sylow 2-subgroup of H. 2 Below we outline our main strategy of proving Theorem 3. Let G be a P - or T -geometry of rank n ≥ 3, G be a flag-transitive automorphism group of G and A = A(G; G) = fGi j 1 ≤ i ≤ ng be the amalgam of maximal parabolics associated with the action of G on G (here Gi = G(xi) is the stabilizer in G of an element xi of type i in a maximal flag Φ = fx1; :::; xng in G).
Load more

Recommended publications
  • Finite Groups, Designs and Codes
    Abstract Introduction Terminology and notation Group Actions and Permutation Characters Method 1 References Finite Groups, Designs and Codes J Moori School of Mathematical Sciences, University of KwaZulu-Natal Pietermaritzburg 3209, South Africa ASI, Opatija, 31 May –11 June 2010 J Moori, ASI 2010, Opatija, Croatia Groups, Designs and Codes Abstract Introduction Terminology and notation Group Actions and Permutation Characters Method 1 References Finite Groups, Designs and Codes J Moori School of Mathematical Sciences, University of KwaZulu-Natal Pietermaritzburg 3209, South Africa ASI, Opatija, 31 May –11 June 2010 J Moori, ASI 2010, Opatija, Croatia Groups, Designs and Codes Abstract Introduction Terminology and notation Group Actions and Permutation Characters Method 1 References Outline 1 Abstract 2 Introduction 3 Terminology and notation 4 Group Actions and Permutation Characters Permutation and Matrix Representations Permutation Characters 5 Method 1 Janko groups J1 and J2 Conway group Co2 6 References J Moori, ASI 2010, Opatija, Croatia Groups, Designs and Codes Abstract Introduction Terminology and notation Group Actions and Permutation Characters Method 1 References Abstract Abstract We will discuss two methods for constructing codes and designs from finite groups (mostly simple finite groups). This is a survey of the collaborative work by the author with J D Key and B Rorigues. In this talk (Talk 1) we first discuss background material and results required from finite groups, permutation groups and representation theory. Then we aim to describe our first method of constructing codes and designs from finite groups. J Moori, ASI 2010, Opatija, Croatia Groups, Designs and Codes Abstract Introduction Terminology and notation Group Actions and Permutation Characters Method 1 References Abstract Abstract We will discuss two methods for constructing codes and designs from finite groups (mostly simple finite groups).
    [Show full text]
  • RIGID LOCAL SYSTEMS with MONODROMY GROUP the CONWAY GROUP Co2
    RIGID LOCAL SYSTEMS WITH MONODROMY GROUP THE CONWAY GROUP Co2 NICHOLAS M. KATZ, ANTONIO ROJAS-LEON,´ AND PHAM HUU TIEP Abstract. We first develop some basic facts about hypergeometric sheaves on the multi- plicative group Gm in characteristic p > 0. Certain of their Kummer pullbacks extend to irreducible local systems on the affine line in characteristic p > 0. One of these, of rank 23 in characteristic p = 3, turns out to have the Conway group Co2, in its irreducible orthogonal representation of degree 23, as its arithmetic and geometric monodromy groups. Contents Introduction 1 1. The basic set up, and general results 1 2. The criterion for finite monodromy 10 3. Theorems of finite monodromy 11 4. Determination of the monodromy groups 17 References 18 Introduction In the first two sections, we give the general set up. In the third section, we apply known criteria to show that certain local systems of rank 23 over the affine line in characteristic 3 have finite (arithmetic and geometric) monodromy groups. In the final section, we show that the finite monodromy groups in question are the Conway group Co2 in its 23-dimensional irreducible orthogonal representation. 1. The basic set up, and general results × We fix a prime number p, a prime number ` 6= p, and a nontrivial Q` -valued additive character of Fp. For k=Fp a finite extension, we denote by k the nontrivial additive character of k given by k := ◦ Tracek=Fp . In perhaps more down to earth terms, we fix a × nontrivial Q(µp) -valued additive character of Fp, and a field embedding of Q(µp) into Q` for some ` 6= p.
    [Show full text]
  • Jhep07(2019)026
    Published for SISSA by Springer Received: January 18, 2019 Revised: May 3, 2019 Accepted: June 26, 2019 Published: July 4, 2019 JHEP07(2019)026 Monster anatomy Jin-Beom Bae, Kimyeong Lee and Sungjay Lee Korea Institute for Advanced Study, 85 Hoegiro, Dongdaemun-Gu, Seoul 02455, Korea E-mail: [email protected], [email protected], [email protected] Abstract: 47 We investigate the two-dimensional conformal field theories (CFTs) of c = 2 , 116 c = 5 and c = 23 `dual' to the critical Ising model, the three state Potts model and the tensor product of two Ising models, respectively. We argue that these CFTs exhibit moonshines for the double covering of the baby Monster group, 2 · B, the triple covering 0 of the largest Fischer group, 3 · Fi24 and multiple-covering of the second largest Conway 1+22 group, 2 · 2 · Co2. Various twined characters are shown to satisfy generalized bilinear relations involving Mckay-Thompson series. We also rediscover that the `self-dual' two- dimensional bosonic conformal field theory of c = 12 has the Conway group Co0 ' 2 · Co1 as an automorphism group. Keywords: Conformal and W Symmetry, Field Theories in Lower Dimensions ArXiv ePrint: 1811.12263 Open Access, c The Authors. https://doi.org/10.1007/JHEP07(2019)026 Article funded by SCOAP3. Contents 1 Introduction1 2 Dual of the Ising model and the Baby Monster3 0 3 Dual of the three-state Potts model and 3 · Fi24 6 2 1+22 4 Dual of the critical Ising and 2 · 2 · Co2 9 JHEP07(2019)026 5 Self-dual RCFT and 2 · Co1 11 6 Discussion 13 A Dimension of the irreducible representations 15 B 0 B Character tables of 2 · and 3 · Fi24 16 C Generalized bilinear relations 18 C.1 2 · B 18 0 C.2 3 · Fi24 18 1 Introduction Mckay and Thompson's remarkable observation between the monster group M and the modular objects, especially, the j-invariant, motivated the study of the so-called `Monstrous Moonshine' in [1].
    [Show full text]
  • Extended Near Hexagons and Line Systems
    Extended near hexagons and line systems Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven The Netherlands email: [email protected] October 2, 2002 Abstract In this paper we study extended near hexagons, and classify a class of line systems in which two lines are either perpendicular, or make an angle α with cos α = 1=3. Among the examples we encounter a set of 2300 lines in R23 ± 24 related to the second Conway group Co2 and a set of 2048 lines in R related 1+11 to the group 2 :M24. The other line systems under consideration in this paper are all subsystems of these. MSC classification: 51E30, 05B99, 51E12, 20D8 Keywords: Extended near hexagons, line systems, spherical designs. 1. Introduction In [34], Shult and Yanushka studied a class of line systems in Rn, equipped with the standard inner product ( ), in which any pair of distinct lines is either per- pendicular or makes an angle· jα · with cos α = 1=3. A nice and simple example of such a line system is the set of 4 lines in R3±passing through the vertices of a regular tetrahedron centered at the origin. Other examples considered by Shult and Yanushka include a system of 2300 lines in R23 related to the Leech lattice and the 24 second Conway group Co2 and a system of 2048 lines in R related to the binary 1+11 Golay code and the group 2 :M24. These line systems are all tetrahedrally closed, i.e., given three lines of the system passing through three of the four vertices of a regular tetrahedron centered at the origin, then also the line passing through the fourth vertex of the tetrahedron is present in the line system.
    [Show full text]
  • Connected Quandles with Order Equal to Twice an Odd Prime
    CONNECTED QUANDLES WITH ORDER EQUAL TO TWICE AN ODD PRIME JAMES MCCARRON Abstract. We show that there is an unique connected quandle of order twice an odd prime number greater than 3. It has order 10 and is isomorphic to the conjugacy class of transpositions in the symmetric group of degree 5. This establishes a conjecture of L. Vendramin. 1. Introduction Quandles were introduced independently in 1982 by D. Joyce [13] and S. Matveev [16] as invariants of knots. To each knot one associates a (generally) non-associative algebraic system called the knot quandle which turns out to be a very strong algebraic invariant. The number qn of isomorphism classes of quandles of order n is known to grow very quickly with n. This was already evident with the computational determination of the number of quandles of small orders [11, 10, 17]. Recently, Blackburn showed that qn grows like 2 2n , asymptotically [2]. Because the complete set of quandles of even small orders appears to be intractably large there has, in recent years, been considerable interest in counting and constructing quandles of more restricted classes. Connected quandles are of particular impor- tance because knot quandles are connected, and homomorphic images of connected quandles are connected. Therefore, the finite quandles arXiv:1210.2150v2 [math.GR] 28 Aug 2013 that appear as homomorphic images of knot quandles are necessarily connected, and it is these quandles that figure in computable invariants of knots [7, 14, 4]. Thus, the connected quandles of prime order, and of order equal to the square of a prime, have been determined [6, 9].
    [Show full text]
  • On the Action of the Sporadic Simple Baby Monster Group on Its Conjugacy Class 2B
    London Mathematical Society ISSN 1461–1570 ON THE ACTION OF THE SPORADIC SIMPLE BABY MONSTER GROUP ON ITS CONJUGACY CLASS 2B JURGEN¨ MULLER¨ Abstract We determine the character table of the endomorphism ring of the permutation module associated with the multiplicity- free action of the sporadic simple Baby Monster group B on its conjugacy class 2B, where the centraliser of a 2B-element 1+22 is a maximal subgroup of shape 2 .Co2.Thisisoneofthe first applications of a new general computational technique to enumerate big orbits. 1. Introduction The aim of the present work is to determine the character table of the endomorphism ring of the permutation module associated with the multiplicity-free action of the Baby Monster group B, the second largest of the sporadic simple groups, on its conjugacy class 2B, where the centraliser of a 2B-element is a maximal subgroup 1+22 of shape 2 .Co2. The final result is given in Table 4. In general, the endomorphism ring of a permutation module reflects aspects of the representation theory of the underlying group. Its character table in particular encodes information about the spectral properties of the orbital graphs associated with the permutation action, such as distance-transitivity or distance-regularity, see [14, 5], or the Ramanujan property, see [7]. Here multiplicity-free actions, that is those whose associated endomorphism ring is commutative, have been of particular interest; for example a distance-transitive graph necessarily is an orbital graph associated with a multiplicity-free action. The multiplicity-free permutation actions of the sporadic simple groups and the related almost quasi-simple groups have been classified in [3, 16, 2], and the as- sociated character tables including the one presented here have been collected in [4, 20].
    [Show full text]
  • The Topological Index and Automorphism Group of 1,3,5
    Available at http://pvamu.edu/aam Applications and Applied Appl. Appl. Math. Mathematics: ISSN: 1932-9466 An International Journal (AAM) Vol. 11, Issue 2 (December 2016), pp. 930 - 942 Study on the Q-Conjugacy Relations for the Janko Groups Ali Moghani Department of Computer Science William Paterson University Wayne, NJ 07470 USA E-mail: [email protected] Received March 5, 2016; Accepted July 22, 2016 ABSTRACT In this paper, we consider all the Janko sporadic groups J1, J2, J3 and J4 (with orders 175560, 604800, 50232960 and 86775571046077562880, respectively) with a new concept called the markaracter- and Q-conjugacy character tables, which enables us to discuss marks and characters for a finite group on a common basis of Q-conjugacy relationships between their cyclic subgroups. Then by using GAP (Groups, Algorithms and Programming) package we calculate all their dominant classes enabling us to find all possible Q-conjugacy characters for these sporadic groups. Finally, we prove in a main theorem that all twenty six simple sporadic groups are unmatured. Keywords: Finite group; Sporadic, Janko; Conjugacy class; Character, Q-conjugacy; matured MSC 2010: 20D99, 20C15 1. Introduction In recent years, group theory has drawn wide attention of researchers in mathematics, physics and chemistry, see Fujita (1998). Many problems of the computational group theory have been researched, such as the classification, the symmetry, the topological cycle index, etc. They include not only the diverse properties of finite groups, but also their wide-ranging connections with many applied sciences, such as Nanoscience, Chemical Physics and Quantum Chemistry. For instance, see Darafsheh et al.
    [Show full text]
  • Computational Modular Character Theory
    Computational Modular Character Theory G. HISS C. JANSEN K. LUX R. PARKER arXiv:1901.08453v1 [math.RT] 24 Jan 2019 November 11, 1993 To Joachim Neub¨user and Herbert Pahlings Acknowledgements During the development of the MOC-system and the preparation of this book we were supported by various mathematicians and institutions. Above all, we wish to thank Joachim Neub¨user and Herbert Pahlings who brought us together at Aachen. Pahlings was the supervisor of the PhD-thesis of Lux and of the Diploma thesis of Jansen, which were con- cerned with extensions and applications of the MOC-system. Neub¨user and Pahlings provided a great working atmosphere at their institute, the Lehrstuhl D f¨ur Mathematik, and supported our project during the whole time. We therefore dedicate this book to them. It is a great pleasure for us to thank H. W. Lenstra for his imme- diate interest in a particular number theoretical problem related to the MOC-system, for solving this problem and for allowing us to include his proof of this previously unpublished result in our book. Meinolf Geck read a preliminary version of the manuscript with great care. His various remarks and observations concerning the theory of modular characters have been incorporated. Together with his detailed comments and sug- gestions on the style of the exposition, this lead to many improvements and added very much to the legibility of our book. We wish to thank him for all his work. Finally we thank Thomas Breuer for suggestions concerning abelian number fieds. We also gratefully acknowledge the financial support we received from the Deutsche Forschungsgemeinschaft and from the Bundesland Nordrhein-Westfalen in form of the Bennigsen-Foerder-Preis.
    [Show full text]
  • Towards the Classification of Finite Simple Groups with Exactly Three
    TOWARDS THE CLASSIFICATION OF FINITE SIMPLE GROUPS WITH EXACTLY THREE OR FOUR SUPERCHARACTER THEORIES A. R. ASHRAFI AND F. KOOREPAZAN-MOFTAKHAR Abstract. A supercharacter theory for a finite group G is a set of superclasses each of which is a union of conjugacy classes together with a set of sums of irreducible characters called supercharacters that together satisfy certain compatibility conditions. The aim of this paper is to give a description of some finite simple groups with exactly three or four supercharacter theories. Keywords: Sporadic group, alternating group, Suzuki group. 2010 Mathematics Subject Classification: Primary: 20C15; Secondary: 20D15. 1. Introduction Throughout this paper G is a finite group, d(n) denotes the number of divisors of positive integer n, Irr(G) stands for the set of all ordinary irreducible character of G and Con(G) is the set of all conjugacy classes of G. For other notations and terminology concerning character theory, we refer to the famous book of Isaacs [11]. Following Diaconis and Isaacs [7], a pair ( , ) together with X K the choices of characters χX is called a supercharacter theory of G if the following conditions are satisfied: (1) is a partition of Irr(G) and is a partition of Con(G); X K (2) 1 ; { } ∈ K (3) the characters χX , X , are constant on the members of ; ∈X K (4) = . |X | |K| The elements of and are called supercharacters and superclasses of G, respectively. It is arXiv:1605.08971v1 [math.GR] 29 May 2016 X K easy to see that m(G) = (Irr(G), Con(G)) and M(G) = ( , ), where = 1 , Irr(G) 1 and X K X {{ } \ { }} = 1 , Con(G) 1 are supercharacter theories of G which are called the trivial supercharacter K {{ } \ { }} theories of G.
    [Show full text]
  • A New Euclidean Tight 6-Design
    九州大学学術情報リポジトリ Kyushu University Institutional Repository A new Euclidean tight 6-design Bannai, Eiichi Faculty of Mathematics, Graduate School, Kyushu University: Algebraic Combinatorics Bannai, Etsuko Faculty of Mathematics, Graduate School, Kyushu University: Algebraic Combinatorics Shigezumi, Junichi Faculty of Mathematics, Graduate School, Kyushu University: Algebraic Combinatorics http://hdl.handle.net/2324/20574 出版情報： バージョン： 権利関係： A new Euclidean tight 6-design Eiichi Bannai, Etsuko Bannai, Junichi Shigezumi September 24, 2010 Abstract Euclidean t-designs, which are finite weighted subsets of Euclidean space, were defined by Neumaier-Seidel (1988). A tight t-design is defined as a t-design whose cardinality is equal to the known natural lower bound. In this paper, we give a new Euclidean tight 6-design in R22. Furthermore, we also show its uniqueness up to similar transformation fixing the origin. This design has the structure of coherent configuration, which was defined by Higman, and is obtained from the properties of general permutation groups. We also show that the design is obtained by combining two orbits of McLaughlin simple group. 1 Introduction Euclidean t-designs were defined by Neumaier-Seidel [21] as a two step generalization of spherical designs (cf. [13]). (We note that similar concepts as Euclidean t-designs have existed in numerical analysis as certain cubature formulas, and in statistics as rotatable designs (cf. [8]). First we give some notation. Let (X; w) be a finite weighted subset in Euclidean space Rn, where X is a finite subset and w is a positive real valued weight function on X. We say X is supported by p concentric spheres.
    [Show full text]
  • On the Generation of the Conway Groups by Conjugate Involutions∗
    On the generation of the Conway groups by conjugate involutions¤ Faryad Aliy and Mohammed Ali Faya Ibrahimz Department of Mathematics King Khalid University Abha, Saudi Arabia Abstract Let G be a finite group generated by conjugate involutions, and let i(G) = minfjXjg, where X runs over the sets of conjugate involutions generating G. Of course i(G) · 2 implies G is cyclic or dihedral. However, the problem of determining those G for which i(G) > 2 is much more intricate. In this note, we prove that i(G) · 4, where G is one of the Conway’s sporadic simple group. The computations were carried out using the computer algebra system GAP [15]. 2000 Mathematics Subject Classification: 20D08, 20F05. Key words and phrases: Conway group, Co1, Co2, Co3, generator, sporadic group. 1 Introduction It is well known that sporadic simple groups are generated by three conjugate involutions (see [7]). Recently there has been considerable interest in generation of simple groups by their conjugate involutions. Moori [14] proved that the Fischer group F i22 can be generated by three conjugate involutions. The work of Liebeck and Shalev [13] show that all but finitely many classical groups can be generated by three involutions. Moori and Ganief in [12] determined the generating pairs for the Conway groups Co2 and Co3. Darafsheh, Ashrafi and Moghani in [8, 9, 10] computed the (p; q; r) and nX-complementary generations for the largest Conway group Co1, while recently Bates and Rowley in [5] determined the suborbits of Conway’s largest simple group in its conjugation action on each of its three conjugacy classes of involutions.
    [Show full text]
  • Introduction to Finite Simple Groups
    Introduction to finite simple groups 808017424794512875886459904961710757005754368000000000 246 320 59 76 112 133 17 19 23 29 31 41 47 59 71 · · · · · · · · · · · · · · 0.1 Contents 1. Introduction • 2. Alternating groups • 3. Linear groups • 4. Classical groups • 5. Chevalley groups • 6. Exceptional groups • 7. Sporadic groups: old generation • 8. Sporadic groups: new generation • 0.2 Literature R. Wilson: The finite simple groups, ◦ Graduate Texts in Mathematics 251, Springer, 2009. J. Conway, R. Curtis, R. Parker, ◦ S. Norton, R. Wilson: Atlas of finite groups, Clarendon Press Oxford, 1985/2004. P. Cameron: Permutation groups, ◦ LMS Student Texts 45, Cambridge, 1999. D. Taylor: The geometry of the classical groups, ◦ Heldermann, 1992. R. Carter: Simple groups of Lie type, ◦ Wiley, 1972/1989. M. Geck: An introduction to algebraic geometry ◦ and algebraic groups, Oxford, 2003. R. Griess: Twelve sporadic groups, ◦ Springer Monographs in Mathematics, 1989. Aim: Explain the statement of the CFSG: • 1.1 Classification of finite simple groups (CFSG) Cyclic groups of prime order C ; p a prime. • p Alternating groups ; n 5. • An ≥ Finite groups of Lie type: • Classical groups; q a prime power: ◦ Linear groups PSL (q); n 2, (n, q) = (2, 2), (2, 3). n ≥ 6 Unitary groups PSU (q2); n 3, (n, q) = (3, 2). n ≥ 6 Symplectic groups PSp (q); n 2, (n, q) = (2, 2). 2n ≥ 6 Odd-dimensional orthogonal groups Ω (q); n 3, q odd. 2n+1 ≥ + Even-dimensional orthogonal groups PΩ (q), PΩ− (q); n 4. 2n 2n ≥ Exceptional groups; q a prime power, f 1: ◦ ≥ E (q). E (q). E (q). F (q). G (q); q = 2.
    [Show full text]