DOCSLIB.ORG

Finite Group Theory

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Finite Group Theory Finite Group Theory David A. Craven Michaelmas Term, 2010 Contents 0 Preliminaries 1 1 The 1900s 6 1.1 PSLn(q)...................................... 6 1.2 The Transfer . 9 1.3 p-Groups and Nilpotent Groups . 14 1.4 Frobenius Groups . 18 2 The 1930s 22 2.1 The Schur{Zassenhaus Theorem . 22 2.2 Hall's Theorem on Soluble Groups . 28 2.3 The Fitting Subgroup . 30 3 The 1960s 34 3.1 Nilpotence of Frobenius Kernels . 34 3.2 Alperin's Fusion Theorem . 39 3.3 Focal Subgroup Theorem . 42 3.4 The Generalized Fitting Subgroup . 46 4 The 1990s 51 4.1 Saturated Fusion Systems . 51 4.2 Normalizers and Quotients . 55 4.3 Alperin's Fusion Theorem . 59 4.4 Thompson's Normal p-Complement Theorem . 62 5 Exercise Sheets 67 1 Sheet 1 . 67 2 Sheet 2 . 68 3 Sheet 3 . 70 i 4 Sheet 4 . 71 5 Sheet 5 . 73 6 Sheet 6 . 74 7 Sheet 7 . 76 6 Solutions to Exercises 77 1 Sheet 1 . 77 2 Sheet 2 . 80 3 Sheet 3 . 83 4 Sheet 4 . 86 5 Sheet 5 . 88 6 Sheet 6 . 91 Bibliography 96 ii Chapter 0 Preliminaries We assume that the reader is familiar with the concepts of a group, subgroup, normal subgroup, quotient, homomorphism, isomorphism, normalizer, centralizer, centre, simple group. Definition 0.1 A p-group is a group, all of whose elements have order a power of p. Proposition 0.2 let G be a finite p-group. Then jGj = pn for some n, and Z (G) 6= 1. Definition 0.3 Let G be a finite group, and let p be a prime. Suppose that pm j jGj, but pm+1 - jGj.A Sylow p-subgroup of G is a subgroup P of G of order pm. Theorem 0.4 (Sylow's theorem, 1872) Let G be a finite group, and let p be a prime. (i) Sylow p-subgroups exist, and the number of them is congruent to 1 modulo p. (ii) All Sylow p-subgroups are conjugate in G. (iii) Every p-subgroup is contained in a Sylow p-subgroup. Definition 0.5 Let G be a group. A series for G is a sequence 1 = G0 G1 G2 ··· Gr = G P P P P of subgroups of G with Gi−1 Gi for all 1 6 i 6 r. It will sometimes also be denoted (Gi). P If Gi=Gi−1 is abelian, (Gi) is an abelian series. If Gi=Gi−1 is simple, (Gi) is a composition series. The length of a series is the number of terms in it, so in the example above it has length r. If a group possesses an abelian series, we say that it is soluble. 1 Theorem 0.6 (Burnside's pαqβ-theorem, 1904) Any finite group whose order is of the form pαqβ, for primes p and q, is soluble. Definition 0.7 Let G be a group. (i) Let h and k be elements of G. The commutator of h and k, denoted [h; k], is the element h−1k−1hk. (ii) Let H and K be subgroups of G. The commutator of H and K, denoted [H; K], is the subgroup generated by all commutators [h; k] for h 2 H and k 2 K. (Note that the elements of [H; K] are products of commutators, and not necessarily commutators [h; k].) (iii) The derived subgroup of G, denoted G0, is [G; G]. Write G(1) = G0 and define G(i) = [G(i−1);G(i−1)]. (iv) By [x; y; z] we mean the left-normed commutator [[x; y]; z]. We extend this notation by induction, so that [x1; x2; x3; : : : ; xn−1; xn] = [x1; x2; : : : ; xn−1]; xn : Definition 0.8 Let G be a finite group. If G possesses a norrmal subgroup K and a sub- group H such that K \ H = 1 and G = HK, then G is the (internal) semidirect product of K by H. If K is a finite group and φ : H ! Aut(K) is a homomorphism, then we may construct a group G such that G = K o H and the elements h of H act on K by conjugation as hφ 2 Aut(K). This is to define a multiplication on the set H × K by (h0; k0)(h; k) = (h0h; (k0)hφk): This group so defined is denoted G = K o H or G = H n K. This formula is meant to mimic the conjugation formula h0k0hk = h0h(k0)hk in any finite group. This is often referred to as the external semidirect product. If G = KoH is an external semidirect product, then the natural subgroups K¯ = f(1; k)g and H¯ = f(h; 1)g make G into an internal semidirect product, and the other direction is equally easy. Hence from now on we will identify internal and external semidirect products. Theorem 0.9 Any finite abelian group is the direct product of cyclic groups. 2 Definition 0.10 Let G be a finite permutation group on a set X. (i) G is transitive if, for any two points x and y in X, there is an element g 2 G such that xg = y. (ii) G is imprimitive if there is a partition p of X that is preserved by G, and the parts of p are neither X nor singleton sets. G is primitive if it is not imprimitive. (iii) G is n-transitive if, for any two n-tuples x and y of distinct points in X there is an element g 2 G such that xg = y. If G is a permutation group on a set X, and x 2 X, denote by Gx the stabilizer of x in G, i.e., the elements g 2 G such that xg = x. Proposition 0.11 Let G be a transitive permutation group on a finite set X. (i) G is n-transitive if and only if Gx is (n − 1)-transitive, for some x 2 X. (ii) If G is 2-transitive then G is primitive. (iii) G is primitive if and only if Gx is a maximal subgroup of G, for some (and hence every) x 2 X. Proof: If G is n-transitive, then any n-tuple of distinct elements ending in x can be sent to any other n-tuple of distinct elements ending in x, so that (by removing the last term from the n-tuples) we see that Gx is (n − 1)-transitive. To see the converse, let x = (x1; : : : ; xn) and y = (y1; : : : ; yn) be any two n-tuples of distinct elements. We need to prove that there exists g 2 G such that xg = y. Since G is transitive, there exists h; k 2 G such that xnh = ynk = x. As Gx is (n − 1)-transitive, there exists l 2 Gx such that (x1h; x2h; : : : ; xn−1h)l = (y1k; y2k; : : : ; yn−1k): The element hlk−1 maps x to y, proving (i). Let p be a partition of X that is preserved by G, proving that G is imprimitive. Let x and y be elements of X lying in the same part, and let z be an element not in this part. Since G preserves p, there is no element of G fixing x and mapping y to z, so G is not 2-transitive on X. This proves (ii). Let H be the stabilizer of a point x in X, and let M be a maximal subgroup of G containing H. As X is the set of cosets of H in G, let the parts of the partition p be given by the cosets of M in G. This partition is clearly preserved by G, and hence G is not primitive. Hence if G is primitive then point stabilizers are maximal subgroups. 3 The converse is very similar: suppose that X = X1 [ X2 [··· Xn is a partition of X proving that G is imprimitive. Let x be a point in X1, and let H be the stabilizer of x. Write M for the stabilizer of X1. Notice that M < G since X1 6= X, and since X1 6= fxg we have H < M, so that H is not a maximal subgroup of G. Definition 0.12 (i) If V is a vector space, GL(V ) is the set of linear transformations of n V . If V = (Fq) we denote GL(V ) by GLn(q), and consider it as all invertible n × n matrices. (ii) SL(V ) is the subset of GL(V ) consisting of all transformations of determinant 1. (iii) The dihedral group D2n is the group with the presentation h x; y : xn = y2 = 1; xy = x−1i: (iv) By Cn we denote the cyclic group of order n. (v) The symmetric group on n letters is denoted by Sn, and the alternating group on n letters is denoted by An. n (vi) By Epn we mean the elementary abelian p-group of order p , i.e., the direct product of n copies of Cp. n−1 Proposition 0.13 (i) If G = Cpn then Aut G is abelian, of order p (p − 1). ∼ (ii) If G = Epn then Aut G = GLn(p). Theorem 0.14 For n > 5, An is simple. Proposition 0.15 If G is a simple group of order 60 then G is isomorphic with A5. Proof: We will show that G has a subgroup of order 12, since in this case the standard homomorphism from G into S5 must be injective (as G is simple) and lie inside A5 (again, since G is simple).
Load more

Recommended publications
  • Determining Group Structure from the Sets of Character Degrees
    DETERMINING GROUP STRUCTURE FROM THE SETS OF CHARACTER DEGREES A dissertation submitted to Kent State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy by Kamal Aziziheris May 2011 Dissertation written by Kamal Aziziheris B.S., University Of Tabriz, 1999 M.A., University of Tehran, 2001 Ph.D., Kent State University, 2011 Approved by M. L. Lewis, Chair, Doctoral Dissertation Committee Stephen M. Gagola, Jr., Member, Doctoral Dissertation Committee Donald White, Member, Doctoral Dissertation Committee Brett D. Ellman, Member, Doctoral Dissertation Committee Anne Reynolds, Member, Doctoral Dissertation Committee Accepted by Andrew Tonge, Chair, Department of Mathematical Sciences Timothy S. Moerland, Dean, College of Arts and Sciences ii . To the Loving Memory of My Father, Mohammad Aziziheris iii TABLE OF CONTENTS ACKNOWLEDGEMENTS . v INTRODUCTION . 1 1 BACKGROUND RESULTS AND FACTS . 12 2 DIRECT PRODUCTS WHEN cd(Oπ(G)) = f1; n; mg . 22 3 OBTAINING THE CHARACTER DEGREES OF Oπ(G) . 42 4 PROOFS OF THEOREMS D AND E . 53 5 PROOFS OF THEOREMS F AND G . 62 6 EXAMPLES . 70 BIBLIOGRAPHY . 76 iv ACKNOWLEDGEMENTS This dissertation is due to many whom I owe a huge debt of gratitude. I would especially like to thank the following individuals for their support, encouragement, and inspiration along this long and often difficult journey. First and foremost, I offer thanks to my advisor Prof. Mark Lewis. This dissertation would not have been possible without your countless hours of advice and support. Thank you for modeling the actions and behaviors of an accomplished mathematician, an excellent teacher, and a remarkable person.
    [Show full text]
  • 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, .
    [Show full text]
  • PRONORMALITY in INFINITE GROUPS by F G
    PRONORMALITY IN INFINITE GROUPS By F G Dipartimento di Matematica e Applicazioni, Universita' di Napoli ‘Federico II’ and G V Dipartimento di Matematica e Informatica, Universita' di Salerno [Received 16 March 1999. Read 13 December 1999. Published 29 December 2000.] A A subgroup H of a group G is said to be pronormal if H and Hx are conjugate in fH, Hxg for each element x of G. In this paper properties of pronormal subgroups of infinite groups are investigated, and the connection between pronormal subgroups and groups in which normality is a transitive relation is studied. Moreover, we consider the pronorm of a group G, i.e. the set of all elements x of G such that H and Hx are conjugate in fH, Hxg for every subgroup H of G; although the pronorm is not in general a subgroup, we prove that this property holds for certain natural classes of (locally soluble) groups. 1. Introduction A subgroup H of a group G is said to be pronormal if for every element x of G the subgroups H and Hx are conjugate in fH, Hxg. Obvious examples of pronormal subgroups are normal subgroups and maximal subgroups of arbitrary groups; moreover, Sylow subgroups of finite groups and Hall subgroups of finite soluble groups are always pronormal. The concept of a pronormal subgroup was introduced by P. Hall, and the first results about pronormality appeared in a paper by Rose [13]. More recently, several authors have investigated the behaviour of pronormal subgroups, mostly dealing with properties of pronormal subgroups of finite soluble groups and with groups which are rich in pronormal subgroups.
    [Show full text]
  • 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.
    [Show full text]
  • 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.
    [Show full text]
  • 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
    [Show full text]
  • Group and Ring Theoretic Properties of Polycyclic Groups Algebra and Applications
    Group and Ring Theoretic Properties of Polycyclic Groups Algebra and Applications Volume 10 Managing Editor: Alain Verschoren University of Antwerp, Belgium Series Editors: Alice Fialowski Eötvös Loránd University, Hungary Eric Friedlander Northwestern University, USA John Greenlees Sheffield University, UK Gerhard Hiss Aachen University, Germany Ieke Moerdijk Utrecht University, The Netherlands Idun Reiten Norwegian University of Science and Technology, Norway Christoph Schweigert Hamburg University, Germany Mina Teicher Bar-llan University, Israel Algebra and Applications aims to publish well written and carefully refereed mono- graphs with up-to-date information about progress in all fields of algebra, its clas- sical impact on commutative and noncommutative algebraic and differential geom- etry, K-theory and algebraic topology, as well as applications in related domains, such as number theory, homotopy and (co)homology theory, physics and discrete mathematics. Particular emphasis will be put on state-of-the-art topics such as rings of differential operators, Lie algebras and super-algebras, group rings and algebras, C∗-algebras, Kac-Moody theory, arithmetic algebraic geometry, Hopf algebras and quantum groups, as well as their applications. In addition, Algebra and Applications will also publish monographs dedicated to computational aspects of these topics as well as algebraic and geometric methods in computer science. B.A.F. Wehrfritz Group and Ring Theoretic Properties of Polycyclic Groups B.A.F. Wehrfritz School of Mathematical Sciences
    [Show full text]
  • The Theory of Finite Groups: an Introduction (Universitext)
    Universitext Editorial Board (North America): S. Axler F.W. Gehring K.A. Ribet Springer New York Berlin Heidelberg Hong Kong London Milan Paris Tokyo This page intentionally left blank Hans Kurzweil Bernd Stellmacher The Theory of Finite Groups An Introduction Hans Kurzweil Bernd Stellmacher Institute of Mathematics Mathematiches Seminar Kiel University of Erlangen-Nuremburg Christian-Albrechts-Universität 1 Bismarckstrasse 1 /2 Ludewig-Meyn Strasse 4 Erlangen 91054 Kiel D-24098 Germany Germany [email protected] [email protected] Editorial Board (North America): S. Axler F.W. Gehring Mathematics Department Mathematics Department San Francisco State University East Hall San Francisco, CA 94132 University of Michigan USA Ann Arbor, MI 48109-1109 [email protected] USA [email protected] K.A. Ribet Mathematics Department University of California, Berkeley Berkeley, CA 94720-3840 USA [email protected] Mathematics Subject Classification (2000): 20-01, 20DXX Library of Congress Cataloging-in-Publication Data Kurzweil, Hans, 1942– The theory of finite groups: an introduction / Hans Kurzweil, Bernd Stellmacher. p. cm. — (Universitext) Includes bibliographical references and index. ISBN 0-387-40510-0 (alk. paper) 1. Finite groups. I. Stellmacher, B. (Bernd) II. Title. QA177.K87 2004 512´.2—dc21 2003054313 ISBN 0-387-40510-0 Printed on acid-free paper. © 2004 Springer-Verlag New York, Inc. All rights reserved. This work may not be translated or copied in whole or in part without the written permission of the publisher (Springer-Verlag New York, Inc., 175 Fifth Avenue, New York, NY 10010, USA), except for brief excerpts in connection with reviews or scholarly analysis.
    [Show full text]
  • Quasi P Or Not Quasi P? That Is the Question
    Rose-Hulman Undergraduate Mathematics Journal Volume 3 Issue 2 Article 2 Quasi p or not Quasi p? That is the Question Ben Harwood Northern Kentucky University, [email protected] Follow this and additional works at: https://scholar.rose-hulman.edu/rhumj Recommended Citation Harwood, Ben (2002) "Quasi p or not Quasi p? That is the Question," Rose-Hulman Undergraduate Mathematics Journal: Vol. 3 : Iss. 2 , Article 2. Available at: https://scholar.rose-hulman.edu/rhumj/vol3/iss2/2 Quasi p- or not quasi p-? That is the Question.* By Ben Harwood Department of Mathematics and Computer Science Northern Kentucky University Highland Heights, KY 41099 e-mail: [email protected] Section Zero: Introduction The question might not be as profound as Shakespeare’s, but nevertheless, it is interesting. Because few people seem to be aware of quasi p-groups, we will begin with a bit of history and a definition; and then we will determine for each group of order less than 24 (and a few others) whether the group is a quasi p-group for some prime p or not. This paper is a prequel to [Hwd]. In [Hwd] we prove that (Z3 £Z3)oZ2 and Z5 o Z4 are quasi 2-groups. Those proofs now form a portion of Proposition (12.1) It should also be noted that [Hwd] may also be found in this journal. Section One: Why should we be interested in quasi p-groups? In a 1957 paper titled Coverings of algebraic curves [Abh2], Abhyankar conjectured that the algebraic fundamental group of the affine line over an algebraically closed field k of prime characteristic p is the set of quasi p-groups, where by the algebraic fundamental group of the affine line he meant the family of all Galois groups Gal(L=k(X)) as L varies over all finite normal extensions of k(X) the function field of the affine line such that no point of the line is ramified in L, and where by a quasi p-group he meant a finite group that is generated by all of its p-Sylow subgroups.
    [Show full text]
  • On Non-Solvable Camina Pairs ∗ Zvi Arad A, Avinoam Mann B, Mikhail Muzychuk A, , Cristian Pech C
    CORE Metadata, citation and similar papers at core.ac.uk Provided by Elsevier - Publisher Connector Journal of Algebra 322 (2009) 2286–2296 Contents lists available at ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra On non-solvable Camina pairs ∗ Zvi Arad a, Avinoam Mann b, Mikhail Muzychuk a, , Cristian Pech c a Department of Computer Sciences and Mathematics, Netanya Academic College, University St. 1, 42365, Netanya, Israel b Einstein Institute of Mathematics, Hebrew University, Jerusalem 91904, Israel c Department of Mathematics, Ben-Gurion University, Beer-Sheva, Israel article info abstract Article history: In this paper we study non-solvable and non-Frobenius Camina Received 27 September 2008 pairs (G, N). It is known [D. Chillag, A. Mann, C. Scoppola, Availableonline29July2009 Generalized Frobenius groups II, Israel J. Math. 62 (1988) 269–282] Communicated by Martin Liebeck that in this case N is a p-group. Our first result (Theorem 1.3) shows that the solvable residual of G/O (G) is isomorphic either Keywords: p e = Camina pair to SL(2, p ), p is a prime or to SL(2, 5), SL(2, 13) with p 3, or to SL(2, 5) with p 7. Our second result provides an example of a non-solvable and non- 5 ∼ Frobenius Camina pair (G, N) with |Op (G)|=5 and G/Op (G) = SL(2, 5).NotethatG has a character which is zero everywhere except on two conjugacy classes. Groups of this type were studies by S.M. Gagola [S.M. Gagola, Characters vanishing on all but two conjugacy classes, Pacific J.
    [Show full text]
  • Formulating Basic Notions of Finite Group Theory Via the Lifting Property
    FORMULATING BASIC NOTIONS OF FINITE GROUP THEORY VIA THE LIFTING PROPERTY by masha gavrilovich Abstract. We reformulate several basic notions of notions in nite group theory in terms of iterations of the lifting property (orthogonality) with respect to particular morphisms. Our examples include the notions being nilpotent, solvable, perfect, torsion-free; p-groups and prime-to-p-groups; Fitting sub- group, perfect core, p-core, and prime-to-p core. We also reformulate as in similar terms the conjecture that a localisation of a (transnitely) nilpotent group is (transnitely) nilpotent. 1. Introduction. We observe that several standard elementary notions of nite group the- ory can be dened by iteratively applying the same diagram chasing trick, namely the lifting property (orthogonality of morphisms), to simple classes of homomorphisms of nite groups. The notions include a nite group being nilpotent, solvable, perfect, torsion- free; p-groups, and prime-to-p groups; p-core, the Fitting subgroup, cf.2.2-2.3. In 2.5 we reformulate as a labelled commutative diagram the conjecture that a localisation of a transnitely nilpotent group is transnitely nilpotent; this suggests a variety of related questions and is inspired by the conjecture of Farjoun that a localisation of a nilpotent group is nilpotent. Institute for Regional Economic Studies, Russian Academy of Sciences (IRES RAS). National Research University Higher School of Economics, Saint-Petersburg. [email protected]://mishap.sdf.org. This paper commemorates the centennial of the birth of N.A. Shanin, the teacher of S.Yu.Maslov and G.E.Mints, who was my teacher. I hope the motivation behind this paper is in spirit of the Shanin's group ÒÐÝÏËÎ (òåîðèòè÷åñêàÿ ðàçðàáîòêà ýâðèñòè÷åñêîãî ïîèñêà ëîãè÷åñêèõ îáîñíîâàíèé, theoretical de- velopment of heuristic search for logical evidence/arguments).
    [Show full text]
  • Daniel Gorenstein 1923-1992
    Daniel Gorenstein 1923-1992 A Biographical Memoir by Michael Aschbacher ©2016 National Academy of Sciences. Any opinions expressed in this memoir are those of the author and do not necessarily reflect the views of the National Academy of Sciences. DANIEL GORENSTEIN January 3, 1923–August 26, 1992 Elected to the NAS, 1987 Daniel Gorenstein was one of the most influential figures in mathematics during the last few decades of the 20th century. In particular, he was a primary architect of the classification of the finite simple groups. During his career Gorenstein received many of the honors that the mathematical community reserves for its highest achievers. He was awarded the Steele Prize for mathemat- New Jersey University of Rutgers, The State of ical exposition by the American Mathematical Society in 1989; he delivered the plenary address at the International Congress of Mathematicians in Helsinki, Finland, in 1978; Photograph courtesy of of Photograph courtesy and he was the Colloquium Lecturer for the American Mathematical Society in 1984. He was also a member of the National Academy of Sciences and of the American By Michael Aschbacher Academy of Arts and Sciences. Gorenstein was the Jacqueline B. Lewis Professor of Mathematics at Rutgers University and the founding director of its Center for Discrete Mathematics and Theoretical Computer Science. He served as chairman of the universi- ty’s mathematics department from 1975 to 1982, and together with his predecessor, Ken Wolfson, he oversaw a dramatic improvement in the quality of mathematics at Rutgers. Born and raised in Boston, Gorenstein attended the Boston Latin School and went on to receive an A.B.
    [Show full text]