Ordered semigroups and ideal categories of principal ideal rings

技術的概要：可換主イデアル環のイデアル順序半群とイデアル圏

問題提起
本論文は、単位元を持つ可換主イデアル環（PIR）のイデアルの集合に内在する代数的および圏論的構造を調査する。具体的には、著者らはこの集合の二重性を扱う。第一に、イデアル乗法と可除性に基づく部分順序のもとでの順序半群 $I(R)$ として、第二に、対象がイデアルで射が $R$-線形写像である圏 $I_R$ としてである。中心的な問題は、順序半群 $I(R)$ の性質を特徴づけ、この半群構造と $I_R$ の圏論的構造との間に厳密な対応関係を確立することである。

方法論
著者らは、順序半群論、環論、圏論を組み合わせて用いる。

1. 順序半群の構成: イデアルの集合 $I(R)$ に、イデアル乗法を半群演算として備えさせる。$I(R)$ 上に部分順序 $\preccurlyeq$ を定義し、主イデアル $A=\langle a \rangle$ および $B=\langle b \rangle$ に対して、$A \preccurlyeq B$ であることと、$R$ において $a$ が $b$ を割ることとが同値となるようにする。著者らは、この順序が乗法と両立し、かつ $I(R)$ のすべての要素が「順序正則」（ある $X$ に対して $A \preccurlyeq AXA$ を満たす）であることを検証する。
2. 圏論的定式化: 対象をイデアル、射を $R$-線形写像とする圏 $I_R$ を定義する。著者らは、包含写像からなる部分圏 $P$ を特定し、$(I_R, P)$ が「部分対象を持つ圏」の公理を満たすことを示す。
3. 構造対応: これらの構造を結びつけるため、著者らは厳密な前順序圏 $C$ を構成する。ここで、$A$ から $B$ への射が存在することと、$A \preccurlyeq B$ であることとが同値となる。次に、半群における順序関係を圏における包含写像に写す反変関手 $F: C \to I_R$ を定義する。

主要な結果と貢献
本論文は、可換 PIR におけるイデアルの構造に関するいくつかの具体的な性質と定理を確立する。

• 正則順序半群構造: 定理 2.1 は、$(I(R), \cdot, \preccurlyeq)$ が正則順序半群であることを証明する。古典的な正則性が $a = axa$を要求するのに対し、ここでの順序正則性は$a \preccurlyeq axa$を要求する。著者らは、任意のイデアル$A=\langle a \rangle$に対して、任意の$x \in R$について$A \preccurlyeq A \langle x \rangle A$ が成り立つことを示す。
• 強正則性: 定理 2.10 は、$I(R)$ が強固な正則性の条件の集合を満たすことを示す。
  • 内部正則（$A \preccurlyeq XA^2Y$）である。
  • 逆順序半群である（すべての要素が $\mathcal{H}$-関係まで一意な順序逆元を持つ）。
  • すべての要素が順序冪等元である（$A \preccurlyeq A^2$）。
  • 完全正則であり、群的であり、クリフォード順序半群である。
• グリーン関係: 定理 2.9 は、$I(R)$ 上のすべてのグリーン関係（$\mathcal{L}, \mathcal{R}, \mathcal{J}, \mathcal{H}, \mathcal{D}$）が普遍関係であることを確立する。これは、零イデアルの存在と $R$ の可換性による帰結であり、これによりすべてのイデアルがこれらの同値関係のもとで互いに関連付けられる。
• 同型と逆横断:
  • 定理 2.5 は、2 つの可換 PIR $R$ と $S$ が同型であれば、それらのイデアル半群も同型であることを示す。逆は一般的には成り立たないことが指摘されている（例：体 $\mathbb{R}$ と $\mathbb{Q}$）。
  • 命題 2.7 は、単位イデアルのみを含む集合 $\{\langle 1 \rangle\}$ を、イデアルの順序半群に対する逆横断として特定する。
  • 命題 2.8 は、$R$ の要素 $a$ のフォン・ノイマン正則性を、半群 $I(R)$ における主イデアル $\langle a \rangle$ の正則性に関連付ける。
• 具体的な例: 本論文は、特定の環に対する明示的な同型を提供する。
  • $I(\mathbb{Z})$ は、乗法と可除性のもとでの非負整数の順序半群と同型である。
  • $I(\mathbb{Z}_n)$ は、特定の最大公約数に基づく演算を持つ $n$ の約数の集合と同型である。
  • $I(F[x])$ は、スカラー乗法による多項式の同値類の集合であり、可除性によって順序付けられている。
• 圏論的対応: 主要な理論的貢献は、$I(R)$ の可除性順序から導かれる前順序圏 $C$ から、イデアルと線形写像の圏 $I_R$ への反変関手 $F$ の構成である。この関手は、順序関係 $A \preccurlyeq B$ の存在を、イデアルの圏における包含射 $j(B, A): B \to A$ に写す。

意義と主張
本論文は、可換主イデアル環のイデアルを、同時に順序半群および部分対象を持つ圏として見ることで、統一的な視点を提供すると主張する。その意義は、生成元の可除性が、半群が単に正則であるだけでなく、強い逆的およびクリフォード的性質を満たす構造を誘起することを示す点にある。さらに、著者らは、順序半群構造と圏論的構造との間に、反変関手を介した自然な対応関係を確立し、イデアルの順序論的性質を圏論的包含写像へ効果的に翻訳する。この研究は、順序半群のより広範な調査および代数的構造の圏論的表現に寄与し、特にこれらの枠組み内での PIR におけるイデアルの振る舞いを明確にするものである。