DOCSLIB.ORG

2,3,T)-Generations for the Tits Simple Group 2F4(2

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
2,3,T)-Generations for the Tits Simple Group 2F4(2 2 0 (2; 3; t)-Generations for the Tits simple group F4(2) MOHAMMED ALI FAYA IBRAHIM FARYAD ALI King Khalid University King Khalid University Department of Mathematics Department of Mathematics P.O. Box 9004, Abha P.O. Box 9004, Abha SAUDI ARABIA SAUDI ARABIA mafi[email protected] [email protected] Abstract: A group G is said to be (2; 3; t)-generated if it can be generated by two elements x and y such that o(x) = 2, o(y) = 3 and o(xy) = t. In this paper, we determine (2; 3; t)-generations of the Tits simple group ∼ 2 0 T = F4(2) where t is divisor of jTj. Most of the computations were carried out with the aid of computer algebra system GAP [17]. 2 0 Key–Words: Tits group F4(2) , simple group, (2; 3; t)-generation, generator. 1 Introduction was first determined by Tchakerian [19]. Later but independently, Wilson [20] also determined the max- A group G is called (2; 3; t)-generated if it can be gen- imal subgroups of the simple group T, while studying erated by an involution x and an element y of order 3 the geometry of the simple groups of Tits and Rud- such that o(xy) = t. The (2; 3)-generation problem valis. has attracted a vide attention of group theorists. One For basic properties of the Tits group T and infor- reason is that (2; 3)-generated groups are homomor- mation on its subgroups the reader is referred to [20], phic images of the modular group P SL(2; Z), which [19]. The ATLAS of Finite Groups [9] is an impor- is the free product of two cyclic groups of order two tant reference and we adopt its notation for subgroups, and three. The motivation of (2; 3)-generation of sim- conjugacy classes, etc. Computations were carried out ple groups also came from the calculation of the genus with the aid of GAP [17]. of finite simple groups [22]. The problem of finding the genus of finite simple group can be reduced to one of generations (see [24] for details). 2 Preliminary Results Moori in [15] determined the (2; 3; p)-generations Throughout this paper our notation is standard of the smallest Fischer group F22. In [11], Ganief and Moori established (2; 3; t)-generations of the third and taken mainly from [1], [2], [3], [4], [5], [15] G Janko group J . In a series of papers [1], [2], [3], and [11]. In particular, for a finite group with 3 C ;C ;:::;C [4], [5], [12] and [13], the authors studied (2; 3)- 1 2 k conjugacy classes of its elements g C generation and generation by conjugate elements of and k a fixed representative of k, we denote ∆(G) = ∆G(C1;C2;:::;Ck) the number of dis- the sporadic simple groups Co1; Co2; Co3, He, HN, tinct tuples (g1; g2; : : : ; gk−1) with gi 2 Ci such Suz, Ru, HS, McL, T h and F i23. The present arti- g g : : : g − = g cle is devoted to the study of (2; 3; t)-generations for that 1 2 k 1 k. It is well known that ∆ (C ;C ;:::;C ) the Tits simple group T, where t is any divisor of jTj. G 1 2 k is structure constant for the con- C ;C ;:::;C For more information regarding the study of (2; 3; t)- jugacy classes 1 2 k and can easily be com- G 45 generations, generation by conjugate elements as well puted from the character table of (see [14], p. ) by the following formula ∆G(C1;C2;:::;Ck) = as computational techniques used in this article, the j jj j j j P C1 C2 ::: Ck−1 × m χi(g1)χi(g2)...χi(gk−1)χi(gk) reader is referred to [1], [2], [3], [4], [5], [11], [15], k−2 jGj i=1 [χi(1G)] [16] and [22]. where χ1; χ2; : : : ; χm are the irreducible ∼ 2 0 The Tits group T = F4(2) is a simple group complex characters of G. Further, let 11 3 2 ∗ ∗ of order 17971200 = 2 :3 :5 :13. The group T is ∆ (G) = ∆G(C1;C2;:::;Ck) denote the num- a subgroup of the Rudvalis sporadic simple group Ru ber of distinct tuples (g1; g2; : : : ; gk−1) with of index 8120. The group T also sits maximally inside gi 2 Ci and g1g2 : : : gk−1 = gk such that G =< ∗ the smallest Fischer group F i22 with index 3592512. g1; g2; : : : ; gk−1 >. If ∆G(C1;C2;:::;Ck) > 0, The maximal subgroups of the Tits simple group T then we say that G is (C1;C2;:::;Ck)-generated. If H is any subgroup of G containing the fixed ele- The group T acts on 78-dimensional irreducible ment gk 2 Ck, then ΣH (C1;C2;:::;Ck−1;Ck) complex module V . We apply Scott’s theorem (cf. denotes the number of distinct tuples Theorem 1) to the module V and compute that (g1; g2; : : : ; gk−1) 2 (C1 × C2 × ::: × Ck−1) such d = dim(V=C (2A)) = 32; that g1g2 : : : gk−1 = gk and hg1; g2; : : : ; gk−1i ≤ H 2A V where ΣH (C1;C2;:::;Ck) is obtained by summing d3A = dim(C=CV (3A)) = 54 the structure constants ∆H (c1; c2; : : : ; ck) of H over d8C = dim(V=CV (8C)) = 68; all H-conjugacy classes c1; c2; : : : ; ck−1 satisfying d8D = dim(V=CV (8D)) = 68 ci ⊆ H \ Ci for 1 ≤ i ≤ k − 1. For the description of the conjugacy classes, the d10A = dim(V=CV (10A)) = 68 character tables, permutation characters and informa- Now, if the group T is (2A; 3A; tX)-generated, where tion on the maximal subgroups readers are referred to tX 2 f8C; 8D; 10Ag, then by Scott’s theorem we ATLAS [9]. A general conjugacy class of elements must have of order n in G is denoted by nX. For example 2A represents the first conjugacy class of involutions in a d2A + d3A + dtX ≥ 2 × 78 = 156: group G. The following results in certain situations are very However, d2A +d3A +dtX = 154, and non-generation effective at establishing non-generations. of the group T by these triples follows. Theorem 1 (Scott’s Theorem, [8] and [18]) Let Lemma 4 The Tits simple group T is x1; x2; : : : ; xm be elements generating a group G with (2B; 3A; 8Z)−generated, where Z 2 fA; B; C; Dg x1x2···xn = 1G, and V be an irreducible module for if and only if Z = A or B. G of dimension n ≥ 2. Let CV (xi) denote the fixed point space of hxii on V , and let di is the codimension Proof. Our main proof will consider the following of V=CV (xi). Then d1 + d2 + ··· + dm ≥ 2n . three cases. Case (2B; 3A; 8Z), where Z 2 fA; Bg: We Lemma 2 ([8]) Let G be a finite centerless compute ∆T (2B; 3A; 8Z) = 128. Amongst the max- group and suppose lX, mY , nZ are G-conjugacy imal subgroup of T, the only maximal subgroups hav- classes for which ∆∗(G) = ∆∗ (lX; mY; nZ) < ing non-empty intersection with any conjugacy class ∗ G ∼ jCG(z)j; z 2 nZ. Then ∆ (G) = 0 and therefore in the triple (2B; 3A; tZ) is isomorphic to H = 2 8 G is not (lX; mY; nZ)-generated. 2 :[2 ]:S3. However ΣH (2B; 3A; 8Z) = 0, which means that H is not (2B; 3A; 8Z)-generated. Thus ∗ ∆T(2B; 3A; 8Z) = ∆T (2B; 3A; 8Z) = 128 > 3 (2; 3; t)-Generations of Tits group 0, and the (2B; 3A; 8Z)-generation of T, for Z 2 fA; Bg, follows. ∼ 2F (2)0 8 The Tits group T = 4 has conjugacy classes Case (2B; 3A; 8C): The only maximal sub- of its maximal subgroups as determined by Wilson groups of the group T that may contain (2B; 3A; 8C)- [20] and listed in the ATLAS [9]. The group T has ∼ generated subgroups, up to isomorphism, are H = 22 conjugacy classes of its elements including 2 invo- 1 ∼ L (3):2 (two non-conjugate copies) and H = 2A 2B 3 2 lutions namely and . 22:[28]:S . Further, a fixed element z 2 8C (2; 3; t) 3 In this section we investigate -generations is contained in two conjugate subgroup of each t j j for the Tits group T where is a divisor of T . It is a copy of H and in a unique conjugate subgroup G (2; 3; t) 1 well known fact that if a group is -generated of H . A simple computation using GAP reveals 1=2 + 1=3 + 1=t < 1 2 simple group, then (see [7] for that ∆ (2B; 3A; 8C) = 112, Σ (2B; 3A; 8C) = (2; 3; t) T H1 details). It follows that for the -generations of Σ (2B; 3A; 8C) = 20 and Σ (2B; 3A; 8C) = the Tits simple group T, we only need to consider t 2 L3(3) H2 ∼ 32. By considering the maximal subgroups of H = f8; 10; 12; 13; 16g. 11 L3(3) and H2, we see that no maximal subgroup of H and H is (2B,3A,8C)-generated and hence no Lemma 3 The Tits simple group T is not 11 2 proper subgroup of H and H is (2B; 3A; 8C)- (2A; 3A; tX)-generated for any tX 2 11 2 generated. Thus, f8A; 8B; 8C; 8D; 10Ag. ∗ ∆T(2B; 3A; 8C) = ∆T(2B; 3A; 8C) Proof. For the triples (2A; 3A; 8A) and (2A; 3A; 8B) ∗ −4Σ (2B; 3A; 8S) non-generation follows immediately since the H11 −Σ∗ (2B; 3A; 8C) structure constants ∆T(2A; 3A; 8A) = 0 and H2 ∆T(2A; 3A; 8B) = 0.
Load more

Recommended publications
  • Chapter 25 Finite Simple Groups
    Chapter 25 Finite Simple Groups Chapter 25 Finite Simple Groups Historical Background Definition A group is simple if it has no nontrivial proper normal subgroup. The definition was proposed by Galois; he showed that An is simple for n ≥ 5 in 1831. It is an important step in showing that one cannot express the solutions of a quintic equation in radicals. If possible, one would factor a group G as G0 = G, find a normal subgroup G1 of maximum order to form G0/G1. Then find a maximal normal subgroup G2 of G1 and get G1/G2, and so on until we get the composition factors: G0/G1,G1/G2,...,Gn−1/Gn, with Gn = {e}. Jordan and Hölder proved that these factors are independent of the choices of the normal subgroups in the process. Jordan in 1870 found four infinite series including: Zp for a prime p, SL(n, Zp)/Z(SL(n, Zp)) except when (n, p) = (2, 2) or (2, 3). Between 1982-1905, Dickson found more infinite series; Miller and Cole showed that 5 (sporadic) groups constructed by Mathieu in 1861 are simple. Chapter 25 Finite Simple Groups In 1950s, more infinite families were found, and the classification project began. Brauer observed that the centralizer has an order 2 element is important; Feit-Thompson in 1960 confirmed the 1900 conjecture that non-Abelian simple group must have even order. From 1966-75, 19 new sporadic groups were found. Thompson developed many techniques in the N-group paper. Gorenstein presented an outline for the classification project in a lecture series at University of Chicago in 1972.
    [Show full text]
  • Prescribed Gauss Decompositions for Kac-Moody Groups Over Fields
    RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA JUN MORITA EUGENE PLOTKIN Prescribed Gauss decompositions for Kac- Moody groups over fields Rendiconti del Seminario Matematico della Università di Padova, tome 106 (2001), p. 153-163 <http://www.numdam.org/item?id=RSMUP_2001__106__153_0> © Rendiconti del Seminario Matematico della Università di Padova, 2001, tous droits réservés. L’accès aux archives de la revue « Rendiconti del Seminario Matematico della Università di Padova » (http://rendiconti.math.unipd.it/) implique l’accord avec les conditions générales d’utilisation (http://www.numdam.org/conditions). Toute utilisation commerciale ou impression systématique est constitutive d’une infraction pénale. Toute copie ou impression de ce fichier doit conte- nir la présente mention de copyright. Article numérisé dans le cadre du programme Numérisation de documents anciens mathématiques http://www.numdam.org/ Prescribed Gauss Decompositions for Kac-Moody Groups Over Fields. JUN MORITA(*) - EUGENE PLOTKIN (**) ABSTRACT - We obtain the Gauss decomposition with prescribed torus elements for a Kac-Moody group over a field containing sufficiently many elements. 1. Introduction. Kac-Moody groups are equipped with canonical decompositions of different types. Let us note, for instance, the decompositions of Bruhat, Birkhoff and Gauss. As in the finite dimensional case, they play an im- portant role in calculations with these groups. However, in the Kac-Moo- dy case each of these decompositions has its own special features (see, for example, [18] where J. Tits compares the Bruhat and the Birkhoff decompositions and presents some applications). The aim of this paper is to establish the so-called prescribed Gauss decomposition for Kac-Moody groups.
    [Show full text]
  • A NEW APPROACH to UNRAMIFIED DESCENT in BRUHAT-TITS THEORY by Gopal Prasad
    A NEW APPROACH TO UNRAMIFIED DESCENT IN BRUHAT-TITS THEORY By Gopal Prasad Dedicated to my wife Indu Prasad with gratitude Abstract. We present a new approach to unramified descent (\descente ´etale") in Bruhat-Tits theory of reductive groups over a discretely valued field k with Henselian valuation ring which appears to be conceptually simpler, and more geometric, than the original approach of Bruhat and Tits. We are able to derive the main results of the theory over k from the theory over the maximal unramified extension K of k. Even in the most interesting case for number theory and representation theory, where k is a locally compact nonarchimedean field, the geometric approach described in this paper appears to be considerably simpler than the original approach. Introduction. Let k be a field given with a nontrivial R-valued nonarchimedean valuation !. We will assume throughout this paper that the valuation ring × o := fx 2 k j !(x) > 0g [ f0g of this valuation is Henselian. Let K be the maximal unramified extension of k (the term “unramified extension" includes the condition that the residue field extension is separable, so the residue field of K is the separable closure κs of the residue field κ of k). While discussing Bruhat-Tits theory in this introduction, and beginning with 1.6 everywhere in the paper, we will assume that ! is a discrete valuation. Bruhat- Tits theory of connected reductive k-groups G that are quasi-split over K (i.e., GK contains a Borel subgroup, or, equivalently, the centralizer of a maximal K-split torus of GK is a torus) has two parts.
    [Show full text]
  • CURTIS-TITS GROUPS GENERALIZING KAC-MOODY GROUPS of TYPE Aen−1
    CURTIS-TITS GROUPS GENERALIZING KAC-MOODY GROUPS OF TYPE Aen−1 RIEUWERT J. BLOK AND CORNELIU G. HOFFMAN Abstract. In [13] we define a Curtis-Tits group as a certain generalization of a Kac- Moody group. We distinguish between orientable and non-orientable Curtis-Tits groups and identify all orientable Curtis-Tits groups as Kac-Moody groups associated to twin- buildings. In the present paper we construct all orientable as well as non-orientable Curtis-Tits groups with diagram Aen−1 (n ≥ 4) over a field k of size at least 4. The resulting groups are quite interesting in their own right. The orientable ones are related to Drinfeld’s construction of vector bundles over a non-commutative projective line and to the classical groups over cyclic algebras. The non-orientable ones are related to expander graphs [14] and have symplectic, orthogonal and unitary groups as quotients. Keywords: Curtis-Tits groups, Kac-Moody groups, Moufang, twin-building, amalgam, opposite. MSC 2010: 20G35 51E24 1. Introduction The theory of the infinite dimensional Lie algebras called Kac-Moody algebras was ini- tially developed by Victor Kac and Robert Moody. The development of a theory of Kac- Moody groups as analogues of Chevalley groups was made possible by the work of Kac and Peterson. In [44] J. Tits gives an alternative definition of a group of Kac-Moody type as being a group with a twin-root datum, which implies that they are symmetry groups of Moufang twin-buildings. In [2] P. Abramenko and B. Mühlherr generalize a celebrated theorem of Curtis and Tits on groups with finite BN-pair [18, 42] to groups of Kac-Moody type.
    [Show full text]
  • FINITE GROUP ACTIONS on REDUCTIVE GROUPS and BUILDINGS and TAMELY-RAMIFIED DESCENT in BRUHAT-TITS THEORY by Gopal Prasad Dedicat
    FINITE GROUP ACTIONS ON REDUCTIVE GROUPS AND BUILDINGS AND TAMELY-RAMIFIED DESCENT IN BRUHAT-TITS THEORY By Gopal Prasad Dedicated to Guy Rousseau Abstract. Let K be a discretely valued field with Henselian valuation ring and separably closed (but not necessarily perfect) residue field of characteristic p, H a connected reductive K-group, and Θ a finite group of automorphisms of H. We assume that p does not divide the order of Θ and Bruhat-Tits theory is available for H over K with B(H=K) the Bruhat-Tits building of H(K). We will show that then Bruhat-Tits theory is also available for G := (HΘ)◦ and B(H=K)Θ is the Bruhat-Tits building of G(K). (In case the residue field of K is perfect, this result was proved in [PY1] by a different method.) As a consequence of this result, we obtain that if Bruhat-Tits theory is available for a connected reductive K-group G over a finite tamely-ramified extension L of K, then it is also available for G over K and B(G=K) = B(G=L)Gal(L=K). Using this, we prove that if G is quasi-split over L, then it is already quasi-split over K. Introduction. This paper is a sequel to our recent paper [P2]. We will assume fa- miliarity with that paper; we will freely use results, notions and notations introduced in it. Let O be a discretely valued Henselian local ring with valuation !. Let m be the maximal ideal of O and K the field of fractions of O.
    [Show full text]
  • Title: Algebraic Group Representations, and Related Topics a Lecture by Len Scott, Mcconnell/Bernard Professor of Mathemtics, the University of Virginia
    Title: Algebraic group representations, and related topics a lecture by Len Scott, McConnell/Bernard Professor of Mathemtics, The University of Virginia. Abstract: This lecture will survey the theory of algebraic group representations in positive characteristic, with some attention to its historical development, and its relationship to the theory of finite group representations. Other topics of a Lie-theoretic nature will also be discussed in this context, including at least brief mention of characteristic 0 infinite dimensional Lie algebra representations in both the classical and affine cases, quantum groups, perverse sheaves, and rings of differential operators. Much of the focus will be on irreducible representations, but some attention will be given to other classes of indecomposable representations, and there will be some discussion of homological issues, as time permits. CHAPTER VI Linear Algebraic Groups in the 20th Century The interest in linear algebraic groups was revived in the 1940s by C. Chevalley and E. Kolchin. The most salient features of their contributions are outlined in Chapter VII and VIII. Even though they are put there to suit the broader context, I shall as a rule refer to those chapters, rather than repeat their contents. Some of it will be recalled, however, mainly to round out a narrative which will also take into account, more than there, the work of other authors. §1. Linear algebraic groups in characteristic zero. Replicas 1.1. As we saw in Chapter V, §4, Ludwig Maurer thoroughly analyzed the properties of the Lie algebra of a complex linear algebraic group. This was Cheval­ ey's starting point.
    [Show full text]
  • GROUPS of OUTER TYPE E6 with TRIVIAL TITS ALGEBRAS This
    GROUPS OF OUTER TYPE E6 WITH TRIVIAL TITS ALGEBRAS SKIP GARIBALDI AND HOLGER P. PETERSSON Abstract. In two 1966 papers, J. Tits gave a construction of excep- tional Lie algebras (hence implicitly exceptional algebraic groups) and a classification of possible indexes of simple algebraic groups. For the special case of his construction that gives groups of type E6, we connect the two papers by answering the question: Given an Albert algebra A and a separable quadratic field extension K, what is the index of the resulting algebraic group? This article links two 1966 papers by Jacques Tits—namely, [Ti 66a] and [Ti 66b]—concerning simple linear algebraic groups over a field k. In the first paper, he gave a construction that takes a composition algebra K and a degree 3 Jordan algebra A and produces a simple algebraic group G(A, K). The Killing-Cartan type of the resulting group is given by the famous magic square: dim A 1 3 6 9 15 27 1 A1 A2 C3 F4 dim K 2 A2 A2 × A2 A5 E6 4 A1 A1 × A1 × A1 C3 A5 D6 E7 8 G2 D4 F4 E6 E7 E8 In the second paper, he listed the possible indexes of a simple linear algebraic group. Recall from [Ti 66b, 2.3] that the index is the Dynkin diagram embellished so as to describe a maximal k-split torus and the action of the absolute Galois group on the Dynkin diagram. The question (0.1) What is the index of the group G(A, K)? gives a natural link between the two papers.
    [Show full text]
  • On the Characters of Affine Kac–Moody Groups
    Proceedings of the Edinburgh Mathematical Society (1993) 36, 179-195 © ON THE CHARACTERS OF AFFINE KAC-MOODY GROUPS by STEPHEN SLEBARSKI (Received 18th October 1990, revised 17th March 1992) Let G be an affine Kac-Moody group over C, and V an integrable simple quotient of a Verma module for g. Let Cmm be the subgroup of G generated by the maximal algebraic torus T, and the real root subgroups. It is shown that <5eO'™ (the least positive imaginary root) gives a character (5eHom(G,C) such that the pointwise character xa of V may be defined on Gmi° r\ G>1. 1980 Mathematics subject classification: 17B67, 22E67. 0. Introduction A Kac-Moody group G over C, is associated to a pair (A, hz) where A is a generalized, indecomposable, Cartan nxn matrix of rank /, and hz is a free Z-module such that n — / = rank hz —n. Then G has a (B,N) pair forming a Tits system with Weyl group W=N/(BnN) (see also [12, 4, 9]). The Lie algebra g of G has a root space decomposition, and it is required that the im roots O£Hom(hz,Z) = :h|. We have O = <D" u O , where <&" is the W orbit of the simple roots and <t>im = O\Ore. If G is affine (that is A is symmetrizable, positive semidefinite) then there is an 1 analytic construction as a loop group [3]. Take a central extension S -*L.K(0)->LK{0) of l the loop group of a compact, connected almost simple Lie group Km by the circle S (this is obtained [8] from a closed, left invariant integral 2-form on LKm, if Ko is simply connected).
    [Show full text]
  • Moonshines for L2(11) and M12
    Moonshines for L2(11) and M12 Suresh Govindarajan Department of Physics Indian Institute of Technology Madras (Work done with my student Sutapa Samanta) Talk at the Workshop on Modular Forms and Black Holes @NISER, Bhubaneswar on January 13. 2017 Plan Introduction Some finite group theory Moonshine BKM Lie superalgebras Introduction Classification of Finite Simple Groups Every finite simple group is isomorphic to one of the following groups: (Source: Wikipedia) I A cyclic group with prime order; I An alternating group of degree at least 5; I A simple group of Lie type, including both I the classical Lie groups, namely the groups of projective special linear, unitary, symplectic, or orthogonal transformations over a finite field; I the exceptional and twisted groups of Lie type (including the Tits group which is not strictly a group of Lie type). I The 26 sporadic simple groups. The classification was completed in 2004 when Aschbacher and Smith filled the last gap (`the quasi-thin case') in the proof. Fun Reading: Symmetry and the Monster by Mark Ronan The sporadic simple groups I the Mathieu groups: M11, M12, M22, M23, M24; (found in 1861) I the Janko groups: J1, J2, J3, J4; (others 1965-1980) I the Conway groups; Co1, Co2, Co3; 0 I the Fischer groups; Fi22. Fi23, Fi24; I the Higman-Sims group; HS I the McLaughlin group: McL I the Held group: He; I the Rudvalis group Ru; I the Suzuki sporadic group: Suz; 0 I the O'Nan group: O N; I Harada-Norton group: HN; I the Lyons group: Ly; I the Thompson group: Th; I the baby Monster group: B and Sources: Wikipedia and Mark Ronan I the Fischer-Griess Monster group: M Monstrous Moonshine Conjectures I The j-function has the followed q-series: (q = exp(2πiτ)) j(τ)−744 = q−1+[196883+1] q+[21296876+196883+1] q2+··· I McKay observed that 196883 and 21296876 are the dimensions of the two smallest irreps of the Monster group.
    [Show full text]
  • LECTURE NOTES on ARTIN–TITS GROUPS Updated
    LECTURE NOTES ON ARTIN–TITS GROUPS PATRICK DEHORNOY updated: July 17, 2004 Contents 1 0.1. Braid groups 1 0.2. Artin–Tits groups 2 1. The general case 2 1.1. The word reversing technique 3 1.2. Artin–Tits monoids 4 1.3. Artin–Tits groups 5 1.4. Exercises 5 2. The spherical case 6 2.1. Background about Coxeter groups 6 2.2. Garside structure 7 2.3. Normal form 7 2.4. Exercises 8 3. The braid case 9 3.1. The Artin representation 10 3.2. Handle reduction 11 3.3. The braid ordering 16 3.4. Exercises 17 References 17 Artin–Tits groups are Coxeter groups with torsion removed (but, in the general case, no proof that they are torsion free is known...); they are also generalized braid groups, according to the equation Artin–Tits groups braid groups Artin–Tits groups Coxeter groups = , which also reads = . Coxeter groups symmetric groups braid groups symmetric groups Not much is known in the general case. The only well-understood case is the spherical case, i.e., when the associated Coxeter group is finite. Even more results are known in the case of braids, i.e., when the associated Coxeter group is a symmetric group. 0.1. Braid groups. In terms of transpositions, the symmetric group Sn admits the presentation 2 (0.1) hσ1, . , σn−1 ; σi = 1, σiσj = σjσi for |i − j| > 2, σiσjσi = σjσiσj for |i − j| = 1i. 2 When the torsion relations σi = 1 are removed, one obtains Artin’s braid group Bn: (0.2) hσ1, .
    [Show full text]
  • Bounds for the Orders of the Finite Subgroups of G(K)
    Group Representation Theory, eds. M. Geck, D. Testerman, J. Th´evenaz, EPFL Press, Lausanne 2006 Bounds for the orders of the finite subgroups of G(k) Jean-Pierre SERRE Introduction The present text reproduces - with a number of additions - a series of three two-hour lectures given at the Ecole Polytechnique F´ed´erale de Lausanne (E.P.F.L.) on May 25-26-27, 2005. The starting point is a classical result of Minkowski, dating from 1887, which gives a multiplicative upper bound for the orders of the finite sub- groups of GLn(Q). The method can easily be extended to other algebraic groups than GLn, and the field Q can be replaced by any number field. What is less obvious is that: a) one can work over an arbitrary ground field; b) in most cases one may construct examples showing that the bound thus obtained is optimal. This is what I explain in the lectures. Lecture I is historical: Minkowski (x1), Schur (x2), Blichfeldt and others (x3). The results it describes are mostly well-known, so that I did not feel compelled to give complete proofs. Lecture II gives upper bounds for the order of a finite `-subgroup of G(k), where G is a reductive group over a field k, and ` is a prime number. These bounds depend on G via its root system, and on k via the size of the Galois group of its `-cyclotomic tower (x4). One of these bounds (called here the S-bound, cf. x5) is a bit crude but is easy to prove and to apply.
    [Show full text]
  • The Logbook of Pointed Hopf Algebras Over the Sporadic Groups
    THE LOGBOOK OF POINTED HOPF ALGEBRAS OVER THE SPORADIC SIMPLE GROUPS N. ANDRUSKIEWITSCH, F. FANTINO, M. GRANA˜ AND L. VENDRAMIN Contents Introduction 1 1. Algorithms 2 1.1. Algorithms for type D 2 1.2. Structure constants 4 1.3. Bases for permutation groups 4 1.4. An algorithm for involutions 4 2. Some auxiliary groups 4 2.1. The groups A9, A11, A12, S12 5 2.2. The group L5(2) 5 2.3. The group O7(3) 5 + 2.4. The group O8 (2) 5 − 2.5. The group O10(2) 6 2.6. The exceptional group G2(4) 6 2.7. The exceptional groups G2(3) and G2(5) 7 2.8. The symplectic group S6(2) 7 2.9. The symplectic group S8(2) 7 2.10. TheautomorphismgroupoftheTitsgroup 7 2.11. Direct products 8 3. Proof of Theorem II 8 3.1. The Lyons group Ly 8 3.2. The Thompson group Th 10 3.3. The Janko group J4 11 3.4. The Fischer group Fi23 12 3.5. The Conway group Co1 13 3.6. The Harada-Norton group HN 14 ′ 3.7. The Fischer group Fi24 14 3.8. The Baby Monster group B 15 arXiv:1001.1113v2 [math.QA] 25 Oct 2010 3.9. The Monster group M 17 Appendix.Realandquasi-realconjugacyclasses 18 References 21 Introduction In these notes, we give details on the proofs performed with GAP of the theorems of our paper [AFGV2]. Here we discuss the algorithms implemented for studying Date: October 31, 2018. 2000 Mathematics Subject Classification. 16W30; 17B37.
    [Show full text]