DOCSLIB.ORG

The Theory of Finite Groups: an Introduction (Universitext)

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. Use in con- nection with any form of information storage and retrieval, electronic adaptation, computer software, or by similar or dissimilar methodology now known or hereafter developed is forbidden. The use in this publication of trade names, trademarks, service marks, and similar terms, even if they are not identified as such, is not to be taken as an expression of opinion as to whether or not they are subject to proprietary rights. Printed in the United States of America. 987654321 SPIN 10940884 A Typesetting: Pages created by the authors using L TEX. www.springer-ny.com Springer-Verlag New York Berlin Heidelberg A member of BertelsmannSpringer Science+Business Media GmbH Preface Since its early beginnings in the nineteenth century the theory of finite groups has grown to be an extensive and diverse part of algebra. In the beginning of the 1980s, this development culminated in the classification of the finite simple groups, an impressive and convincing demonstration of the strength of its methods and results. In our book we want to introduce the reader—as far as an introduction can do this—to some of the developments in this area that contributed to this success or may open new perspectives for the future. The first eight chapters are intended to give a fast and direct approach to those methods and results that everybody should know who is interested in finite groups. Some parts, like nilpotent groups and solvable groups, are only treated as far as they are necessary to understand and investigate finite groups in general. The notion of action, in all its facets, like action on sets and groups, coprime action, and quadratic action, is at the center of our exposition. In the last chapters we focus on the correspondence between the local and global structure of finite groups. Our particular goal is to investigate non- solvable groups all of whose 2-local subgroups are solvable. The reader will realize that nearly all of the methods and results of this book are used in this investigation. At least two things have been excluded from this book: the representation theory of finite groups and—with a few exceptions—the description of the finite simple groups. In both cases we felt unable to treat these two themes in an adequate way within the framework of this book. For the more important results proved or mentioned in this book we tried to give the original papers as references, and in a few cases also some with alternative proofs. In the Appendix we state the classification theorem of v vi Preface the finite simple groups and also some of the fundamental theorems that are related to the subject of the last chapters. The first eight chapters are accompanied by exercises. Usually they are not ordered by increasing difficulty and some of them demand serious thinking and persistence. They should allow the reader to get engaged with group theory and to find out about his or her own abilities. The reader may want to postpone and revisit later some of the apparently more difficult exercises using the greater experience and insight gained from following chapters. It should be pointed out here that—with the exception of the first chapter— all groups under consideration are meant to be finite. Our special thanks go to our colleague H. Bender. Without him this book would not have been written, and without his encouraging support it would have taken a different shape. We would like to thank J. Hall for reading the entire manuscript and A. Chermak for reading parts of it. We are also grateful to B. Baumann, D. Bundy, S. Heiss, and P. Flavell for their helpful comments and sugges- tions. A German version of this book has been published in 1998 as a Springer- Lehrbuch. Erlangen, Germany Hans Kurzweil Kiel, Germany Bernd Stellmacher February 2003 Contents Preface v List of Symbols xi 1 Basic Concepts 1 1.1 Groups and Subgroups ...................... 1 1.2 Homomorphisms and Normal Subgroups ............ 10 1.3 Automorphisms .......................... 15 1.4 Cyclic Groups ........................... 21 1.5 Commutators ........................... 24 1.6 Products of Groups ........................ 27 1.7 Minimal Normal Subgroups ................... 36 1.8 Composition Series ........................ 39 2 Abelian Groups 43 2.1 The Structure of Abelian Groups ................ 43 2.2 Automorphisms of Cyclic Groups ................ 49 3 Action and Conjugation 55 3.1 Action ............................... 55 3.2 Sylow’s Theorem ......................... 62 3.3 Complements of Normal Subgroups ............... 71 vii viii Contents 4 Permutation Groups 77 4.1 Transitive Groups and Frobenius Groups ............ 77 4.2 Primitive Action ......................... 84 4.3 The Symmetric Group ...................... 87 4.4 Imprimitive Groups and Wreath Products ........... 91 5 p-Groups and Nilpotent Groups 99 5.1 Nilpotent Groups ......................... 99 5.2 Nilpotent Normal Subgroups ..................104 5.3 p-Groups with Cyclic Maximal Subgroups ...........108 6 Normal and Subnormal Structure 121 6.1 Solvable Groups .........................121 6.2 The Theorem of Schur-Zassenhaus ...............125 6.3 Radical and Residue .......................128 6.4 π-Separable Groups .......................133 6.5 Components and the Generalized Fitting Subgroup .........................141 6.6 Primitive Maximal Subgroups ..................145 6.7 Subnormal Subgroups ......................156 7 Transfer and p-Factor Groups 163 7.1 The Transfer Homomorphism ..................163 7.2 Normal p-Complements .....................169 8 Groups Acting on Groups 175 8.1 Action on Groups .........................175 8.2 Coprime Action ..........................183 8.3 Action on Abelian Groups ....................190 8.4 The Decomposition of an Action ................197 8.5 Minimal Nontrivial Action ....................203 8.6 Linear Action and the Two-Dimensional Linear Groups ...........................210 Contents ix 9 Quadratic Action 225 9.1 Quadratic Action .........................225 9.2 The Thompson Subgroup ....................230 9.3 Quadratic Action in p-Separable Groups ............239 9.4 A Characteristic Subgroup ....................249 9.5 Fixed-Point-Free Action .....................257 10 The Embedding of p-Local Subgroups 261 10.1 Primitive Pairs ..........................262 10.2 The paqb-Theorem ........................276 10.3 The Amalgam Method ......................281 11 Signalizer Functors 303 11.1 Definitions and Elementary Properties .............304 11.2 Factorizations ...........................311 11.3 The Completeness Theorem of Glauberman ..........325 12 N-Groups 335 12.1 An Application of the Completeness Theorem ..............................338 12.2 J(T )-Components ........................347 12.3 N-Groups of Local Characteristic 2 ...............356 Appendix 369 Bibliography 373 Books and Monographs ........................373 Journal Articles .............................374 Index 381 This page intentionally left blank List of Symbols [x, y], 24 Gα1,...,αn−1 ,85 [X, Y ], 25 G/N,13 ∼ [X, Y, Z], 25 G = H,11 (z,n), 22 GL(V ), 210 <, ≤,4 GLn(q), 212 X,5 Im ϕ,11 g,5 Inn G,16 X ,5 J(G), 236 ×n Ker ϕ,11 Gi,27 i=1 N G,12 A (G), 236 NH (A), 59 A | | V (G), 233 /θ(A), 304 | | AB,6 /θ(A, π), 306 A B,14 o(g), 5 An,89 nZ,21 p Aut G,15 Op(G), O (G), 129 p CH (G), 59 Op (G), O (G), 129 K Cn,21 OK(G), O (G), 129 π ∆, 84 Oπ(G), O (G), 129 E(G), 143 Ω(G), 47 F q, 210 Ωi(G), 47 F (G), 104 P,9 ∗ F (G), 143 Φ(G), 105 |G|,3 π, 129 G ,24 π(G), 9 G,2 π(n), 9 G, g,14 PGL(V ), 222 Gα,57 PSL(V ), 222 Gp,45 r(G), 48 |G : U|,7 S(G), 124 xi xii List of Symbols SΩ,55 U ≤ G,4 Sn,55 U char G,17 SL(V ), 212 W (S), 250 SLn(q), 212 X H,34 ϕ −ϕ Sylp G,63 X , x ,11 ϕ−1 SylπG, 135 Y ,11 θ, 304 Z,21 θ(G), 304 Z(G), 16 Chapter 1 Basic Concepts In this first chapter we introduce some of the basic concepts of finite group theory. Most of these concepts apply to arbitrary groups, whether finite or infinite. For that reason we will make no assumption (as we will in the later chapters) that the objects under consideration are finite. 1.1 Groups and Subgroups A nonempty set G is a group, if to every pair (x, y) ∈ G × G an element xy ∈ G is assigned, the product of x and y, satisfying the following axioms: Associativity: x(yz)=(xy)z for all x, y, z ∈ G .
Load more

Recommended publications
  • Prof. Dr. Eric Jespers Science Faculty Mathematics Department Bachelor Paper II
    Prof. Dr. Eric Jespers Science faculty Mathematics department Bachelor paper II 1 Voorwoord Dit is mijn tweede paper als eindproject van de bachelor in de wiskunde aan de Vrije Universiteit Brussel. In dit werk bestuderen wij eindige groepen G die minimaal niet nilpotent zijn in de volgende betekenis, elke echt deelgroep van G is nilpotent maar G zelf is dit niet. W. R. Scott bewees in [?] dat zulke groepen oplosbaar zijn en een product zijn van twee deelgroepen P en Q, waarbij P een cyclische Sylow p-deelgroep is en Q een normale Sylow q-deelgroep is; met p en q verschillende priemgetallen. Het hoofddoel van dit werk is om een volledig en gedetailleerd bewijs te geven. Als toepassing bestuderen wij eindige groepen die minimaal niet Abels zijn. Dit project is verwezenlijkt tijdens mijn Erasmusstudies aan de Universiteit van Granada en werd via teleclassing verdedigd aan de Universiteit van Murcia, waar mijn mijn pro- motor op sabbatical verbleef. Om lokale wiskundigen de kans te geven mijn verdediging bij te wonen is dit project in het Engles geschreven. Contents 1 Introduction This is my second paper to obtain the Bachelor of Mathematics at the University of Brussels. The subject are finite groups G that are minimal not nilpotent in the following meaning. Each proper subgroup of G is nilpotent but G itself is not. W.R. Scott proved in [?] that those groups are solvable and a product of two subgroups P and Q, with P a cyclic Sylow p-subgroup and G a normal Sylow q-subgroup, where p and q are distinct primes.
    [Show full text]
  • Classification of Finite Abelian Groups
    Math 317 C1 John Sullivan Spring 2003 Classification of Finite Abelian Groups (Notes based on an article by Navarro in the Amer. Math. Monthly, February 2003.) The fundamental theorem of finite abelian groups expresses any such group as a product of cyclic groups: Theorem. Suppose G is a finite abelian group. Then G is (in a unique way) a direct product of cyclic groups of order pk with p prime. Our first step will be a special case of Cauchy’s Theorem, which we will prove later for arbitrary groups: whenever p |G| then G has an element of order p. Theorem (Cauchy). If G is a finite group, and p |G| is a prime, then G has an element of order p (or, equivalently, a subgroup of order p). ∼ Proof when G is abelian. First note that if |G| is prime, then G = Zp and we are done. In general, we work by induction. If G has no nontrivial proper subgroups, it must be a prime cyclic group, the case we’ve already handled. So we can suppose there is a nontrivial subgroup H smaller than G. Either p |H| or p |G/H|. In the first case, by induction, H has an element of order p which is also order p in G so we’re done. In the second case, if ∼ g + H has order p in G/H then |g + H| |g|, so hgi = Zkp for some k, and then kg ∈ G has order p. Note that we write our abelian groups additively. Definition. Given a prime p, a p-group is a group in which every element has order pk for some k.
    [Show full text]
  • 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]
  • Mathematics 310 Examination 1 Answers 1. (10 Points) Let G Be A
    Mathematics 310 Examination 1 Answers 1. (10 points) Let G be a group, and let x be an element of G. Finish the following definition: The order of x is ... Answer: . the smallest positive integer n so that xn = e. 2. (10 points) State Lagrange’s Theorem. Answer: If G is a finite group, and H is a subgroup of G, then o(H)|o(G). 3. (10 points) Let ( a 0! ) H = : a, b ∈ Z, ab 6= 0 . 0 b Is H a group with the binary operation of matrix multiplication? Be sure to explain your answer fully. 2 0! 1/2 0 ! Answer: This is not a group. The inverse of the matrix is , which is not 0 2 0 1/2 in H. 4. (20 points) Suppose that G1 and G2 are groups, and φ : G1 → G2 is a homomorphism. (a) Recall that we defined φ(G1) = {φ(g1): g1 ∈ G1}. Show that φ(G1) is a subgroup of G2. −1 (b) Suppose that H2 is a subgroup of G2. Recall that we defined φ (H2) = {g1 ∈ G1 : −1 φ(g1) ∈ H2}. Prove that φ (H2) is a subgroup of G1. Answer:(a) Pick x, y ∈ φ(G1). Then we can write x = φ(a) and y = φ(b), with a, b ∈ G1. Because G1 is closed under the group operation, we know that ab ∈ G1. Because φ is a homomorphism, we know that xy = φ(a)φ(b) = φ(ab), and therefore xy ∈ φ(G1). That shows that φ(G1) is closed under the group operation.
    [Show full text]
  • REPRESENTATIONS of ELEMENTARY ABELIAN P-GROUPS and BUNDLES on GRASSMANNIANS
    REPRESENTATIONS OF ELEMENTARY ABELIAN p-GROUPS AND BUNDLES ON GRASSMANNIANS JON F. CARLSON∗, ERIC M. FRIEDLANDER∗∗ AND JULIA PEVTSOVA∗∗∗ Abstract. We initiate the study of representations of elementary abelian p- groups via restrictions to truncated polynomial subalgebras of the group alge- p p bra generated by r nilpotent elements, k[t1; : : : ; tr]=(t1; : : : ; tr ). We introduce new geometric invariants based on the behavior of modules upon restrictions to such subalgebras. We also introduce modules of constant radical and socle type generalizing modules of constant Jordan type and provide several gen- eral constructions of modules with these properties. We show that modules of constant radical and socle type lead to families of algebraic vector bundles on Grassmannians and illustrate our theory with numerous examples. Contents 1. The r-rank variety Grass(r; V)M 4 2. Radicals and Socles 10 3. Modules of constant radical and socle rank 15 4. Modules from quantum complete intersections 20 5. Radicals of Lζ -modules 27 6. Construction of Bundles on Grass(r; V) 35 6.1. A local construction of bundles 36 6.2. A construction by equivariant descent 38 7. Bundles for GLn-equivariant modules. 43 8. A construction using the Pl¨ucker embedding 51 9. APPENDIX (by J. Carlson). Computing nonminimal 2-socle support varieties using MAGMA 57 References 59 Quillen's fundamental ideas on applying geometry to the study of group coho- mology in positive characteristic [Quillen71] opened the door to many exciting de- velopments in both cohomology and modular representation theory. Cyclic shifted subgroups, the prototypes of the rank r shifted subgroups studied in this paper, were introduced by Dade in [Dade78] and quickly became the subject of an intense study.
    [Show full text]
  • Fusion Systems and Group Actions with Abelian Isotropy Subgroups
    FUSION SYSTEMS AND GROUP ACTIONS WITH ABELIAN ISOTROPY SUBGROUPS OZG¨ UN¨ UNL¨ U¨ AND ERGUN¨ YALC¸IN Abstract. We prove that if a finite group G acts smoothly on a manifold M so that all the isotropy subgroups are abelian groups with rank ≤ k, then G acts freely and smoothly n1 n on M × S × · · · × S k for some positive integers n1; : : : ; nk. We construct these actions using a recursive method, introduced in an earlier paper, that involves abstract fusion systems on finite groups. As another application of this method, we prove that every finite solvable group acts freely and smoothly on some product of spheres with trivial action on homology. 1. Introduction and statement of results Madsen-Thomas-Wall [7] proved that a finite group G acts freely on a sphere if (i) G has no subgroup isomorphic to the elementary abelian group Z=p × Z=p for any prime number p and (ii) has no subgroup isomorphic to the dihedral group D2p of order 2p for any odd prime number p. At that time the necessity of these conditions were already known: P. A. Smith [12] proved that the condition (i) is necessary and Milnor [8] showed the necessity of the condition (ii). As a generalization of the above problem we are interested in the problem of character- izing those finite groups which can act freely and smoothly on a product of k spheres for a given positive integer k. In the case k = 1, Madsen-Thomas-Wall uses surgery theory and considers the unit spheres of linear representations of subgroups to show that certain surgery obstructions vanish.
    [Show full text]
  • Finite Group Actions on the Four-Dimensional Sphere Finite Group Actions on the Four-Dimensional Sphere
    Finite Group Actions on the Four-Dimensional Sphere Finite Group Actions on the Four-Dimensional Sphere By Sacha Breton, B.Sc. A Thesis Submitted to the School of Graduate Studies in Partial Fulfilment of the Requirements for the Degree of Master of Science McMaster University c Copyright by Sacha Breton, August 30th 2011 Master of Science (2011) McMaster University Hamilton, Ontario Department of Mathematics and Statistics TITLE: Finite Group Actions on the Four-Dimensional Sphere AUTHOR: Sacha Breton B.Sc. (McGill University) SUPERVISOR: Ian Hambleton NUMBER OF PAGES: 41 + v ii Abstract Smith theory provides powerful tools for understanding the geometry of singular sets of group actions on spheres. In this thesis, tools from Smith theory and spectral sequences are brought together to study the singular sets of elementary abelian groups acting locally linearly on S4. It is shown that the singular sets of such actions are homeomorphic to the singular sets of linear actions. A short review of the literature on group actions on S4 is included. iii Acknowledgements I would like to thank Professor Ian Hambleton for his suggestion of thesis topic, for the breadth and depth of his advice, and for his patience and encouragement. I would also like to thank Val´erieTremblay, Barnaby and Sue Ore, my parents, and my friends for their continued support. iv Contents Descriptive Note ii Abstract iii Acknowledgements iv 1 Introduction 1 2 Introductory Material 1 2.1 Basic definitions and conventions . .1 2.2 The Projection and the Transfer homomorphisms . .4 2.3 Smith Theory . .7 2.4 Group cohomology .
    [Show full text]
  • A Characterization of Mathieu Groups by Their Orders and Character Degree Graphs
    ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS { N. 38{2017 (671{678) 671 A CHARACTERIZATION OF MATHIEU GROUPS BY THEIR ORDERS AND CHARACTER DEGREE GRAPHS Shitian Liu∗ School of Mathematical Science Soochow University Suzhou, Jiangsu, 251125, P. R. China and School of Mathematics and Statics Sichuan University of Science and Engineering Zigong Sichuan, 643000, China [email protected] and [email protected] Xianhua Li School of Mathematical Science Soochow University Suzhou, Jiangsu, 251125, P. R. China Abstract. Let G be a finite group. The character degree graph Γ(G) of G is the graph whose vertices are the prime divisors of character degrees of G and two vertices p and q are joined by an edge if pq divides some character degree of G. Let Ln(q) be the projective special linear group of degree n over finite field of order q. Xu et al. proved that the Mathieu groups are characterized by the order and one irreducible character 2 degree. Recently Khosravi et al. have proven that the simple groups L2(p ), and L2(p) where p 2 f7; 8; 11; 13; 17; 19g are characterizable by the degree graphs and their orders. In this paper, we give a new characterization of Mathieu groups by using the character degree graphs and their orders. Keywords: Character degree graph, Mathieu group, simple group, character degree. 1. Introduction All groups in this note are finite. Let G be a finite group and let Irr(G) be the set of irreducible characters of G. Denote by cd(G) = fχ(1) : χ 2 Irr(G)g, the set of character degrees of G.
    [Show full text]
  • ELEMENTARY ABELIAN P-SUBGROUPS of ALGEBRAIC GROUPS
    ROBERT L. GRIESS, JR ELEMENTARY ABELIAN p-SUBGROUPS OF ALGEBRAIC GROUPS Dedicated to Jacques Tits for his sixtieth birthday ABSTRACT. Let ~ be an algebraically closed field and let G be a finite-dimensional algebraic group over N which is nearly simple, i.e. the connected component of the identity G O is perfect, C6(G °) = Z(G °) and G°/Z(G °) is simple. We classify maximal elementary abelian p-subgroups of G which consist of semisimple elements, i.e. for all primes p ~ char K. Call a group quasisimple if it is perfect and is simple modulo the center. Call a subset of an algebraic group total if it is in a toms; otherwise nontoral. For several quasisimple algebraic groups and p = 2, we define complexity, and give local criteria for whether an elementary abelian 2-subgroup of G is total. For all primes, we analyze the nontoral examples, include a classification of all the maximal elementary abelian p-groups, many of the nonmaximal ones, discuss their normalizers and fusion (i.e. how conjugacy classes of the ambient algebraic group meet the subgroup). For some cases, we give a very detailed discussion, e.g. p = 3 and G of type E6, E 7 and E 8. We explain how the presence of spin up and spin down elements influences the structure of projectively elementary abelian 2-groups in Spin(2n, C). Examples of an elementary abelian group which is nontoral in one algebraic group but toral in a larger one are noted. Two subsets of a maximal torus are conjugate in G iff they are conjugate in the normalizer of the torus; this observation, with our discussion of the nontoral cases, gives a detailed guide to the possibilities for the embedding of an elementary abelian p-group in G.
    [Show full text]
  • 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]
  • 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]
  • 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]