[论文解读] 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，其子代数数量至少与自同态数量一样多。
• 本文建立了子代数与自同态计数之间的一般不等式，为子代数基数提供了下界。
• 在给定假设下，布尔代数中两两不可比较元素集合大小的上确界（即宽度）是被限制的。
• 研究结果揭示了不可数布尔代数中代数性质（自同态、子代数）与结构性质（密度、宽度）之间深刻的联系。
• 该工作推动了对布尔代数理论中模型论与集合论约束相互作用的理解。