DOCSLIB.ORG

On Normal Formations and Related Classes of Groups

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text

Load more

University of New Hampshire University of New Hampshire Scholars' Repository Doctoral Dissertations Student Scholarship Winter 1971 ON NORMAL FORMATIONS AND RELATED CLASSES OF GROUPS STEPHEN ALLAN BACON Follow this and additional works at: https://scholars.unh.edu/dissertation Recommended Citation BACON, STEPHEN ALLAN, "ON NORMAL FORMATIONS AND RELATED CLASSES OF GROUPS" (1971). Doctoral Dissertations. 941. https://scholars.unh.edu/dissertation/941 This Dissertation is brought to you for free and open access by the Student Scholarship at University of New Hampshire Scholars' Repository. It has been accepted for inclusion in Doctoral Dissertations by an authorized administrator of University of New Hampshire Scholars' Repository. For more information, please contact [email protected]. 71-19,4-32 BACON, Stephen Allan, 1943- ON NORMAL FORMATIONS AND RELATED CLASSES OF GROUPS. University of New Hampshire, Ph.D., 1971 Mathematics University Microfilms, A XEROX Company, Ann Arbor, Michigan f THIS DISSERTATION HAS BEEN MICROFILMED EXACTLY AS RECEIVED ON NORMAL FORMATIONS AND RELATED CLASSES OF GROUPS by / STEPHEN A. BACON .S., State University of New York at Albany, 1965 A THESIS Submitted to the University of New Hampshire In Partial Fulfillment of The Requirements for the Degree of Doctor of Philosophy Graduate School Department of Mathematics January, 1971 This thesis has been examined and approved. i l J U e M Thesis director, Homer P. Bechtell, Jr., Asso. Prof. of Mathematics of Mathematics Richard E. Johnson, P^pf. of Mathematics M ' ^ & A Z u )_________________ Edward H. Batho, Prof. of Mathematics ■\)./isLst v x ,• / /,c7v ,3^ ----------- ,____ ,_ ^/E4fic A. Nordgren, Atfso. Prof. of Mathematics ?; ^ 7 I It is a pleasure for the author to express appreciation and gratitude to Professor Homer F. Bechtell for his encouragement and guidance in the preparation of this thesis; Susan, my wife, for her patience and understanding; The National Aeronautics and Space Administration for its support for three years by means of a traineeship. TABLE OP CONTENTS ABSTRACT .............................................. V INTRODUCTION ................. 1 I. FUNDAMENTAL CONCEPTS ................................. 6 II. STRONG FORMATIONS ..................................... 16 1. Descending ^-systems ............................ 16 2. Ascending ^-systems ............................. 23 3. -series ........................................ 27 III. FORMATIONS OF FINITE GROUPS .......................... 33 IV. SATURATION ............................................ 49 V. APPLICATIONS AND EXAMPLES ............................ 55 1. Solvable K-groups ................................ 55 2. Hall (3%fr)-subgroups and -separable groups . 62 3. (3^71)-closed groups .............................. 70 VI. SUMMARY ............................................... 77 BIBLIOGRAPHY ......................................... 80 ABSTRACT ON NORMAL FORMATIONS AND RELATED CLASSES OF GROUPS r. by STEPHEN A. BACON This thesis is an investigation of the properties of several well-defined classes of groups and the rela­ tionships between them. The first of these is the normal formation. A formation is a nonempty class of groups which is closed with respect to epimorphic images and also has the property that for normal subgroups M and N of a group G, G / m £ ! > and G/ N G ^ imply G / M A N €J3r. A formation which satisfies the additional property that normal subgroups of members of & are also in is called a normal formation. Each formation gives rise to a normal forma­ tion ^ defined by & = {g | for all N ^ £ G, N e * }. Each normal formation in turn gives rise to a polyclass, i.e., a class of groups which is closed with respect to normal subgroups and epimorphic images and has the additional property that for each N ^ G, if N £ • © , G/N £ , then G € 4S. The polyclass associated with the normal formation 3^ is the class of all groups G which have a normal series of the form v G = An D A. ID ...DA = E u 1 n with Aj./Ai+|^ 9 . This is the "smallest" polyclass which contains the normal formation Qt. The third class of groups that is considered is called a Fitting formation. A Fitting formation SD is a normal formation which possesses the additional prop­ erty that for each group G and for each pair of normal subgroups N, M of G, N € 35, M £ ® imply NM € &. The classes of abelian, solvable and nilpotent groups are the obvious prototypes of these three general classes of groups. It is shown that many of the structural proper­ ties of the class of solvable groups are not dependent upon the fact that solvability is also a subgroup inher­ ited property. Also, many of the relationships between the derived series and the Fitting series of a solvable group carry over to the corresponding series determined by Fitting formations and their associated polyclasses. For a formation 9 each finite group G has a characteristic subgroup 9(G) with the property that G/N € 9 if and only if 9(G) S N. In this paper, the concept of formation is generalized to that of a strong formation so that infinite groups will also have this "commutator-type" subgroup. This generalization is made in such a way that the concepts of formation and strong formation are equivalent for finite groups. The notions of derived series and Fitting series for finite groups are generalized to ff’-derived systems and ^-Fitting vi systems with respect to a strong formation &. The properties of groups having either of these systems are examined fully. It is shown that the class of groups possessing an ^-Fitting system is a polyclass; for 3^- derived systems, this is not the case. For classes of finite groups, a number of conditions which are equiva­ lent to possessing a normal 3^-series are considered. It is shown that ^ if and only if 9 is a polyclass. A class 41 of groups is called saturated if and only if for each group G, G/J(G)€4I. implies G €. 5L • A number of conditions which imply saturation for the polyclass associated with a given normal formation are discussed. Among the conditions on ^ that imply sat­ uration for are the following: & is subgroup inherited; C £ Qfr for each prime p; or & is locally P defined. Also, negative answers are provided to the following questions: Is every saturated formation sub­ group inherited? Is every polyclass saturated? Three examples are discussed in detail in order to illustrate the theory and clarify the relationships between the classes of groups which have been considered. The first of these, the class of solvable K-groups, i.e., the class of solvable groups that split over each normal subgroup, is shown to be a normal formation that is not subgroup inherited. A second example is a generalization of the class of TT-separable groups, called (^,it)-separable groups. Results which generalize the theorems of P. Hall vii 1 on the existence and conjugacy of Hall 7T-subgroups in ff-separable groups are discussed. In addition, the class of groups having normal Hall 1t-subgroups which are members of a formation is considered, it is shown that the class of -separable groups is the polyclass associated with this class of groups. viii INTRODUCTION This thesis is an investigation of the properties of several well-defined classes of groups and the rela­ tionships between them. The first of these is the normal formation. A formation, as defined by Gaschutz £18}, is a nonempty class 3 s of groups which is closed with re­ spect to epimorphic images and also has the property that for normal subgroups M and N of a group G, G/M €. & and G/N € # imply G/mON A formation which sat­ isfies the additional property that normal subgroups of members of ^ are also in is called a normal forma­ tion. Unlike the earlier work of Gaschutz and Carter [9] on classes of conjugate subgroups in finite solvable groups, this thesis proceeds in a different direction in that the emphasis is on the properties of normal formations and classes of groups which they generate. Also, applications of formation theory to both non-solvable and infinite groups are considered. Each formation & gives rise to a normal formation defined by ^ = {g | for all N^£g, N & 9 Al­ though it is possible that & might reduce to the identity formation, the existence of groups in with common prop­ erties easily eliminates this possibility. Each normal formation in turn gives rise to a polyclass, i.e., a class 43 of groups which is closed with respect to normal sub­ groups and epimorphic images and has the additional property 1 that for each N A G, if N £ 45 , G/N € 35, then G € 35. The polyclass associated with the normal formation is the class of all groups G which have normal series of the form G = An 3 A. O . 3 A = E with A./A. _ €. u 1 n i i+l It is the "smallest" polyclass which contains the normal formation ^r. The obvious prototype of this type of sit­ uation is the polyclass of solvable groups which is asso­ ciated with the class of abelian groups. For finite groups there is another interesting class of groups "between" the abelian groups and the solv­ able groups called the nilpotent groups. The nilpotent groups serve as a prototype for the classes of groups called Fitting formations. A Fitting formation % is a normal formation which possesses the additional property that for each group G and for each pair of normal sub­ groups N, M of G, N G.'b, M G & imply NM €. It is shown that many of the structural properties of the class of solvable groups are not dependent upon the fact that solvability is also a subgroup inherited property. Also, many of the relationships between the derived series and the Fitting series for a solvable group carry over to the corresponding series determined by Fitting formations and their associated polyclasses. The classes of abelian, nilpotent, and solvable groups are each but one example of the more general classes of groups under consideration.
Recommended publications
  • The Wielandt Length of Finite Groups

    The Wielandt Length of Finite Groups

    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector JOURNAL OFALGEBRA 15, 142-148 (1970) The Wielandt Length of Finite Groups University of East Anglia, School of Mathematics and Physics, ~Vorwich, Br~gland Communicated by B. Huppert Received July 5, 1969 I. ISTHODUCTION In [9] Wielandt introduced a subgroup of a group G defined as the inter- section of the normalizers of all subnormal subgroups of G. I will call this subgroup the Wielandt subgroup E’(G). We can then define ?Vn(G) recursively by W,(G) = 1 and W,(G)/TJJ+,(G) = W[G/LV~/,,+,(G)]. If for some n, W,,(G) = : G and II is the least integer for which this happens, we say that G has Wielandt length n. LVielandt proved [9] that such an integer 11 always exists for finite groups. The main purpose of this paper is to investigate the relation between the Wielandt length of a group and various other invariants. The main result in this direction is Theorem I as follows: ‘I’w:ownf I. If G is a Jinite soluble group zcith Wielandt length II, fitting length m, then G has derived length at most m 4 n 1 if m -;- n :- 2. The proof of this theorem occupies Section 3 of the paper. The theory of 7’ groups, i.e., groups in which normality is a transitive relation, is well-developed [4], [7] and these results are of importance in this paper. Section 4 investigates the properties of groups with Wielandt length 2 and the main result in this section is: Tmomn~ 5.
  • Arxiv:2003.06292V1 [Math.GR] 12 Mar 2020 Eggnrtr N Ignlmti.Tedaoa Arxi Matrix Diagonal the Matrix

    Arxiv:2003.06292V1 [Math.GR] 12 Mar 2020 Eggnrtr N Ignlmti.Tedaoa Arxi Matrix Diagonal the Matrix

    ALGORITHMS IN LINEAR ALGEBRAIC GROUPS SUSHIL BHUNIA, AYAN MAHALANOBIS, PRALHAD SHINDE, AND ANUPAM SINGH ABSTRACT. This paper presents some algorithms in linear algebraic groups. These algorithms solve the word problem and compute the spinor norm for orthogonal groups. This gives us an algorithmic definition of the spinor norm. We compute the double coset decompositionwith respect to a Siegel maximal parabolic subgroup, which is important in computing infinite-dimensional representations for some algebraic groups. 1. INTRODUCTION Spinor norm was first defined by Dieudonné and Kneser using Clifford algebras. Wall [21] defined the spinor norm using bilinear forms. These days, to compute the spinor norm, one uses the definition of Wall. In this paper, we develop a new definition of the spinor norm for split and twisted orthogonal groups. Our definition of the spinornorm is rich in the sense, that itis algorithmic in nature. Now one can compute spinor norm using a Gaussian elimination algorithm that we develop in this paper. This paper can be seen as an extension of our earlier work in the book chapter [3], where we described Gaussian elimination algorithms for orthogonal and symplectic groups in the context of public key cryptography. In computational group theory, one always looks for algorithms to solve the word problem. For a group G defined by a set of generators hXi = G, the problem is to write g ∈ G as a word in X: we say that this is the word problem for G (for details, see [18, Section 1.4]). Brooksbank [4] and Costi [10] developed algorithms similar to ours for classical groups over finite fields.
  • Stabilizers of Lattices in Lie Groups

    Stabilizers of Lattices in Lie Groups

    Journal of Lie Theory Volume 4 (1994) 1{16 C 1994 Heldermann Verlag Stabilizers of Lattices in Lie Groups Richard D. Mosak and Martin Moskowitz Communicated by K. H. Hofmann Abstract. Let G be a connected Lie group with Lie algebra g, containing a lattice Γ. We shall write Aut(G) for the group of all smooth automorphisms of G. If A is a closed subgroup of Aut(G) we denote by StabA(Γ) the stabilizer of Γ n n in A; for example, if G is R , Γ is Z , and A is SL(n;R), then StabA(Γ)=SL(n;Z). The latter is, of course, a lattice in SL(n;R); in this paper we shall investigate, more generally, when StabA(Γ) is a lattice (or a uniform lattice) in A. Introduction Let G be a connected Lie group with Lie algebra g, containing a lattice Γ; so Γ is a discrete subgroup and G=Γ has finite G-invariant measure. We shall write Aut(G) for the group of all smooth automorphisms of G, and M(G) = α Aut(G): mod(α) = 1 for the group of measure-preserving automorphisms off G2 (here mod(α) is thegcommon ratio measure(α(F ))/measure(F ), for any measurable set F G of positive, finite measure). If A is a closed subgroup ⊂ of Aut(G) we denote by StabA(Γ) the stabilizer of Γ in A, in other words α A: α(Γ) = Γ . The main question of this paper is: f 2 g When is StabA(Γ) a lattice (or a uniform lattice) in A? We point out that the thrust of this question is whether the stabilizer StabA(Γ) is cocompact or of cofinite volume, since in any event, in all cases of interest, the stabilizer is discrete (see Prop.
  • A Generalization of the Hughes Subgroup

    A Generalization of the Hughes Subgroup

    A Generalization of the Hughes Subgroup Mark L. Lewis and Mario Sracic Abstract Let G be a finite group, π be a set of primes, and define Hπ G to be the subgroup generated ( ) by all elements of G which do not have prime order for every prime in π. In this paper, we investigate some basic properties of Hπ G and its relationship to the Hughes subgroup. We ( ) show that for most groups, only one of three possibilities occur: Hπ G 1, Hπ G G, or ( ) = ( ) = Hπ G Hp G for some prime p π. There is only one other possibility: G is a Frobenius ( ) = ( ) ∈ group whose Frobenius complement has prime order p, and whose Frobenius kernel, F , is a nonabelian q-group such that Hπ G arises as the proper and nontrivial Hughes subgroup of F . ( ) We investigate a few restrictions on the possible choices of the primes p and q. Mathematics Subject Classification. 20D25. Keywords. Hughes subgroup, Frobenius groups, elements of prime order. 1. Introduction In 1957, D. R. Hughes posed the following problem: Let G be any group and p be a prime. Consider the following subgroup, p Hp G x G x 1 , ( ) ∶= ⟨ ∈ ∶ ≠ ⟩ or Hp when G is clear from the context, which we call the Hughes subgroup of G relative to p. Hughes asked, “is the following conjecture true: either Hp 1,Hp G, or G Hp p?” [7]. = = S ∶ S = Hughes had proved this conjecture for p 2 two years prior [6], and shortly thereafter, Straus and = Szekeres [14] answered in the affirmative for p 3.
  • On the Fitting Length of Hn(G) Rendiconti Del Seminario Matematico Della Università Di Padova, Tome 89 (1993), P

    On the Fitting Length of Hn(G) Rendiconti Del Seminario Matematico Della Università Di Padova, Tome 89 (1993), P

    RENDICONTI del SEMINARIO MATEMATICO della UNIVERSITÀ DI PADOVA GÜLIN ERCAN I˙SMAIL ¸S. GÜLOGLU˘ On the Fitting length of Hn(G) Rendiconti del Seminario Matematico della Università di Padova, tome 89 (1993), p. 171-175 <http://www.numdam.org/item?id=RSMUP_1993__89__171_0> © Rendiconti del Seminario Matematico della Università di Padova, 1993, 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/ On the Fitting Length of Hn(G). GÜLIN ERCAN - ISMAIL 015E. GÜLO011FLU(*) For a finite group G and n e N the generalized Hughes subgroup Hn (G ) of G is defined as Hn (G ) _ (x E G11;z! Recently, there has been some research in the direction of finding a bound for the Fitting length of Hn (G ) in a solvable group G with a proper generalized Hugh- es subgroup in terms of n. In this paper we want to present a proof for the following THEOREM 1. Let G be a finite solvable group, Pl, P2, ..., pm pair- wise distinct primes and n = p1 ’ p2 ’ · · · ’ pm · If Hn (G ) ~ G, then the Fit- ting length of Hn (G) is at most m + 3. This result is an immediate consequence of THEOREM 2.
  • On Dense Subgroups of Homeo +(I)

    On Dense Subgroups of Homeo +(I)

    On dense subgroups of Homeo+(I) Azer Akhmedov Abstract: We prove that a dense subgroup of Homeo+(I) is not elementary amenable and (if it is finitely generated) has infinite girth. We also show that the topological group Homeo+(I) does not satisfy the Stability of the Generators Property, moreover, any finitely subgroup of Homeo+(I) admits a faithful discrete representation in it. 1. Introduction In this paper, we study basic questions about dense subgroups of Homeo+(I) - the group of orientation preserving homeomorphisms of the closed interval I = [0; 1] - with its natural C0 metric. The paper can be viewed as a continuation of [A1] and [A2] both of which are devoted to the study of discrete subgroups of Diff+(I). Dense subgroups of connected Lie groups have been studied exten- sively in the past several decades; we refer the reader to [BG1], [BG2], [Co], [W1], [W2] for some of the most recent developments. A dense subgroup of a Lie group may capture the algebraic and geometric con- tent of the ambient group quite strongly. This capturing may not be as direct as in the case of lattices (discrete subgroups of finite covolume), but it can still lead to deep results. It is often interesting if a given Lie group contains a finitely generated dense subgroup with a certain property. For example, finding dense subgroups with property (T ) in the Lie group SO(n + 1; R); n ≥ 4 by G.Margulis [M] and D.Sullivan [S], combined with the earlier result of Rosenblatt [Ro], led to the brilliant solution of the Banach-Ruziewicz Problem for Sn; n ≥ 4.
  • Right-Angled Artin Groups in the C Diffeomorphism Group of the Real Line

    Right-Angled Artin Groups in the C Diffeomorphism Group of the Real Line

    Right-angled Artin groups in the C∞ diffeomorphism group of the real line HYUNGRYUL BAIK, SANG-HYUN KIM, AND THOMAS KOBERDA Abstract. We prove that every right-angled Artin group embeds into the C∞ diffeomorphism group of the real line. As a corollary, we show every limit group, and more generally every countable residually RAAG ∞ group, embeds into the C diffeomorphism group of the real line. 1. Introduction The right-angled Artin group on a finite simplicial graph Γ is the following group presentation: A(Γ) = hV (Γ) | [vi, vj] = 1 if and only if {vi, vj}∈ E(Γ)i. Here, V (Γ) and E(Γ) denote the vertex set and the edge set of Γ, respec- tively. ∞ For a smooth oriented manifold X, we let Diff+ (X) denote the group of orientation preserving C∞ diffeomorphisms on X. A group G is said to embed into another group H if there is an injective group homormophism G → H. Our main result is the following. ∞ R Theorem 1. Every right-angled Artin group embeds into Diff+ ( ). Recall that a finitely generated group G is a limit group (or a fully resid- ually free group) if for each finite set F ⊂ G, there exists a homomorphism φF from G to a nonabelian free group such that φF is an injection when restricted to F . The class of limit groups fits into a larger class of groups, which we call residually RAAG groups. A group G is in this class if for each arXiv:1404.5559v4 [math.GT] 16 Feb 2015 1 6= g ∈ G, there exists a graph Γg and a homomorphism φg : G → A(Γg) such that φg(g) 6= 1.
  • Arxiv:1808.03546V3 [Math.GR] 3 May 2021 That Is Generated by the Central Units and the Units of Reduced Norm One for All finite Groups G

    Arxiv:1808.03546V3 [Math.GR] 3 May 2021 That Is Generated by the Central Units and the Units of Reduced Norm One for All finite Groups G

    GLOBAL AND LOCAL PROPERTIES OF FINITE GROUPS WITH ONLY FINITELY MANY CENTRAL UNITS IN THEIR INTEGRAL GROUP RING ANDREAS BACHLE,¨ MAURICIO CAICEDO, ERIC JESPERS, AND SUGANDHA MAHESHWARY Abstract. The aim of this article is to explore global and local properties of finite groups whose integral group rings have only trivial central units, so-called cut groups. For such a group we study actions of Galois groups on its character table and show that the natural actions on the rows and columns are essentially the same, in particular the number of rational valued irreducible characters coincides with the number of rational valued conjugacy classes. Further, we prove a natural criterion for nilpotent groups of class 2 to be cut and give a complete list of simple cut groups. Also, the impact of the cut property on Sylow 3-subgroups is discussed. We also collect substantial data on groups which indicates that the class of cut groups is surprisingly large. Several open problems are included. 1. Introduction Let G be a finite group and let U(ZG) denote the group of units of its integral group ring ZG. The most prominent elements of U(ZG) are surely ±G, the trivial units. In case these are all the units, this gives tight control on the group G and all the groups with this property were explicitly described by G. Higman [Hig40]. If the condition is only put on the central elements, that is, Z(U(ZG)), the center of the units of ZG, only consists of the \obvious" elements, namely ±Z(G), then the situation is vastly less restrictive and these groups are far from being completely understood.
  • P-GROUP CODEGREE SETS and NILPOTENCE CLASS A

    P-GROUP CODEGREE SETS and NILPOTENCE CLASS A

    p-GROUP CODEGREE SETS AND NILPOTENCE CLASS A dissertation submitted to Kent State University in partial fulfillment of the requirements for the degree of Doctor of Philosophy by Sarah B. Croome May, 2019 Dissertation written by Sarah B. Croome B.A., University of South Florida, 2013 M.A., Kent State University, 2015 Ph.D., Kent State University, 2019 Approved by Mark L. Lewis , Chair, Doctoral Dissertation Committee Stephen M. Gagola, Jr. , Members, Doctoral Dissertation Committee Donald L. White Robert A. Walker Joanne C. Caniglia Accepted by Andrew M. Tonge , Chair, Department of Mathematical Sciences James L. Blank , Dean, College of Arts and Sciences TABLE OF CONTENTS Table of Contents . iii Acknowledgments . iv 1 Introduction . 1 2 Background . 6 3 Codegrees of Maximal Class p-groups . 19 4 Inclusion of p2 as a Codegree . 28 5 p-groups with Exactly Four Codegrees . 38 Concluding Remarks . 55 References . 55 iii Acknowledgments I would like to thank my advisor, Dr. Mark Lewis, for his assistance and guidance. I would also like to thank my parents for their support throughout the many years of my education. Thanks to all of my friends for their patience. iv CHAPTER 1 Introduction The degrees of the irreducible characters of a finite group G, denoted cd(G), have often been studied for their insight into the structure of groups. All groups in this dissertation are finite p-groups where p is a prime, and for such groups, the degrees of the irreducible characters are always powers of p. Any collection of p-powers that includes 1 can occur as the set of irreducible character degrees for some group [11].
  • A First Course in Group Theory

    A First Course in Group Theory

    A First Course in Group Theory Aditi Kar April 10, 2017 2 These are Lecture Notes for the course entitled `Groups and Group Actions' aimed at 2nd and 3rd year undergraduate students of Mathematics in Royal Holloway University of London. The course involves 33 hours of lectures and example classes. Assessment. Cumulative End of Year Exam (100 %). Formative assess- ments are in the form of weekly problem sheets, released every Tuesday and due the following Tuesday. I will include important course material and ex- amples in the Problem sheets. It is imperative therefore to think through/ solve the Problems on a regular basis. Recommended Texts. A First Course in Abstract Algebra, by John B. Fraleigh Introduction to Algebra, PJ Cameron, OUP Theory of Groups-An Introduction, JJ Rotmann, Springer. Chapter 1 Groups 1.1 What is Group Theory? Group Theory is the study of algebraic structures called groups; just as numbers represent `how many', groups represent symmetries in the world around us. Groups are ubiquitous and arise in many different fields of human study: in diverse areas of mathematics, in physics, in the study of crystals and atoms, in public key cryptography and even in music theory. Figure 1.1: Evariste Galois 1811-1832 The foundations of Group Theory were laid in the work of many - Cauchy, Langrange, Abel to name a few. The central figure was undoubtedly the dashing French mathematician Evariste Galois. Galois famously died fight- ing a duel at the premature age of 21. The mathematical doodles he left behind were invaluable. The adolescent Galois realised that the algebraic solution to a polynomial equation is related to the structure of a group of permutations associated with the roots of the polynomial, nowadays called the Galois group of the polynomial.
  • UCLA Electronic Theses and Dissertations

    UCLA Electronic Theses and Dissertations

    UCLA UCLA Electronic Theses and Dissertations Title Shapes of Finite Groups through Covering Properties and Cayley Graphs Permalink https://escholarship.org/uc/item/09b4347b Author Yang, Yilong Publication Date 2017 Peer reviewed|Thesis/dissertation eScholarship.org Powered by the California Digital Library University of California UNIVERSITY OF CALIFORNIA Los Angeles Shapes of Finite Groups through Covering Properties and Cayley Graphs A dissertation submitted in partial satisfaction of the requirements for the degree Doctor of Philosophy in Mathematics by Yilong Yang 2017 c Copyright by Yilong Yang 2017 ABSTRACT OF THE DISSERTATION Shapes of Finite Groups through Covering Properties and Cayley Graphs by Yilong Yang Doctor of Philosophy in Mathematics University of California, Los Angeles, 2017 Professor Terence Chi-Shen Tao, Chair This thesis is concerned with some asymptotic and geometric properties of finite groups. We shall present two major works with some applications. We present the first major work in Chapter 3 and its application in Chapter 4. We shall explore the how the expansions of many conjugacy classes is related to the representations of a group, and then focus on using this to characterize quasirandom groups. Then in Chapter 4 we shall apply these results in ultraproducts of certain quasirandom groups and in the Bohr compactification of topological groups. This work is published in the Journal of Group Theory [Yan16]. We present the second major work in Chapter 5 and 6. We shall use tools from number theory, combinatorics and geometry over finite fields to obtain an improved diameter bounds of finite simple groups. We also record the implications on spectral gap and mixing time on the Cayley graphs of these groups.
  • Deforming Discrete Groups Into Lie Groups

    Deforming Discrete Groups Into Lie Groups

    Deforming discrete groups into Lie groups March 18, 2019 2 General motivation The framework of the course is the following: we start with a semisimple Lie group G. We will come back to the precise definition. For the moment, one can think of the following examples: • The group SL(n; R) n × n matrices of determinent 1, n • The group Isom(H ) of isometries of the n-dimensional hyperbolic space. Such a group can be seen as the transformation group of certain homoge- neous spaces, meaning that G acts transitively on some manifold X. A pair (G; X) is what Klein defines as “a geometry” in its famous Erlangen program [Kle72]. For instance: n n • SL(n; R) acts transitively on the space P(R ) of lines inR , n n • The group Isom(H ) obviously acts on H by isometries, but also on n n−1 @1H ' S by conformal transformations. On the other side, we consider a group Γ, preferably of finite type (i.e. admitting a finite generating set). Γ may for instance be the fundamental group of a compact manifold (possibly with boundary). We will be interested in representations (i.e. homomorphisms) from Γ to G, and in particular those representations for which the intrinsic geometry of Γ and that of G interact well. Such representations may not exist. Indeed, there are groups of finite type for which every linear representation is trivial ! This groups won’t be of much interest for us here. We will often start with a group of which we know at least one “geometric” representation.