[論文レビュー] Graded von Neumann regularity of rings graded by semigroups

Daniel Lännström, Johan Öinert|arXiv (Cornell University)|Jun 29, 2022

Advanced Operator Algebra Research参考文献 10被引用数 1

ひとこと要約

この論文は、群に代えて半群による被覆を用いた、半群被覆環の完全な特徴付けを提供し、従来の群被覆から半群被覆への一般化を実現している。その結果、このような環が被覆 von Neumann 正則であるための必要十分条件は、ほぼイプシロン強被覆であることと、冪等元上の同次成分が von Neumann 正則であることである。この結果は、行列環や群oids被覆環への応用を含む。

ABSTRACT

In this article, we give a complete characterization of semigroup graded rings which are graded von Neumann regular. We also demonstrate our results by applying them to several classes of examples, including matrix rings and groupoid graded rings.

研究の動機と目的

• 群被覆から半群被覆への、被覆 von Neumann 正則環の理論の拡張。
• 半群被覆の文脈における、被覆 von Neumann 正則性の完全な代数的特徴付けの提供。
• 非単位元をもつ群被覆環に関する従来の結果を、より広範な半群フレームワークに一般化すること。
• この特徴付けを、行列環や群oids被覆環を含む具体的な環のクラスに応用すること。
• 非単位元の文脈における、被覆構造（イプシロン強被覆）と正則性条件との間の関係を確立すること。

提案手法

• 半群被覆環における対称的、強被覆、イプシロン強被覆、およびほぼイプシロン強被覆という概念を導入し、分析する。
• 被覆 von Neumann 正則性を、すべての s ∈ S、r ∈ Rs、t ∈ V(s) に対して、ある y ∈ Rt が存在して r = ryr を満たすという条件により定義する。
• ほぼイプシロン強被覆と、ǫs,t(r)r = r = rǫ′t,s(r) を満たす局所単位元 ǫs,t(r) の存在との同値性を用いる。
• 行列環への応用として、Mn(A) が半群 S による被覆 von Neumann 正則であるための必要十分条件は、A が von Neumann 正則であることであることを示す。
• 群oids G から逆半群 S(G) を構成し、G-被覆を S(G)-被覆に持ち上げることで、群oids被覆環への結果の拡張を実現する。
• 被覆 von Neumann 正則性と、ほぼイプシロン強被覆に加え、冪等元における成分が正則であるという条件との同値性を証明する。

実験結果

リサーチクエスチョン

• RQ1 半群被覆環が被覆 von Neumann 正則であるための条件は何か？
• RQ2 被覆 von Neumann 正則性の概念は、群被覆から半群被覆への拡張においてどのように拡張されるか？
• RQ3 ほぼイプシロン強被覆の概念は、被覆 von Neumann 正則性の特徴付けにおいて果たす役割は何か？
• RQ4 行列環や群oids被覆環は、一般化された枠組みの中でどのように位置づけられるか？
• RQ5 冪等元における同次成分の正則性が、被覆 von Neumann 正則性を完全に決定できるか？

主な発見

• 半群被覆環 R が被覆 von Neumann 正則であるための必要十分条件は、ほぼイプシロン強被覆であることと、すべての e ∈ E(S) に対して Re が von Neumann 正則であることである。
• 半群 S による被覆を持つ行列環 Mn(A) に対して、Mn(A) が被覆 von Neumann 正則であるための必要十分条件は、A が von Neumann 正則であることである。
• 群oids G から逆半群 S(G) を構成する方法により、G-被覆を S(G)-被覆に持ち上げることができ、被覆構造を保存する。
• 群oids G による被覆環 R が被覆 von Neumann 正則であるための必要十分条件は、ほぼイプシロン強 G-被覆であることと、すべての e ∈ ob(G) に対して Re が von Neumann 正則であることである。
• すべての r ∈ Rs に対して、ほぼイプシロン強被覆と、ǫs,t(r)r = r = rǫ′t,s(r) を満たす局所単位元 ǫs,t(r) の存在との同値性が成り立つ。
• この結果は、[4, Theorem 1.2] および [1, Proposition 3.5] を半群被覆の文脈に一般化し、非単位元被覆環に関する従来の研究を統合・拡張している。