\(PB^ \infty\)-subgroups of Butler groups (Q1817283)

The basic to for this investigation is the by now classical notion of a balanced sequence \((E)\;0\to H\to G\to K\to 0\), with \(K\) torsion-free. This is the case if \((E)\) is projective for all subgroups of the rationals \(\mathbb{Q}\). Butler groups \(G\) (more precisely \(B_1\)-groups) can be characterized by \(\text{Bext}(G,T)=0\) for all torsion groups \(T\), where Bext collects only the balanced sequences. In order to understand this functor equation the notion prebalanced which reassembles ``totally projective'' was introduced, and in a fundamental paper [\textit{L. Bican, L. Fuchs}, Commun. Algebra 22, No. 3, 1037-1047 (1994; Zbl 0802.20045)] it was shown that in V=L any prebalanced subgroup of a \(B_1\)-group is itself a \(B_1\)-group. This result is transferred to the class of ``\(B^\infty\)-subgroups'', which answers an open problem about the `size of the class of \(B_1\)-groups'.