On the intersection of double cosets in free groups, with an application to amalgamated products
type: Item
instance of: scholarly article
title: On the intersection of double cosets in free groups, with an application to amalgamated products
zbMATH Open document ID: 0921.20029
author: S.-M. Kam
author: Robert G. Burns
published in: Journal of Algebra
publication date: 1999-10-04T00:00:00Z
review text: It is well known and elementary to prove that if \(H\), \(K\) are subgroups of a group \(G\), then the intersection \(Hg_1\cap Kg_2\) of any two cosets of \(H\) and \(K\) respectively is either empty or a single (right) coset of \(H\cap K\). However if one considers double cosets i.e. \(Hg_1U\) and \(Kg_2U\) where \(U\) is a third subgroup of \(G\) then their intersection \(Hg_1U\cap Kg_2U\) may contain more than one and even infinitely many \((H\cap K,U)\)-double cosets. In this paper the authors prove that if the group is free and the subgroup \(U\) is cyclic then the number of double cosets in the intersection is finite and bounded by certain invariants. More precisely one of the main results states: Let \(F\) be a free group, and let \(H\), \(K\) and \(U\) be subgroups of finite, nonzero ranks \(h\), \(k\), and \(1\), respectively. Let \(u\) denote a generator of \(U\), and write \(| u|\) for the length of \(u\) in terms of any set \(X\) of free generators of \(F\). Then each intersection \(Hg_1U\cap Kg_2U\), \(g_1,g_2\in F\), contains at most \[ [8| u|(h-1)+3\mu][8| u|(k-1)+3\mu] \] double cosets of the form \((H\cap K)gU\), where \(\mu\) is the largest integer such that \(w^\mu=u\) for some \(w\in F\). The second Theorem is an application of the above to amalgamated products \(G=A*_U B\) and is stated in terms of Karrass-Solitar rank and it is difficult to state here. However we can give the Corollary to this Theorem: Consider \(G=A*_U B\) where \(A\) is free and \(U\) is maximal cyclic in \(A\). If \(H,K\leq G\) are finitely generated subgroups intersecting all conjugates of \(A\) and \(B\) trivially, then \(H\), \(K\) and \(H\cap K\) are free, and \[ \text{rank}(H\cap K)\leq 8m^2n^2+\dots, \] where \(m\) and \(n\) are the ranks of \(H\) and \(K\). The authors remark that much of the paper consists of a re-ordering, emendation, and reproving in a more natural context of the main results of a previous paper of the first author [in Proc. 2nd internat. Conf. The…
Mathematics Subject Classification ID: 20E05
Mathematics Subject Classification ID: 20E06
Mathematics Subject Classification ID: 20F05
zbMATH DE Number: 1247572
zbMATH Keywords: numbers of double cosets
zbMATH Keywords: free groups
zbMATH Keywords: amalgamated products
zbMATH Keywords: Karrass-Solitar rank
zbMATH Keywords: finitely generated subgroups
MaRDI profile type: Publication
full work available at URL: jabr.1998.7411
OpenAlex ID: W2004443471
cites work: On the Finitely Generated Subgroups of an Amalgamated Product of Two Groups
cites work: Q4046267
cites work: On the rank of intersection of subgroups of a free product of groups
cites work: Q4128986
cites work: On the Intersection of Finitely Generated Free Groups
cites work: Amalgamated Products and the Howson Property
cites work: The Subgroups of a Free Product of Two Groups with an Amalgamated Subgroup
cites work: Q3209315
cites work: Intersection of finitely generated surface groups
cites work: Q3974443
cites work: Über die Nielsensche Kürzungsmethode in freien Produkten mit Amalgam
DOI: 10.1006/JABR.1998.7411
description: scientific article; zbMATH DE number 1247572