\(PB^ \infty\)-subgroups of Butler groups (Q1817283)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | \(PB^ \infty\)-subgroups of Butler groups |
scientific article |
Statements
\(PB^ \infty\)-subgroups of Butler groups (English)
0 references
3 September 1997
0 references
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'.
0 references
Butler groups
0 references
\(B_ 1\)-groups
0 references
balanced sequences
0 references
V=L
0 references