On coherent systems of projections forN1-separable groups

DOI10.1080/00927879208824564MaRDI QIDQ4029192zbMATH OpenOpenAlexFDO

Authors Paul C. Eklof, S. Shelah, Alan H. Mekler

Publication date 15 March 1993

Published in Communications in Algebra (Search for Journal in Brave)

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

zbMATH Keywords

abelian countable direct summandCohen generic reals.coherent system of projectionscontinuum hypothesiscountable subsetforcingfree-abelianJensen's combinatorial principleseparable groupsShelah's proper forcing axiom PFAZFC

Mathematics Subject Classification ID

Consistency and independence results (03E35) Continuum hypothesis and Martin's axiom (03E50) Applications of logic to group theory (20A15) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25)

Abstract: It is proved consistent with either CH or the negation of CH that there is an aleph_1-separable group of cardinality aleph_1 which does not have a coherent system of projections. It had previously been shown that it is consistent with not CH that every aleph_1-separable group of cardinality aleph_1 does have a coherent system of projections.

Review text

An abelian group \(A\) is called \(\aleph_ 1\)-separable if every countable subset of \(A\) is contained in a countable direct summand which is free- abelian. Equivalently, if there is a family of projections \(\{\pi_ i: i\in I\}\), \(\pi_ i: A \to H_ i = \text{range}(\pi_ i)\), with \(\pi_ i \circ \pi_ i = \pi_ i\) and each \(H_ i\) countable, free- abelian, such that each countable subset \(X\) of \(A\) is contained in at least one subgroup \(H_ i\). Such a system is called `coherent' if in addition \(H_ k \subseteq H_ i\) implies \(\pi_ k\circ \pi_ i = \pi_ k\). It is a natural question whether each \(\aleph_ 1\)-separable group of power \(\aleph_ 1\) has a coherent system of projections. A. H. Mekler has shown earlier that the answer is positive assuming Shelah's proper forcing axiom PFA together with the negation of Cantor's Continuum hypothesis, \(\neg \text{CH}\). In the present paper it is shown that the answer is negative assuming the usual set theoretic axioms ZFC. In fact it is shown that ZFC+CH+ (there is an \(\aleph_ 1\)-separable group of power \(\aleph_ 1\) with no coherent set of projections) is consistent. Here Jensen's combinatorial principle \(\diamondsuit(S)\) is required which implies CH. It is also shown that \(\text{ZFC} + \neg\text{CH}+\) (there is an \(\aleph_ 1\)- separable group of power \(\aleph_ 1\) with no coherent set of projections) is consistent. This is done using forcing by adding at least \(\aleph_ 2\) Cohen generic reals.

Recommendations

• Every coseparable group may be free
• On \(\omega\)-filtered vector spaces and their application to Abelian p- groups. II
• scientific article; zbMATH DE number 4063394
• The Structure of ω 1 -Separable Groups
• Filtration-equivalent \(\aleph_1\)-separable Abelian groups of cardinality \(\aleph_1\).

Cites work

• How to Construct Almost Free Groups
• scientific article; zbMATH DE number 45272 (Why is no real title available?)
• On the Decomposition of Groups
• Stationary logic and its friends. I

Cited in

(5)

• On pure subgroups of Cartesian products of integers
• Every coseparable group may be free
• Hereditarily separable groups and monochromatic uniformization
• The Structure of ω 1 -Separable Groups
• A New Characterization of Totally Projective Groups of Cardinality ℵ 1

This page was built for publication: On coherent systems of projections forN₁-separable groups

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