Ping-Pong on Negatively Curved Groups
|
|
- Gordon Ferguson
- 6 years ago
- Views:
Transcription
1 Ž. Journal of Algebra 27, Article ID jabr , available online at on Ping-Pong on Negatively Curved Groups Rita Gitik* Department of Mathematics, California Institute of Technology, Pasadena, California Communicated by Efim Zelmano Received June 4, 997 INTRODUCTION The following result for classical Schottky groups of rank 2 goes back to Blaschke, Klein, Schottky, and Poincare. It can be viewed as a special case of the KleinMaskit combination theorem ŽMas, p LEMMA. Let h and k be hyperbolic isometries of hyperbolic space such that their axes hae disjoint endpoints. There exists a constant C which depends only on h and k, such that if m C and n C, then the subgroup ² h m, k n : is isomorphic to the free product ² h m : ² k n :. The well-known proof of this result can be abstracted into the following simple form ŽCf. L-S, p Let H and K be subgroups of a group G, and let ² H, K : be the smallest subgroup of G containing H and K. THE PING-PONG LEMMA. Let G be a group acting on a set S. Let H and K be subgroups of G such that K : G 2 or H : G 2, where G H K. If there exist disjoint nonempty subsets SK and SH of S such that K G maps SK into SH and H G maps SH into S K, then the subgroup ² H, K : is isomorphic to the amalgamated free product ² H, K : H K. Proof. Let hk h be an element of ² H, K : n G, where all hi and k are not in G. Then for any x S, Ž hk h.ž x. i H n S K,so Ž hk h.ž x. x; hence any element of odd syllable length in ² H, K : n is non-trivial. Consider an element of even length hk hnk n. Without loss of generality, H : G 2; hence there exists h H such that h G * Research partially supported by NSF Grant DMS 9224 at MSRI. Current address: A and H Consultants, Ann Arbor, MI. G $3. Copyright 999 by Academic Press All rights of reproduction in any form reserved.
2 66 RITA GITIK and h h G. But then the element h hk hnknh has odd syllable length; hence it is nontrivial. Therefore hk hnkn is nontrivial. Note that there exist counterexamples to the Ping-Pong lemma when K : G H : G 2, even if the action of G on S is free. The Ping-Pong Lemma allows us to describe the subgroup ² H, K :. In general, even in the simple case when H ² h: and K ² k: are infinite cyclic groups with trivial intersection, we do not have much information about the group ² h, k :. In particular, this group need not be isomorphic to the free group of rank 2. In this paper we describe the subgroup ² H, K : when H and K are quasiconvex subgroups of a negatively curved group G. We also give a condition for ² H, K : to be quasiconvex in G. In general, even if both H ² h: and K ² k: are infinite cyclic Žhence quasiconvex in G; Gr, p. 2., the group ² h, k: might be non-quasiconvex in G. This might happen even if ² h, k: is isomorphic to the free group of rank 2. We prove the following results. THEOREM. Let H and K be -quasiconex subgroups of a -negatiely cured group G. There exists a constant C, which depends only on G,, and, with the following property. For any subgroups H H and K K with H K H K G, if all the elements in H and in K which are shorter than C belong to G, then ² H, K : H K. If, in addition, G H and K are quasiconex in G, then the subgroup ² H, K : is quasiconex in G. Recall that a subgroup H is malnormal in G if for any g H the intersection of H and ghg is trivial. THEOREM 2. Let H and K be -quasiconex subgroups of a -negatiely cured group G. Assume that H is malnormal in G. There exists a constant C, which depends only on G,, and, with the following property. For any subgroup H H with H K H K G, if all the elements in H which are shorter than C belong to G, then ² H, K : HG K. If, in addition, H is quasiconex in G, then the subgroup ² H, K : is quasiconex in G. Of course, Theorems and 2 might be vacuously true, because there might be no subgroups H and K with the required properties. However, these theorems have interesting applications in the following frequently encountered case. Recall that a group K is residually finite if for any finite set of nontrivial elements in K, there exists a finite index subgroup of K which does not contain this set. The class of residually finite groups is very rich; it contains all finitely generated linear groups and all fundamental groups of geometric 3-manifolds.
3 PING-PONG ON NEGATIVELY CURVED GROUPS 67 If K is a quasiconvex subgroup of a negatively curved group G, then K is finitely generated, so for any positive integer n, K has only finitely many elements shorter than n. Hence if such K is infinite and residually finite, it has an infinite family of distinct finite index subgroups K n, such that K n does not contain nontrivial elements shorter than n. AsK n is a finite index subgroup of a quasiconvex subgroup K, it is quasiconvex in G: hence we have the following results. COROLLARY 3. Let H and K be infinite quasiconex subgroups of a negatiely cured group G. Assume that H and K are residually finite. If the intersection of H and K is triial, then there exist infinite families of distinct finite index subgroups Hm of H and K n of K, such that the subgroups ² H, K : are quasiconex in G and ² H, K : H K. m n m n m n COROLLARY 4. Let H and K be infinite quasiconex subgroups of a negatiely cured group G. Assume that H is malnormal in G and residually finite. If the intersection of H and K is triial, then there exists an infinite family of distinct finite index subgroups Hm of H such that the subgroup ² H, K : is quasiconex in G and ² H, K : H K. m m m The above corollaries apply when the intersection of K and H is trivial. In general, recall that a group K is LERF Žlocally extended residually finite. if for any finitely generated subgroup K of K and for any finite set S of elements in K, but not in K, there exists a finite index subgroup of K which contains K, but does not contain S. The class of LERF groups is much smaller than the class of residually finite groups, but it still contains many interesting groups. For example, free groups, surface groups, and nilpotent groups are LERF. Let K be an infinite quasiconvex subgroup of a negatively curved group G, and let G be a finitely generated subgroup of K. If K is LERF, then it has an infinite family of distinct finite index subgroups K containing G, n such that all the elements in K which are shorter than n belong to G. n Hence we have the following results. COROLLARY 5. Let H and K be infinite quasiconex subgroups of a negatiely cured group G with H K G. Assume that H and K are LERF. Then there exist infinite families of distinct finite index subgroups H m of H and K of K containing G, such that the subgroups ² H, K : n m n are quasiconex in G and ² H, K : H K. m n m G n COROLLARY 6. Let H and K be infinite quasiconex subgroups of a negatiely cured group G with H K G. Assume that H is malnormal in G and LERF. Then there exists an infinite family of distinct finite index subgroups H of H containing G, such that the subgroup ² H, K: m m is quasiconex in G and ² H, K : H K. m m G
4 68 RITA GITIK PROOFS OF THE RESULTS Let X be a set and let X* x, x x X 4, where Ž x. x for x X. Denote the set of all words in X* by WŽ X*., and denote the equality of two words by. Let G be a group generated by the set X*, and let CayleyŽ G. be the Cayley graph of G with respect to the generating set X*. The set of vertices of CayleyŽ G. is G, the set of edges of CayleyŽ G. is G X*, and the edge Ž g, x. joins the vertex g to gx. DEFINITION. The label of the path p Ž g, x.ž gx, x. Ž 2 gxx2 x, x. in CayleyŽ G. is the word LabŽ p. x x WŽ X*. n n n. As usual, we identify the word LabŽ p. with the corresponding element in G. We denote the initial and the terminal vertices of p by Ž p. and Ž p., respectively, and the inverse of p by p. Denote the length of the path p by p, where Ž g, x.ž gx, x. Ž gx x x, x. n. 2 2 n n A geodesic in the Cayley graph is a shortest path joining two vertices. A group G is -negatively curved if any side of any geodesic triangle in CayleyŽ G. belong to the -neighborhood of the union of two other sides Žsee Gr, C-D-P.. Let, L, and. A path p in the Cayley graph is a Ž,.-quasigeodesic if for any subpath p of p and for any geodesic with the same endpoints as p, p. A path p is a local Ž,, L. -quasigeodesic if for any subpath p of p that is shorter than L and for any geodesic with the same endpionts as p, p Žcf. C-D-P, p Theorem.4 Ž p. 25. of C-D-P Žsee also Gr, p. 87. states that for any and for any there exist constants Ž L,,. that depend only on Ž,. and, such that any local Ž,, L. -quasigeodesic in G is a global Ž,.-quasigeodesic in G. Recall that H is a -quasiconvex subgroup of G if any geodesic in CayleyŽ G. which has its endpoints in H belongs to the -neighborhood of H. Proof of Theorem. Let H and K be subgroups of H and K, respectively, such that H K H K G. Consider an element l of ² H, K : such that l G. Then there exists a representation l hk kmh m, where hi H, ki K, k i, and hi do not belong to G, k i, and hi are geodesics in G, h is a shortest representative of the coset hg, hm is a shortest representative of the coset G h m, and for i m, hi is a shortest representative of the double coset G hig. Ž The elements h and h might be trivial.. Let p be the path in CayleyŽ G. m beginning at with the decomposition of the form p pq qm p m, where LabŽ p. h and LabŽ q. k. i i i i
5 PING-PONG ON NEGATIVELY CURVED GROUPS 69 Let A be the number of words in G which are shorter than 2. As mentioned above, there exist constants Ž L,,. which depend only on Ž, A,., such that any local Ž, Ž 4 A., L. 3 -quasigeodesic in G is a global Ž,.-quasigeodesic in G. Let C maxž L,.. We claim that if all the elements in H and in K which are shorter than C belong to G, then any path p, as above, is a Ž,.-quasigeodesic in G. Indeed, it is enough to show that p is a local Ž Ž.. 3, 4 A, L -quasigeodesic in G. As h G and k G, it follows that q C and p i i i i C.As L C, any subpath t of p with t L has a Ž unique. decomposition tt, 2 where without loss of generality, t is a subpath of some pi and t2 is a subpath of q i. Let t3 be a geodesic in G joining the endpoints of t. We will show that t t3 Ž 4 A. 3. Without loss of generality, assume that t t. If t t, then t t t t So assume that t t.asttt is a geodesic triangle in CayleyŽ G ,itis-thin; hence there exists the decomposition t t t, where t is the maximal subpath of t which belongs to the -neighborhood of t, and t 2 belongs to the -neighborhood of t 3. It follows from Lemma 7 Ž below. that t A 4; hence t 3 t t t t A 4. Therefore, t t Ž A , proving that p is a local Ž, Ž 4 A., L. 3 -quasigeodesic in G. So p is a global Ž,.-quasigeodesic in G. The definition of C implies that if a Ž,.-quasigeodesic p in G is longer than C, then LabŽ p.. As any element l ² H, K : that is not in G has a representative LabŽ p. in G, as above, with p C, it follows that l ; hence ² H, K : HG K. To prove the second part of the theorem, for any element l ² H, K : which is not in G, consider a geodesic in G joining the endpoints of the path p, as above. As G is negatively curved, there exists a constant which depends only on Ž,. and, such that belongs to the -neighborhood of p. Assume that H and K are -quasiconvex in G; then any vertex i on pi is in the -neighborhood of hk kih, and any vertex wi on qi is in the -neighborhood of hk hk, i so the path p belongs to the Ž.-neighborhood of ² H, K :. If l G, then l H, so any geodesic labeled with l with Ž. belongs to the -neighborhood of H. It follows that the subgroup ² H, K : is Ž.-quasiconvex in G. LEMMA 7. Using the notation of the proof of Theorem, t A 4. Proof. To simplify notation, we drop the subscript i, sot is a subpath of p, t is a subpath of q, LabŽ p. h, and LabŽ q. 2 k. As H H and K K, we consider h as an element of H and k as an element of K. Without loss of generality, assume that q begins at Ž so it ends at k.; then p begins at h and ends at. As K and H are -quasiconvex in G, any
6 7 RITA GITIK vertex i on p is in the -neighborhood of H, and any vertex wi on q is in the -neighborhood of K. Hence we can find vertices and in t 2, w and w in t, h and h in H, and k and k in K such that, w 2 2 i i,, Ž h. Ž.,, Ž h. Ž., w, k, and w, k 2 2. Then hk 2 and h k 2. Assume that t A 4. Then we can find vertices, as above, which, in Ž. Ž. addition, satisfy 2, 4 and hk h k. But then h h k Ž k. Ž., so both products are in G.As h is a shortest element in the double coset G hg, it follows that h hh Ž. Ž. h. Let r be a geodesic joining Ž h. Ž. to 2, let s be a subpath of p joining 2 to, and let s be a subpath of p joining h to. Then h p s s 2 and hh Ž. Ž. h hh Ž. Ž. h s r h ; hence s s s r h,sosr2rh.ashsr, and as r, it follows that h 2 h. However, as, 4, the triangle inequality implies that h 2 Ž h. s r,, r, 4, 2 2. Let a be a geodesic joining Ž h. to.asa, the triangle inequality implies that h Ž h., a,. Hence, h h 2, a contradiction. Therefore, t A 4. We use the following property of malnormal quasiconvex subgroups of negatively curved groups Žcf. Gi.. The original proof of this fact for the special case when G is a free group is due to Rips ŽG-R.. Let H be a subgroup of G, and let GH denote the set of right cosets of H in G. The relative Cayley graph of G with respect to H is an oriented graph whose vertices are the cosets GH and the set of edges is Ž GH. X*, such that an edge Ž Hg, x. begins at the vertex Hg and ends at the vertex Hgx. We denote it CayleyŽ G, H.. Note that for any path p in CayleyŽ G, H. if Ž p. H, then Ž p. H LabŽ p., so a path p beginning at H is closed, if and only if LabŽ p. H. LEMMA 8. Let H be a malnormal -quasiconex subgroup of a finitely generated group G, and let be a nonnegatie constant. ŽThe group G does not hae to be negatiely cured.. Let t be a path in CayleyŽ G. 2 such that and are geodesics in CayleyŽ G., LabŽ. H, LabŽ. 2 2 H, and LabŽ. t H. Let m be the number of ertices in the ball of radius 2 Ž. 2 around H in Cayley G, H, and let M m. Then any subpath of which belongs to the 2-neighborhood of in CayleyŽ G. 2 is shorter than M. Proof of Lemma 8. Assume that M. Without loss of generality, Ž.. Let be a geodesic in CayleyŽ G. 2 beginning at such that Ž Lab. LabŽ., and let be the subpath of such that LabŽ.
7 PING-PONG ON NEGATIVELY CURVED GROUPS 7 LabŽ.. Let : CayleyŽ G. CayleyŽ G, H. be the projection map Ž g. Hg and Ž g, x. Ž Hg, x.. Note that and are geodesics in CayleyŽ G. 2 beginning at, LabŽ. H and LabŽ. 2 H, so as H is -quasiconvex in G, the projection maps and 2 into a ball of radius around H in CayleyŽ G, H.. As N Ž. CayleyŽ G., it follows that Ž. 2 2 N Ž H. CayleyŽ G, H.. Denote the vertices of Ž. 2 by,...,n and the vertices of Ž. by w,...,w. As n M, and n n, w,...,w 4 N Ž H., there exist i j n such that Ž, w. n 2 i i Ž, w.. Let p and p be subpaths of Ž. connecting Ž Ž.. j j 2 and i and and, respectively. Let q and q be subpaths of Ž. i j 2 connecting H Ž Ž.. and w and w and w, respectively. Let s Ž t. i i j and let p denote the path p with the opposite orientation. Then spp2ps and qqq are closed paths in CayleyŽ G, H. 2 beginning at H, so LabŽ sp p p s. H and LabŽ qqq. 2 2 H. But LabŽ p. LabŽ q. and LabŽ p. LabŽ q., so LabŽ s. 2 2 Ž. Lab p p p Lab Ž s. H, and LabŽ p p f. 2 2 H. Therefore the malnormality of H in G implies that LabŽ s. H, contradicting the assumption that LabŽ s. LabŽ t. H. Hence a M. Proof of Theorem 2. Let H be a subgroup of H such that H K H K G. Let l be an element of ² H, K : such that l G. Then there exists a representation l hk kmh m, where ki and hi are as in the proof of Theorem. Let p be a path in CayleyŽ G. with a decomposition of the form p pq q p, where LabŽ p. m m i hi and LabŽ q. i k i. Let M be as in Lemma 8, and let A be as in the proof of Theorem. As was mentioned above, there exist constants Ž L,,. which depend only on Ž, A,., such that any local Ž, Ž 6 4 A M., L. -quasigeodesic in G is a global Ž,. -quasigeodesic in G. Let C maxž L,.. We claim that if all the elements in H which are shorter than C belong to G, then any path p, as above, is a Ž,. -quasigeodesic in G. Indeed, it is enough to show that p is a local Ž Ž.. 6, 4 A M, L -quasigeodesic in G. As h G, it follows that p i i C.As L C, any subpath t of p with t L has a Ž unique. decomposition ttt, 2 3 where t and t3 are subpaths of some p and p, and t is a subpath of q Ž i i 2 i some of ti might be empty.. Let t4 be a geodesic in G connecting the endpoints of t. If t 2t3, then t t t3, so t t Žt t t3 t3 t3. So assume that t 2t 2 3. Without loss of generality, assume that t t ; hence t t 3 6. As tttt is a geodesic 4-gon in a -negatively curved group G, there exists a decomposition t s s s such that 2 3 4
8 72 RITA GITIK s2 belongs to the -neighborhood of t 2, s3 belongs to the 2-neighborhood of t 3, and s4 belongs to the -neighborhood of t 4. According to Lemma 8, s M, and according to Lemma 7, s 4 A. But then t s t s s t 4 A M t A M. Hence t t6 Ž M 4 A., so the path p is a local Ž, Ž 4 6 M 4 A., L. -quasigeodesic in G; hence it is a Ž,. -quasigeodesic in G. Then we conclude the argument as in the proof of Theorem. ACKNOWLEDGMENTS The author thanks D. Cooper, S. Margolis, W. Neumann, and J. Koh for helpful conversations. C-D-P REFERENCES M. Coornaert, T. Delzant, and A. Papadopoulos, Geometrie et theorie des groupes, Lecture Notes in Mathematics, vol. 44, Springer-Verlag, BerlinNew York, 99. Gi R. Gitik, On quasiconvex subgroups of negative groups, J. Pure Appl. Algebra 9 Ž 997., G-R R. Gitik and E. Rips, On separability property of groups, Int. J. Algebra Comput. 5 Ž 995., Gr M. Gromov, Hyperbolic groups, in Essays in Group Theory Ž S. M. Gersten, Ed.., MSRI Series, Vol. 8, pp Springer-Verlag, BerlinNew York, 987. L-S R. Lyndon and P. Schupp, Combinatorial Group Theory, Springer-Verlag, BerlinNew York, 977. Mac A. M. Macbeath, Packings, free products and residually finite groups, Proc. Cambridge Philos. Soc. 59 Ž 963., Mas B. Maskit, Kleinian Groups, Springer-Verlag, BerlinNew York, 987.
WIDTHS OF SUBGROUPS RITA GITIK, MAHAN MITRA, ELIYAHU RIPS, AND MICHAH SAGEEV
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 350, Number 1, January 1998, Pages 321 329 S 0002-9947(98)01792-9 WIDTHS OF SUBGROUPS RITA GITIK, MAHAN MITRA, ELIYAHU RIPS, AND MICHAH SAGEEV Abstract.
More informationSmall cancellation theory and Burnside problem.
Small cancellation theory and Burnside problem. Rémi Coulon February 27, 2013 Abstract In these notes we detail the geometrical approach of small cancellation theory used by T. Delzant and M. Gromov to
More informationFinite Presentations of Hyperbolic Groups
Finite Presentations of Hyperbolic Groups Joseph Wells Arizona State University May, 204 Groups into Metric Spaces Metric spaces and the geodesics therein are absolutely foundational to geometry. The central
More informationOn Linear and Residual Properties of Graph Products
On Linear and Residual Properties of Graph Products Tim Hsu & Daniel T. Wise 1. Introduction Graph groups are groups with presentations where the only relators are commutators of the generators. Graph
More informationTHE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF
THE FUNDAMENTAL GROUP OF THE DOUBLE OF THE FIGURE-EIGHT KNOT EXTERIOR IS GFERF D. D. LONG and A. W. REID Abstract We prove that the fundamental group of the double of the figure-eight knot exterior admits
More informationarxiv: v1 [math.gr] 26 Sep 2016
ON INTERSECTIONS OF CONJUGATE SUBGROUPS arxiv:1609.07924v1 [math.gr] 26 Sep 2016 RITA GITIK Abstract. We define a new invariant of a conjugacy class of subgroups which we call the weak width and prove
More informationFrom local to global conjugacy in relatively hyperbolic groups
From local to global conjugacy in relatively hyperbolic groups Oleg Bogopolski Webinar GT NY, 5.05.2016 Relative presentations Let G be a group, P = {P λ } λ Λ a collection of subgroups of G, X a subset
More informationNew York Journal of Mathematics. A Non-quasiconvex Subgroup of a Hyperbolic Group with an Exotic Limit Set
New York Journal of Mathematics New York J. Math. 1 (1995) 184 195. A Non-quasiconvex Subgroup of a Hyperbolic Group with an Exotic Limit Set Ilya Kapovich Abstract. We construct an example of a torsion
More informationResearch Statement Justin A. James Decision Problems in Group Theory
Research Statement Justin A. James Decision Problems in Group Theory 1 Introduction In 1911, Dehn formulated three fundamental decision problems for groups: the word problem, the conjugacy problem, and
More informationHyperbolicity of mapping-torus groups and spaces
Hyperbolicity of mapping-torus groups and spaces François Gautero e-mail: Francois.Gautero@math.unige.ch Université de Genève Section de Mathématiques 2-4 rue du Lièvre, CP 240 1211 Genève Suisse July
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationTHE BOWDITCH BOUNDARY OF (G, H) WHEN G IS HYPERBOLIC
THE BOWDITCH BOUNDARY OF (G, H) WHEN G IS HYPERBOLIC JASON FOX MANNING Abstract. In this note we use Yaman s dynamical characterization of relative hyperbolicity to prove a theorem of Bowditch about relatively
More informationarxiv: v2 [math.gr] 10 Mar 2008
RESIDUAL FINITENESS, QCERF, AND FILLINGS OF HYPERBOLIC GROUPS arxiv:0802.0709v2 [math.gr] 10 Mar 2008 IAN AGOL, DANIEL GROVES, AND JASON FOX MANNING Abstract. We prove that if every hyperbolic group is
More informationMaximal non-commuting subsets of groups
Maximal non-commuting subsets of groups Umut Işık March 29, 2005 Abstract Given a finite group G, we consider the problem of finding the maximal size nc(g) of subsets of G that have the property that no
More informationOn Torsion-by-Nilpotent Groups
Journal of Algebra 241, 669676 2001 doi:10.1006jabr.2001.8772, available online at http:www.idealibrary.com on On Torsion-by-Nilpotent Groups Gerard Endimioni and Gunnar Traustason 1 C.M.I., Uniersite
More informationMA4H4 - GEOMETRIC GROUP THEORY. Contents of the Lectures
MA4H4 - GEOMETRIC GROUP THEORY Contents of the Lectures 1. Week 1 Introduction, free groups, ping-pong, fundamental group and covering spaces. Lecture 1 - Jan. 6 (1) Introduction (2) List of topics: basics,
More informationDefinitions, Theorems and Exercises. Abstract Algebra Math 332. Ethan D. Bloch
Definitions, Theorems and Exercises Abstract Algebra Math 332 Ethan D. Bloch December 26, 2013 ii Contents 1 Binary Operations 3 1.1 Binary Operations............................... 4 1.2 Isomorphic Binary
More informationON KLEIN-MASKIT COMBINATION THEOREM IN SPACE I
Li, L., Ohshika, K. and Wang, X. Osaka J. Math. 46 (2009), 1097 1141 ON KLEIN-MASKIT COMBINATION THEOREM IN SPACE I LIULAN LI, KEN ICHI OHSHIKA and XIANTAO WANG (Received August 21, 2007, revised August
More informationarxiv: v4 [math.gr] 2 Sep 2015
A NON-LEA SOFIC GROUP ADITI KAR AND NIKOLAY NIKOLOV arxiv:1405.1620v4 [math.gr] 2 Sep 2015 Abstract. We describe elementary examples of finitely presented sofic groups which are not residually amenable
More informationINVERSE LIMITS AND PROFINITE GROUPS
INVERSE LIMITS AND PROFINITE GROUPS BRIAN OSSERMAN We discuss the inverse limit construction, and consider the special case of inverse limits of finite groups, which should best be considered as topological
More informationSOME PROPERTIES OF SUBSETS OF HYPERBOLIC GROUPS. Ashot Minasyan
SOME PROPERTIES OF SUBSETS OF HYPERBOLIC GROUPS Ashot Minasyan Department of Mathematics Vanderbilt University Nashville, TN 37240, USA aminasyan@gmail.com Abstract We present some results about quasiconvex
More informationA NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE
A NOTE ON SPACES OF ASYMPTOTIC DIMENSION ONE KOJI FUJIWARA AND KEVIN WHYTE Abstract. Let X be a geodesic metric space with H 1(X) uniformly generated. If X has asymptotic dimension one then X is quasi-isometric
More information676 JAMES W. ANDERSON
676 JAMES W. ANDERSON Such a limit set intersection theorem has been shown to hold under various hypotheses. Maskit [17] shows that it holds for pairs of analytically finite component subgroups of a Kleinian
More informationAlmost Invariant Sets. M. J. Dunwoody. July 18, 2011
Almost Invariant Sets M. J. Dunwoody July 18, 2011 Introduction Let G be a finitely generated group with finite generating set S and let X = Cay(G, S) be the Cayley graph of G with respect to S. We say
More informationFINITELY GENERATED SUBGROUPS OF LATTICES IN PSL 2 C
FINITELY GENERATED SUBGROUPS OF LATTICES IN PSL 2 C YAIR GLASNER, JUAN SOUTO, AND PETER STORM Abstract. Let Γ be a lattice in PSL 2 (C). The pro-normal topology on Γ is defined by taking all cosets of
More informationCourse 212: Academic Year Section 1: Metric Spaces
Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........
More informationEven Cycles in Hypergraphs.
Even Cycles in Hypergraphs. Alexandr Kostochka Jacques Verstraëte Abstract A cycle in a hypergraph A is an alternating cyclic sequence A 0, v 0, A 1, v 1,..., A k 1, v k 1, A 0 of distinct edges A i and
More informationOn non-hamiltonian circulant digraphs of outdegree three
On non-hamiltonian circulant digraphs of outdegree three Stephen C. Locke DEPARTMENT OF MATHEMATICAL SCIENCES, FLORIDA ATLANTIC UNIVERSITY, BOCA RATON, FL 33431 Dave Witte DEPARTMENT OF MATHEMATICS, OKLAHOMA
More informationON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS
ON COHERENCE OF GRAPH PRODUCTS AND COXETER GROUPS OLGA VARGHESE Abstract. Graph products and Coxeter groups are defined via vertex-edge-labeled graphs. We show that if the graph has a special shape, then
More informationA CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP
A CONTINUALLY DESCENDING ENDOMORPHISM OF A FINITELY GENERATED RESIDUALLY FINITE GROUP DANIEL T. WISE Abstract Let φ : G G be an endomorphism of a finitely generated residually finite group. R. Hirshon
More informationThe Classification of Nonsimple Algebraic Tangles
The Classification of Nonsimple Algebraic Tangles Ying-Qing Wu 1 A tangle is a pair (B, T ), where B is a 3-ball, T is a pair of properly embedded arcs. When there is no ambiguity we will simply say that
More informationOn the number of cycles in a graph with restricted cycle lengths
On the number of cycles in a graph with restricted cycle lengths Dániel Gerbner, Balázs Keszegh, Cory Palmer, Balázs Patkós arxiv:1610.03476v1 [math.co] 11 Oct 2016 October 12, 2016 Abstract Let L be a
More informationResidual finiteness of infinite amalgamated products of cyclic groups
Journal of Pure and Applied Algebra 208 (2007) 09 097 www.elsevier.com/locate/jpaa Residual finiteness of infinite amalgamated products of cyclic groups V. Metaftsis a,, E. Raptis b a Department of Mathematics,
More informationAn approximate version of Hadwiger s conjecture for claw-free graphs
An approximate version of Hadwiger s conjecture for claw-free graphs Maria Chudnovsky Columbia University, New York, NY 10027, USA and Alexandra Ovetsky Fradkin Princeton University, Princeton, NJ 08544,
More information120A LECTURE OUTLINES
120A LECTURE OUTLINES RUI WANG CONTENTS 1. Lecture 1. Introduction 1 2 1.1. An algebraic object to study 2 1.2. Group 2 1.3. Isomorphic binary operations 2 2. Lecture 2. Introduction 2 3 2.1. The multiplication
More informationNotes on Geometry of Surfaces
Notes on Geometry of Surfaces Contents Chapter 1. Fundamental groups of Graphs 5 1. Review of group theory 5 2. Free groups and Ping-Pong Lemma 8 3. Subgroups of free groups 15 4. Fundamental groups of
More informationHomological Decision Problems for Finitely Generated Groups with Solvable Word Problem
Homological Decision Problems for Finitely Generated Groups with Solvable Word Problem W.A. Bogley Oregon State University J. Harlander Johann Wolfgang Goethe-Universität 24 May, 2000 Abstract We show
More informationarxiv:math/ v3 [math.gr] 21 Feb 2006
arxiv:math/0407446v3 [math.gr] 21 Feb 2006 Separability of Solvable Subgroups in Linear Groups Roger Alperin and Benson Farb August 11, 2004 Abstract Let Γ be a finitely generated linear group over a field
More informationON GROUP-THEORETIC MODELS OF RANDOMNESS AND GENERICITY
ON GROUP-THEORETIC MODELS OF RANDOMNESS AND GENERICITY ILYA KAPOVICH AND PAUL SCHUPP Abstract. We compare the random group model of Gromov and the model of generic groups of Arzhantseva and Ol shanskii.
More informationGroups and Symmetries
Groups and Symmetries Definition: Symmetry A symmetry of a shape is a rigid motion that takes vertices to vertices, edges to edges. Note: A rigid motion preserves angles and distances. Definition: Group
More informationCHAPTEER - TWO SUBGROUPS. ( Z, + ) is subgroup of ( R, + ). 1) Find all subgroups of the group ( Z 8, + 8 ).
CHAPTEER - TWO SUBGROUPS Definition 2-1. Let (G, ) be a group and H G be a nonempty subset of G. The pair ( H, ) is said to be a SUBGROUP of (G, ) if ( H, ) is group. Example. ( Z, + ) is subgroup of (
More information121B: ALGEBRAIC TOPOLOGY. Contents. 6. Poincaré Duality
121B: ALGEBRAIC TOPOLOGY Contents 6. Poincaré Duality 1 6.1. Manifolds 2 6.2. Orientation 3 6.3. Orientation sheaf 9 6.4. Cap product 11 6.5. Proof for good coverings 15 6.6. Direct limit 18 6.7. Proof
More informationResults from MathSciNet: Mathematical Reviews on the Web c Copyright American Mathematical Society 2000
2000k:53038 53C23 20F65 53C70 57M07 Bridson, Martin R. (4-OX); Haefliger, André (CH-GENV-SM) Metric spaces of non-positive curvature. Grundlehren der Mathematischen Wissenschaften [Fundamental Principles
More informationSchool of Mathematics and Statistics. MT5824 Topics in Groups. Problem Sheet I: Revision and Re-Activation
MRQ 2009 School of Mathematics and Statistics MT5824 Topics in Groups Problem Sheet I: Revision and Re-Activation 1. Let H and K be subgroups of a group G. Define HK = {hk h H, k K }. (a) Show that HK
More informationOn on a conjecture of Karrass and Solitar
On on a conjecture of Karrass and Solitar Warren Dicks and Benjamin Steinberg December 15, 2015 1 Graphs 1.1 Definitions. A graph Γ consists of a set V of vertices, a set E of edges, an initial incidence
More informationExtra exercises for algebra
Extra exercises for algebra These are extra exercises for the course algebra. They are meant for those students who tend to have already solved all the exercises at the beginning of the exercise session
More informationSolutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3
Solutions to odd-numbered exercises Peter J. Cameron, Introduction to Algebra, Chapter 3 3. (a) Yes; (b) No; (c) No; (d) No; (e) Yes; (f) Yes; (g) Yes; (h) No; (i) Yes. Comments: (a) is the additive group
More informationGroup theory. Victor Reyes. address: Dedicated to Conacyt.
Group theory Victor Reyes E-mail address: Vreyes@gc.edu Dedicated to Conacyt. Abstract. This course was given at GC. Contents Preface vii Part 1. The First Part 1 Chapter 1. The First Chapter 3 1. Universal
More informationORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS
ORBITAL DIGRAPHS OF INFINITE PRIMITIVE PERMUTATION GROUPS SIMON M. SMITH Abstract. If G is a group acting on a set Ω and α, β Ω, the digraph whose vertex set is Ω and whose arc set is the orbit (α, β)
More informationDEHN FILLINGS AND ELEMENTARY SPLITTINGS
DEHN FILLINGS AND ELEMENTARY SPLITTINGS DANIEL GROVES AND JASON FOX MANNING Abstract. We consider conditions on relatively hyperbolic groups about the non-existence of certain kinds of splittings, and
More informationPseudo Sylow numbers
Pseudo Sylow numbers Benjamin Sambale May 16, 2018 Abstract One part of Sylow s famous theorem in group theory states that the number of Sylow p- subgroups of a finite group is always congruent to 1 modulo
More informationZ n -free groups are CAT(0)
Z n -free groups are CAT(0) Inna Bumagin joint work with Olga Kharlampovich to appear in the Journal of the LMS February 6, 2014 Introduction Lyndon Length Function Let G be a group and let Λ be a totally
More informationLocally maximal product-free sets of size 3
Locally maximal product-free sets of size 3 By Chimere S. Anabanti and Sarah B. Hart Birkbeck Pure Mathematics Preprint Series Preprint Number 10 www.bbk.ac.uk/ems/research/pure/preprints Locally maximal
More informationGeometric group theory Lecture Notes
Geometric group theory Lecture Notes M. Hull 1 Introduction One of the main themes of geometric group theory is to study a (finitely generated) group G in terms of the geometric properties of the Cayley
More informationRELATIVE CUBULATIONS AND GROUPS WITH A 2 SPHERE BOUNDARY
RELATIVE CUBULATIONS AND GROUPS WITH A 2 SPHERE BOUNDARY EDUARD EINSTEIN AND DANIEL GROVES ABSTRACT. We introduce a new kind of action of a relatively hyperbolic group on a CAT(0) cube complex, called
More informationD-MATH Algebra I HS 2013 Prof. Brent Doran. Solution 3. Modular arithmetic, quotients, product groups
D-MATH Algebra I HS 2013 Prof. Brent Doran Solution 3 Modular arithmetic, quotients, product groups 1. Show that the functions f = 1/x, g = (x 1)/x generate a group of functions, the law of composition
More informationMATH 430 PART 2: GROUPS AND SUBGROUPS
MATH 430 PART 2: GROUPS AND SUBGROUPS Last class, we encountered the structure D 3 where the set was motions which preserve an equilateral triangle and the operation was function composition. We determined
More informationLecture 2: Cubulations
Lecture 2: Cubulations Pocsets CAT(0) Cube Complexes Σ - locally finite, finite width pocset An ultrafilter on Σ is a subset α Σ satisfying Choice: For every A Σ, A α or A* α (not both) Consistency: A
More informationCONFORMAL DIMENSION AND RANDOM GROUPS
CONFORMAL DIMENSION AND RANDOM GROUPS JOHN M. MACKAY Abstract. We give a lower and an upper bound for the conformal dimension of the boundaries of certain small cancellation groups. We apply these bounds
More informationFinitary Permutation Groups
Finitary Permutation Groups Combinatorics Study Group Notes by Chris Pinnock You wonder and you wonder until you wander out into Infinity, where - if it is to be found anywhere - Truth really exists. Marita
More informationMinimal Paths and Cycles in Set Systems
Minimal Paths and Cycles in Set Systems Dhruv Mubayi Jacques Verstraëte July 9, 006 Abstract A minimal k-cycle is a family of sets A 0,..., A k 1 for which A i A j if and only if i = j or i and j are consecutive
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationThe Reduction of Graph Families Closed under Contraction
The Reduction of Graph Families Closed under Contraction Paul A. Catlin, Department of Mathematics Wayne State University, Detroit MI 48202 November 24, 2004 Abstract Let S be a family of graphs. Suppose
More informationThe L 3 (4) near octagon
The L 3 (4) near octagon A. Bishnoi and B. De Bruyn October 8, 206 Abstract In recent work we constructed two new near octagons, one related to the finite simple group G 2 (4) and another one as a sub-near-octagon
More informationAN AXIOMATIC FORMATION THAT IS NOT A VARIETY
AN AXIOMATIC FORMATION THAT IS NOT A VARIETY KEITH A. KEARNES Abstract. We show that any variety of groups that contains a finite nonsolvable group contains an axiomatic formation that is not a subvariety.
More informationConditions for the Equivalence of Largeness and Positive vb 1
Conditions for the Equivalence of Largeness and Positive vb 1 Sam Ballas November 27, 2009 Outline 3-Manifold Conjectures Hyperbolic Orbifolds Theorems on Largeness Main Theorem Applications Virtually
More informationDecomposing oriented graphs into transitive tournaments
Decomposing oriented graphs into transitive tournaments Raphael Yuster Department of Mathematics University of Haifa Haifa 39105, Israel Abstract For an oriented graph G with n vertices, let f(g) denote
More informationA DESCRIPTION OF INCIDENCE RINGS OF GROUP AUTOMATA
Contemporary Mathematics A DESCRIPTION OF INCIDENCE RINGS OF GROUP AUTOMATA A. V. KELAREV and D. S. PASSMAN Abstract. Group automata occur in the Krohn-Rhodes Decomposition Theorem and have been extensively
More informationDefinability in the Enumeration Degrees
Definability in the Enumeration Degrees Theodore A. Slaman W. Hugh Woodin Abstract We prove that every countable relation on the enumeration degrees, E, is uniformly definable from parameters in E. Consequently,
More informationSpanning Paths in Infinite Planar Graphs
Spanning Paths in Infinite Planar Graphs Nathaniel Dean AT&T, ROOM 2C-415 600 MOUNTAIN AVENUE MURRAY HILL, NEW JERSEY 07974-0636, USA Robin Thomas* Xingxing Yu SCHOOL OF MATHEMATICS GEORGIA INSTITUTE OF
More informationK 4 -free graphs with no odd holes
K 4 -free graphs with no odd holes Maria Chudnovsky 1 Columbia University, New York NY 10027 Neil Robertson 2 Ohio State University, Columbus, Ohio 43210 Paul Seymour 3 Princeton University, Princeton
More informationDISCRETENESS CRITERIA FOR ISOMETRY GROUPS OF NEGATIVE CURVATURE. Binlin Dai and Bing Nai. Received April 3, 2003; revised September 5, 2003
Scientiae Mathematicae Japonicae Online, Vol. 9, (2003), 411 417 411 DISCRETENESS CRITERIA FOR ISOMETRY GROUPS OF NEGATIVE CURVATURE Binlin Dai and Bing Nai Received April 3, 2003; revised September 5,
More informationSOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS
Proyecciones Vol. 21, N o 1, pp. 21-50, May 2002. Universidad Católica del Norte Antofagasta - Chile SOME SPECIAL KLEINIAN GROUPS AND THEIR ORBIFOLDS RUBÉN HIDALGO Universidad Técnica Federico Santa María
More informationACO Comprehensive Exam 19 March Graph Theory
1. Graph Theory Let G be a connected simple graph that is not a cycle and is not complete. Prove that there exist distinct non-adjacent vertices u, v V (G) such that the graph obtained from G by deleting
More informationStab(t) = {h G h t = t} = {h G h (g s) = g s} = {h G (g 1 hg) s = s} = g{k G k s = s} g 1 = g Stab(s)g 1.
1. Group Theory II In this section we consider groups operating on sets. This is not particularly new. For example, the permutation group S n acts on the subset N n = {1, 2,...,n} of N. Also the group
More informationTopology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7
Topology Exercise Sheet 2 Prof. Dr. Alessandro Sisto Due to March 7 Question 1: The goal of this exercise is to give some equivalent characterizations for the interior of a set. Let X be a topological
More informationThe Geometry of Hyperbolic Manifolds via the Curve Complex
The Geometry of Hyperbolic Manifolds via the Curve Complex Talk by Ken Bromberg August 22, 2007 One of the goals of this course has been to demonstrate how the combinatorics of the curve complex relate
More informationAutomorphism groups of wreath product digraphs
Automorphism groups of wreath product digraphs Edward Dobson Department of Mathematics and Statistics Mississippi State University PO Drawer MA Mississippi State, MS 39762 USA dobson@math.msstate.edu Joy
More informationGroups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems
Group Theory Groups Subgroups Normal subgroups Quotient groups Homomorphisms Cyclic groups Permutation groups Cayley s theorem Class equations Sylow theorems Groups Definition : A non-empty set ( G,*)
More informationFuchsian groups. 2.1 Definitions and discreteness
2 Fuchsian groups In the previous chapter we introduced and studied the elements of Mob(H), which are the real Moebius transformations. In this chapter we focus the attention of special subgroups of this
More informationMATH 101: ALGEBRA I WORKSHEET, DAY #3. Fill in the blanks as we finish our first pass on prerequisites of group theory.
MATH 101: ALGEBRA I WORKSHEET, DAY #3 Fill in the blanks as we finish our first pass on prerequisites of group theory 1 Subgroups, cosets Let G be a group Recall that a subgroup H G is a subset that is
More informationThe Symmetry of Intersection Numbers in Group Theory
ISSN 1364-0380 (on line) 1465-3060 (printed) 11 Geometry & Topology Volume 2 (1998) 11 29 Published: 19 March 1998 G G G G T T T G T T T G T G T GG TT G G G G GG T T T TT The Symmetry of Intersection Numbers
More informationIrreducible subgroups of algebraic groups
Irreducible subgroups of algebraic groups Martin W. Liebeck Department of Mathematics Imperial College London SW7 2BZ England Donna M. Testerman Department of Mathematics University of Lausanne Switzerland
More informationDecompositions of graphs into cycles with chords
Decompositions of graphs into cycles with chords Paul Balister Hao Li Richard Schelp May 22, 2017 In memory of Dick Schelp, who passed away shortly after the submission of this paper Abstract We show that
More informationA Characterization of (3+1)-Free Posets
Journal of Combinatorial Theory, Series A 93, 231241 (2001) doi:10.1006jcta.2000.3075, available online at http:www.idealibrary.com on A Characterization of (3+1)-Free Posets Mark Skandera Department of
More informationarxiv:math.gt/ v1 3 May 2004
Tree-graded spaces and asymptotic cones of groups Cornelia Druţu and Mark Sapir arxiv:math.gt/0405030 v1 3 May 2004 with an Appendix by Denis Osin and Mark Sapir Abstract We introduce a concept of tree-graded
More informationGroup Actions Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying:
Group Actions 8-26-202 Definition. Let G be a group, and let X be a set. A left action of G on X is a function θ : G X X satisfying: (a) θ(g,θ(g 2,x)) = θ(g g 2,x) for all g,g 2 G and x X. (b) θ(,x) =
More informationSystoles of hyperbolic 3-manifolds
Math. Proc. Camb. Phil. Soc. (2000), 128, 103 Printed in the United Kingdom 2000 Cambridge Philosophical Society 103 Systoles of hyperbolic 3-manifolds BY COLIN C. ADAMS Department of Mathematics, Williams
More informationPartial cubes: structures, characterizations, and constructions
Partial cubes: structures, characterizations, and constructions Sergei Ovchinnikov San Francisco State University, Mathematics Department, 1600 Holloway Ave., San Francisco, CA 94132 Abstract Partial cubes
More informationCYCLE DOUBLE COVERS OF INFINITE PLANAR GRAPHS
Discussiones Mathematicae Graph Theory 36 (2016) 523 544 doi:10.7151/dmgt.1879 CYCLE DOUBLE COVERS OF INFINITE PLANAR GRAPHS Mohammad Javaheri 515 Loudon Road School of Science, Siena College Loudonville,
More informationTorsion Graph of Modules
E extracta mathematicae Vol. 26, Núm. 1, 153 163 (2011) Torsion Graph of Modules Sh. Ghalandarzadeh, P. Malakooti Rad Department of Mathematics, Faculty of Science, K. N. Toosi University of Technology,
More informationINTERSECTION FORM, LAMINATIONS AND CURRENTS ON FREE GROUPS
INTERSECTION FORM, LAMINATIONS AND CURRENTS ON FREE GROUPS ILYA KAPOVICH AND MARTIN LUSTIG Abstract. Let F N be a free group of rank N 2, let µ be a geodesic current on F N and let T be an R-tree with
More informationA strong Schottky Lemma for nonpositively curved singular spaces
A strong Schottky Lemma for nonpositively curved singular spaces To John Stallings on his sixty-fifth birthday Roger C. Alperin, Benson Farb and Guennadi A. Noskov January 22, 2001 1 Introduction The classical
More informationCographs; chordal graphs and tree decompositions
Cographs; chordal graphs and tree decompositions Zdeněk Dvořák September 14, 2015 Let us now proceed with some more interesting graph classes closed on induced subgraphs. 1 Cographs The class of cographs
More informationTactical Decompositions of Steiner Systems and Orbits of Projective Groups
Journal of Algebraic Combinatorics 12 (2000), 123 130 c 2000 Kluwer Academic Publishers. Manufactured in The Netherlands. Tactical Decompositions of Steiner Systems and Orbits of Projective Groups KELDON
More informationOn the local connectivity of limit sets of Kleinian groups
On the local connectivity of limit sets of Kleinian groups James W. Anderson and Bernard Maskit Department of Mathematics, Rice University, Houston, TX 77251 Department of Mathematics, SUNY at Stony Brook,
More informationCycles in 4-Connected Planar Graphs
Cycles in 4-Connected Planar Graphs Guantao Chen Department of Mathematics & Statistics Georgia State University Atlanta, GA 30303 matgcc@panther.gsu.edu Genghua Fan Institute of Systems Science Chinese
More informationGROUP ACTIONS ON U -TREES
GROUP ACTIONS ON U -TREES MARC CULLER and JOHN W. MORGAN [Received 12 April 1985 Revised 22 May 1986 and 17 October 1986] 0. Introduction An R-tree is a non-empty metric space in which any two points are
More informationZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p
ZEROS OF SPARSE POLYNOMIALS OVER LOCAL FIELDS OF CHARACTERISTIC p BJORN POONEN 1. Statement of results Let K be a field of characteristic p > 0 equipped with a valuation v : K G taking values in an ordered
More informationBiperfect Hopf Algebras
Ž. Journal of Algebra 3, 33 335 000 doi:0.006 jabr.000.8405, available online at http: www.idealibrary.com on Biperfect Hopf Algebras Pavel Etingof Department of Mathematics, Rm -65, MIT, Cambridge, Massachusetts
More information