Lecture 4, Geometric and Asymptotic Group Theory

Total Page:16

File Type:pdf, Size:1020Kb

Lecture 4, Geometric and Asymptotic Group Theory Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Quasi-isometry Limit groups Free actions Lecture 4, Geometric and asymptotic group theory Olga Kharlampovich NYC, Sep 16 1 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions The universal property of free groups allows one to describe arbitrary groups in terms of generators and relators. Let G be a group with a generating set S. By the universal property of free groups there exists a homomorphism ': F (S) ! G such that '(s) = s for s 2 S. It follows that ' is onto, so by the first isomorphism theorem G ' F (S)=ker('): In this event ker(') is viewed as the set of relators of G, and a group word w 2 ker(') is called a relator of G in generators S. If a subset R ⊂ ker(') generates ker(') as a normal subgroup of F (S) then it is termed a set of defining relations of G relative to S. 2 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions The pair hS j Ri is called a presentation of G, it determines G uniquely up to isomorphism. The presentation hS j Ri is finite if both sets S and R are finite. A group is finitely presented if it has at least one finite presentation. Presentations provide a universal method to describe groups. Example of finite presentations 1 G = hs1;:::; sn j [si ; sj ]; 81 ≤ i < j ≤ ni is the free abelian group of rank n. n 2 Cn = hs j s = 1i is the cyclic group of order n. 3 Both presentations ha; b j ba2b−1a−3i and ha; b j ba2b−1a−3; [bab−1; a3]i define the Baumslag-Solitar group BS(2; 3) (HWP7 Prove that these presentations define isomorphic groups). 3 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions If a group G is defined by a presentation, then one can try to find homomorphisms from G into other groups. Lemma Let G = hS j Ri be a group defined by a (finite) presentation with the set of relators R = fr = y (j) ::: y (j) j y (j) 2 S±1; 1 ≤ j ≤ mg, j i1 ij i and let H be an arbitrary group. A map : S±1 ! H extends to a homomorphism ~: G ! H, if and only if (r ) = (y (j)) : : : (y (j)) = 1 in H for all r 2 R. j i1 ij j Proof Define the map ~: G ! H by ~ (yn1 ::: ynt ) = (yn1 ) : : : (ynt ); ±1 ~ whenever yni 2 S . If is a homomorphism, then obviously ~(rj ) = 1 for all rj 2 R. 4 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions The converse follows from Lemma (Mapping property of quotient groups) Let N be a normal subgroup of G, let G = G=N, and let π : G ! G be the canonical map, π(g) =g ¯ = gN. Let φ : G ! G 0 be a homomorphism such that N ≤ Ker(φ). Then there is a unique homomorphism φ : G ! G 0 such that φ ◦ π = φ. This map is defined by the rule φ(¯g) = φ(g): π G ! G φ &# φ G 0 5 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions Let G be a group, by the commutant (or derived subgroup) G 0 of G we mean the subgroup generated by all the commutators [g; b] = gbg −1b−1 in G. Since a[g; b]a−1 = [aga−1; aba−1], the commutant is a normal subgroup of G. The quotient G=G 0 is called the abelianization of G. G=G 0 is an abelian group. For example, the abelianization of a free group Fn is the free abelian group of rank n. In general, if G = hs1;:::; sn j r1;:::; rmi; then 0 G=G = hs1;:::; sn j r1;:::; rm; [si ; sj ](1 ≤ i < j ≤ n)i 6 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions As the following corollary shows, the abelianization G=G 0 is the largest abelian quotient of G, in a sense. Corollary Let H be an abelian quotient of G, and let ν : G ! G=G 0 and : G ! H be the natural homomorphisms. Then there is a homomorphism ': G=G 0 ! H so that the following diagram commutes: G ! G=G 0 &# ' H 7 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions Proof. 0 Let G be generated by S = fs1;:::; sng, then G=G is generated by ν(S) = fν(s1); : : : ; ν(sn)g. We still denote ν(si ) by si , since we want to fix the alphabet S±1 for both G and G=G 0. Hence, G=G 0 has the presentation above. Define a map '0 : ν(S) ! H by 0 0 ' (si ) = (si ) for all i. Observe that ' (rj ) = (rj ) = 1 in H, since is a homomorphism and rj = 1 in G. Also, 0 ' ([si ; sj ]) = ([si ; sj ]) = [ (si ); (sj )] = 1, since H is abelian. It follows now from the previous lemma that the map '0 extends to a homomorphism from G=G 0 to H. 8 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions More groups given by generators and relations The free Burnside group of exponent n with two generators is given by the presentation ha; b j un = 1i for all words u in the alphabet a; b. The fundamental group of the orientable surface of genus n is given by the presentation ha1; b1; :::; an; bn j [a1; b1]:::[an; bn] = 1i: 9 / 32 Preliminaries Presentations of groups Finitely generated groups viewed as metric spaces Homomorphisms of groups Quasi-isometry Limit groups Free actions Group presentations The object of study in Geometric Group Theory- finitely generated groups given by presentations ha1; :::; an j r1; r2; :::i, where ri is a word in a1; :::; an.
Recommended publications
  • On Abelian Subgroups of Finitely Generated Metabelian
    J. Group Theory 16 (2013), 695–705 DOI 10.1515/jgt-2013-0011 © de Gruyter 2013 On abelian subgroups of finitely generated metabelian groups Vahagn H. Mikaelian and Alexander Y. Olshanskii Communicated by John S. Wilson To Professor Gilbert Baumslag to his 80th birthday Abstract. In this note we introduce the class of H-groups (or Hall groups) related to the class of B-groups defined by P. Hall in the 1950s. Establishing some basic properties of Hall groups we use them to obtain results concerning embeddings of abelian groups. In particular, we give an explicit classification of all abelian groups that can occur as subgroups in finitely generated metabelian groups. Hall groups allow us to give a negative answer to G. Baumslag’s conjecture of 1990 on the cardinality of the set of isomorphism classes for abelian subgroups in finitely generated metabelian groups. 1 Introduction The subject of our note goes back to the paper of P. Hall [7], which established the properties of abelian normal subgroups in finitely generated metabelian and abelian-by-polycyclic groups. Let B be the class of all abelian groups B, where B is an abelian normal subgroup of some finitely generated group G with polycyclic quotient G=B. It is proved in [7, Lemmas 8 and 5.2] that B H, where the class H of countable abelian groups can be defined as follows (in the present paper, we will call the groups from H Hall groups). By definition, H H if 2 (1) H is a (finite or) countable abelian group, (2) H T K; where T is a bounded torsion group (i.e., the orders of all ele- D ˚ ments in T are bounded), K is torsion-free, (3) K has a free abelian subgroup F such that K=F is a torsion group with trivial p-subgroups for all primes except for the members of a finite set .K/.
    [Show full text]
  • Finitely Generated Groups Are Universal
    Finitely Generated Groups Are Universal Matthew Harrison-Trainor Meng-Che Ho December 1, 2017 Abstract Universality has been an important concept in computable structure theory. A class C of structures is universal if, informally, for any structure, of any kind, there is a structure in C with the same computability-theoretic properties as the given structure. Many classes such as graphs, groups, and fields are known to be universal. This paper is about the class of finitely generated groups. Because finitely generated structures are relatively simple, the class of finitely generated groups has no hope of being universal. We show that finitely generated groups are as universal as possible, given that they are finitely generated: for every finitely generated structure, there is a finitely generated group which has the same computability-theoretic properties. The same is not true for finitely generated fields. We apply the results of this investigation to quasi Scott sentences. 1 Introduction Whenever we have a structure with interesting computability-theoretic properties, it is natural to ask whether such examples can be found within particular classes. While one could try to adapt the proof within the new class, it is often simpler to try and code the original structure into a structure in the given class. It has long been known that for certain classes, such as graphs, this is always possible. Hirschfeldt, Khoussainov, Shore, and Slinko [HKSS02] proved that classes of graphs, partial orderings, lattices, integral domains, and 2-step nilpotent groups are \complete with respect to degree spectra of nontrivial structures, effective dimensions, expansion by constants, and degree spectra of relations".
    [Show full text]
  • Acylindrical Accessibility for Groups Acting on R-Trees
    ACYLINDRICAL ACCESSIBILITY FOR GROUPS ACTING ON R-TREES ILYA KAPOVICH AND RICHARD WEIDMANN Abstract. We prove an acylindrical accessibility theorem for finitely generated groups acting on R-trees. Namely, we show that if G is a freely indecomposable non-cyclic k-generated group acting minimally and M- acylindrically on an R-tree X then there is a finite subtree Y ⊆ X of measure at most 2M(k − 1) + such that GY = X. This generalizes theorems of Z.Sela and T.Delzant about actions on simplicial trees. 1. Introduction An isometric action of a group G on an R-tree X is said to be M- acylindrical (where M ≥ 0) if for any g ∈ G, g 6= 1 we have diam Fix(g) ≤ M, that is any segment fixed point-wise by g has length at most M. For example the action of an amalgamated free product G = A ∗C B on the corresponding Bass-Serre tree is 2-acylindrical if C is malnormal in A and 1-acylindrical if C is malnormal in both A and B. In fact the notion of acylindricity seems to have first appeared in this context in the work of Karras and Solitar [32], who termed it being r-malnormal. Sela [37] proved an important acylindrical accessibility result for finitely generated groups which, when applied to one-ended groups, can be restated as follows: for any one-ended finitely generated group G and any M ≥ 0 there is a constant c(G, M) > 0 such that for any minimal M-acylindrical action of G on a simplicial tree X the quotient graph X/G has at most c(G, M) edges.
    [Show full text]
  • Ergodic Currents Dual to a Real Tree Thierry Coulbois, Arnaud Hilion
    Ergodic currents dual to a real tree Thierry Coulbois, Arnaud Hilion To cite this version: Thierry Coulbois, Arnaud Hilion. Ergodic currents dual to a real tree. Ergodic Theory and Dynamical Systems, Cambridge University Press (CUP), 2016, 36 (3), pp.745-766. 10.1017/etds.2014.78. hal- 01481866 HAL Id: hal-01481866 https://hal.archives-ouvertes.fr/hal-01481866 Submitted on 3 Mar 2017 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. ERGODIC CURRENTS DUAL TO A REAL TREE THIERRY COULBOIS, ARNAUD HILION Abstract. Let T be an R-tree with dense orbits in the boundary of Outer space. When the free group FN acts freely on T , we prove that the number of projective classes of ergodic currents dual to T is bounded above by 3N − 5. We combine Rips induction and splitting induction to define unfolding induction for such an R-tree T . Given a current µ dual to T , the unfolding induction produces a sequence of approximations converging towards µ. We also give a unique ergodicity criterion. 1. Introduction 1.1. Main results. Let FN be the free group with N generators.
    [Show full text]
  • Decomposing Some Finitely Generated Groups Into Free Products With
    Decomposing some finitely generated groups into free products with amalgamation 1 V.V. Benyash-Krivets Introduction . We shall say that a group G is a non-trivial free product with amalgamation if ¡ ¡ G = G1 A G2, where G1 = A = G2 (see [1]). Wall [2] has posed the following question: Which one-relator groups are non-trivial free products with amalgamation? £ Let G = ¢ g , . , g R = = R = 1 be a group with m generators and n 1 m | 1 · · · n relations such that def G = m n ¤ 2. It is proved in [4] that G is a non-trivial − free product with amalgamation. In particular, if G is a group with m ¤ 3 generators and one relation, then G is a non-trivial free product with amalgamation. A case of groups with two generators and one relation is more complicated. For example, the free −1 −1 £ abelian group G = ¢ a, b [a, b] = 1 of rank 2, where [a, b] = aba b , obviously, is | not a non-trivial free product with amalgamation. Other examples are given by groups −1 n £ Gn = ¢ a, b aba = b . For any n, the group Gn is solvable and using results from [3], | ¡ it is easy to show that for n = 1 the group G is not decomposable into a non-trivial − n free product with amalgamation. The following conjecture was stated in [4]. m £ ¤ Conjecture 1 Let G = ¢ a, b R (a, b) = 1 , m 2, be a group with two generators | and one relation with torsion. Then G is a non-trivial free product with amalgamation.
    [Show full text]
  • Beyond Serre's" Trees" in Two Directions: $\Lambda $--Trees And
    Beyond Serre’s “Trees” in two directions: Λ–trees and products of trees Olga Kharlampovich,∗ Alina Vdovina† October 31, 2017 Abstract Serre [125] laid down the fundamentals of the theory of groups acting on simplicial trees. In particular, Bass-Serre theory makes it possible to extract information about the structure of a group from its action on a simplicial tree. Serre’s original motivation was to understand the structure of certain algebraic groups whose Bruhat–Tits buildings are trees. In this survey we will discuss the following generalizations of ideas from [125]: the theory of isometric group actions on Λ-trees and the theory of lattices in the product of trees where we describe in more detail results on arithmetic groups acting on a product of trees. 1 Introduction Serre [125] laid down the fundamentals of the theory of groups acting on sim- plicial trees. The book [125] consists of two parts. The first part describes the basics of what is now called Bass-Serre theory. This theory makes it possi- ble to extract information about the structure of a group from its action on a simplicial tree. Serre’s original motivation was to understand the structure of certain algebraic groups whose Bruhat–Tits buildings are trees. These groups are considered in the second part of the book. Bass-Serre theory states that a group acting on a tree can be decomposed arXiv:1710.10306v1 [math.GR] 27 Oct 2017 (splits) as a free product with amalgamation or an HNN extension. Such a group can be represented as a fundamental group of a graph of groups.
    [Show full text]
  • Fractal Geometry and Applications in Forest Science
    ACKNOWLEDGMENTS Egolfs V. Bakuzis, Professor Emeritus at the University of Minnesota, College of Natural Resources, collected most of the information upon which this review is based. We express our sincere appreciation for his investment of time and energy in collecting these articles and books, in organizing the diverse material collected, and in sacrificing his personal research time to have weekly meetings with one of us (N.L.) to discuss the relevance and importance of each refer- enced paper and many not included here. Besides his interdisciplinary ap- proach to the scientific literature, his extensive knowledge of forest ecosystems and his early interest in nonlinear dynamics have helped us greatly. We express appreciation to Kevin Nimerfro for generating Diagrams 1, 3, 4, 5, and the cover using the programming package Mathematica. Craig Loehle and Boris Zeide provided review comments that significantly improved the paper. Funded by cooperative agreement #23-91-21, USDA Forest Service, North Central Forest Experiment Station, St. Paul, Minnesota. Yg._. t NAVE A THREE--PART QUE_.gTION,, F_-ACHPARToF:WHICH HA# "THREEPAP,T_.<.,EACFi PART" Of:: F_.AC.HPART oF wHIct4 HA.5 __ "1t4REE MORE PARTS... t_! c_4a EL o. EP-.ACTAL G EOPAgTI_YCoh_FERENCE I G;:_.4-A.-Ti_E AT THB Reprinted courtesy of Omni magazine, June 1994. VoL 16, No. 9. CONTENTS i_ Introduction ....................................................................................................... I 2° Description of Fractals ....................................................................................
    [Show full text]
  • Lec 11, Limit Groups, R-Trees
    Lec 11, Limit Groups, R-trees Theorem (Kharl, Mias,razzzz). Suppose H is not free. Then there is a finite set S = fs : H Hsg of proper epimorphisms such that: • for all h 2 Hom(H; F); there exists a 2 Aut(H) such that h ◦ a factors through S. a .... H ................................................................................................................... H . s . h . ....... ....... ... ... ... Hs ................................................................................................................ F • We will refine this statement and discuss a proof. Real trees • Areal tree ( T; dT )is a metric space such that between any two points t; t0 2 T , there is a unique arc∗ from t to t0 and this arc is the image of an isometric embedding of an interval. Example. A finite simplicial real tree is a finite tree with each edge identified with an interval. Example. A countable increasing union of finite simplicial real trees. Example. 0-hyperbolic spaces embed into real trees. ∗the image of an embedding σ : [x; x0] ! T with σ(x) = t and σ(x0) = t0 1 Isometries of real trees • An isometry η of a real tree T either elliptic or hyperbolic. • Elliptic η fixes a point of T . The axis of η is F ix(η). • Hyperbolic η leaves invariant an isometrically embedded R (its axis Aη). Points on Aη are translated by `T (η):= min fdT (t; η(t)) j t 2 T g: • We will be interested in isometric actions of a fg group H on T . • The H-tree T is minimal if T contains no proper invariant H-subtrees. Lemma. If H is fg and T is a minimal H-tree, then T is either a point or the union of the axes of the hyperbolic elements of H.
    [Show full text]
  • A Metric Between Quasi-Isometric Trees 1
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 140, Number 1, January 2012, Pages 325–335 S 0002-9939(2011)11286-3 Article electronically published on August 11, 2011 A METRIC BETWEEN QUASI-ISOMETRIC TREES ALVARO´ MART´INEZ-PEREZ´ (Communicated by Alexander N. Dranishnikov) Abstract. It is known that PQ-symmetric maps on the boundary charac- terize the quasi-isometry type of visual hyperbolic spaces, in particular, of geodesically complete R-trees. We define a map on pairs of PQ-symmetric ultrametric spaces which characterizes the branching of the space. We also show that when the ultrametric spaces are the corresponding end spaces, this map defines a metric between rooted geodesically complete simplicial trees with minimal vertex degree 3 in the same quasi-isometry class. Moreover, this metric measures how far the trees are from being rooted isometric. 1. Introduction The study of quasi-isometries between trees and the induced maps on their end spaces has a voluminous literature. This is often set in the more general context of hyperbolic metric spaces and their boundaries. See Bonk and Schramm [2], Buyalo and Schroeder [4], Ghys and de la Harpe [6], and Paulin [14] to name a few. For a quasi-isometry f : X → Y between Gromov hyperbolic, almost geodesic metric spaces, Bonk and Schramm define [2, Proposition 6.3] the induced map ∂f : ∂X → ∂Y between the boundaries at infinity and prove [2, Theorem 6.5] that ∂f is PQ-symmetric with respect to any metrics on ∂X and ∂Y in their canonical gauges. Moreover, they prove that a PQ-symmetric map between bounded metric spaces can be extended to a map between their hyperbolic cones and obtain that a PQ-symmetric map between the boundaries at infinity of Gromov hyperbolic, almost geodesic metric spaces, implies a quasi-isometry equivalence between the spaces.
    [Show full text]
  • Arxiv:1711.08410V2
    LATTICE ENVELOPES URI BADER, ALEX FURMAN, AND ROMAN SAUER Abstract. We introduce a class of countable groups by some abstract group- theoretic conditions. It includes linear groups with finite amenable radical and finitely generated residually finite groups with some non-vanishing ℓ2- Betti numbers that are not virtually a product of two infinite groups. Further, it includes acylindrically hyperbolic groups. For any group Γ in this class we determine the general structure of the possible lattice embeddings of Γ, i.e. of all compactly generated, locally compact groups that contain Γ as a lattice. This leads to a precise description of possible non-uniform lattice embeddings of groups in this class. Further applications include the determination of possi- ble lattice embeddings of fundamental groups of closed manifolds with pinched negative curvature. 1. Introduction 1.1. Motivation and background. Let G be a locally compact second countable group, hereafter denoted lcsc1. Such a group carries a left-invariant Radon measure unique up to scalar multiple, known as the Haar measure. A subgroup Γ < G is a lattice if it is discrete, and G/Γ carries a finite G-invariant measure; equivalently, if the Γ-action on G admits a Borel fundamental domain of finite Haar measure. If G/Γ is compact, one says that Γ is a uniform lattice, otherwise Γ is a non- uniform lattice. The inclusion Γ ֒→ G is called a lattice embedding. We shall also say that G is a lattice envelope of Γ. The classical examples of lattices come from geometry and arithmetic. Starting from a locally symmetric manifold M of finite volume, we obtain a lattice embedding π1(M) ֒→ Isom(M˜ ) of its fundamental group into the isometry group of its universal covering via the action by deck transformations.
    [Show full text]
  • Finitely Generated Subgroups of Lattices in Psl2 C
    FINITELY GENERATED SUBGROUPS OF LATTICES IN PSL2 C YAIR GLASNER, JUAN SOUTO, AND PETER STORM Abstract. Let Γ be a lattice in PSL2(C). The pro-normal topology on Γ is defined by taking all cosets of non-trivial normal subgroups as a basis. This topology is finer than the pro-finite topology, but it is not discrete. We prove that every finitely generated subgroup ∆ < Γ is closed in the pro-normal topology. As a corollary we deduce that if H is a maximal subgroup of a lattice in PSL2(C) then either H is finite index or H is not finitely generated. 1. Introduction In most infinite groups, it is virtually impossible to understand the lattice of all subgroups. Group theorists therefore focus their attention on special families of subgroups such as finite index subgroups, normal subgroups, or finitely generated subgroups. This paper will study the family of finitely generated subgroups of lattices in PSL2(C). Recall that lattices in PSL2(C) are the fundamental groups of finite volume hyperbolic 3-orbifolds. For these groups we establish a connection between finitely generated subgroups and normal subgroups. This connection is best expressed in the following topological terms. If a family of subgroups N is invariant under conjugation and satisfies the con- dition, (1) for all N1,N2 ∈ N ∃ N3 ∈ N such that N3 ≤ N1 ∩ N2 then one can define an invariant topology in which the given family of groups constitutes a basis of open neighborhoods for the identity element. The most famous example is the pro-finite topology, which is obtained by taking N to be the family of (normal) finite index subgroups.
    [Show full text]
  • Relative Subgroup Growth and Subgroup Distortion
    Relative Subgroup Growth and Subgroup Distortion Tara C. Davis, Alexander Yu. Olshanskii October 29, 2018 Abstract We study the relative growth of finitely generated subgroups in finitely generated groups, and the corresponding distortion function of the embed- dings. We explore which functions are equivalent to the relative growth functions and distortion functions of finitely generted subgroups. We also study the connections between these two asymptotic invariants of group embeddings. We give conditions under which a length function on a finitely generated group can be extended to a length function on a larger group. 1 Introduction and Background We will use the notation that for a group G with finite generating set X, and for an element g G, then g X represents the word length of ∈ | | the element g with respect to the generating set X. For this paper, N = 1, 2,..., . For r N we use the notation that BG(r) represents the ball { } ∈ in G centered at the identity with radius r. That is, BG(r) = g G : { ∈ g X r . | | ≤ } Definition 1.1. Let G be a group finitely generated by a set X with any subset H. The growth function of H in G is G g : N N : r # h H : h X r = #(BG(r) H). H → → { ∈ | | ≤ } ∩ arXiv:1212.5208v1 [math.GR] 20 Dec 2012 The growth functions of subsets and other functions of this type be- come asymptotic invariants independent of the choice of a finite set X if one takes them up to a certain equivalence (see the definitions of , , ∼ ∼ and in Section 3.) ≈ The growth of a subgroup H with respect to a finite set of generators of a bigger group G is called the relative growth of H in G and denoted by G G gH .
    [Show full text]