Intersecting free subgroups in free products of left ordered groups (Q2360394)

Let \(\overline{r}(F)=\max(r(F)-1,0)\) for a free group \(F\) of finite rank \(r(F)\). Let \(G_{\alpha}\), \(\alpha\in I\), be left (or right) ordered groups, \(P=\prod^{*}_{\alpha\in I}G_{\alpha}\) be their free product, and \(H_1\), \(H_2\) be finitely generated so-called factor-free subgroups of \(P\). The author proves that \(\overline{r}(H_1\cap H_2)\leq \overline{r}(H_1)\overline{r}(H_2)\).