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

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

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

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

例子
主理想整环的例子包括：

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

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

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

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

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

性质
在主理想整环中，任何两个元素a,b都有最大公因数，可以通过计算理想\langle a,b\rangle的生成元求得。

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

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

所有主理想整环都是诺特环。

在所有交换环中，极大理想都是素理想。在主理想整环中，所有非零素理想都是极大理想。

所有主理想整环都是。

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

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

A是主理想整环。

A中的所有素理想都是主理想。

A既是戴德金整环也是唯一分解整环。

A的每个有限生成理想都是主理想（也就是说，A既是也满足）。

A可被赋予一个。

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

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

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

参见

裴蜀定理

参考文献
*
*
*
*
*
*

外部链接

MathWorld上的[https://mathworld.wolfram.com/PrincipalIdealDomain.html 主理想整环]

主理想整环