Arxiv:1705.02954V2 [Math.GR] 2 Sep 2017 If Rdtt Ee O Onn H Term the Sur Coining a for in Kegel Groups
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Math 602, Fall 2002. BIII (A). We First Prove the Following Proposition
Homework I (due September 30), Math 602, Fall 2002. BIII (a). We first prove the following proposition: Proposition 1.1 Given a group G, for any finite normal subgroup, H, of G and any p-Sylow subgroup P of H, we have G = NG(P )H. Proof . For every g ∈ G, clearly, g−1P g is a subgroup of g−1Hg = H, since H is normal in G. Since |g−1P g| = |P |, the subgroup g−1P g is also a p-Sylow subgroup of H. By Sylow II, g−1P g is some conjugate of P in H, i.e., g−1P g = hP h−1 for some h ∈ H. −1 −1 Thus, ghP h g = P , which implies that gh ∈ NG(P ), so g ∈ NG(P )H. Since the reasoning holds for every g ∈ G, we get G = NG(P )H. Now, since H is normal in G, by the second homomorphism theorem, we know that ∼ G/H = (NG(P )H)/H = NG(P )/(NG(P ) ∩ H). Moreover, it is clear that NG(P ) ∩ H = ∼ NH (P ), so G/H = NG(P )/NH (P ), as desired. (b) We shall prove that every p-Sylow subgroup of Φ(G) is normal in Φ(G) (and in fact, in G). From this, we will deduce that Φ(G) has property (N). Indeed, if we inspect the proof of the proposition proved in class stating that if G is a finite group that has (N), then G is isomorphic to the product of its p-Sylow subgroups, we see that this proof only depends on the fact that every p-Sylow subgroup of G is normal in G. -
A CHARACTERISTIC SUBGROUP of a P-GROUP
Pacific Journal of Mathematics A CHARACTERISTIC SUBGROUP OF A p-GROUP CHARLES RAY HOBBY Vol. 10, No. 3 November 1960 A CHARACTERISTIC SUBGROUP OF A p-GROVP CHARLES HOBBY If x, y are elements and H, K subsets of the p-group G, we shall denote by [x, y] the element y~px~p(xy)p of G, and by [H, K] the sub- group of G generated by the set of all [h, k] for h in H and k in K. We call a p-group G p-abelίan if (xy)p = xpyp for all elements x, y of G. If we let Θ(G) — [G, G] then #(G) is a characteristic subgroup of G and Gjθ{G) is p-abelian. In fact, Θ(G) is the minimal normal subgroup N of G for which G/AΓ is p-abelian. It is clear that Θ(G) is contained in the derived group of G, and G/Θ(G) is regular in the sense of P. Hall [3] Theorem 1 lists some elementary properties of p-abelian groups. These properties are used to obtain a characterization of p-groups G (for p > 3) in which the subgroup generated by the pth powers of elements of G coincides with the Frattini subgroup of G (Theorems 2 and 3). A group G is said to be metacyclic if there exists a cyclic normal sub- group N with G/N cyclic. Theorem 4 states that a p-group G, for p > 2, is metacyclic if and only if Gjθ(G) is metacyclic. -
Automorphism Groups of Free Groups, Surface Groups and Free Abelian Groups
Automorphism groups of free groups, surface groups and free abelian groups Martin R. Bridson and Karen Vogtmann The group of 2 × 2 matrices with integer entries and determinant ±1 can be identified either with the group of outer automorphisms of a rank two free group or with the group of isotopy classes of homeomorphisms of a 2-dimensional torus. Thus this group is the beginning of three natural sequences of groups, namely the general linear groups GL(n, Z), the groups Out(Fn) of outer automorphisms of free groups of rank n ≥ 2, and the map- ± ping class groups Mod (Sg) of orientable surfaces of genus g ≥ 1. Much of the work on mapping class groups and automorphisms of free groups is motivated by the idea that these sequences of groups are strongly analogous, and should have many properties in common. This program is occasionally derailed by uncooperative facts but has in general proved to be a success- ful strategy, leading to fundamental discoveries about the structure of these groups. In this article we will highlight a few of the most striking similar- ities and differences between these series of groups and present some open problems motivated by this philosophy. ± Similarities among the groups Out(Fn), GL(n, Z) and Mod (Sg) begin with the fact that these are the outer automorphism groups of the most prim- itive types of torsion-free discrete groups, namely free groups, free abelian groups and the fundamental groups of closed orientable surfaces π1Sg. In the ± case of Out(Fn) and GL(n, Z) this is obvious, in the case of Mod (Sg) it is a classical theorem of Nielsen. -
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. -
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. -
Free and Linear Representations of Outer Automorphism Groups of Free Groups
Free and linear representations of outer automorphism groups of free groups Dawid Kielak Magdalen College University of Oxford A thesis submitted for the degree of Doctor of Philosophy Trinity 2012 This thesis is dedicated to Magda Acknowledgements First and foremost the author wishes to thank his supervisor, Martin R. Bridson. The author also wishes to thank the following people: his family, for their constant support; David Craven, Cornelia Drutu, Marc Lackenby, for many a helpful conversation; his office mates. Abstract For various values of n and m we investigate homomorphisms Out(Fn) ! Out(Fm) and Out(Fn) ! GLm(K); i.e. the free and linear representations of Out(Fn) respectively. By means of a series of arguments revolving around the representation theory of finite symmetric subgroups of Out(Fn) we prove that each ho- momorphism Out(Fn) ! GLm(K) factors through the natural map ∼ πn : Out(Fn) ! GL(H1(Fn; Z)) = GLn(Z) whenever n = 3; m < 7 and char(K) 62 f2; 3g, and whenever n + 1 n > 5; m < 2 and char(K) 62 f2; 3; : : : ; n + 1g: We also construct a new infinite family of linear representations of Out(Fn) (where n > 2), which do not factor through πn. When n is odd these have the smallest dimension among all known representations of Out(Fn) with this property. Using the above results we establish that the image of every homomor- phism Out(Fn) ! Out(Fm) is finite whenever n = 3 and n < m < 6, and n of cardinality at most 2 whenever n > 5 and n < m < 2 . -
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. -
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...................... -
P-Groups with a Unique Proper Non-Trivial Characteristic Subgroup ∗ S.P
View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Algebra 348 (2011) 85–109 Contents lists available at SciVerse ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra p-Groups with a unique proper non-trivial characteristic subgroup ∗ S.P. Glasby a,P.P.Pálfyb, Csaba Schneider c, a Department of Mathematics, Central Washington University, WA 98926-7424, USA b Alfréd Rényi Institute of Mathematics, 1364 Budapest, Pf. 127, Hungary c Centro de Álgebra da Universidade de Lisboa, Av. Prof. Gama Pinto, 2, 1649-003 Lisboa, Portugal article info abstract Article history: We consider the structure of finite p-groups G having precisely Received 23 July 2010 three characteristic subgroups, namely 1, Φ(G) and G.Thestruc- Available online 21 October 2011 ture of G varies markedly depending on whether G has exponent Communicated by Aner Shalev p or p2, and, in both cases, the study of such groups raises deep problems in representation theory. We present classification the- MSC: 20D15 orems for 3- and 4-generator groups, and we also study the ex- 2 20C20 istence of such r-generator groups with exponent p for various 20E15 values of r. The automorphism group induced on the Frattini quo- 20F28 tient is, in various cases, related to a maximal linear group in Aschbacher’s classification scheme. Keywords: © 2011 Elsevier Inc. All rights reserved. UCS-groups Finite p-groups Automorphism groups Characteristic subgroups 1. Introduction Taunt [Tau55] considered groups having precisely three characteristic subgroups. As such groups have a unique proper non-trivial characteristic subgroup, he called these UCS-groups. -
7. Minimal Normal Subgroups and the Socle Throughout This Section G Is A
34 NICK GILL 7. Minimal normal subgroups and the socle Throughout this sectionG is a nontrivial group. A minimal normal subgroup ofG is a normal subgroup K= 1 ofG which does not contain any other nontrivial normal subgroup ofG. The socle, soc(G) is the subgroup� generated by the set of all minimal normal subgroups (ifG has no minimal normal subgroups, then we set soc(G) = 1). (E7.1)Find the socle ofD 10,A 4,S 4,S 4 Z. × (E7.2)Give an example of a group that has no minimal normal subgroup. (E7.3)IfG is the direct product of a (possibly infinite) number of finite simple groups, then what is soc(G)? (E7.4)Give a characteri ation of almost simple groups in terms of their socle. Clearly soc(G) is a characteristic subgroup ofG. 26 Theorem 7.1. LetG be a nontrivial finite group. (1) IfK is a minimal normal subgroup ofG, andL is any normal subgroup ofG, then eitherK L or K,L =K L. 27 ≤ (2) There� exist� minimal× normal subgroupsK ,...,K ofG such that soc(G)=K K . 1 m 1 × · · · m (3) Every minimal normal subgroupK ofG is a direct productK=T 1 T k where theT i are simple normal subgroups ofK which are conjugate inG. × · · · (4) If the subgroupsK i in (2) are all nonabelian, thenK 1,...,Km are the only minimal normal sub- groups ofG. Proof. (1) #inceK L�G, the minimality ofK implies that eitherK L orK L= 1 . $n the latter case, since∩ K andL are both normal, we have that K,L =≤KL=K∩L. -
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. -
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.