# Sh:727

- Göbel, R., & Shelah, S. (2001).
*Reflexive subgroups of the Baer-Specker group and Martin’s axiom*. In Abelian groups, rings and modules (Perth, 2000), Vol. 273, Amer. Math. Soc., Providence, RI, pp. 145–158. arXiv: math/0009062 DOI: 10.1090/conm/273/04431 MR: 1817159 -
Abstract:

In two recent papers we answered a question raised in the book by Eklof and Mekler (p. 455, Problem 12) under the set theoretical hypothesis of \diamondsuit_{\aleph_1} which holds in many models of set theory, respectively of the special continuum hypothesis (CH). The objects are reflexive modules over countable principal ideal domains R, which are not fields. Following H. Bass, an R-module G is reflexive if the evaluation map \sigma: G\longrightarrow G^{**} is an isomorphism. Here G^*={\rm Hom}(G, R) denotes the dual module of G. We proved the existence of reflexive R-modules G of infinite rank with G \not\cong G \oplus R, which provide (even essentially indecomposable) counter examples to the question mentioned above. Is CH a necessary condition to find ‘nasty’ reflexive modules? In the last part of this paper we will show (assuming the existence of supercompact cardinals) that large reflexive modules always have large summands. So at least being essentially indecomposable needs an additional set theoretic assumption. However the assumption need not be CH as shown in the first part of this paper. We will use Martin’s axiom to find reflexive modules with the above decomposition which are submodules of the Baer-Specker module R^\omega. - published version (14p)

Bib entry

@incollection{Sh:727, author = {G{\"o}bel, R{\"u}diger and Shelah, Saharon}, title = {{Reflexive subgroups of the Baer-Specker group and Martin's axiom}}, booktitle = {{Abelian groups, rings and modules (Perth, 2000)}}, series = {Contemp. Math.}, volume = {273}, year = {2001}, pages = {145--158}, publisher = {Amer. Math. Soc., Providence, RI}, mrnumber = {1817159}, mrclass = {20K20 (03E35 13C13 20K30)}, doi = {10.1090/conm/273/04431}, note = {\href{https://arxiv.org/abs/math/0009062}{arXiv: math/0009062}}, arxiv_number = {math/0009062} }