On the Howson property of HNN-extensions with Abelian base group and amalgamated free products of Abelian groups. (Q766087)

A group \(G\) has the Howson property if the intersection of any two finitely generated subgroups of \(G\) is again finitely generated. \textit{A. G. Howson} [in J. Lond. Math. Soc. 29, 428-434 (1954; Zbl 0056.02106)] proved that free groups have this property. \textit{A. Karrass} and \textit{D. Solitar} [in Trans. Am. Math. Soc. 150, 227-255 (1970; Zbl 0223.20031) and in Can. J. Math. 23, 627-643 (1971; Zbl 0232.20051)] showed that amalgamated free products and HNN-extensions of groups with the Howson property have the Howson property in case where the amalgamated/associated subgroups are finite. However, in general, this property is not closed taking amalgamated free products or HNN-extensions. Sufficient conditions which ensure that an amalgamated free product or an HNN-extension of groups with the Howson property has again the Howson property are given by \textit{R. G. Burns} [in Trans. Am. Math. Soc. 169, 293-306 (1972; Zbl 0254.20020) and in Can. J. Math. 25, 1103-1112 (1973; Zbl 0238.20033)]. In the paper under consideration the author gives characterizations for the Howson property of amalgamated free products and HNN-extensions of finitely generated Abelian groups. More precisely he proves: Theorem (Corollary 2 in the paper). Let \(G=\langle t,K\mid t^{-1}At=B,\;\varphi\rangle\) be the HNN-extension of the finitely generated Abelian group \(K\). The group \(G\) has the Howson property if and only if either the associated subgroups are finite, or \(A=B=K\) or \(A=K>B\) and \(G\) satisfies the conditions: \((\alpha)\) For any nonpolycyclic subgroup \(\langle t^m,k'\rangle\), where \(m\geq 1\), \(k'\in K\) and for any \(k\in K\) of infinite order we have \(\langle t^m,k'\rangle\cap\langle k\rangle\neq 1\) and \((\beta)\) There is a nonpolycyclic subgroup \(H=\langle t,k_1\rangle\) for a \(k_1\in K\setminus B\) such that \(H\leq_fG\). Theorem (Corollary 3 in the paper). Let \(G=K*_AL\) be the amalgamated free product of the finitely generated Abelian groups \(K\) and \(L\). The group \(G\) has the Howson property if and only if the amalgamated subgroup \(A\) is finite or \(|K:A|=|L:A|=2\). The author refers to results of \textit{A. S. Kirkinskiĭ} [in Algebra Logic 20, 24-36 (1981); translation from Algebra Logika 20, 37-54 (1981; Zbl 0476.20022)] and to the fact that no extension of a free group of rank greater than one by an infinite cyclic group has the Howson property [\textit{R. G. Burns} and \textit{A. M. Brunner}, Algebra Logic 18, 319-325 (1980); translation from Algebra Logika 18, 513-522 (1979; Zbl 0448.20030)].