Forcing a Basis into \aleph₁-Free Groups

DOI10.1016/J.JALGEBRA.2023.03.009MaRDI QIDQ6388491arXivFDO

Authors Daniel P. Bossaller, Daniel Herden, Alexandra V. Pasi

Publication date 17 January 2022

Published in arXiv

Full work available at URL https://doi.org/10.1016/J.JALGEBRA.2023.03.009

Mathematics Subject Classification ID

Consistency and independence results (03E35) Other aspects of forcing and Boolean-valued models (03E40) Projective and free modules and ideals in commutative rings (13C10) Torsion-free groups, infinite rank (20K20) Direct sums, direct products, etc. for abelian groups (20K25)

arXiv classification

math.GRmath.LO

Abstract: In this paper, we address the question of when a non-free $alep{h}_1$-free group $H$ can be be free in a transitive cardinality-preserving model extension. Using the $Gamma$-invariant, denoted $Gamma(H)$, we present a necessary and sufficient condition resolving this question for $alep{h}_1$-free groups of cardinality $alep{h}_1$. Specifically, if $Gamma(H)=[alep{h}_1]$, then $H$ will be free in a transitive model extension if and only if $alep{h}_1$ collapses, while for $Gamma(H)e[alep{h}_1]$ there exist cardinality-preserving forcings that will add a basis to $H$. In particular, for $Gamma(H)eq[alep{h}_1]$, we provide a poset $(mathcal{P}_{mpb},leq)$ of partial bases for adding a basis to $H$ without collapsing $alep{h}_1$.

This page was built for publication: Forcing a Basis into $\aleph_1$-Free Groups

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