Stacked bases for a pair of homogeneous completely decomposable groups with bounded quotient (Q4699191)

A renowned theorem by \textit{J.~M.~Cohen} and \textit{H.~Gluck} [J. Algebra 14, 493-505 (1970; Zbl 0191.32203)] states that two free modules \(B\leq A\) over a principal ideal domain have ``stacked bases'' if and only if \(A/B\) is a direct sum of cyclic modules. ``Stacked bases'' are bases \(\{a_i:i\in I\}\) of \(A\) and \(\{r_ia_i:i\in I\}\) of \(B\) where the \(r_i\) are suitable ring elements. The authors prove a version of the stacked basis theorem for \(\tau\)-homogeneous completely decomposable torsion-free (Abelian) groups. Let \(B\leq A\) be \(\tau\)-homogeneous completely decomposable groups. Here \(\tau\) may be taken to be a subgroup of the additive group \(\mathbb{Q}\) of rational numbers that contains the integers \(\mathbb{Z}\). It should be noted that in a torsion-free Abelian group the multiplication of a group element by a rational number has an unambiguous meaning. The ultimate goal is to show that there is a subset \(\{a_i\in A:i\in I\}\) of \(A\) and integers \(d_i\) such that \(A=\bigoplus_{i\in I}\tau a_i\) and \(B=\bigoplus_{i\in I}\tau(d_ia_i)\). To have such ``stacked bases'' it is obviously necessary that \(A/B\) is a direct sum of cyclic groups. By imitating the proof of Cohen and Gluck the authors prove that \(A\) and \(B\) have stacked bases if \(A/B\) is a bounded group. For the entire collection see [Zbl 0921.00018].