[論文レビュー] Factor = quotient, uncountable Boolean algebras, number of endomorphism and width

Saharon Shelah|ArXiv.org|Jan 15, 1992

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

ひとこと要約

この論文は、適切な基数算術の下で、すべての同型写像像が因子に同型であるようなブール代数は、局所的に小さい密度を持つことを確立する。さらに、無限大のブール代数において、部分代数の数は自己準同型の数以上であることを証明し、互いに比較不能な元の集合のサイズの上限（幅）を調査する。主な貢献は、集合論的技法を用いて、非可算ブール代数における因子構造、自己準同型の数、および幅の間の関係を確立することにある。

ABSTRACT

We prove that assuming suitable cardinal arithmetic, if B is a Boolean algebra every homomorphic image of which is isomorphic to a factor, then B has locally small density. We also prove that for an (infinite) Boolean algebra B, the number of subalgebras is not smaller than the number of endomorphisms, and other related inequalities. Lastly we deal with the obtainment of the supremum of the cardinalities of sets of pairwise incomparable elements of a Boolean algebra.

研究の動機と目的

• すべての同型写像像が因子に同型であるようなブール代数の構造的制約を調査すること。
• 無限大のブール代数における部分代数の数と自己準同型の数の関係を特定すること。
• 非可算ブール代数における、互いに比較不能な元の集合のサイズの上限（幅）を分析すること。
• このようなブール代数が局所的に小さい密度を持つべきである条件を確立すること。
• 基数算術とブール代数の代数的性質の間の相互作用を調査すること。

提案手法

• この論文は、非可算ブール代数の構造を分析するために、集合論的モデル理論と基数算術の技法を用いる。
• 適切な基数算術の仮定を用いて、因子＝商条件を満たすブール代数の密度に関する制約を導出する。
• 部分代数-自己準同型の不等式の証明は、ブール代数理論内の組合せ的議論と基数比較に依存する。
• 幅の分析には、強制的または独立性に基づく議論を用いて、互いに比較不能な元の族を構成または評価する。
• ブール代数における準同型写像と商の既知の結果を応用して、構造的帰結を導出する。
• 部分代数と自己準同型の双対性を活用して、部分代数の数の下界を確立する。

実験結果

リサーチクエスチョン

• RQ1 すべての同型写像像が因子に同型であるようなブール代数が、なぜ局所的に小さい密度を持つ必要があるのか、どのような条件下か？
• RQ2 無限大のブール代数において、部分代数の数と自己準同型の数の間の最小の可能な関係は何か？
• RQ3 基数算術を用いて、ブール代数における互いに比較不能な元の集合のサイズの上限を有界化できるか？
• RQ4 因子＝商条件は、非可算ブール代数の全体的な構造にどのように制約を加えるか？
• RQ5 基数算術は、非可算ブール代数の幅と密度を決定づける役割を果たすか？

主な発見

• 適切な基数算術を仮定すると、ブール代数 B のすべての同型写像像が因子に同型であるならば、B は局所的に小さい密度を持つ。
• 任意の無限大のブール代数 B に対して、部分代数の数は自己準同型の数以上である。
• この論文は、部分代数と自己準同型の数の間に一般不等式を確立し、部分代数の濃度に対する下界を提供する。
• 与えられた仮定の下で、互いに比較不能な元の集合のサイズの上限（幅）は有界である。
• 結果は、非可算ブール代数における代数的性質（自己準同型、部分代数）と構造的性質（密度、幅）の深い関係を示している。
• この研究は、ブール代数理論におけるモデル理論的および集合論的制約の相互作用の理解に貢献する。