Group Theory and Computational Methods - GTCM 2016
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
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 . -
A Class of Frobenius Groups
A CLASS OF FROBENIUS GROUPS DANIEL GORKNSTEIN 1. Introduction. If a group contains two subgroups A and B such that every element of the group is either in A or can be represented uniquely in the form aba', a, a' in A, b 5* 1 in B, we shall call the group an independent ABA-group. In this paper we shall investigate the structure of independent ABA -groups of finite order. A simple example of such a group is the group G of one-dimensional affine transformations over a finite field K. In fact, if we denote by a the transforma tion x' = cox, where co is a primitive element of K, and by b the transformation x' = —x + 1, it is easy to see that G is an independent ABA -group with respect to the cyclic subgroups A, B generated by a and b respectively. Since G admits a faithful representation on m letters {m = number of elements in K) as a transitive permutation group in which no permutation other than the identity leaves two letters fixed, and in which there is at least one permutation leaving exactly one letter fixed, G is an example of a Frobenius group. In Theorem I we shall show that this property is characteristic of independent ABA-groups. In a Frobenius group on m letters, the set of elements whose order divides m forms a normal subgroup, called the regular subgroup. In our example, the regular subgroup M of G consists of the set of translations, and hence is an Abelian group of order m = pn and of type (p, p, . -
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. -
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. -
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. -
A Note on Frobenius Groups
Journal of Algebra 228, 367᎐376Ž. 2000 doi:10.1006rjabr.2000.8269, available online at http:rrwww.idealibrary.com on A Note on Frobenius Groups Paul Flavell The School of Mathematics and Statistics, The Uni¨ersity of Birmingham, CORE Birmingham B15 2TT, United Kingdom Metadata, citation and similar papers at core.ac.uk E-mail: [email protected] Provided by Elsevier - Publisher Connector Communicated by George Glauberman Received January 25, 1999 1. INTRODUCTION Two celebrated applications of the character theory of finite groups are Burnside's p␣q -Theorem and the theorem of Frobenius on the groups that bear his name. The elegant proofs of these theorems were obtained at the beginning of this century. It was then a challenge to find character-free proofs of these results. This was achieved for the p␣q -Theorem by Benderwx 1 , Goldschmidt wx 3 , and Matsuyama wx 8 in the early 1970s. Their proofs used ideas developed by Feit and Thompson in their proof of the Odd Order Theorem. There is no known character-free proof of Frobe- nius' Theorem. Recently, CorradiÂÂ and Horvathwx 2 have obtained some partial results in this direction. The purpose of this note is to prove some stronger results. We hope that this will stimulate more interest in this problem. Throughout the remainder of this note, we let G be a finite Frobenius group. That is, G contains a subgroup H such that 1 / H / G and H l H g s 1 for all g g G y H. A subgroup with these properties is called a Frobenius complement of G. -
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. -
Lecture 14. Frobenius Groups (II)
Quick Review Proof of Frobenius’ Theorem Heisenberg groups Lecture 14. Frobenius Groups (II) Daniel Bump May 28, 2020 Quick Review Proof of Frobenius’ Theorem Heisenberg groups Review: Frobenius Groups Definition A Frobenius Group is a group G with a faithful transitive action on a set X such that no element fixes more than one point. An action of G on a set X gives a homomorphism from G to the group of bijections X (the symmetric group SjXj). In this definition faithful means this homomorphism is injective. Let H be the stabilizer of a point x0 2 X. The group H is called the Frobenius complement. Today we will prove: Theorem (Frobenius (1901)) A Frobenius group G is a semidirect product. That is, there exists a normal subgroup K such that G = HK and H \ K = f1g. Quick Review Proof of Frobenius’ Theorem Heisenberg groups Review: The mystery of Frobenius’ Theorem Since Frobenius’ theorem doesn’t require group representation theory in its formulation, it is remarkable that no proof has ever been found that doesn’t use representation theory! Web links: Frobenius groups (Wikipedia) Fourier Analytic Proof of Frobenius’ Theorem (Terence Tao) Math Overflow page on Frobenius’ theorem Frobenius Groups (I) (Lecture 14) Quick Review Proof of Frobenius’ Theorem Heisenberg groups The precise statement Last week we introduced the notion of a Frobenius group. This is a group G that acts transitively on a set X in which no element except the identity fixes more than one point. Let H be the isotropy subgroup of an element, and let be K∗ [ f1g where K∗ is the set of elements with no fixed points. -
12.6 Further Topics on Simple Groups 387 12.6 Further Topics on Simple Groups
12.6 Further Topics on Simple groups 387 12.6 Further Topics on Simple Groups This Web Section has three parts (a), (b) and (c). Part (a) gives a brief descriptions of the 56 (isomorphism classes of) simple groups of order less than 106, part (b) provides a second proof of the simplicity of the linear groups Ln(q), and part (c) discusses an ingenious method for constructing a version of the Steiner system S(5, 6, 12) from which several versions of S(4, 5, 11), the system for M11, can be computed. 12.6(a) Simple Groups of Order less than 106 The table below and the notes on the following five pages lists the basic facts concerning the non-Abelian simple groups of order less than 106. Further details are given in the Atlas (1985), note that some of the most interesting and important groups, for example the Mathieu group M24, have orders in excess of 108 and in many cases considerably more. Simple Order Prime Schur Outer Min Simple Order Prime Schur Outer Min group factor multi. auto. simple or group factor multi. auto. simple or count group group N-group count group group N-group ? A5 60 4 C2 C2 m-s L2(73) 194472 7 C2 C2 m-s ? 2 A6 360 6 C6 C2 N-g L2(79) 246480 8 C2 C2 N-g A7 2520 7 C6 C2 N-g L2(64) 262080 11 hei C6 N-g ? A8 20160 10 C2 C2 - L2(81) 265680 10 C2 C2 × C4 N-g A9 181440 12 C2 C2 - L2(83) 285852 6 C2 C2 m-s ? L2(4) 60 4 C2 C2 m-s L2(89) 352440 8 C2 C2 N-g ? L2(5) 60 4 C2 C2 m-s L2(97) 456288 9 C2 C2 m-s ? L2(7) 168 5 C2 C2 m-s L2(101) 515100 7 C2 C2 N-g ? 2 L2(9) 360 6 C6 C2 N-g L2(103) 546312 7 C2 C2 m-s L2(8) 504 6 C2 C3 m-s -
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. -
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. -
A Classification of Clifford Algebras As Images of Group Algebras of Salingaros Vee Groups
DEPARTMENT OF MATHEMATICS TECHNICAL REPORT A CLASSIFICATION OF CLIFFORD ALGEBRAS AS IMAGES OF GROUP ALGEBRAS OF SALINGAROS VEE GROUPS R. Ablamowicz,M.Varahagiri,A.M.Walley November 2017 No. 2017-3 TENNESSEE TECHNOLOGICAL UNIVERSITY Cookeville, TN 38505 A Classification of Clifford Algebras as Images of Group Algebras of Salingaros Vee Groups Rafa lAb lamowicz, Manisha Varahagiri and Anne Marie Walley Abstract. The main objective of this work is to prove that every Clifford algebra C`p;q is R-isomorphic to a quotient of a group algebra R[Gp;q] modulo an ideal J = (1 + τ) where τ is a central element of order 2. p+q+1 Here, Gp;q is a 2-group of order 2 belonging to one of Salingaros isomorphism classes N2k−1;N2k; Ω2k−1; Ω2k or Sk. Thus, Clifford al- gebras C`p;q can be classified by Salingaros classes. Since the group algebras R[Gp;q] are Z2-graded and the ideal J is homogeneous, the quotient algebras R[G]=J are Z2-graded. In some instances, the isomor- ∼ phism R[G]=J = C`p;q is also Z2-graded. By Salingaros Theorem, the groups Gp;q in the classes N2k−1 and N2k are iterative central products of the dihedral group D8 and the quaternion group Q8, and so they are extra-special. The groups in the classes Ω2k−1 and Ω2k are central products of N2k−1 and N2k with C2 × C2, respectively. The groups in the class Sk are central products of N2k or N2k with C4. Two algorithms to factor any Gp;q into an internal central product, depending on the class, are given.