[论文解读] The bottom of the lattice of BCK-varieties

Tomasz Kowalski|arXiv (Cornell University)|Sep 15, 2024

Rings, Modules, and Algebras参考文献 2被引用 6

一句话总结

本文证明了 BCK-变元格的格底是 Y 形的，表明任何非 C2 的变元必包含 C3 或 H3，从而回答了一个长期存在的猜想。

ABSTRACT

Confirming a conjecture of Pałasiński and Wroński, we show that the bottom of the lattice of subvarieties of BCK is Y-shaped.

研究动机与目标

• 以 Pałasiński 与 Wroński 对 BCK-变元格格底的猜想为研究动机。
• 描述强制将某些小代数（C3 或 H3）包含在非 C2 变元中的结构条件。
• 表征准全直不可约与无限简单 BCK-代数，以确定格的位置。
• 对每个非 C2 的变元是否包含 C3 或 H3 提出肯定答案（即达到格的下一个层级）。

提出的方法

• 使用关于理想、同余和子代数的标准 BCK-代数事实。
• 分析子直不可约代数并区分具有原子与不具有原子的情况。
• 构造无限简单子代数并研究它们的相对高度以强制子代数嵌入。
• 在无限简单代数中使用一个降序序列以推导出揭示 C3 的非平凡商。
• 证明若极大同余与生成的理想，则商结构包含一个 C3 子代数。
• 推导定理 1，给出关于 C2 与 {C3, H3} 的 BCK-变元格二分的结论。

实验结果

研究问题

• RQ1 每个 BCK-变元是否要么包含在 C2 中，要么与 {C3, H3} 非平凡相交？
• RQ2 非 C2 BCK-代数的哪些结构性质强制 C3 或 H3 作为子代数出现？
• RQ3 原子以及无限简单子代数中元素的高度如何影响格的分类？
• RQ4 是否可以将 BCK-变元格的底部表征为 Pałasiński 与 Wroński 猜想的 Y 形？

主要发现

• 如果一个非 C2 的 BCK-代数具有原子，则它包含 C3 或 H3 作为子代数。
• 如果一个 SI BCK-代数不包含在 C2 中且没有原子，则它包含一个无限简单子代数 E，其相对高度没有上界；这样的 E 促使在所生成的族中包含 C3 或 H3。
• 在非 C2 域中的构造的无限简单 E，某个商结构给出一个同构于 C3 的子代数，确保其变元格与 {C3, H3} 相交。
• 由此得出的二分定理（定理 1）表明：不包含在 C2 中的 BCK-变元格必定与 {C3, H3} 非平凡相交。
• 本工作通过将格底确认为 Y 形并通过 C3 和 H3 确定精确的下一层，证实了 Pałasiński–Wroński 猜想。