Summands of dual groups
The main result of this paper is Theorem 1.2. There is a strongly \(\aleph_1\)-free group \(A\) of cardinality \(\aleph_1\) which is not a dual group but its image under \(\sigma\), the canonical map to \(A^{**}\), is a direct summand of its double dual. In the final section, two open problems of \textit{P. C. Eklof, A. H. Mekler} [Almost free modules. Set-theoretic methods, North-Holland (1990; Zbl 0718.20027)] are answered in the negative. Question 1: If \(A=G^*\) is a dual group and \(B\) is the subgroup of \(A^*\) annihilated by \(\ker\rho\), where \(\rho\colon A^{**}\to A\) is defined by \(\rho(f)=f|_{\sigma[G]}\), is \(B\) a maximal predual of \(A\)? Question 2(3): If one (maximal) predual of a dual group is a dual group, must all (maximal) preduals be dual groups? The main construction (9 pages) uses some ideas due to Eklof, Mekler, Shelah on strongly non-reflexive groups.
This page was built for publication: Summands of dual groups
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4238104)