Rings in which one-sided strongly $π$-regular elements are strongly $π$-regular

**リングランド（Ringland）と呼ばれる、広大で複雑な都市を想像してみてください。この都市では、建物は数（あるいは抽象的な対象）であり、通りはそれらを組み合わせるためのルールです。あなたが尋ねている論文は、リングランドにおける特定のルールを調査する探偵小説です。そのルールとは、「行き詰まったとき、操作の順序は重要か？」**というものです。

以下に、簡単な比喩を用いたこの論文の構成を説明します。

大きな問い： 「一方通行」の謎

リングランドには、**強 $\pi$-正則（Strongly $\pi$-regular）**と呼ばれる特別な種類の建物があります。これは、特定の方向（自分自身を掛け合わせる）に歩き続けると、最終的に行き止まりに突き当たるか、あるいは引き返して戻ることができるループに到達するような建物のことです。

• 右強 $\pi$-正則（Right Strongly $\pi$-regular）： 前に進み、ループに当たり、右側に引き返すことができる。
• 左強 $\pi$-正則（Left Strongly $\pi$-regular）： 前に進み、ループに当たり、左側に引き返すことができる。
• 強 $\pi$-正則（Strongly $\pi$-regular）： 両方ができる。あなたは完全に左右対称であり、どちらを向いていても引き返すことができる。

謎：
長い間、数学者たちはこう疑問に思っていました。「もしある建物が右側に引き返すことを許容しているなら、それは自動的に左側にも引き返すことを許容するのだろうか？」

1977年、二人の探偵（HartもLuh）は、この問いを**デデキント有限（Dedekind-finite）**と呼ばれる種類の都市に特化して投げかけました。この都市では、「AからBへ行き、BからAへ戻る」ことができないような「一方通行の道」は存在しません。つまり、「A × B = 1」ならば「B × A = 1」となるような都市です。

ひねり：
2014年、他の探偵たち（Dittmer、Khurana、Nielsen）が反例を見つけました。彼らは、右には引き返せるが左には引き返せない、奇妙な都市を構築したのです。したがって、答えは「常にそうとは限らない（No, not always）」でした。

しかし、彼らは**交換環（Exchange Rings）**と呼ばれる特定の近隣地域においては、答えが「Yes」であることを発見しました。

著者たちの使命

論文の著者たち（Dimple Rani GoyalとDinesh Khurana）は、リングランドの他の近隣地域を調査することに決めました。彼らは以下のことを知りたかったのです。

1. どのような他の種類のデデキンド有限な都市において、「右＝左」のルールが成立するのか？
2. 「右＝左」のルールが非対称であること（すなわち、ある都市が「右ディシンジャー（Right-Dischinger）」であっても「左ディシンジャー（Left-Dischinger）」ではないことがあり得るか）を証明できるか？

朗報：ルールが機能する場所

著者たちは、ルールが成立するいくつかの近隣地域を見つけました。都市が特定の構造的特性を持っている場合、「右」は自動的に「左」を意味します。

1. 「弱半可換（Weakly Semicommutative）」近隣地域： 二人が衝突したとき（ゼロを掛け合わせたとき）、それが広範囲に広がらず、局所的な混乱（べき零）に留まるような近隣地域を想像してください。この近隣地域では、ルールは成立します。
2. 「片側デュオ（One-Sided Duo）」近隣地域： ここでは、すべての建物が二方向の通りシステムの一部となっています。左に行けるなら、右にも行けます。著者たちは、ある都市が「左デュオ（Left Duo）」（すべてが左へ流れる）であれば、それは「右ディシンジャー（Right Dischinger）」（ルールが成立する）であることを証明しました。
3. 「ゴールド・グリー（Goldie）」および「ネーター（Noetherian）」近隣地域： これらは厳格な建築規定（どんどん小さくなる建物の無限の連鎖がないこと）を持つ都市です。著者たちは、これらの秩序立った都市において、ルールが成立することを示しました。
4. 「有界べき零（Bounded Nilpotence）」近隣地域： 「ゼロの建物」を何回掛け合わせる前にゼロとして固定されるかに制限がある場合、ルールは成立します。

悲報：ルールが失敗する場所

次に、著者たちは以前のデザイン（Dittmerらによるもの）に基づいた、非常に特定の奇妙な都市に注目しました。この都市は、$a = a^2x$ という奇妙なルールによって定義されています。

彼らはこの都市を深く分析し、それが完璧な反例であることを発見しました。この都市は以下の通りです：

• それは**左ディシンジャー（Left Dischinger）**である：左に引き返せるなら、右にも引き返せる。
• それは右ディシンジャーではない（NOT Right Dischinger）：右に引き返せるとしても、必ずしも左に引き返せるとは限らない。

これは、この性質が左・右対称ではないことを証明しています。ある都市が一方の方向で機能するからといって、もう一方の方向でも同様に機能するとは限らないのです。

彼らはまた、この奇妙な都市が他の奇妙な特性を持っていることも発見しました：

• それはNR環（NR Ring）（べき零元が部分環を形成する）ですが、それでもルールに失敗します。
• それはUU環（UU Ring）（すべての「ユニット」または可逆な建物は、「1」と「べき零な混乱」の和である）ですが、それでもルールに失敗します。
• それは線形マッコイ環（Linearly McCoy Ring）（特定の多項式ルール）ですが、それでもルールに失敗します。

結論

論文は、将来の探偵たちに向けていくつかの未解決の問いを残して締めくくられています。

• 「左デュオ」が「右ディシンジャー」を意味することは分かっています。「左デュオ」は「左ディシンジャー」をも意味するのでしょうか？（まだ分かっていません）。
• 「マッコイ環（McCoy Ring）」（多項式のルール）であることは、ディシンジャーの特性を保証するのでしょうか？（まだ分かっていません）。

一文での要約

著者たちはリングランドの景観を詳細に描き出し、秩序ある近隣地域では「右に曲がる」ことが「左に曲がる」ことを保証する一方で、右に曲がれるが左に曲がろうとすると行き詰まってしまうような、非対称で奇妙な都市を構築することで、これら二つの方向が必ずしも同じではないことを証明しました。