Some nasty reflexive groups

DOI10.1007/PL00004879MaRDI QIDQ5947799zbMATH OpenOpenAlexFDO

Authors Rüdiger Göbel, S. Shelah

Publication date 22 October 2001

Published in Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/0003164

zbMATH Keywords

diamond axiomdual Abelian groupsprincipal ideal domainsreflexive modules

Mathematics Subject Classification ID

Other combinatorial set theory (03E05) Consistency and independence results (03E35) Structure, classification theorems for modules and ideals in commutative rings (13C05) Projective and free modules and ideals in commutative rings (13C10) Other special types of modules and ideals in commutative rings (13C13) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25) Automorphisms, homomorphisms, endomorphisms, etc. for abelian groups (20K30)

Abstract: In "Almost Free Modules, Set-theoretic Methods", Eklof and Mekler raised the question about the existence of dual abelian groups G which are not isomorphic to Z+G. Recall that G is a dual group if G ~ D^* for some group D with D^*=Hom(D,Z). The existence of such groups is not obvious because dual groups are subgroups of cartesian products Z^D and therefore have very many homomorphisms into Z. If p is such a homomorphism arising from a projection of the cartesian product, then D^* ~ ker(p)+Z. In all `classical cases' of groups D of infinite rank it turns out that D^* ~ ker(p). 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 s:G-->G^{**} is an isomorphism, hence G is the dual of G^*. Assuming the diamond axiom for aleph_1 we construct a reflexive torsion-free abelian group of cardinality aleph_1 which is not isomorphic to Z+G. The result is formulated for modules over countable principal ideal domains which are not field.

Review text

In the book ``Almost free modules. Set-theoretic methods of \textit{P. Eklof} and \textit{A. H. Mekler} [North-Holland, Amsterdam (1990; Zbl 0718.20027)], Problem 12 raises the question concerning the existence of a dual Abelian group \(G\) (i.e. a group with \(G\cong\Hom(\mathbb{Z},D)\) for some group \(D\)) which is not isomorphic to the direct sum \(\mathbb{Z}\oplus G\). The purpose of the paper is to give an affirmative answer to this problem. More precisely, assuming the diamond axiom for \(\aleph_1\) the main Theorem states, that if \(R\) is a countable principal ideal domain which is not a field, then there exists a reflexive \(R\)-module \(G\) of cardinality \(\aleph_1\) such that \(G\ncong R\oplus G\).

Recommendations

• Reflexive subgroups of the Baer-Specker group and Martin's axiom
• Summands of dual groups
• Decompositions of reflexive modules
• scientific article; zbMATH DE number 5610936
• Duality and self-reflexive torsion-free Abelian groups

Cited in

(8)

• On strongly-non-reflexive groups
• Remarks about the history of Abelian groups in England and Germany.
• On new examples of hypocritical groups
• Reflexive subgroups of the Baer-Specker group and Martin's axiom
• Summands of dual groups
• Chains of strongly non-reflexive dual groups of integer-valued continuous functions
• Decompositions of reflexive modules
• Construction of dual modules using Martin's axiom.

This page was built for publication: Some nasty reflexive groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5947799)