[論文レビュー] EP elements in rings with involution

Sanzhang Xu, Jianlong Chen+1 more|arXiv (Cornell University)|Feb 26, 2016

Advanced Topics in Algebra参考文献 16被引用数 4

ひとこと要約

この論文は、単位的可換環におけるEP元の新しい代数的特徴付けを提供し、ある元がEPであるための必要十分条件として、3つの方程式：(xa)* = xa、xa² = a、ax² = x を満たす元xが存在することを示している。主な貢献は、3方程式による新しい特徴付けと、bi-EP性質の一般化としてのn-EP概念の導入であり、標準的な逆元条件を超えたEP元の構造的洞察を提供する。

ABSTRACT

Let $R$ be a unital ring with involution. We first show that the EP elements in $R$ can be characterized by three equations. Namely, let $a\in R$, then $a$ is EP if and only if there exists $x\in R$ such that $(xa)^{\ast}=xa$, $xa^{2}=a$ and $ax^{2}=x.$ It is well known that all EP elements in $R$ are core invertible and Moore-Penrose invertible. We give more equivalent conditions for a core (Moore-Penrose) invertible element to be an EP element. Finally, the EP elements are characterized in terms of $n$-EP property, which is a generalization of bi-EP property.

研究の動機と目的

• 既存の定義を超えて、単位的可換環におけるEP元の新たな同値特徴付けを提供すること。
• n-EP概念を用いてbi-EP性質を一般化し、より広範な構造的解析を可能にすること。
• コア逆元、ムーア・ペネロープ逆元、EP状態の間の関係を、新しい代数的条件を通じて確立すること。
• 演算子理論（例：Boassoの定理）の結果を環論的設定に拡張すること。
• 交換子および範囲条件を通じて、逆元性と可換性がEP状態を決定する役割を明確にすること。

提案手法

• EP元aがEPであるための必要十分条件として、3方程式：(xa)* = xa、xa² = a、ax² = x を満たすxの存在を提案する。
• axa = a、xR = aR、Rx* = Ra を満たすxの存在とa ∈ R^EP の同値性を用い、既知の結果を一般化する。
• 交換子恒等式 [a†a, a] = 0 および [a†a, a†] = 0 を適用し、EP元のための新しい同値条件を導出する。
• bi-EP条件の一般化としてn-EP性質を導入し、EP元の新たな構造的特徴付けを可能にする。
• 範囲等式（aR = a*R）、対合の整合性、および元の可逆性といった環論的道具を用いて含意関係を導出する。
• 無限大のbi-有限行列を含む反例を用いて、aR ⊆ a*R という包含関係だけではEP元の特徴付けに用いられないと示す。

実験結果

リサーチクエスチョン

• RQ1 単位的可換環におけるEP元は、3つの代数的方程式の集合によって完全に特徴付けられるか？
• RQ2 コア逆元とムーア・ペネロープ逆元はEP性質とどのように関係し、それらが同値であるために追加でどのような条件が必要か？
• RQ3 bi-EP性質はn-EP条件に一般化可能か？また、この一般化はEP元の新たな特徴付けをもたらすか？
• RQ4 a† = va を満たす左逆元vが存在するとき、aがEPであるための条件は何か？
• RQ5 交換子の消滅条件と組み合わせた範囲条件aR = a*R および aR = a²R は、EP状態と同値か？

主な発見

• 環Rの元aがEPであるための必要十分条件は、(xa)* = xa、xa² = a、ax² = x を満たすx ∈ R が存在することである。
• EP性質は、axa = a、xR = aR、Rx* = Ra を満たすxの存在と同値である。
• ムーア・ペネロープ逆元をもつ元aについて、a ∈ R^EP であるための必要十分条件は、[a†a, a] = 0 および [a†a, a†] = 0 が成り立つことである。
• n-EP性質はbi-EP条件を一般化し、EP元の新たな同値特徴付けを提供する。
• aR = a²R に加え [a†a, a†] = 0 が成り立つならば、aがEPであることが十分であり、a ∈ R^# を仮定しないでも成り立つ。
• 反例により、aR ⊆ a*R という包含関係だけでは、aR = a*R を置き換えることはできないことが示された。