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$ 在 $R$ 中整除 $b$ 时，$A \preccurlyeq B$。作者验证了该序与乘法相容，且 $I(R)$ 中的每个元素都是“有序正则”的（即满足 $A \preccurlyeq AXA$，其中 $X$ 为某元素）。
2. 范畴表述：范畴 $I_R$ 被定义为以理想为对象、以 $R$-线性映射为态射的范畴。作者识别出一个由包含映射构成的子范畴 $P$，证明了 $(I_R, P)$ 满足“具有子对象的范畴”的公理。
3. 结构对应：为了联系这些结构，作者构造了一个严格预序范畴 $C$，其中从 $A$ 到 $B$ 存在态射当且仅当 $A \preccurlyeq B$。随后，他们定义了一个反变函子 $F: C \to I_R$，将半群中的序关系映射为范畴中的包含映射。

主要结果与贡献
本文确立了关于交换主理想环中理想结构的若干具体性质和定理：

• 有序正则半群结构：定理 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 表明，如果两个交换主理想环 $R$ 和 $S$ 同构，则它们的理想半群也同构。反之则通常不成立（例如域 $\mathbb{R}$ 和 $\mathbb{Q}$）。
  • 命题 2.7 识别出仅包含单位理想 $\{\langle 1 \rangle\}$ 的集合作为理想有序半群的逆横截。
  • 命题 2.8 将元素 $a \in R$ 的冯·诺依曼正则性与主理想 $\langle a \rangle$ 在半群 $I(R)$ 中的正则性联系起来。
• 具体示例：本文提供了特定环的显式同构：
  • $I(\mathbb{Z})$ 同构于在乘法和整除关系下的非负整数有序半群。
  • $I(\mathbb{Z}_n)$ 同构于 $n$ 的因子集合，配备特定的基于最大公约数的运算。
  • $I(F[x])$ 同构于在标量乘法下的多项式等价类集合，按整除关系排序。
• 范畴对应：主要的理论贡献是构造了一个从预序范畴 $C$（源于 $I(R)$ 的整除序）到范畴 $I_R$（具有线性映射的理想）的反变函子 $F$。该函子将序关系 $A \preccurlyeq B$ 的存在性映射为理想范畴中的包含态射 $j(B, A): B \to A$。

意义与主张
本文主张，通过将交换主理想环的理想同时视为有序半群和具有子对象的范畴，提供了一个统一的视角。其意义在于证明生成元的整除性诱导了一种结构，使得该半群不仅是正则的，而且满足强逆元和克利福德性质。此外，作者通过一个反变函子建立了有序半群结构与范畴结构之间的自然对应，有效地将理想的序论性质转化为范畴包含映射。这项工作有助于更广泛地研究有序半群以及代数结构的范畴表示，特别是阐明了主理想环中的理想在这些框架内的行为。