The product of divisibility groups \((G_1, \mathcal O _1)\times (G_2,\mathcal O_2)\) with \(G_1\) finitely generated (Q926851)

It is well known that each abelian \(l\)-group is the divisibility group of some domain. The reviewer answered the question of \textit{T. Dumitrescu}, \textit{Y. Lequain}, \textit{J. L. Mott} and \textit{M. Zafrullah} [J. Algebra 245, No. 1, 161--181 (2001; Zbl 1094.13537)] whether an almost \(l\)-group is a divisibility group in the negative in the paper [\textit{Y. Yang}, Some remarks on almost \(l\)-groups, to appear in Arch. Math.]. In general, it is important to investigate which directed groups arises as a divisibility group. Three interesting results are proved in the paper under review: (1) Let \((G_1, {\mathcal {O}}_1) \) be a finitely generated (f. g. for short) divisibility group that is not lattice-ordered, and let \((G_2, {\mathcal {O}}_2) \) be a divisibility group with \(\text{Card}(G_2)>\text{Card}(\mathbb R)\), then the Cartesian product \((G_1 \times G_2, {\mathcal {O}}_1\times {\mathcal {O}}_2)\) is not a divisibility group. (2) If \((G_1,{\mathcal {O}}_1) \) is a torsion-free f.g. divisibility group and if \((G_2, {\mathcal {O}}_2) \) is an \(l\)-group with finitely many ultrafilters, then the product \((G_1 \times G_2, {\mathcal {O}}_1\times {\mathcal {O}}_2)\) is a divisibility group if and only if \(\text{Card}(G_2) \leq \text{Card} (\mathbb R)\). (3) If both \((G_1, {\mathcal {O}}_1) \) and \((G_2, {\mathcal {O}}_2) \) are torsion-free f.g. divisibility groups, then the product \((G_1 \times G_2, {\mathcal {O}}_1\times {\mathcal {O}}_2)\) is a divisibility group.