[論文レビュー] 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-許容的準同型を導入する。
• 代数の直積および有限順序和の分析により、成分の観点から素、極大、および二類型の合同関係を特徴付ける。
• コンmutator理論および合同関係ラティスの同型を用いて、合同関係分配的および合同関係モジュラーな多様体における構造的結果を導出する。
• 有界ラティス同型を用いて、指定された合同関係スペクトル（極大でない素合同関係を含むものも含む）を持つ有限ラティスを構成する。
• 商代数および基数制約の結果を応用し、すべての準同型が許容的またはMax-許容的である代数を分類する。
• 許容的性の研究を埋め込みに還元し、商写像において許容的性およびMax-許容的性が保存されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で準同型が合同関係の素性または極大性を保存するのか。
• RQ2 どのような場合に準同型が許容的またはMax-許容的であり、全射性はこれらの性質とどのように関係するのか。
• RQ3 部分的に完全に生成可能な代数が極大でない素合同関係を持つことは可能か。もし可能であれば、どのような構造的条件下で可能か。
• RQ4 部分的に完全に生成可能な代数の部分代数が再び部分的に完全に生成可能であるための必要十分条件は何か。
• RQ5 どのようにして、その合同関係ラティスが極大でない素合同関係を含むような有限ラティスを構成できるか。

主な発見

• 全射的準同型は常に許容的かつMax-許容的であるが、逆は成り立たない。
• 許容的性およびMax-許容的性は商写像において保存され、埋め込みの研究に還元される。
• 極大でない素合同関係を持つ有限部分的に完全に生成可能なラティスが無限に存在する。
• 任意の有限分配的ラティス $K$ に対して、$\mathrm{Con}(L) \cong \mathcal{L}_2 \oplus K$ を満たす有限ラティス $L$ が存在し、$\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$ が有限かつ部分的に完全に生成可能であれば、$\mathrm{Con}(A)$ が有限または $\mathcal{C}$ が合同関係拡張可能である限り、許容的包含をもつ任意の部分代数 $S \subseteq A$ は再び部分的に完全に生成可能である。