[論文レビュー] On Whitehead precovers

Paul C. Eklof, Saharon Shelah|ArXiv.org|Nov 27, 2000

Rings, Modules, and Algebras参考文献 10被引用数 12

ひとこと要約

この論文は、ZFC + GCHのもとで、有理数群 ℚ がホワイトヘッド前被覆をもたないことが一貫的であることを確立しており、したがってホワイトヘッド群のクラスは前被覆存在の十分条件を満たさない。これは、この体系における ℤ-加群の前被覆存在の決定不能性を示すことにより、加群論における重要な問いに答えている。

ABSTRACT

It is proved undecidable in ZFC + GCH whether every Z-module has a^{perp} {Z}-precover.

研究の動機と目的

• ZFC + GCH において、任意の ℤ-加群が ${}^\perp\{\mathbb{Z}\}$-前被覆をもつかどうかを調査すること。
• 前被覆存在の十分条件である、ある加群 $B$ に対して $\mathcal{F}^\perp = \{B\}^\perp$ が成り立つかどうかを、ホワイトヘッド群のクラスに対して特定すること。
• ZFC + GCH のモデルにおけるクラス $\mathcal{W} = {}^\perp\{\mathbb{Z}\}$ の前被覆存在の整合性の強さを分析すること。
• 加群 $B$ が存在して $\mathcal{W}^\perp = \{B\}^\perp$ となることは、ZFC + GCH で証明可能でないことを示すこと。

提案手法

• 無限大のランクを持つホワイトヘッド群 $A$ に対して、$\mathop{\mathrm{Ext}}(H_A, A) \neq 0$ かつ $|H_A| \leq |A|^+$ を満たすホワイトヘッド群 $H_A$ が存在するという仮定を用いる。
• $\diamondsuit_\kappa$-均一化と $S^\kappa_{\aleph_0}$ の静的部分集合へのラダー系を用いて、特定の濃度のホワイトヘッド群を構成する。
• $\diamondsuit_\kappa$ を用いた強力な構成法と、$\kappa$-均一化を満たす静的部分集合へのラダー系の存在を組み合わせる。
• $\aleph_1$ の大きさの部分群 $G_\alpha$ の連続的鎖を構成し、所望のホモモーフィズム性質をもつ、非可算濃度の群 $G$ を構成する。
• GCH において $\diamondsuit_\kappa$ が整合的であることを用いて、ZFC + GCH のモデルにおいてこのような構成が可能であることを保証する。
• V = L の下でホワイトヘッド群に関するシャラの結果と、$B$ が自由加群であるとき $\mathcal{W}^\perp = \{B\}^\perp$ が整合的であるという結果を応用する。

実験結果

リサーチクエスチョン

• RQ1 ZFC + GCH において、任意の ℤ-加群が ${}^\perp\{\mathbb{Z}\}$-前被覆をもつことは整合的か？
• RQ2 ZFC + GCH において、前被覆存在の十分条件 $\mathcal{F}^\perp = \{B\}^\perp$ がクラス $\mathcal{W} = {}^\perp\{\mathbb{Z}\}$ に対して満たされるか？
• RQ3 任意のアーベル群 $B$ が $\mathcal{W}^\perp = \{B\}^\perp$ を満たさないことは整合的か？
• RQ4 $\mathbb{Q}$ のホワイトヘッド前被覆の存在は、$\mathcal{W}^\perp = \{B\}^\perp$ を満たす加群 $B$ の存在を含意するか？
• RQ5 任意のホワイトヘッド群 $B$ に対して、すべてのホモモーフィズム $G_B \to B$ が有限生成像をもつような非可算ホワイトヘッド群 $G_B$ を構成できるか？

主な発見

• ZFC + GCH において、$\mathbb{Q}$ が ${}^\perp\{\mathbb{Z}\}$-前被覆をもたないことは整合的であり、この体系において前被覆存在が証明可能でないことを示している。
• ZFC + GCH において、任意のホワイトヘッド群 $B$ に対して、すべてのホモモーフィズム $G_B \to B$ が有限生成像をもつような非可算ホワイトヘッド群 $G_B$ が存在することは整合的である。
• したがって、$\mathcal{W}^\perp = \{B\}^\perp$ を満たすアーベル群 $B$ は存在せず、これは $\mathcal{W}$ に対して前被覆存在の十分条件が成立しないことを意味する。
• この構成は、$\diamondsuit_\kappa$-均一化と、GCH の下で存在する静的部分集合への $\kappa$-均一化を満たすラダー系に依存している。
• この結果は、不動点が存在しないモデルでも成り立ち、追加のフォースィング公理が $\diamondsuit_\kappa$ と均一化を満たすモデルへも拡張可能である。
• $\mathbb{Q}$ の前被覆存在の失敗は、非可算なランクと $\mathbb{Q}$ の単射性に起因する、前被覆図式におけるリフトの非存在に起因する。