On the Kurosh rank of the intersection of subgroups in free products of groups. (Q2483175): Difference between revisions

The Kurosh rank \(r_K(H)\) of a subgroup \(H\) of a free product \(*G_i\) of groups is defined accordingly to the classic Kurosh subgroup theorem as the number of free factors of \(H\). It is shown: Theorem. Suppose that \(H_1,H_2\) are subgroups of \(*G_i\) with finite Kurosh rank. Then \[ \overline r_K(H_1\cap H_2)\leq 2\frac{q^*}{q^*-2}\overline r_K(H_1)\overline r_K(H_2)\leq 6\overline r_K(H_1)\overline r_K(H_2), \] where \(\overline r_K(H)=\max(r_K(H)-1,0)\), \(q^*\) is the minimum of orders \(>2\) of finite subgroups of the groups \(G_i\), \(q^*=\infty\) if there are no such subgroups, and \(\frac{q^*}{q^*-2}:=1\) if \(q^*=\infty\). In particular, if the factors \(G_i\) are torsion-free groups, then \[ \overline r_K(H_1\cap H_2)\leq 2\overline r_K(H_1)\overline r_K(H_2). \]