[论文解读] On the Equational Artinian Algebras

P. Modabberi, M. Shahryari|arXiv (Cornell University)|May 30, 2015

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

一句话总结

本文通過在原子公式上引入根拓撲，建立了等式諾特代數與等式阿爾丁代數之間的對偶關係，證明了一個代數是等式阿爾丁的，當且僅當該拓撲滿足閉集的降鏈條件。利用圖論中的克尼格引理，作者證明了等式阿爾丁代數的超幂也是等式阿爾丁的，從而提供了此類代數的新例子，特別是在群論中。

ABSTRACT

Equational Artinian algebras were introduced in our previous work: {\em Equational conditions in universal algebraic geometry, to appear in Algebra and Logic, 2015}. In this note, we define the notion of {\em radical topology with respect to an algebra $A$} and using the well-known König lemma in graph theory, we show that the algebra $A$ is equational Artinian iff this topology is noetherian. This completes the analogy between equational noetherian and equational Artinian algebras.

研究动机与目标

• 透過引入根拓撲，完成等式諾特代數與等式阿爾丁代數之間的對偶關係。
• 解決先前研究中尚未解決的等式阿爾丁代數特徵化中的非對稱性問題。
• 建立等式阿爾丁代數在超幂下不變的性質，從而產生新例子，特別是在群論中。
• 統一普遍代數幾何中等式性質的拓撲特徵化。

提出的方法

• 在代數 A 的語言中的原子公式集合上定義根拓撲，其中閉集為在點上消失的公式集合的交集。
• 證明此根拓撲中的閉集對應於根理想，且該拓撲為諾特的，當且僅當代數為等式阿爾丁的。
• 應用圖論中的克尼格引理，證明每棵有限度的無限樹必有一條無限路徑，進而用於證明閉集的降鏈終止。
• 利用初等等價與 Łoś 定理，證明等式阿爾丁代數的超幂繼承了等式阿爾丁性質。
• 證明超幂的根拓撲與原代數的根拓撲相同，確保降鏈條件的保持。
• 利用拓撲特徵化，證明等式阿爾丁代數在子代數、坐標代數及其他普遍構造下封閉。

实验结果

研究问题

• RQ1 是否存在對等式阿爾丁代數的拓撲特徵化，其與已知的等式諾特代數的扎里斯基拓撲特徵化形成對偶？
• RQ2 能否利用根拓撲中閉集的降鏈條件，完全特徵化等式阿爾丁代數？
• RQ3 等式阿爾丁性質是否可推廣至此類代數的超幂？
• RQ4 是否存在自然的代數類別（如群）為等式阿爾丁的，以及如何系統性地生成它們？
• RQ5 根拓撲與等式阿爾丁代數中代數集結構之間的關係為何？

主要发现

• 一個代數 A 是等式阿爾丁的，當且僅當其原子公式上的根拓撲滿足閉集的降鏈條件。
• 根拓撲提供了對扎里斯基拓撲的對偶特徵化，完整補齊了等式諾特與等式阿爾丁性質之間的對稱性。
• 每一個等式阿爾丁代數的超幂本身也是等式阿爾丁的，從而產生新例子，特別是等式阿爾丁群。
• 超幂的根拓撲與原代數的根拓撲完全相同，確保降鏈條件的保持。
• 等式阿爾丁代數在取子代數、坐標代數、完全殘餘 A-代數、普遍等價代數、極限代數，以及由 A 的普遍理論中完整原子類型定義的有限生成代數下封閉。
• 等式阿爾丁代數中的每一個代數集都是有限個大代數集的交集，其中大代數集是指其根理想在根拓撲中不可約的代數集。