[论文解读] aleph_n-Free abelain group with no non-zero homomorphism Z

Saharon Shelah|ArXiv.org|Sep 22, 2006

Rings, Modules, and Algebras被引用 6

一句话总结

本文通过组合参数框架与黑箱构造，构建了一个不含非零到 $\mathbb{Z}$ 的同态的 $\aleph_{k(*)+1}$-自由阿贝尔群 $G$。关键结果是构造出一个非自由群 $G$，其 $\text{Hom}(G,\mathbb{Z})$ 平凡，且通过索引为序列的生成元的递归关系实现 $\aleph_{k(*)+1}$-自由性，同时避免出现 $\mathbb{Z}$-直和项。

ABSTRACT

For any natural n, we construct an aleph_n-free abelian groups which have few homomorphisms to Z . For this we use ``aleph_n-free (n+1)-dimensional black boxes''. The method is relevant to e.g. construction of aleph_n-free abelian groups with a prescribed endomorphism ring.

研究动机与目标

• 构造一个 $\aleph_{k(*)+1}$-自由阿贝尔群 $G$，使得 $\text{Hom}(G,\mathbb{Z}) = 0$。
• 将关于 $\aleph_1$-自由群的已知结果推广至更高基数 $\aleph_{k(*)+1}$。
• 提供一种利用组合参数与黑箱构造来构建 $\mathbb{Z}$-同态空间平凡的群的框架。
• 探讨此类群存在的集合论与模型论条件，特别是与马丁公理及基数算术的关系。

提出的方法

• 群 $G = G_{\mathbb{x}}$ 通过生成元 $x_{m,\vec{\eta},\nu}$、$y_{\vec{\eta},n}$ 和 $z$ 定义，受递归关系 $\boxtimes_{\vec{\eta},n}$ 约束，该关系将 $y$-生成元与 $x$-生成元相联系。
• 使用组合参数 $\mathbb{x} = (k, S, \mathfrak{A})$，其中 $\mathfrak{A}$ 编码 $^\omega S_m$ 中序列之间的关系，以确保群结构不包含自由直和项。
• 应用黑箱构造，以保证子群 $G_{U \cup u}/G_U$ 为自由群，通过在扩张下归纳闭包保持 $\aleph_{k(*)+1}$-自由性。
• 构造使用了以 $U \subseteq \kappa$ 的子集为索引的子群层级，其中 $G_U$ 递归构建，以保持商群的自由性并避免出现 $\mathbb{Z}$-直和项。
• 通过验证参数的 $\theta$-自由性条件，证明 $G$ 是 $\aleph_{k(*)+1}$-自由的，即所有大小小于 $\aleph_{k(*)+1}$ 的子群均为自由阿贝尔群。
• 通过证明任何非零同态都无法通过 $z$-生成元或 $y$-生成元分解，因为其递归关系与非分裂结构，确立了 $\text{Hom}(G,\mathbb{Z})$ 的平凡性。

实验结果

研究问题

• RQ1 能否构造一个 $\aleph_{k(*)+1}$-自由阿贝尔群，使其 $\text{Hom}(G,\mathbb{Z})$ 平凡？
• RQ2 何种组合与集合论条件可确保群为 $\theta$-自由但非 $\mathbb{Z}$-直和项的直和？
• RQ3 黑箱构造与参数化关系如何促成具有平凡 $\mathbb{Z}$-对偶的群的构造？
• RQ4 马丁公理在 $\aleph_2$ 阶段如何阻碍此类构造？
• RQ5 ${}^\omega\mathbb{Z}$-类似结构在多大程度上可推广至更高基数，同时保持 $\text{Hom}(G,\mathbb{Z}) = 0$？

主要发现

• 所构造的群 $G = G_{\mathbb{x}}$ 是 $\aleph_{k(*)+1}$-自由的，即所有大小小于 $\aleph_{k(*)+1}$ 的子群均为自由阿贝尔群。
• 群 $G$ 满足 $\text{Hom}(G,\mathbb{Z}) = 0$，即不存在从 $G$ 到 $\mathbb{Z}$ 的非零同态。
• 构造确保 $\mathbb{Z}z \subseteq G$ 不是直和项，即使 $z$ 是生成元，这是由于群表示中的递归关系。
• 该群通过组合参数 $\mathbb{x} = (k, S, \mathfrak{A})$ 构造，其中 $\mathfrak{A}$ 编码序列及其关系，以防止出现 $\mathbb{Z}$-直和项。
• 对所有大小小于 $\aleph_{k(*)+1}$ 的 $U$，商群 $G_{U \cup u}/G_U$ 均为自由群，从而保证了 $G$ 的 $\aleph_{k(*)+1}$-自由性。
• 该方法将 ${}^\omega\mathbb{Z}$ 构造推广至更高基数，同时保持了 $\text{Hom}(G,\mathbb{Z})$ 平凡的关键性质。