关于 $\aleph_1$-自由性的绝对性

$\aleph_1$-自由群，即每个可数子群均为自由群的阿贝尔群，展现出许多有趣的代数与集合论性质。本文给出 $\aleph_1$-自由性这一性质是绝对的之完整证明；亦即，若阿贝尔群 $G$ 在 ZFC 的某个传递模型 $\textbf{M}$ 中是 $\aleph_1$-自由的，则它在任何包含 $G$ 的 ZFC 传递模型中也是 $\aleph_1$-自由的。$\aleph_1$-自由性的绝对性有如下显著推论：阿贝尔群 $G$ 在 ZFC 的某个传递模型中是 $\aleph_1$-自由的，当且仅当它在某个模型扩张中是（可数且）自由的。这一集合论刻画将成为进一步探索 $\aleph_1$-自由群之集合论性质与代数性质之间关系的起点。特别地，本文将展示如何借助模型扩张极大地简化 $\aleph_1$-自由群的证明。