[論文レビュー] aleph_n-Free abelain group with no non-zero homomorphism Z

Saharon Shelah|ArXiv.org|Sep 22, 2006

Rings, Modules, and Algebras被引用数 6

ひとこと要約

本稿は、組合せ的パラメータフレームワークとブラックボックス構成を用いて、$\aleph_{k(*)+1}$-free なアーベル群 $G$ を構成し、$\mathbb{Z}$ から $G$ への非自明な準同型が存在しないことを示している。主な結果は、自由でなく、$\text{Hom}(G,\mathbb{Z})$ が自明であり、シーケンスで添え字づけられた生成元に関する再帰的関係を通じて構築された群 $G$ である。この構成により、$\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}$-free なアーベル群 $G$ を構成し、$\text{Hom}(G,\mathbb{Z}) = 0$ となるようにすること。
• $\aleph_1$-free 群に関する既知の結果を、$\aleph_{k(*)+1}$ のようなより高い基数へと拡張すること。
• 組合せ的パラメータとブラックボックス構成を用いて、$\mathbb{Z}$-準同型空間が自明な群を構成するためのフレームワークを提供すること。
• マーティンの公理と基数算術との関連において、このような群が存在するための集合論的およびモデル論的条件を調査すること。

提案手法

• 群 $G = G_{\mathbb{x}}$ は、生成元 $x_{m,\vec{\eta},\nu}$, $y_{\vec{\eta},n}$, および $z$ を持ち、$y$-生成元と $x$-生成元を結ぶ再帰的関係 $\boxtimes_{\vec{\eta},n}$ が課される。
• 組合せ的パラメータ $\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$-自由性条件をパラメータに適用することで、すべての $< \aleph_{k(*)+1}$ のサイズの部分群が自由であることを確認し、$G$ が $\aleph_{k(*)+1}$-自由であることを示している。
• $\text{Hom}(G,\mathbb{Z})$ の自明性は、再帰的関係と非分解構造により、$z$-生成子や $y$-生成子を通じて非自明な準同型が因子分解できないことによって確立される。

実験結果

リサーチクエスチョン

• RQ1 $\aleph_{k(*)+1}$-free なアーベル群を、$\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{Z}$-部分群として分解されない。
• 組合せ的パラメータ $\mathbb{x} = (k, S, \mathfrak{A})$ を用いて構築され、$\mathfrak{A}$ がシーケンスと関係を符号化し、$\mathbb{Z}$-部分群の回避を可能にする。
• すべての $U$ に対して、$|U| < \aleph_{k(*)+1}$ ならば、商 $G_{U \cup u}/G_U$ は自由である。これにより、$G$ の $\aleph_{k(*)+1}$-自由性が保証される。
• 本手法は、${}^\omega\mathbb{Z}$ の構成をより高い基数へ一般化し、$\text{Hom}(G,\mathbb{Z})$ が自明であるという重要な性質を保っている。