[论文解读] Taking Prime, Maximal and Two--class Congruences Through Morphisms

Claudia Mureșan|arXiv (Cornell University)|Jul 23, 2016

Advanced Algebra and Logic参考文献 7被引用 4

一句话总结

本文研究了泛代数和格中的素、极大及二类同余，并重点关注其在态射（特别是可接受态射和Max-可接受态射）下的行为。研究结果表明，满射蕴含可接受性和Max-可接受性，并证明了在子直不可约代数中，可能存在非极大的素同余，且通过有限格中的显式构造，展示了无穷多个此类例子。

ABSTRACT

In this paper we study prime, maximal and two--class congruences from the point of view of the relationships between them in various kinds of universal algebras, as well as their direct and inverse images through morphisms. This research has also produced a set of interesting results concerning the prime and the maximal congruences of several kinds of lattices.

研究动机与目标

• 分析各种泛代数和格中素同余、极大同余及二类同余之间的关系。
• 研究这些同余在态射（尤其是可接受态射和Max-可接受态射）下的直接像与逆像。
• 确定态射保持同余素性和极大性的条件。
• 探讨在同余分配或同余模化的种类中，对子直不可约性的影响。
• 构造有限格的显式例子，使得其同余谱严格包含极大同余的集合。

提出的方法

• 引入可接受态射和Max-可接受态射，即在逆像下保持素同余和极大同余的态射。
• 通过分析代数的直积和有限序和，以分量形式刻画素同余、极大同余及二类同余。
• 应用换位子理论和同余格同构，推导出同余分配或同余模化种类中的结构性结果。
• 利用有界格同构构造具有指定同余谱的有限格，包括包含非极大素同余的格。
• 应用商代数和基数约束的结果，对所有态射均为可接受或Max-可接受的代数进行分类。
• 将可接受性的研究简化为嵌入，并证明可接受性和Max-可接受性在商映射下保持不变。

实验结果

研究问题

• RQ1 在何种条件下，态射保持同余的素性或极大性？
• RQ2 何时态射是可接受或Max-可接受的，且满射如何与这些性质相关？
• RQ3 子直不可约代数是否可能具有非极大的素同余？若可能，其结构条件是什么？
• RQ4 子直不可约代数的子代数也子直不可约的充要条件是什么？
• RQ5 如何构造有限格，使其同余格包含非极大的素同余？

主要发现

• 满射态射总是可接受和Max-可接受的，但反之不成立。
• 可接受性和Max-可接受性在商映射下保持不变，并可归约为对嵌入的研究。
• 存在无穷多个具有非极大素同余的有限子直不可约格。
• 对任意有限分配格 $K$，存在一个有限格 $L$，使得 $\mathrm{Con}(L) \cong \mathcal{L}_2 \oplus K$，从而保证 $\Delta_L \in \mathrm{Spec}(L)$。
• 在五边形格 $\mathcal{P}$ 中，$\mathrm{Spec}(\mathcal{P}) = \{\Delta_{\mathcal{P}}\} \cup \mathrm{Max}(\mathcal{P})$，但 $\Delta_{\mathcal{P}} \notin \mathrm{Max}(\mathcal{P})$，因此 $\mathrm{Spec}(\mathcal{P}) \nsubseteq \mathrm{Max}(\mathcal{P})$。
• 若 $A$ 有限且子直不可约，则任何具有可接受包含关系的子代数 $S \subseteq A$ 也是子直不可约的，前提是 $\mathrm{Con}(A)$ 有限或 $\mathcal{C}$ 具有同余扩张性。