主理想整环

在抽象代数中，主理想整环（Template:Lang-en，简称PID）是其中所有理想都是主理想（由一个元素生成的理想）的整环Template:Sfnp。一个更广泛的概念是主理想环，它指的是其中所有理想都是主理想的非零交换环Template:Sfnp，但一些作者（如布尔巴基）把主理想整环称为主理想环。主理想整环和主理想环的区别在于主理想环可以有零因子，而主理想整环不可以。

因此，在可除性上，主理想整环性质与整数类似：每一个主理想整环的元素都有唯一的质元素分解（因此算术基本定理的类似形式成立）；每一对主理想整环的元素都有最大公因数（但可能不能通过欧几里得算法计算它）。如果$x$和$y$是主理想整环的元素但没有可逆元以外的公因数，那么每个主理想整环的元素都可以写成$ax+by$的形式。

主理想整环是诺特环、Template:Tsl、唯一分解整环、戴德金整环。所有欧几里得整环和域都是主理想整环。

主理想整环在以下的包含链中出现：

例子

主理想整环的例子包括：

• $K$：任何域Template:Sfnp；
• $\mathbb{Z}$：整数环Template:Sfnp；
• $K[x]$：单变量多项式环，其中$K$是域Template:Sfnp；（这一命题的逆命题——如果$A[x]$是主理想整环，那么$A$是域——也成立Template:Sfnp）除此以外，在域上的单变量形式幂级数环也是主理想整环，因为其中的所有理想都有$⟨x^k⟩$的形式。
• $\mathbb{Z}[i]$：高斯整数环Template:SfnpTemplate:Sfnp；
• $\mathbb{Z}[\omega ]$（其中$\omega$是1的三次本原单位根）：艾森斯坦整数；
• 所有的Template:TslTemplate:Sfnp，例如[[p进整数|Template:Mvar进整数]]环${\mathbb{Z}}_p$Template:Sfnp。

不是主理想整环的例子

不是主理想整环的整环包括：

• $\mathbb{Z}[\sqrt{-3}]$不是唯一分解整环，原因是$4=2\cdot 2=(1+\sqrt{-3})(1-\sqrt{-3})$。由于所有主理想整环都是唯一分解整环，因此$\mathbb{Z}[\sqrt{-3}]$也不是主理想整环。除此以外，$⟨2,1+\sqrt{-3}⟩$不是主理想。
• $\mathbb{Z}[x]$：整系数多项式环Template:Sfnp。由于理想$⟨2,x⟩$不能由单个多项式生成，$\mathbb{Z}[x]$不是主理想整环。
• $K[x,y,\dots ]$：在环$K$上的多变量多项式环不是主理想整环，原因是理想$⟨x,y⟩$不是主理想。
• 大多数代數整數环不是主理想整环。具体来说，对于很多[[单位根#本原根|Template:Mvar次本原单位根]]来说，$\mathbb{Z}[{\zeta }_p]$不是主理想整环。代数整数环的类数给出了它们离主理想整环有多远的度量。这启发戴德金将环元素的唯一分解替换为理想的唯一分解，从而定义戴德金整环。

主理想整环上的模

Template:Main 有关主理想整环上的模的关键结论是它的结构定理：如果$R$是主理想整环，且$M$是一个$R$上的有限生成模，那么$M$是循环模——也就是由一个元素生成的模——的直和。对于其中每个循环模，都存在$x\in R$使得它同构于$R/xR$Template:Sfnp（注意：$x$可能等于$0$，在这种情况下$R/xR=R$）。

如果$M$是主理想整环$R$上的一个自由模，那么$M$的所有子模也是自由模Template:Sfnp。这一结论在非主理想整环上的模中不成立，例如$\mathbb{Z}[X]$上的自由模$\mathbb{Z}[X]$的子模$⟨2,X⟩$就不是自由模。

性质

在主理想整环中，任何两个元素$a,b$都有最大公因数，可以通过计算理想$⟨a,b⟩$的生成元求得Template:Sfnp。

所有欧几里得整环都是主理想整环Template:Sfnp，但它的逆命题不成立。一个不是欧几里得整环的主理想整环的例子是环$\mathbb{Z}\left[\frac{1+\sqrt{-19}}{2}\right]$Template:Sfnp。这是由Template:Tsl首先证明的，是第一个被证明不是欧几里得整环的主理想整环。在这一环中，尽管$1+\sqrt{-19}$和$4$有最大公因数$2$，但不存在满足$0\le |r|<4$的$q,r$使得$(1+\sqrt{-19})=(4)q+r$。

所有主理想整环都是唯一分解整环Template:Sfnp，而它的逆命题不成立，例如环$\mathbb{Z}[x]$是唯一分解整环但不是主理想整环Template:Sfnp。

1. 所有主理想整环都是诺特环Template:Sfnp。
2. 在所有交换环中，极大理想都是素理想Template:Sfnp。在主理想整环中，所有非零素理想都是极大理想Template:Sfnp。
3. 所有主理想整环都是Template:TslTemplate:SfnpTemplate:Sfnp。

以上三个条件是戴德金整环的定义，因此所有主理想整环都是戴德金整环Template:Sfnp。

令$A$为一个整环，则以下命题是等价的：

1. $A$是主理想整环。
2. $A$中的所有素理想都是主理想Template:Sfnp。
3. $A$既是戴德金整环也是唯一分解整环。
4. $A$的每个有限生成理想都是主理想（也就是说，$A$既是Template:Tsl也满足Template:Tsl）。
5. $A$可被赋予一个Template:TslTemplate:Sfnp。

所有欧几里得范数都是戴德金–哈斯范数Template:Sfnp，因此(5)表明欧几里得整环都是主理想整环。(4)可以与以下结论对比：

• 一个整环是唯一分解整环当且仅当它是GCD環（其中每两个元素都有最大公因数的整环）且满足主理想的升链条件。

一个整环是Template:Tsl当且仅当其中的任何两个元素都有一个是它们的线性组合的最大公因数Template:Sfnp。因此，裴蜀整环是GCD环，而(4)给出了主理想整环是唯一分解整环的另一种证法。

参见

• 裴蜀定理

参考文献

• Template:Citation
• Template:Lang Algebra
• Template:Cite book
• Template:Cite book
• Template:Cite book
• Template:Cite book

外部链接

• MathWorld上的主理想整环 Template:Wayback