Sylow Subgroups Which Are Maximal in the Universal Locally Finite Group of Philip Hall

Total Page:16

File Type:pdf, Size:1020Kb

Sylow Subgroups Which Are Maximal in the Universal Locally Finite Group of Philip Hall Journal of Algebra 215, 229᎐234Ž. 1999 Article ID jabr.1998.7685, available online at http:rrwww.idealibrary.com on Sylow Subgroups Which Are Maximal in the Universal Locally Finite Group of Philip Hall Marianna Dalle Molle View metadata, citation and similar papers at core.ac.uk brought to you by CORE ¨ ¨ ¨ Dipartimento di Matematica Pura ed Applicata, Uni ersita di Pado a, ia Belzoni 7, provided by Elsevier - Publisher Connector 35131 Padua, Italy E-mail: [email protected] Communicated by Peter M. Neumann Received November 18, 1997 For every prime p, we construct a subgroup of Philip Hall's universal locally finite group which is both maximal and a p-group. This provides an example of a simple locally finite group with a maximal subgroup which is locally nilpotent. ᮊ 1999 Academic Press 1. INTRODUCTION In this paper we prove that for each prime p, P. Hall's universal countable locally finite groupŽ seewx 4. has a maximal subgroup that is a p-group, thus providing an example of an infinite locally finite simple group that contains maximal, locally nilpotent p-subgroups. Therefore, Thompson's theorem stating that a finite group which contains a maximal nilpotent subgroup of odd order is solvableŽ seewx 5, Theorem 10.4.2 . cannot be extended to prove the local solvability of locally finite groups containing maximal, locally nilpotent subgroups. One generalization of Thompson's result to linear groups was given by Wehrfritz inw 6, Theorem 12.8x : a periodic linear group G with a maximal locally nilpotent subgroup M is solvable provided the Sylow subgroups of M fulfill certain conditions. wx r In 1 these conditions were relaxed to require that either M coreGŽ.M is not a 2-group or it is nilpotent of class at most 2. The simple group PSLŽ. 2, 17 , which has a dihedral group of order 16 and nilpotency class 3 as maximal subgroup, shows that the restrictions are necessary in the case r wx that M coreGŽ.M is a 2-group. Bruno and Schuur in 2 extended this theme to a locally finite group G, finding among other things that G is 229 0021-8693r99 $30.00 Copyright ᮊ 1999 by Academic Press All rights of reproduction in any form reserved. 230 MARIANNA DALLE MOLLE solvable if it contains a maximal subgroup M satisfying one of the following conditions: r Ž.i M is nilpotent and M coreGŽ.M is not a p-group for any prime p, Ž.ii M is nilpotent of class at most 2, Ž.iii M is nilpotent and has min-p for the odd primes p involved in M, and the Sylow 2-subgroup of M has nilpotency class at most 2. The main result of this paper is the following: THEOREM 1.1. The countable uni¨ersal locally finite group U constructed by Philip HallŽ see wx4 . contains, for each prime p, a maximal subgroup that is ap-group. We recall the definition of the universal group U. Let G1 be the symmetric group on 3 elements. Define a sequence of groups Gn and ␦ ª embeddings nn: G G nq1 inductively in the following way: Gnq1 is the ␦ symmetric group on the set Gnnand is the right regular representation of G into SymŽ.G . We define U to be the direct limit lim Ä4G , ␦ . nn ª nn ␦ Generally, we will identify Gnnwith the subgroup Ž.Gnof Gnq1, so that U can be thought of as the union of all groups Gn. 2. REDUCTION For the remainder of the paper, let p be a fixed prime. Note 2.1. Clearly the definition of U is not affected if we omit finitely many terms of the series Ä4Gn . So, for technical reasons, we may assume s that the first term of the series Ä4Gn defined above is G1 SymŽ.k , where ) X k 5p. Consider now the series ÄGn4 of derived subgroupsŽ recall that the X s D X Gnnare alternating groups. Then U Gn, since U is simple. Moreover, ␦ X g Gnnis embedded via in the alternating group Gnq1, since for all x Gn < < ␦ the index Gnn: ²:x is even and so Ž.x is the product of an even number of cycles of length <²:x <. Starting from the chain of groups Gn described in Note 2.1, we will find a chain Ä4Pnn, where P is a Sylow p-subgroup of Gn, such that the D p-subgroup nnP is a maximal subgroup of U. The key for the construc- tion of the groups Pn lies in the following proposition whose proof is given in Sections 3 and 4. ¨ PROPOSITION 2.2. For any natural number n, gi en a Sylow p-subgroup Pn g _ of Gnn and x G Pn, there exists a Sylow p-subgroup Pnq1 of Gnq1 such - G X that PnnPq1 and²: x, Pnq1 Gnq1. SYLOW SUBGROUPS 231 Obser¨ation 2.3. Proposition 2.2 implies Theorem 1.1. g ގ Proof. Let k and Pkkbe a Sylow p-subgroup of G . Then there is a s G q - - иии - natural number m fkŽ. k 1 and a sequence PkkP q1 - F F Pmy1 Pmj, where P is a Sylow p-subgroup of Gjfor k j m, such that G X g _ _ s ²:x, PmG mfor all x GkkP : for, let GkkP Ä4x12, x ,..., x s . Us- ing Proposition 2.2, choose Pkq1, a Sylow p-subgroup of Gkq1, such that - G X g _ PkkP q11and ²:x , Pkq1 Gkq12. Since x Gkq1 Pkq1, again by g - Proposition 2.2, we can choose Pkq2 Syl pkŽ.G q2 such that Pkq1 Pkq2 G X and ²:x2 , Pkq2 Gkq2 . Repeat the construction and get that Pkqi is a - G X Sylow p-subgroup of Gkqiksuch that P qiy1 Pkqiikand ²:x , P qikG qi for all i s 1,...,s. Set m s fkŽ.s k q s. For i s 1,...,s, we have X X ²:²x , P G x , P q , P :²G G q , P :²G x , P :G G , since x is in im ikimX kim sm mX s Gkkwhich is embedded in G q1 Ž.see Note 2.1 and so also in Gkqi. Now, fix s s a Sylow p-subgroup P11of G , set m 01 and mttfmŽ.y1 , and consider - the sequence of Sylow p-subgroups Pjjof G as constructed above: P12P - иии - P - P q - иии - P - иии - P - иии . By construction mm11X 1 mm2 t ²:x, P G G for all t and x g G _ P . Set M s D P . We claim mmtt mmty1 ty1 ii that M is a maximal subgroup of U.Sofor x g U _ M and g g U we have to prove that g g ²:x, M . Since x g U and x f M, there exists a natural number l such that x g G _ P for all h G l. By Note 2.1, since g g U, hh X there is a natural number k such that m y G l and g g G . Then X k 1 m k x g G _ P and so ²:x, P G G . It follows that g g ²:x, M . mmky 1 ky1 mkk m A theorem of JordanŽ seewx 3, Theorem 3.3E. states that a primitive permutation group of degree n ) p q 2 containing a p-cycle is either alternating or symmetricŽ. the condition p a prime is necessary . Thus, X since any Sylow p-subgroup of Gnq1 contains a p-cycle and Gnq1 is an alternating group, in order to prove Proposition 2.2 it is enough to find for g _ each x GnnP a Sylow p-subgroup Pnq1 of Gnq1 such that ²:x, Pnq1 is transitive and primitive on Gn. The remainder of the paper is devoted to the proof of the existence of a Sylow p-subgroup Pnq1 of Gnq1 with the desired properties. 3. CRITERION Let G be a group acting on a set ⍀. Recall that ⌳ : ⍀ is a Jordan set for G on ⍀ if <<⌳ ) 1 and there exists a subgroup of G acting transitively on ⌳ and trivially on ⍀ _ ⌳. LEMMA 3.1wx 3, Lemma 7.4B . Suppose that a group G acts transiti¨ely and imprimiti¨ely on a set ⍀. Let ⌳ be a Jordan subset on ⍀ and let B be a nontri¨ial block for G such that B l ⌳ / л. Then either B : ⌳ or ⌳ : B. 232 MARIANNA DALLE MOLLE Proof. Suppose B ­ ⌳, and let b be an element in B _ ⌳ and ␭ g B l ⌳. Since ⌳ is a Jordan set, there is a subgroup H of G that fixes all elements of ⍀ _ ⌳ and is transitive on ⌳. Hence, for each h g H, we have bh s b g B l Bh, and therefore B s Bh. The transitivity of H on ⌳ implies ⌳ s ␭H, and so ⌳ ; B. The Sylow p-subgroups of the symmetric groups will play a fundamental part in the following proofs. So we recall their structure and properties. For more details seewx 3, Example 2.6.1 . Note 3.2. We first describe the structure of the Sylow p-subgroups of a symmetric group SymŽ.⍀ over a finite set ⍀ of order p s with s G 1. Under this assumption a Sylow p-subgroup Q of SymŽ.⍀ is isomorphic to иии the iterated wreath product Cppwr C wr wr C pwith s factors. Since the wreath product of two transitive permutation groups is transitive on the cartesian product of their supports, the group Q is transitive on ⍀ by <<⍀ s a ¦ s ␣ induction.
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]
  • 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]
  • 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]
  • 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......................
    [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]
  • 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]
  • A Crash Course on Group Theory
    A Crash Course on Group Theory Peter J. Cameron School of Mathematics and Statistics University of St Andrews North Haugh St Andrews, Fife KY16 9SS UK [email protected] ii Contents 1 Finite groups 1 1.1 What is a group? . .1 1.2 Subgroups . .6 1.3 Group actions . .9 1.4 Homomorphisms and normal subgroups . 11 1.5 Examples of groups . 14 1.6 Sylow’s theorem . 21 1.7 The Jordan–Holder¨ theorem . 23 1.8 The finite simple groups . 25 1.9 Groups of prime power order . 27 2 Infinite groups 29 2.1 Free groups . 29 2.2 Presentations of groups . 32 2.3 Algorithmic questions . 34 2.4 Periodic and locally finite groups . 37 2.5 Residually finite and profinite groups . 39 2.6 Oligomorphic permutation groups . 41 iii iv CONTENTS Preface On a visit to Universidade de Lisboa in November 2016, I was asked to give a “crash course” in group theory. The only specifications were that the course should cover both finite and infinite groups and should be accessible to students. This is a tall order. I have tried to meet it by starting at the beginning, moving fairly fast, omitting many proofs (this means leaving many proofs to the reader). But I hope the result is still of some use, so I am making the notes of the course available. There is a clear focus in the chapter on finite groups: we want to be able to describe them all. The Jordan–Holder¨ theorem reduces the problem to describing the finite simple groups and how general groups are built out of simple groups: the Classification of Finite Simple Groups solves the first part; a discussion of groups of prime power order shows that we cannot expect a nice solution to the second.
    [Show full text]
  • Matrix Groups
    Matrix groups Peter J. Cameron 1 Matrix groups and group representations These two topics are closely related. Here we consider some particular groups which arise most naturally as matrix groups or quotients of them, and special properties of matrix groups which are not shared by arbitrary groups. In repre- sentation theory, we consider what we learn about a group by considering all its homomorphisms to matrix groups. This article falls roughly into two parts. In the first part we discuss proper- ties of specific matrix groups, especially the general linear group (consisting of all invertible matrices of given size over a given field) and the related “classical groups”. In the second part, we consider what we learn about a group if we know that it is a linear group. Most group theoretic terminology is standard and can be found in any text- book. A few terms we need are summarised in the next definition. Let X and Y be group-theoretic properties. We say that a group G is locally X if every finite subset of G is contained in a subgroup with property X; G is X- by-Y if G has a normal subgroup N such that N has X and G/N has Y; and G is poly-X if G has subgroups N0 = 1,N1,...,Nr = G such that, for i = 0,...,r − 1, Ni is normal in Ni+1 and the quotient has X. Thus a group is locally finite if and only if every finitely generated subgroup is finite; and a group is solvable if and only if it is poly-abelian.
    [Show full text]
  • Varieties and Finite Groups 1
    VARIETIES AND FINITE GROUPS 1 L. G. KOVACS (Received 8 December 1967) The theory of discrete, abstract groups, as presented in current texts, consists of investigations of various special classes of groups: it has very few completely general results. For some classes (say, for finite groups) the investigations have been extensive and successful; in a few cases (say, for finitely generated abelian groups) they have even reached a sense of completeness. The choice of some of these classes was dictated by the needs of other branches of mathematics. Many more were introduced with the view of extending the scope of certain powerful but special results, and a large part of the literature is taken up by elaborate counterexamples which mark the limits of these generalizations. In so far as one is looking for some kind of classification theory, it is immediately evident that the classes investigated were chosen by historical accident rather than by any master plan, and so far do not appear to form the initial part of a pattern which could be enlarged and completed in the future. Into this unsatisfactory picture of the classification problem of group theory, varieties bring a ray of hope. These are classes of groups selected by a single principle. Their study offers a reasonably balanced approach: this classification is fine enough not to become trivial even if one thinks only of finite groups, and yet there are not so many classes as to escape a manageable, although again non-trivial, pattern. While not all formerly considered classes are varieties, many of the important ones can at least be approximated by varieties.
    [Show full text]
  • Locally Finite and Solvable Subgroups of Sfields
    LOCALLY FINITE AND SOLVABLE SUBGROUPS OF SFIELDS R. J. FAUDREE1 In this paper we will determine all locally finite subgroups of a sfield and give a criterion for determining when the group algebra of an ascending solvable torsion free group has a quotient sfield. Notation and Definitions. A group G has property E if it can be embedded in a sfield D and property EE if every automorphism of the group G can be extended to be an automorphsim of D. For a more complete discussion see [5]. The result on locally finite groups depends mainly on a result of Amitsur (see [l]). A complete discussion of the following notation can be found in his paper. ■kwill denote the set of all primes and 7Tithe set of all odd primes p such that 2 has odd order mod p. Let m and r be relatively prime integers. Put s= (r — 1, m), t = m/s and « = minimal integer satisfying rn=l mod m. Denote by Gm,r a group generated by two elements A and B satisfying Am = \, Bn = Al and BAB~l = Ar. Denote by G", a group G which has a countable ascending tower of subgroups {Hí:0^í< oo j such that G = U°Li Hi and each Hi is isomorphic to Gmi,Ti. T*, 0*, I* will denote the binary tetrahedral, octahedral and icosahedral groups. Let p be a fixed prime dividing m. a = ap is the highest power of p dividing m. i]p is the minimal integer satisfying r^=\ mod (mp~a). pp is the minimal integer satisfying r"» = £" mod (mp~a) for some integer p'.
    [Show full text]