Sh:568

• Göbel, R., & Shelah, S. (2001). Some nasty reflexive groups. Math. Z., 237(3), 547–559. arXiv: math/0003164 DOI: 10.1007/PL00004879 MR: 1845337
• Abstract:
  In Almost Free Modules, Set-theoretic Methods, p. 455, Problem 12, Eklof and Mekler raised the question about the existence of dual abelian groups G which are not isomorphic to {\mathbb Z} \oplus G. Recall that G is a dual group if G \cong D^* for some group D with D^*={\rm Hom}(D,{\mathbb Z}). The existence of such groups is not obvious because dual groups are subgroups of cartesian products {\mathbb Z}^D and therefore have very many homomorphisms into {\mathbb Z}. If \pi is such a homomorphism arising from a projection of the cartesian product, then D^*\cong{\rm ker}\pi \oplus {\mathbb Z}. In all “classical cases” of groups D of infinite rank it turns out that D^*\cong{\rm ker}\pi. Is this always the case? Also note that reflexive groups G in the sense of H. Bass are dual groups because by definition the evaluation map \sigma:G\longrightarrow G^{**} is an isomorphism, hence G is the dual of G^*. Assuming the diamond axiom for \aleph_1 we will construct a reflexive torsion-free abelian group of cardinality \aleph_1 which is not isomorphic to {\mathbb Z}\oplus G. The result is formulated for modules over countable principal ideal domains which are not field.
• Version 2000-01-31_11 (15p) published version (13p)

@article{Sh:568,
 author = {G{\"o}bel, R{\"u}diger and Shelah, Saharon},
 title = {{Some nasty reflexive groups}},
 journal = {Math. Z.},
 fjournal = {Mathematische Zeitschrift},
 volume = {237},
 number = {3},
 year = {2001},
 pages = {547--559},
 issn = {0025-5874},
 mrnumber = {1845337},
 mrclass = {20K20 (03E35 20K30)},
 doi = {10.1007/PL00004879},
 note = {\href{https://arxiv.org/abs/math/0003164}{arXiv: math/0003164}},
 arxiv_number = {math/0003164}
}