2000/03/25 by Ruediger Goebel, Saharon Shelah, Goebel, Ruediger +1
Computer Science · Mathematics · #Advanced Algebra and Logic #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #Rings, Modules, and Algebras #math.GR #math.LO
paper · pdf · doi:10.48550/arxiv.math/0003165
published as Arch. Math. (Basel) 76 No. 3 (2001) 166--181
arxiv created 2000/03/25 · openalex publication_date 2000/03/25 · arxiv updated 2009/11/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
We continue [GbSh:568] (math.LO/0003164), proving a stronger result under the special continuum hypothesis (CH). The original question of Eklof and Mekler related to dual abelian groups. We want to find a particular example of a dual group, which will provide a negative answer to the question. In order to derive a stronger and also more general result we will concentrate on reflexive modules over countable principal ideal domains R. Following H.Bass, an R-module G is reflexive if the evaluation map s:G-->G** is an isomorphism. Here G^*=Hom(G,R) denotes the dual group of G. Guided by classical results the question about the existence of a reflexive R-module G of infinite rank with G not cong G+R is natural. We will use a theory of bilinear forms on free R-modules which strengthens our algebraic results in [GbSh:568] (math.LO/0003164). Moreover we want to apply a model theoretic combinatorial theorem from [Sh:e] which allows us to avoid the weak diamond principle. This has the great advantage that the used prediction principle is still similar to the diamond, but holds under CH.