INTERSECTING FREE SUBGROUPS IN FREE PRODUCTS OF GROUPS
Sergei Ivanov
Abstract
Sergei Ivanov
Abstract
A subgroup H of a free product [Formula: see text] of groups Gα, α∈ I, is termed factor free if for every [Formula: see text] 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 [Formula: see text], 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 [Formula: see text] then [Formula: see text]. 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 [Formula: see text] so that [Formula: see text] and [Formula: see text]. It is also proved that if the factors Gα, α∈ I, are linearly ordered groups and H, K are finitely generated factor free subgroups of [Formula: see text] then [Formula: see text].
OpenAlex reports 28 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
A subgroup H of a free product [Formula: see text] of groups Gα, α∈ I, is termed factor free if for every [Formula: see text] 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 [Formula: see text], 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 [Formula: see text] then [Formula: see text]. 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 [Formula: see text] so that [Formula: see text] and [Formula: see text]. It is also proved that if the factors Gα, α∈ I, are linearly ordered groups and H, K are finitely generated factor free subgroups of [Formula: see text] then [Formula: see text].
Key concepts: Free group, Free product, Mathematics, Rank (graph theory), Combinatorics, Finitely-generated abelian group, Factor (programming language), Free form