DOCSLIB.ORG

On Certain Groups with Finite Centraliser Dimension

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
On Certain Groups with Finite Centraliser Dimension ON CERTAIN GROUPS WITH FINITE CENTRALISER DIMENSION A thesis submitted to The University of Manchester for the degree of Doctor of Philosophy in the Faculty of Science and Engineering 2020 Ulla Karhum¨aki Department of Mathematics Contents Abstract5 Declaration7 Copyright Statement8 Acknowledgements9 1 Introduction 14 1.1 Structure of this thesis........................... 19 2 Group-theoretic background material 23 2.1 Notation and elementary group theory.................. 23 2.2 Groups with finite centraliser dimension................. 28 2.3 Linear algebraic groups........................... 30 2.3.1 Groups of Lie type......................... 32 2.3.2 Automorphisms of Chevalley groups................ 34 2.4 Locally finite groups............................ 35 2.4.1 Frattini Argument for locally finite groups of finite centraliser dimension.............................. 36 2.4.2 Derived lengths of solvable subgroups of locally finite groups of finite centraliser dimension..................... 37 2.4.3 Simple locally finite groups..................... 37 3 Some model theory 41 3.1 Languages, structures and theories.................... 41 3.2 Definable sets and interpretability..................... 44 2 3.2.1 The space of types......................... 48 3.3 Stable structures.............................. 48 3.3.1 Stable groups............................ 50 3.4 Ultraproducts and pseudofinite structures................ 52 4 Locally finite groups of finite centraliser dimension 55 4.1 The structural theorem........................... 55 4.1.1 Control of sections......................... 56 4.1.2 Quasisimple locally finite groups of Lie type........... 58 4.1.3 Proof of Theorem 4.1.1; the solvable radical and the layer.... 59 4.1.4 Action of G on G=S ........................ 63 4.1.5 The factor group G=L is abelian-by-finite............. 63 4.1.6 The Frattini Argument....................... 64 4.1.7 Towards finiteness of G=L ..................... 65 4.1.8 Trimming the solvable radical................... 66 4.1.9 End of the proof.......................... 68 4.2 The definably simple case......................... 69 4.2.1 Proof of Theorem 4.2.1....................... 69 5 Groups of finite Morley rank 72 5.1 Introduction to groups of finite Morley rank............... 72 5.2 Infinite simple groups of finite Morley rank................ 77 5.3 Useful facts................................. 80 5.3.1 Classification of infinite simple locally finite groups of finite Morley rank............................. 80 5.3.2 Few rank tools........................... 81 5.3.3 Good tori.............................. 82 5.3.4 The Fitting subgroup and Borel subgroups............ 83 5.3.5 The socle.............................. 83 5.3.6 Two theorem's by Zilber...................... 84 5.3.7 Some Sylow 2-theory........................ 85 5.3.8 Strongly embedded subgroups................... 86 3 5.3.9 Some results on Frobenius groups and Zassenhaus groups of finite Morley rank.......................... 87 6 Finitary automorphism group A 89 6.1 The locally finite core............................ 89 6.2 Definably simple stable groups admitting A ............... 93 6.2.1 Proof of Theorem 6.2.1....................... 93 6.3 Groups of finite Morley rank admitting A ................. 95 6.3.1 Proof of Theorem 6.3.1....................... 95 7 The Hrushovski Programme for infinite simple groups of finite Morley rank 98 7.1 Results of U˘gurluand a tight automorphism α .............. 99 7.2 Small groups of finite Morley rank admitting α ............. 102 7.2.1 Our strategy............................. 103 7.2.2 Proof of Theorem 7.2.1....................... 106 7.3 Landscape for the future work....................... 123 Bibliography 129 Word count 30346 4 The University of Manchester Ulla Karhum¨aki Doctor of Philosophy On certain groups with finite centraliser dimension June 15, 2020 In this thesis, we study certain groups with finite centraliser dimension. These are groups in which there is a finite bound on the length of any chain of centralisers. We study locally finite groups of finite centraliser dimension and stable groups. In particular, we consider a special kind of stable groups called groups of finite Morley rank. The motivation to our work arises from two major conjectures in the topic of groups of finite Morley rank. One of them|the Cherlin{Zilber Conjecture|states that infinite simple groups of finite Morley rank are isomorphic to linear algebraic groups over algebraically closed fields. The other conjecture|the Principal Conjecture|is due to Ehud Hrushovski; it states that if an infinite simple group of finite Morley rank G admits a generic automorphism α, then the fixed point subgroup CG(α) is pseudofinite. It is known, by results of Zo´eChatzidakis and Hrushovski and results of Hrushovski alone, that the Cherlin{Zilber Conjecture implies the Principal Conjecture; some evidence suggests that the converse also holds. Chapters2,3 and5 contain no original results. In Chapters2 and3, we provide the necessary group-theoretic and model-theoretic background material required in later chapters. In Chapter5, we discuss groups of finite Morley rank and give a compendium of advanced results of the topic needed in Chapter7. Our results are proven in Chapters4,6 and7. Chapter4 is devoted to the study of locally finite groups of finite centraliser dimension. We prove a general result describing the structure of such groups. Moreover, we prove that definably simple locally finite groups of finite centraliser dimension are simple groups of Lie type over locally finite fields. In Chapter6, we introduce a finitary automorphism group A. The definition of a finitary automorphism group A arises as we isolate certain properties of the group of Frobenius maps of an algebraically closed field K of positive characteristic. We prove that an infinite definably simple stable group admitting a finitary automorphism group A contains an infinite locally finite elementary subgroup. Then, we identify this locally finite elementary subgroup using our results in Chapter4. Consequently, we classify infinite definably simple stable groups admitting a finitary automorphism group A as Chevalley groups over algebraically closed fields of positive characteristic. In Chapter7, we continue the path designated by Pınar U˘gurlu. In her PhD thesis, U˘gurludeveloped a strategy towards proving the expected equivalence between the Cherlin{Zilber Conjecture and the Principal Conjecture. We first give U˘gurlu's definition of a tight automorphism α of an infinite simple group of finite Morley rank G. Then, we prove that, under suitable assumptions, a \small" infinite simple group of finite Morley rank admitting a tight automorphism α is isomorphic to P SL2(K) over some algebraically closed field K of characteristic different from 2. Keywords: Groups of finite centraliser dimension, locally finite groups, stable 5 groups, Frobenius maps, pseudofinite groups, groups of finite Morley rank, the Cherlin{ Zilber Conjecture, the Principal Conjecture 6 Declaration No portion of the work referred to in the thesis has been submitted in support of an application for another degree or qualification of this or any other university or other institute of learning. 7 Copyright Statement i. The author of this thesis (including any appendices and/or schedules to this thesis) owns certain copyright or related rights in it (the \Copyright") and s/he has given The University of Manchester certain rights to use such Copyright, including for administrative purposes. ii. Copies of this thesis, either in full or in extracts and whether in hard or electronic copy, may be made only in accordance with the Copyright, Designs and Patents Act 1988 (as amended) and regulations issued under it or, where appropriate, in accordance with licensing agreements which the University has from time to time. This page must form part of any such copies made. iii. The ownership of certain Copyright, patents, designs, trade marks and other intellectual property (the \Intellectual Property") and any reproductions of copyright works in the thesis, for example graphs and tables (\Reproductions"), which may be described in this thesis, may not be owned by the author and may be owned by third parties. Such Intellectual Property and Reproductions cannot and must not be made available for use without the prior written permission of the owner(s) of the relevant Intellectual Property and/or Reproductions. iv. Further information on the conditions under which disclosure, publication and commercialisation of this thesis, the Copyright and any Intellectual Property and/or Reproductions described in it may take place is available in the University IP Policy (see http://documents.manchester.ac.uk/DocuInfo.aspx?DocID=487), in any relevant Thesis restriction declarations deposited in the University Library, The University Library's regulations (see http://www.manchester.ac.uk/library/ab- outus/regulations) and in The University's Policy on Presentation of Theses. 8 Acknowledgements It is impossible to thank my supervisor Alexandre Borovik enough. When I started my PhD, I was not very confident mathematically|quite the opposite. After four years of PhD under the supervision of Sasha, I have grown to be a mathematician who is not only interested but also not afraid to face new topics in mathematics. Sasha's patience guidance through these years allowed me to learn at my own phase; he always made me feel quite optimistic, even when I struggled to understand many things. I am thankful to Sasha for all his valuable ideas that allowed
Load more

Recommended publications
  • On the Centralizer of an Element of Order Four in a Locally Finite Group
    Glasgow Math. J. 49 (2007) 411–415. C 2007 Glasgow Mathematical Journal Trust. doi:10.1017/S0017089507003746. Printed in the United Kingdom ON THE CENTRALIZER OF AN ELEMENT OF ORDER FOUR IN A LOCALLY FINITE GROUP PAVEL SHUMYATSKY Department of Mathematics, University of Brasilia, Brasilia-DF, 70910-900 Brazil e-mail: [email protected] (Received 12 December, 2006; revised 6 March, 2007; accepted 10 March, 2007) Abstract. We prove that if G is a locally finite group admitting an automorphism φ of order four such that CG(φ) is Chernikov, then G has a soluble subgroup of finite index. 1. Introduction. The study of centralizers in locally finite groups is an interesting direction of group theory. In particular, the situation that a locally finite group G admits an automorphism φ of finite order (or, equivalenly, contains an element φ) such that CG(φ) is Chernikov has received some attention in the past. Recall that a group C is Chernikov if it has a subgroup of finite index that is a direct product of finitely many groups of type Cp∞ for various primes p (quasicyclic p-groups). By a deep result obtained independently by Shunkov [22] and also by Kegel and Wehrfritz [7] Chernikov groups are precisely the locally finite groups satisfying the minimal condition on subgroups; that is, any non-empty set of subgroups possesses a minimal subgroup. Hartley proved in 1988 that if φ is of prime-power order, then G has a locally soluble subgroup of finite index (see [4, Theorem 1]). The case of the theorem where φ has order two was handled by Asar in [1] and for automorphisms of arbitrary prime order the theorem was proved by Turau in [25].
    [Show full text]
  • Groups with Bounded Centralizer Chains and The~ Borovik--Khukhro
    Groups with bounded centralizer chains and the Borovik–Khukhro conjecture A. A. Buturlakin1,2,3, D. O. Revin1,2, A. V. Vasil′ev1,2 Abstract Let G be a locally finite group and F (G) the Hirsch–Plotkin radical of G. Denote by S the full inverse image of the generalized Fitting subgroup of G/F (G) in G. Assume that there is a number k such that the length of every chain of nested centralizers in G does not exceed k. The Borovik–Khukhro conjecture states, in particular, that under this assumption the quotient G/S contains an abelian subgroup of index bounded in terms of k. We disprove this statement and prove some its weaker analog. Keywords: locally finite groups, centralizer lattice, c-dimension, k-tuple Dick- son’s conjecture Introduction Following [24], the maximal length of chains of nested centralizers of a group G is called the c-dimension of G (the same number is also known as the length of the centralizer lattice of G, see, e.g., [25]). Here we consider groups of finite c-dimension. The class of such groups is quite wide: it includes, for example, abelian groups, linear groups, torsion-free hyperbolic groups, and hence free groups. It is closed under taking subgroups, finite direct products, and extensions by finite groups; however, the c-dimension of a homomorphic image of a group from this class can be infinite. Obviously, each group of finite c-dimension satisfies the minimal condition on centralizers, therefore, it is a so-called MC -group. The minimal condition on centralizers is a useful notion in the class of arXiv:1708.03057v1 [math.GR] 10 Aug 2017 locally finite groups.
    [Show full text]
  • Composition Series of Arbitrary Cardinality in Abelian Categories
    COMPOSITION SERIES OF ARBITRARY CARDINALITY IN ABELIAN CATEGORIES ERIC J. HANSON AND JOB D. ROCK Abstract. We extend the notion of a composition series in an abelian category to allow the mul- tiset of composition factors to have arbitrary cardinality. We then provide sufficient axioms for the existence of such composition series and the validity of “Jordan–Hölder–Schreier-like” theorems. We give several examples of objects which satisfy these axioms, including pointwise finite-dimensional persistence modules, Prüfer modules, and presheaves. Finally, we show that if an abelian category with a simple object has both arbitrary coproducts and arbitrary products, then it contains an ob- ject which both fails to satisfy our axioms and admits at least two composition series with distinct cardinalities. Contents 1. Introduction 1 2. Background 4 3. Subobject Chains 6 4. (Weakly) Jordan–Hölder–Schreier objects 12 5. Examples and Discussion 21 References 28 1. Introduction The Jordan–Hölder Theorem (sometimes called the Jordan–Hölder–Schreier Theorem) remains one of the foundational results in the theory of modules. More generally, abelian length categories (in which the Jordan–Hölder Theorem holds for every object) date back to Gabriel [G73] and remain an important object of study to this day. See e.g. [K14, KV18, LL21]. The importance of the Jordan–Hölder Theorem in the study of groups, modules, and abelian categories has also motivated a large volume work devoted to establishing when a “Jordan–Hölder- like theorem” will hold in different contexts. Some recent examples include exact categories [BHT21, E19+] and semimodular lattices [Ro19, P19+]. In both of these examples, the “composition series” arXiv:2106.01868v1 [math.CT] 3 Jun 2021 in question are assumed to be of finite length, as is the case for the classical Jordan-Hölder Theorem.
    [Show full text]
  • Uniformly Recurrent Subgroups of Simple Locally Finite Groups
    UNIFORMLY RECURRENT SUBGROUPS OF SIMPLE LOCALLY FINITE GROUPS SIMON THOMAS Abstract. We study the uniformly recurrent subgroups of simple locally finite groups. 1. Introduction Let G be a countably infinite group and let SubG be the compact space of subgroups H 6 G. Then G acts as a group of homeomorphisms of SubG via the g −1 conjugation action, H 7! gHg . Following Glasner-Weiss [5], a subset X ⊆ SubG is said to be a uniformly recurrent subgroup or URS if X is a minimal G-invariant closed subset of SubG. For example, if N E G is a normal subgroup, then the singleton set f N g is a URS of G. Throughout this paper, these singleton URSs will be regarded as trivial URSs. More interesting examples of URSs arise as the stabilizer URSs of minimal actions. For example, suppose that ∆ is a compact space and that G y ∆ is a minimal G-action. Let f : ∆ ! SubG be the G-equivariant stabilizer map defined by x 7! Gx = f g 2 G j g · x = x g: and let X∆ = f(∆). If f is continuous, then it follows easily that X∆ is a URS of G; and, as expected, X∆ is called the stabilizer URS of the minimal action G y ∆. (It is well-known and easily checked that the map f : ∆ ! SubG is continuous if and only Fix∆(g) = f x 2 ∆ j g · x = x g is clopen for every g 2 G.) By Matte-Bon- Tsankov [16], if X ⊆ SubG is any URS of G, then there exists a minimal action G y ∆ such that the stabilizer map f : ∆ ! SubG is continuous and f(∆) = X.
    [Show full text]
  • Group Theory
    Group Theory Hartmut Laue Mathematisches Seminar der Universit¨at Kiel 2013 Preface These lecture notes present the contents of my course on Group Theory within the masters programme in Mathematics at the University of Kiel. The aim is to introduce into concepts and techniques of modern group theory which are the prerequisites for tackling current research problems. In an area which has been studied with extreme intensity for many decades, the decision of what to include or not under the time limits of a summer semester was certainly not trivial, and apart from the aspect of importance also that of personal taste had to play a role. Experts will soon discover that among the results proved in this course there are certain theorems which frequently are viewed as too difficult to reach, like Tate’s (4.10) or Roquette’s (5.13). The proofs given here need only a few lines thanks to an approach which seems to have been underestimated although certain rudiments of it have made it into newer textbooks. Instead of making heavy use of cohomological or topological considerations or character theory, we introduce a completely elementary but rather general concept of normalized group action (1.5.4) which serves as a base for not only the above-mentioned highlights but also for other important theorems (3.6, 3.9 (Gasch¨utz), 3.13 (Schur-Zassenhaus)) and for the transfer. Thus we hope to escape the cartesian reservation towards authors in general1, although other parts of the theory clearly follow well-known patterns when a major modification would not result in a gain of clarity or applicability.
    [Show full text]
  • Groups with All Subgroups Subnormal
    Note di Matematica Note Mat. 28 (2008), suppl. n. 2, 1-149 ISSN 1123-2536, e-ISSN 1590-0932 NoteDOI 10 Mat..1285/i128590(2008)0932v28n suppl.2supplp1 n. 2, 1–149. doi:10.1285/i15900932v28n2supplp1http://siba-ese.unisalento.it, © 2008 Università del Salento Groups with all subgroups subnormal Carlo Casolo Dipartimento di Matematica “Ulisse Dini”, Universit`adi Firenze, I-50134 Firenze Italy [email protected] Abstract. An updated survey on the theory of groups with all subgroups subnormal, in- cluding a general introduction on locally nilpotent groups, full proofs of most results, and a review of the possible generalizations of the theory. Keywords: Subnormal subgroups, locally nilpotent groups. MSC 2000 classification: 20E15, 20F19 1 Locally nilpotent groups In this chapter we review part of the basic theory of locally nilpotent groups. This will mainly serve to fix the notations and recall some definitions, together with some important results whose proofs will not be included in these notes. Also, we hope to provide some motivation for the study of groups with all subgroups subnormal (for short N1-groups) by setting them into a wider frame. In fact, we will perhaps include more material then what strictly needed to understand N1-groups. Thus, the first sections of this chapter may be intended both as an unfaithful list of prerequisites and a quick reference: as such, most of the readers might well skip them. As said, we will not give those proofs that are too complicate or, conversely, may be found in any introductory text on groups which includes some infinite groups (e.g.
    [Show full text]
  • Applications of Lie Ring Methods to Group Theory
    Applications of Lie ring methods to group theory Pavel Shumyatsky1 Department of Mathematics University of Brasilia 70910-900 Brasilia - DF, Brazil e-mail: [email protected] Abstract. This article was published in 2000. Its aim is to illustrate how a Lie-theoretic result of Zelmanov enables one to treat various problems in group theory. 1. Introduction Lie rings were associated with p-groups in the 30s in the context of the Restricted Burnside Problem and since then Lie ring methods proved to be an important and very effective tool of group theory. In the last 10 years the sphere of use of Lie rings was amplified considerably, mainly due to Zelmanov’s outstanding contribution. It has been known for some time that the following assertions are equiva- lent. 1.1. Let m and n be positive integers. Then there exists a number B(m, n) depending only on m and n such that the order of any m-generator finite group of exponent n is at most B(m, n). arXiv:1706.07963v1 [math.GR] 24 Jun 2017 1.2. The class of locally nilpotent groups of exponent n is a variety. 1.3. The class of locally finite groups of exponent n is a variety. 1.4. Any residually finite group of exponent n is locally finite. 1Research supported by FAPDF and CNPq 1 The Restricted Burnside Problem is exactly the question whether the first of the above assertions is true. In 1956 P. Hall and G. Higman reduced the problem to the case of prime-power exponent [11].
    [Show full text]
  • The CI Problem for Infinite Groups
    The CI problem for infinite groups Joy Morris∗ Department of Mathematics and Computer Science University of Lethbridge Lethbridge, AB. T1K 3M4. Canada [email protected] Submitted: Feb 24, 2015; Accepted: Nov 21, 2016; Published: Dec 9, 2016 Mathematics Subject Classifications: 05C25, 20B27 Abstract A finite group G is a DCI-group if, whenever S and S0 are subsets of G with the Cayley graphs Cay(G; S) and Cay(G; S0) isomorphic, there exists an automorphism ' of G with '(S) = S0. It is a CI-group if this condition holds under the restricted assumption that S = S−1. We extend these definitions to infinite groups, and make two closely-related definitions: an infinite group is a strongly (D)CIf -group if the same condition holds under the restricted assumption that S is finite; and an infinite group is a (D)CIf -group if the same condition holds whenever S is both finite and generates G. We prove that an infinite (D)CI-group must be a torsion group that is not locally- finite. We find infinite families of groups that are (D)CIf -groups but not strongly (D)CIf -groups, and that are strongly (D)CIf -groups but not (D)CI-groups. We discuss which of these properties are inherited by subgroups. Finally, we completely n characterise the locally-finite DCI-graphs on Z . We suggest several open problems related to these ideas, including the question of whether or not any infinite (D)CI- group exists. 1 Introduction Although there has been considerable work done on the Cayley Isomorphism problem for finite groups and graphs, little attention has been paid to its extension to the infinite case.
    [Show full text]
  • Uncountable Universal Locally Finite Groups
    JOURNAL OF ALGEBRA 43, 168-175 (1976) Uncountable Universal Locally Finite Groups ANGUS MACINTYRE* AND SAHARON SHELAH Department of Mathematics, Yale University, New Haven, Connecticut 06520 Department of Mathematics, The Hebrew University, Jerusalem, Israel Communicated by Walter Feit Received June 18, 1975 In this paper we solve some group-theoretic problems by the method of indiscernibles in infinitary logic. The problems under consideration come from the book “Locally Finite Groups,” by Kegel and Wehrfritz [3], and concern a class of groups first studied by Philip Hall [2]. Hall introduced the notion of universal locally finite group, and proved the following results: (a) Any locally finite group H of cardinal K can be embedded in a universal locally finite group G of cardinal maX(K, N,); (b) Any two countable universal locally finite groups are isomorphic. In the light of this Kegel and Wehrfritz raised two questions. [3, pp. 182-1831. These are I. SUppOSe K > 8,. Are any two universal locally finite groups of cardinal K isomorphic ? II. Suppose H is a locally finite group of cardinal K, where K > N, . Is H embeddable in every universal locally finite group of cardinal K ? We answer both questions in the negative for all uncountable K. Concerning I, we show that there are 2” isomorphism types of universal locally finite groups of cardinal K, if K > N, . Moreover, if K is regular and K > N, , there are 2” pairwise nonembeddable universal locally finite groups of cardinal K. Concerning II, we show, for example, that if K = 2*o then a counterexample is given by taking H = Ssw.
    [Show full text]
  • Primer on Group Theory
    Groups eric auld Original: February 5, 2017 Updated: August 15, 2017 Contents What is #Grk;npFpq? I. Group Actions 1.1. Semi-direct products that differ by postcomposition with Aut AutpNq are isomorphic (unfinished). 1.2. Number of subgroups of finite index (unfinished). Maybe has something to do with the notion that G Ñ Sn ö gives isic stabilizers? (if that's true) 1.3. k fixes gH iff k is in gHg´1. kgH “ gH ú g´1kgH “ H g´1kg P H k P gHg´1 1.4. Corollary. The stabilizer of gH in K œ rG : Hs is K X gHg´1. 1.5. Corollary. The fixed cosets of H œ rG : Hs comprise the normalizer of H. The fixed points of H œ rG : Hs are those such that StabH pgHq “ H H X gHg´1 “ H: 1.6. [?, p. 3] If I have a G map X Ñ Y of finite sets, where Y is transitive, then #Y | #X. 1.6.1. Remark. In particular this map must be surjective, because I can get to any y from any other y by multiplication. The action of G œ X is G œ rG : Hs for some finite index subgroup. Look where eH goes...then label Y as G œ rG : Ks where K is the stabilizer of where eH goes. Always Stab'x ¡ Stabx, so we know that K ¡ H. 1 Proof 2: We show that all fibers are the same size. If y1 “ gy, then f ´1rys ÑÐ f ´1ry1s x ÞÑ g ¨ x g´1 ¨ ξ ÞÑ ξ 1.7.
    [Show full text]
  • On Finite and Locally Finite Subgroups of Free Burnside Groups of Large Even Exponents
    JOURNAL OF ALGEBRA 195, 241]284Ž. 1997 ARTICLE NO. JA966941 On Finite and Locally Finite Subgroups of Free Burnside Groups of Large Even Exponents S. V. Ivanov* Department of Mathematics, Uni¨ersity of Illinois at Urbana]Champaign, 1409 West View metadata, citation and similar papersGreen at Street,core.ac.uk Urbana, Illinois 61801 brought to you by CORE provided by Elsevier - Publisher Connector and A. Yu. Ol'shanskii² Department of Mechanics and Mathematics, Moscow State Uni¨ersity, Moscow 119899, Russia Communicated by Efim Zelmano¨ Received October 8, 1996 The following basic results on infinite locally finite subgroups of a free m-gener- 48 ator Burnside group BmŽ.,n of even exponent n, where m ) 1 and n G 2,nis divisible by 29, are obtained: A clear complete description of all infinite groups that are embeddable in BmŽ.Ž,n as maximal . locally finite subgroups is given. Any infinite locally finite subgroup L of BmŽ.,n is contained in a unique maximal locally finite subgroup, while any finite 2-subgroup of BmŽ.,n is contained in continuously many pairwise nonisomorphic maximal locally finite subgroups. In addition, L is locally conjugate to a maximal locally finite subgroup of BmŽ.,n.To prove these and other results, centralizers of subgroups in BmŽ.,n are investi- gated. For example, it is proven that the centralizer of a finite 2-subgroup of BmŽ.,n contains a subgroup isomorphic to a free Burnside group B Ž.`, n of countably infinite rank and exponent n; the centralizer of a finite non-2-subgroup of BmŽ.,n or the centralizer of a nonlocally finite subgroup of Bm Ž.,n is always finite; the centralizer of a subgroup S is infinite if and only if S is a locally finite 2-group.
    [Show full text]
  • Group Theory and the Rubik's Cube
    Group Theory and the Rubik’s Cube Robert A. Beeler, Ph.D. East Tennessee State University October 18, 2019 Robert A. Beeler, Ph.D. (East Tennessee State UniversityGroup Theory ) and the Rubik’s Cube October 18, 2019 1 / 81 Legal Acknowledgement Rubik’s Cuber used by permission Rubiks Brand Ltd. www.rubiks.com Robert A. Beeler, Ph.D. (East Tennessee State UniversityGroup Theory ) and the Rubik’s Cube October 18, 2019 2 / 81 Word of the day Metagrobology - fancy word for the study of puzzles. “If you can’t explain it simply, you don’t understand it well enough.” - Albert Einstein Robert A. Beeler, Ph.D. (East Tennessee State UniversityGroup Theory ) and the Rubik’s Cube October 18, 2019 3 / 81 Some Definitions From Group Theory The nth symmetric group is the set of all permutations on [n]. The binary operation on this group is function composition. The nth alternating group is the set of all even permutations on [n]. The binary operation on this group is function composition. This group is denoted An. The nth cyclic group is the set of all permutations on [n] that are generated by a single element a such that an = e. This group is denoted Zn. Robert A. Beeler, Ph.D. (East Tennessee State UniversityGroup Theory ) and the Rubik’s Cube October 18, 2019 4 / 81 Some Conventions Any permutation will be written as the product of disjoint cycles with fixed points omitted. Note that a cycle of odd length is an even permutation. Likewise, a cycle of even length is an odd permutation.
    [Show full text]