主理想整环：修订间差异

删除的内容添加的内容

行内

2023年12月15日 (五) 17:09的版本

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

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

主理想整环是诺特环、整闭整环（英语：integrally closed domain）、唯一分解整环、戴德金整环。所有欧几里得整环和域都是主理想整环。

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

伪环 ⊃ 环 ⊃ 交换环 ⊃ 整环 ⊃ 整闭整环（英语：integrally closed domain） ⊃ GCD環 ⊃ 唯一分解整環 ⊃ 主理想整环 ⊃ 歐幾里得整環 ⊃ 域 ⊃ 代數閉域

例子

主理想整环的例子包括：

$K$ ：任何域；
$\mathbb {Z}$ ：整数环^[1]；
$K[x]$ ：单变量多项式环，其中 $K$ 是域；（这一命题的逆命题——如果 $A[x]$ 是主理想整环，那么 $A$ 是域——也成立^[2]）除此以外，在域上的单变量形式幂级数环也是主理想整环，因为其中的所有理想都有 $\langle x^{k}\rangle$ 的形式。
$\mathbb {Z} [i]$ ：高斯整数环^[3]^[1]；
$\mathbb {Z} [\omega ]$ （其中 $\omega$ 是1的三次本原单位根）：艾森斯坦整数；
所有的离散赋值环（英语：discrete valuation ring），例如 $p$ 进整数环 $\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$ 不是主理想。
大多数代數整數环不是主理想整环。具体来说，对于很多 $p$ 次本原单位根来说， $\mathbb {Z} [\zeta _{p}]$ 不是主理想整环^[4]。代数整数环的类数给出了它们离主理想整环有多远的度量。这启发戴德金将环元素的唯一分解替换为理想的唯一分解，从而定义戴德金整环。

主理想整环上的模

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

如果 $M$ 是主理想整环 $R$ 上的一个自由模，那么 $M$ 的所有子模也是自由模^[6]。这一结论在非主理想整环上的模中不成立，例如 $\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]$ ^[7]。这是由西奥多·默慈金（英语：Theodore Motzkin）首先证明的^[8]，是第一个被证明不是欧几里得整环的主理想整环。在这一环中，尽管 $1+{\sqrt {-19}}$ 和 $4$ 有最大公因数 $2$ ，但不存在满足 $0\leq |r|<4$ 的 $q,r$ 使得 $(1+{\sqrt {-19}})=(4)q+r$ 。

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

所有主理想整环都是诺特环^[11]。
在所有交换环中，极大理想都是素理想^[12]。在主理想整环中，所有非零素理想都是极大理想^[7]。
所有主理想整环都是整闭整环（英语：integrally closed domain）。

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

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

$A$ 是主理想整环。
$A$ 中的所有素理想都是主理想^[13]。
$A$ 既是戴德金整环也是唯一分解整环。
$A$ 的每个有限生成理想都是主理想（也就是说， $A$ 既是裴蜀整环（英语：Bézout domain）也满足主理想的升链条件（英语：ascending chain condition on principal ideals））。
$A$ 可被赋予一个戴德金–哈斯范数（英语：Dedekind–Hasse norm）^[2]。

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

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

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

参见

裴蜀定理

参考文献

^ ^1.0 ^1.1 Dummit & Foote (2004)，第279頁.
^ ^2.0 ^2.1 Dummit & Foote (2004)，第281頁.
^ Dummit & Foote (2004)，第272頁.
^ Milne. Algebraic Number Theory (PDF): 5.
^ Dummit & Foote (2004)，第462頁.
^ Dummit & Foote (2004)，第460頁.
^ ^7.0 ^7.1 Dummit & Foote (2004)，第280頁.
^ Motzkin, Th. The Euclidean algorithm. Bulletin of the American Mathematical Society. 1949-12, 55 (12): 1142–1146. ISSN 0002-9904.
^ Dummit & Foote (2004)，第287頁.
^ Dummit & Foote (2004)，第292頁.
^ Dummit & Foote (2004)，第459頁.
^ Dummit & Foote (2004)，第256頁.
^ Dummit & Foote (2004)，第283頁.

Dummit, David Steven; Foote, Richard Martin. Abstract algebra 3. Hoboken, NJ: John Wiley & Sons, Inc. 2004. ISBN 9780471433347.
Fraleigh, John B.; Katz, Victor J. A first course in abstract algebra 5. Addison-Wesley Publishing Company. 1967. ISBN 0201534673.
Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. Algebras, rings and modules. Kluwer Academic Publishers. 2004. ISBN 1402026900.
Jacobson, Nathan. Basic Algebra I. Dover. 2009. ISBN 9780486471891.
Ribenboim, Paulo. Classical theory of algebraic numbers. Springer. 2001. ISBN 0387950702.

外部链接

MathWorld上的主理想整环

[FOOTNOTEDummitFoote2004279-1] 1.0 ^1.1 Dummit & Foote (2004)，第279頁.

[FOOTNOTEDummitFoote2004281-2] 2.0 ^2.1 Dummit & Foote (2004)，第281頁.

[FOOTNOTEDummitFoote2004272-3] Dummit & Foote (2004)，第272頁.

[4] Milne. Algebraic Number Theory (PDF): 5.

[FOOTNOTEDummitFoote2004462-5] Dummit & Foote (2004)，第462頁.

[FOOTNOTEDummitFoote2004460-6] Dummit & Foote (2004)，第460頁.

[FOOTNOTEDummitFoote2004280-7] 7.0 ^7.1 Dummit & Foote (2004)，第280頁.

[8] Motzkin, Th. The Euclidean algorithm. Bulletin of the American Mathematical Society. 1949-12, 55 (12): 1142–1146. ISSN 0002-9904.

[FOOTNOTEDummitFoote2004287-9] Dummit & Foote (2004)，第287頁.

[FOOTNOTEDummitFoote2004292-10] Dummit & Foote (2004)，第292頁.

[FOOTNOTEDummitFoote2004459-11] Dummit & Foote (2004)，第459頁.

[FOOTNOTEDummitFoote2004256-12] Dummit & Foote (2004)，第256頁.

[FOOTNOTEDummitFoote2004283-13] Dummit & Foote (2004)，第283頁.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

[12]

[13]

@@ 第1行： / 第1行： @@
+在[[抽象代数]]中，'''主理想整环'''（{{lang-en|principal ideal domain}}，简称'''PID'''）是其中所有[[理想 (环论)|理想]]都是[[主理想]]（由一个元素生成的理想）的[[整环]]。一个更广泛的概念是[[主理想环]]，它指的是其中所有理想都是主理想的非零交换环，但一些作者（如[[布尔巴基]]）把主理想整环称为主理想环。主理想整环和主理想环的区别在于主理想环可以有[[零因子]]，而主理想整环不可以。
-#Redirect [[主理想環]]
+因此，在可除性上，主理想整环性质与[[整数]]类似：每一个主理想整环的元素都有唯一的[[质元素]]分解（因此[[算术基本定理]]的类似形式成立）；每一对主理想整环的元素都有[[最大公因数]]（但可能不能通过[[欧几里得算法]]计算它）。如果<math>x</math>和<math>y</math>是主理想整环的元素但没有[[可逆元]]以外的公因数，那么每个主理想整环的元素都可以写成<math>ax+by</math>的形式。
+主理想整环是[[诺特环]]、{{tsl|en|integrally closed domain|整闭整环}}、[[唯一分解整环]]、[[戴德金整环]]。所有[[欧几里得整环]]和[[域 (数学)|域]]都是主理想整环。
+主理想整环在以下的包含链中出现：
+{{Commutative ring classes}}
+{{Algebraic structures |Ring}}
+== 例子 ==
+主理想整环的例子包括：
+* <math>K</math>：任何[[域 (数学)|域]]；
+* <math>\mathbb{Z}</math>：[[整数]][[环 (代数)|环]]{{sfnp|Dummit|Foote|2004|p=279}}；
+* <math>K[x]</math>：单变量[[多项式环]]，其中<math>K</math>是域；（这一命题的逆命题——如果<math>A[x]</math>是主理想整环，那么<math>A</math>是域——也成立{{sfnp|Dummit|Foote|2004|p=281}}）除此以外，在域上的单变量形式幂级数环也是主理想整环，因为其中的所有理想都有<math>\langle x^k\rangle</math>的形式。
+* <math>\mathbb{Z}[i]</math>：[[高斯整数]]环{{sfnp|Dummit|Foote|2004|p=272}}{{sfnp|Dummit|Foote|2004|p=279}}；
+* <math>\mathbb{Z}[\omega]</math>（其中<math>\omega</math>是1的三次本原单位根）：[[艾森斯坦整数]]；
+* 所有的{{tsl|en|discrete valuation ring|离散赋值环}}，例如[[p进整数|{{mvar|p}}进整数]]环<math>\mathbb{Z}_p</math>。
+=== 不是主理想整环的例子 ===
+不是主理想整环的整环包括：
+* <math>\mathbb{Z}[\sqrt{-3}]</math>不是[[唯一分解整环]]，原因是<math>4 = 2\cdot 2 = (1+\sqrt{-3})(1-\sqrt{-3})</math>。由于所有主理想整环都是唯一分解整环，因此<math>\mathbb{Z}[\sqrt{-3}]</math>也不是主理想整环。除此以外，<math>\langle 2,1+\sqrt{-3}\rangle</math>不是主理想。
+* <math>\mathbb{Z}[x]</math>：整系数多项式环。由于理想<math>\langle 2,x\rangle</math>不能由单个多项式生成，<math>\mathbb{Z}[x]</math>不是主理想整环。
+* <math>K[x, y, \ldots]</math>：在环<math>K</math>上的[[多项式环#多變元的情形|多变量多项式环]]不是主理想整环，原因是理想<math>\langle x,y\rangle</math>不是主理想。
+* 大多数[[代數整數]]环不是主理想整环。具体来说，对于很多[[单位根#本原根|{{mvar|p}}次本原单位根]]来说，<math>\mathbb{Z}[\zeta_p]</math>不是主理想整环<ref>{{Cite web|last=Milne|title=Algebraic Number Theory|url=https://www.jmilne.org/math/CourseNotes/ANT301.pdf|pages=5}}</ref>。代数整数环的[[理想類群|类数]]给出了它们离主理想整环有多远的度量。这启发戴德金将环元素的唯一分解替换为理想的唯一分解，从而定义[[戴德金整环]]。
+== 主理想整环上的模 ==
+{{main|主理想整环上有限生成模的结构定理}}
+有关主理想整环上的模的关键结论是它的结构定理：如果<math>R</math>是主理想整环，且<math>M</math>是一个<math>R</math>上的有限生成模，那么<math>M</math>是循环模——也就是由一个元素生成的模——的直和。对于其中每个循环模，都存在<math>x\in R</math>使得它同构于<math>R/xR</math>{{sfnp|Dummit|Foote|2004|p=462}}（注意：<math>x</math>可能等于<math>0</math>，在这种情况下<math>R/xR=R</math>）。
+如果<math>M</math>是主理想整环<math>R</math>上的一个[[自由模]]，那么<math>M</math>的所有子模也是自由模{{sfnp|Dummit|Foote|2004|p=460}}。这一结论在非主理想整环上的模中不成立，例如<math>\mathbb{Z}[X]</math>上的自由模<math>\mathbb{Z}[X]</math>的子模<math>\langle 2,X\rangle</math>就不是自由模。
+== 性质 ==
+在主理想整环中，任何两个元素<math>a,b</math>都有[[最大公因数]]，可以通过计算理想<math>\langle a,b\rangle</math>的生成元求得。
+所有[[欧几里得整环]]都是主理想整环，但它的逆命题不成立。一个不是欧几里得整环的主理想整环的例子是环<math>\mathbb{Z}\left[\frac{1+\sqrt{-19}} 2\right]</math>{{sfnp|Dummit|Foote|2004|p=280}}。这是由{{tsl|en|Theodore Motzkin|西奥多·默慈金}}首先证明的<ref>{{Cite journal |last=Motzkin |first=Th |date=1949-12 |title=The Euclidean algorithm |url=https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society/volume-55/issue-12/The-Euclidean-algorithm/bams/1183514381.full |journal=Bulletin of the American Mathematical Society |volume=55 |issue=12 |pages=1142–1146 |issn=0002-9904}}</ref>，是第一个被证明不是欧几里得整环的主理想整环。在这一环中，尽管<math>1+\sqrt{-19}</math>和<math>4</math>有最大公因数<math>2</math>，但不存在满足<math>0\leq |r|<4</math>的<math>q,r</math>使得<math>(1+\sqrt{-19})=(4)q+r</math>。
+所有主理想整环都是唯一分解整环{{sfnp|Dummit|Foote|2004|p=287}}，而它的逆命题不成立，例如环<math>\mathbb{Z}[x]</math>是唯一分解整环但不是主理想整环{{sfnp|Dummit|Foote|2004|p=292}}。
+# 所有主理想整环都是[[诺特环]]{{sfnp|Dummit|Foote|2004|p=459}}。
+# 在所有交换环中，[[极大理想]]都是[[素理想]]{{sfnp|Dummit|Foote|2004|p=256}}。在主理想整环中，所有非零素理想都是极大理想{{sfnp|Dummit|Foote|2004|p=280}}。
+# 所有主理想整环都是{{tsl|en|integrally closed domain|整闭整环}}。
+以上三个条件是[[戴德金整环]]的定义，因此所有主理想整环都是戴德金整环。
+令<math>A</math>为一个整环，则以下命题是等价的：
+# <math>A</math>是主理想整环。
+# <math>A</math>中的所有[[素理想]]都是主理想{{sfnp|Dummit|Foote|2004|p=283}}。
+# <math>A</math>既是戴德金整环也是唯一分解整环。
+# <math>A</math>的每个有限生成理想都是主理想（也就是说，<math>A</math>既是{{tsl|en|Bézout domain|裴蜀整环}}也满足{{tsl|en|ascending chain condition on principal ideals|主理想的升链条件}}）。
+# <math>A</math>可被赋予一个{{tsl|en|Dedekind–Hasse norm|戴德金–哈斯范数}}{{sfnp|Dummit|Foote|2004|p=281}}。
+所有[[歐幾里得整環#定義|欧几里得范数]]都是戴德金–哈斯范数，因此(5)表明欧几里得整环都是主理想整环。(4)可以与以下结论对比：
+* 一个整环是唯一分解整环当且仅当它是[[GCD環]]（其中每两个元素都有最大公因数的整环）且满足主理想的升链条件。
+一个整环是{{tsl|en|Bézout domain|裴蜀整环}}当且仅当其中的任何两个元素都有一个是它们的线性组合的最大公因数。因此，裴蜀整环是GCD环，而(4)给出了主理想整环是唯一分解整环的另一种证法。
+== 参见 ==
+* [[裴蜀定理]]
+== 参考文献 ==
+{{reflist}}
+{{refbegin}}
+* {{cite book |last1=Dummit |first1=David Steven |last2=Foote |first2=Richard Martin |title=Abstract algebra |edition=3 |publisher=John Wiley & Sons, Inc. |year=2004 |location=Hoboken, NJ |isbn=9780471433347}}
+* {{cite book |first1=John B. |last1=Fraleigh |first2=Victor J. |last2=Katz |title=A first course in abstract algebra |publisher=Addison-Wesley Publishing Company |edition=5 |year=1967 |isbn=0201534673}}
+* {{cite book |first1=Michiel |last1=Hazewinkel |first2=Nadiya |last2=Gubareni |first3=V. V. |last3=Kirichenko |title=Algebras, rings and modules |publisher=Kluwer Academic Publishers |year=2004 |isbn=1402026900}}
+* {{cite book |first1=Nathan |last1=Jacobson |title=Basic Algebra I |publisher=Dover |year=2009 |isbn=9780486471891}}
+* {{cite book |first1=Paulo |last1=Ribenboim |title=Classical theory of algebraic numbers |publisher=Springer |year=2001 |isbn=0387950702}}
+{{refend}}
+== 外部链接 ==
+* [[MathWorld]]上的[https://mathworld.wolfram.com/PrincipalIdealDomain.html 主理想整环]
+{{DEFAULTSORT:主理想整环}}
+[[Category:交換代數]]
+[[Category:環論]]