No label defined (Q4235751)

An abelian group \(A\) is said to be Butler if it is a pure subgroup of a finite rank completely decomposable torsion-free group. For a type \(\tau\) the subgroup \(A(\tau)\) consists of all elements of \(A\) of types \(\geq\tau\) and \(A^*(\tau)\) is generated by the elements with the types \(>\tau\). For a Butler group the pure closure \(A^*(\tau)_*\) is a direct summand of \(A(\tau)\), \(A(\tau)=A_\tau\oplus A^*(\tau)_*\) and \(B=\sum A_{\tau}\) is a regulating subgroup of \(A\). The authors study some properties of the following strictly increasing classes of Butler groups. A \(B_0\)-group is a Butler group \(A\) such that \(A^*(\tau)\) is pure in \(A\) for each type \(\tau\). The group \(A\) is called a \(B_1\)-group if whenever \(C=\sum C_\tau\) is of finite index in \(A\) and \(C(\tau)/(C_\tau\oplus C^*(\tau)_*)\) is finite for each type \(\tau\), then there is a \(B_0\)-group \(D\) such that \(C\subseteq D\subseteq A\). If all regulating subgroups of \(A\) are \(B_0\)-groups then \(A\) is called a \(B_2\)-group. A group \(A\) is a \(B_3\)-group, if it contains a regulating \(B_0\)-group and finally, \(A\) is a \(B_4\)-group if it is quasi-isomorphic to a \(B_0\)-group.