TY - JOUR

T1 - Intersecting free subgroups in free products of groups

AU - Ivanov, S. V.

N1 - Funding Information:
∗Supported in part by an Alfred P. Sloan Research Fellowship and NSF grant DMS 98-01500.
Copyright:
Copyright 2005 Elsevier Science B.V., Amsterdam. All rights reserved.

PY - 2001

Y1 - 2001

N2 - A subgroup H of a free product Π*α∈I Gα of groups Gα, α ∈ I, is termed factor free if for every S ∈ 7Pi;*α∈I Gα and β ∈ I one has SHS-1 ∩ Gβ = {1} (by Kurosh theorem on subgroups of free products, factor free subgroups are free). If K is a finitely generated free group, denote r̄(K) = max(r(K) -1, 0), where r(K) is the rank of K. It has earlier been proved by the author that if H, K are finitely generated factor free subgroups of Π*α∈I Gα then r̄(H ∩ K) ≤ 6r̄(H)r̄(K). It is proved in the article that this estimate is sharp and cannot be improved, that is, there are factor free subgroups H, K in Π*α∈I Gα so that r̄(H), r̄(K) > 0 and r̄(H ∩ K) = 6r̄(H)r̄(K). It is also proved that if the factors Gα, α ∈ I, are linearly ordered groups and H, K are finitely generated factor free subgroups of Π*α∈I Gα then r̄(H ∩ K) ≤ 2r̄(H)r̄(K).

AB - A subgroup H of a free product Π*α∈I Gα of groups Gα, α ∈ I, is termed factor free if for every S ∈ 7Pi;*α∈I Gα and β ∈ I one has SHS-1 ∩ Gβ = {1} (by Kurosh theorem on subgroups of free products, factor free subgroups are free). If K is a finitely generated free group, denote r̄(K) = max(r(K) -1, 0), where r(K) is the rank of K. It has earlier been proved by the author that if H, K are finitely generated factor free subgroups of Π*α∈I Gα then r̄(H ∩ K) ≤ 6r̄(H)r̄(K). It is proved in the article that this estimate is sharp and cannot be improved, that is, there are factor free subgroups H, K in Π*α∈I Gα so that r̄(H), r̄(K) > 0 and r̄(H ∩ K) = 6r̄(H)r̄(K). It is also proved that if the factors Gα, α ∈ I, are linearly ordered groups and H, K are finitely generated factor free subgroups of Π*α∈I Gα then r̄(H ∩ K) ≤ 2r̄(H)r̄(K).

UR - http://www.scopus.com/inward/record.url?scp=0035640926&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0035640926&partnerID=8YFLogxK

U2 - 10.1142/S0218196701000267

DO - 10.1142/S0218196701000267

M3 - Article

AN - SCOPUS:0035640926

VL - 11

SP - 281

EP - 290

JO - International Journal of Algebra and Computation

JF - International Journal of Algebra and Computation

SN - 0218-1967

IS - 3

ER -