[論文レビュー] Non existence of universals for classes like reduced torsion free abelian groups under non neccessarily pure embeddings

Saharon Shelah|arXiv (Cornell University)|Sep 15, 1996

Advanced Topology and Set Theory参考文献 10被引用数 3

ひとこと要約

この論文は、非純粋埋め込みの下で、自然なアーベル群のクラス—例えば、非可約ねじれなしアーベル群や非可約分離可能p群—における普遍構造の非存在を調査する。基数算術を用いることで、著者らは、濃度制約を考慮した場合、これらのクラスに対して普遍構造が存在しないことを示し、モデル理論およびアーベル群論における長年の問題を解決する。

ABSTRACT

We consider a class K of structures e.g. trees with omega +1 levels, metric spaces and mainly, classes of Abelian groups like the one mentioned in the title and the class of reduced separable (Abelian) p-groups. We say M in K is universal for K if any member N of K of cardinality not bigger than the cardinality of M can be embedded into M . This is a natural, often raised, problem. We try to draw consequences of cardinal arithmetic to non--existence of universal members for such natural classes.

研究の動機と目的

• 非可約ねじれなしアーベル群や非可約分離可能p群を含む、自然なアーベル群のクラスにおける普遍構造の存在を特定すること。
• 非純粋埋め込みが、これらのクラスにおける普遍的メンバーの存在を妨げる役割を調べること。
• 基数算術を適用して、これらのクラスにおける普遍モデルの存在に関する構造的制限を導出すること。
• モデル理論的普遍性の知見を、特に非純粋埋め込みの文脈において、アーベル群論に一般化すること。
• 濃度ω+1のレベルを持つ距離空間および木のクラスにおける普遍性に関する未解決問題を解決すること。

提案手法

• クラスKにおける普遍構造Mの存在を分析し、|N| ≤ |M|を満たすすべてのN ∈ KがMに埋め込まれることを検討する。
• このような普遍Mの存在を仮定した場合に、基数算術を用いて矛盾や不可能性を導出する。
• 非純粋埋め込みに注目する。これは、直接極限や部分構造において保存されないため、普遍性を遮断する。
• モデル理論およびアーベル群論の技術を用いて、埋め込みタイプとその閉包性を分析する。
• 埋め込み関係に純粋性が欠如しているため、普遍モデルの構成が不可能であることを確立する。
• 特定のクラス（例：非可約ねじれなしアーベル群）からの結果を、距離空間やω+1レベルの木などのより広いクラスに拡張する。

実験結果

リサーチクエスチョン

• RQ1 非純粋埋め込みの下で、非可約ねじれなしアーベル群のクラスに普遍構造が存在するか？
• RQ2 埋め込みが純粋である必要がない場合、非可約分離可能p群のクラスに普遍構造が存在可能か？
• RQ3 基数算術は、これらのクラスにおける普遍モデルの存在を妨げる役割を果たすか？
• RQ4 非純粋埋め込みは、濃度ω+1のレベルを持つ距離空間および木のクラスにおける普遍性の可能性にどのように影響するか？
• RQ5 埋め込み条件を緩和した場合、アーベル群のクラスにおける普遍性はどの程度達成可能か？

主な発見

• 非純粋埋め込みの下で、非可約ねじれなしアーベル群のクラスには普遍構造が存在しない。
• 埋め込みが純粋である必要がない場合、非可約分離可能p群のクラスには普遍メンバーが存在しない。
• 基数算術の議論により、これらのクラスにおける普遍モデルの存在が有効に排除される。
• 濃度制約が満たされていても、非純粋埋め込みは普遍構造の構成を妨げる。
• 結果はアーベル群のクラスを越えて、ω+1レベルの木や距離空間のクラスにも拡張され、普遍性に対する一般的な障害を示している。
• 普遍性の失敗は、サイズ制約ではなく、主に埋め込みの純粋性の欠如に起因する。