[論文レビュー] 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ś の定理を用いて、等式アルティン代数の超べきが等式アルティン代数の性質を引き継ぐことを証明する。
• 超べきの根基位相が元の代数のそれと同一であることを示し、鎖条件の保存が保証されることを証明する。
• 位相的特徴づけを用いて、等式アルティン代数が部分代数、座標代数、完全に残余 A-代数、普遍的に同値な代数、極限代数、および A の普遍的理論における完全な原子型によって定義される有限生成代数に関して閉じていることを示す。

実験結果

リサーチクエスチョン

• RQ1 既知の等式ノーザリアン代数の特徴づけに用いられるザリスキ位相とは双対的な、等式アルティン代数の位相的特徴づけは存在するか？
• RQ2 根基位相における閉集合に対する下降鎖条件を用いて、等式アルティン代数を完全に特徴づけることができるか？
• RQ3 等式アルティン代数の性質は、その超べきに対しても拡張可能か？
• RQ4 群のような自然な代数クラスは等式アルティン代数となり得るか？ そして、それらは体系的にどのように生成できるか？
• RQ5 等式アルティン代数における代数的集合の構造と根基位相の関係は何か？

主な発見

• 代数 A が等式アルティン代数であることと、その原子論理式に導入された根基位相が閉集合に対して下降鎖条件を満たすこととは同値である。
• 根基位相は、既知のザリスキ位相とは双対的な特徴づけを提供し、等式ノーザリアンと等式アルティン代数の性質の対称性を完全に完成させる。
• 等式アルティン代数の任意の超べきは、再び等式アルティン代数である。これにより、特に等式アルティン群の新たな例が得られる。
• 超べきの根基位相は元の代数のそれと同一であり、鎖条件の保存が保証される。
• 等式アルティン代数は、部分代数、座標代数、完全に残余 A-代数、普遍的に同値な代数、極限代数、および A の普遍的理論における完全な原子型によって定義される有限生成代数に関して閉じている。
• 等式アルティン代数における任意の代数的集合は、根基位相において既約である根基イデアルを持つ「大きな代数的集合」の有限個の共通部分として表される。