Abstract
We characterize which permutational wreath products \(G \ltimes W^{(X)}\) are finitely presented. This occurs if and only if G and W are finitely presented, G acts on X with finitely generated stabilizers, and with finitely many orbits on the cartesian square X 2. On the one hand, this extends a result of G. Baumslag about infinite presentation of standard wreath products; on the other hand, this provides nontrivial examples of finitely presented groups. For instance, we obtain two quasi-isometric finitely presented groups, one of which is torsion-free and the other has an infinite torsion subgroup. Motivated by the characterization above, we discuss the following question: which finitely generated groups can have a finitely generated subgroup with finitely many double cosets? The discussion involves properties related to the structure of maximal subgroups, and to the profinite topology.
Similar content being viewed by others
References
Alperin, R.: Solvable Groups Of Exponential Growth and HNN Extensions, pp. 1–6. Groups-Korea 98, De Gruyter (1999)
Baumslag G. (1961). Wreath products of finitely presented groups. Math. Z. 75:22–28
Baumslag G., Bridson M., Holt D., Miller III C. (2003). Finite presentation of fibre products of metabelian groups. J. Pure Appl. Algebra 181(1):15–22
Brunner, A.M., Burns, R.G., Solitar, D.: The subgroup separability of free products of two free groups with cyclic amalgamation. In Contributions to Group Theory, Contemp. Math. 33, Amer. Math. Soc., Providence, RI, 90–115 (1984)
Burger M., Mozes S. (2000). Lattices in product of trees. Publ. Math. Inst. Hautes Études Sci. 92:151–194
Bridson M., Grunewald F. (2004). Grothendieck’s problems concerning profinite completions and representations of groups. Ann. of Math. (2) 160(1):359–373
Brown K. (1987). Finiteness properties of groups. J. Pure App. Algebra 44:45–75
Cannon J.W., Floyd W.J., Parry W.R. (1996). Introductory notes on Richard Thompson’s groups. Enseign. Math. (2) 42:215–256
Dixon J.D. (1990). Most finitely generated permutation groups are free. Bull. London Math. Soc. 22:222–226
Dyubina A. (2000). Instability of the virtual solvability and the property of being virtually torsion-free for quasi-isometric groups. Int. Math. Res. Not. 21:1097–1101
Erschler A. (2004). Not residually finite groups of intermediate growth, commensurability and non-geometricity. J. Algebra 272:154–172
Gelander, T., Glasner, Y.: Countable primitive linear groups. Preprint, 2005; ArXiv math.GR/0503001
Green, E.: Graph products. Ph.D. thesis, Univ. of Warwick (1991)
Grunewald F. (1978). On some groups which cannot be finitely presented. J. London Math Soc. 17:427–436
Glasner, Y., Souto, J., Storm, P.: Normal complements to quasiconvex subgroups. Preprint, (2005)
Grigorchuk R.I., Wilson J.S (2003). A structural property concerning abstract commensurability of subgroups. J. London Math. Soc. 68(2):671–682
Hall M. Jr. (1949). Coset representations in free groups. Trans. Amer. Math. Soc. 67:421–432
Hall P. (1959). On the finiteness of certain soluble groups. Proc. London Math. Soc. 9(3):595–622
Johnson, D.L.: Embedding some recursively presented groups. In: Groups St Andrews 1997 in Bath, vol 2, edited by Campbell, C.M., Robertson, E.F., Ruskuc, N., Smith, G.C. (eds.) London Math. Soc. Lecture Note Ser., 260 (pp. 410–416). Cambridge Univ. Press (1999)
Karrass A., Solitar D. (1973). On finitely generated subgroups which are of finite index in generalized free products. Proc. Amer. Math. Soc. 37(1):22–28
Mal’cev A.I. (1958). On homomorphisms onto finite groups. Ivanov. Gos. Ped. Inst. Ucen. Zap. 18:49–60 (English translation: Transl., Ser. 2, Amer. Math. Soc. 119, 67–79 (1983))
Margulis G., Soifer G. (1981). Maximal subgroups of infinite index in finitely generated linear groups. J. Algebra 69(1):1–23
Niblo, G.A., Wise, D.T.: The engulfing property for 3-manifolds, Geometry & Topology Monographs (1): The Epstein Birthday Schrift (pp. 413–418) (1998)
Olshanskii A. (1991). Geometry of defining relations in groups. Mathematics and its Applications (Soviet Series), 70. Kluwer Academic Publishers Group, Dordrecht
Olshanskii A. (2000). On the Bass-Lubotzky question about quotients of hyperbolic groups. J. Algebra 226:807–817
Osin, D.V.: Small cancellations over relatively hyperbolic groups and embedding theorems. Preprint, available on ArXiv (math.GR/0411039) (2004)
Parry W. (1992). Growth series of some wreath products. Trans. Amer. Math. Soc. 331(2):751–759
Pervova E.L. (2000). Everywhere dense groups of one group of tree automorphisms. Proc. Steklov Inst. Math. 231:339–350
Riles J.B. (1969). The near Frattini subgroups of infinite groups. J. Algebra 12:155–171
Robinson, D.J.S.: A Course in the Theory of Groups. Graduate Texts in Mathematics 80, Springer-Verlag (1982)
Roseblade J.E. (1973). Group rings of polycyclic groups. J. Pure Appl. Algebra 3:307–328
Rubinstein J.H., Wang S.C. (1998). π1-injective surfaces in graph manifolds. Comment. Math. Helv. 73:499–515
Shmelkin A.L. (1965). Über auflösbare Produkte von Gruppen (Russian). Sibirsk. Mat. Zh. 6:212–220
Soifer G., Venkataramana T.N. (2000). Finitely generated profinitely dense free subgroups of higher rank arithmetic groups. Transform. Groups 5(1):93–100
Wise D.T. (2003). A residually finite version of Rips’s construction. Bull. London. Math. Soc. 35(1):23–29
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
de Cornulier, Y. Finitely Presented Wreath Products and Double Coset Decompositions. Geom Dedicata 122, 89–108 (2006). https://doi.org/10.1007/s10711-006-9061-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10711-006-9061-4
Keywords
- Wreath products
- Two-transitive actions
- Double coset decompositions
- Graph products
- Subgroup separability
- Engulfing Property
- Maximal subgroups