跳转到内容

主理想整环

维基百科,自由的百科全书

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

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

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

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

伪环交换环整环整闭整环英语integrally closed domainGCD环唯一分解整环主理想整环欧几里得整环代数闭域

例子

[编辑]

主理想整环的例子包括:

  • :任何[4]
  • 整数[1]
  • :单变量多项式环,其中是域[5];(这一命题的逆命题——如果是主理想整环,那么是域——也成立[5])除此以外,在域上的单变量形式幂级数环也是主理想整环,因为其中的所有理想都有的形式。
  • 高斯整数[6][1]
  • (其中是1的三次本原单位根):艾森斯坦整数
  • 所有的离散赋值环英语discrete valuation ring[6],例如p进整数[7]

不是主理想整环的例子

[编辑]

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

  • 不是唯一分解整环,原因是。由于所有主理想整环都是唯一分解整环,因此也不是主理想整环。除此以外,不是主理想。
  • :整系数多项式环[8]。由于理想不能由单个多项式生成,不是主理想整环。
  • :在环上的多变量多项式环不是主理想整环,原因是理想不是主理想。
  • 大多数代数整数环不是主理想整环。具体来说,对于很多p次本原单位根来说,不是主理想整环[9]。代数整数环的类数给出了它们离主理想整环有多远的度量。这启发戴德金将环元素的唯一分解替换为理想的唯一分解,从而定义戴德金整环

主理想整环上的模

[编辑]

有关主理想整环上的模的关键结论是它的结构定理:如果是主理想整环,且是一个上的有限生成模,那么是循环模——也就是由一个元素生成的模——的直和。对于其中每个循环模,都存在使得它同构于[10](注意:可能等于,在这种情况下)。

如果是主理想整环上的一个自由模,那么的所有子模也是自由模[11]。这一结论在非主理想整环上的模中不成立,例如上的自由模的子模就不是自由模。

性质

[编辑]

在主理想整环中,任何两个元素都有最大公因数,可以通过计算理想的生成元求得[12]

所有欧几里得整环都是主理想整环[8],但它的逆命题不成立。一个不是欧几里得整环的主理想整环的例子是环[12]。这是由西奥多·默慈金英语Theodore Motzkin首先证明的[13],是第一个被证明不是欧几里得整环的主理想整环。在这一环中,尽管有最大公因数,但不存在满足使得

所有主理想整环都是唯一分解整环[14],而它的逆命题不成立,例如环是唯一分解整环但不是主理想整环[15]

  1. 所有主理想整环都是诺特环[16]
  2. 在所有交换环中,极大理想都是素理想[17]。在主理想整环中,所有非零素理想都是极大理想[12]
  3. 所有主理想整环都是整闭整环英语integrally closed domain[14][18]

以上三个条件是戴德金整环的定义,因此所有主理想整环都是戴德金整环[19]

为一个整环,则以下命题是等价的:

  1. 是主理想整环。
  2. 中的所有素理想都是主理想[20]
  3. 既是戴德金整环也是唯一分解整环。
  4. 的每个有限生成理想都是主理想(也就是说,既是裴蜀整环英语Bézout domain也满足主理想的升链条件英语ascending chain condition on principal ideals)。
  5. 可被赋予一个戴德金–哈斯范数英语Dedekind–Hasse norm[5]

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

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

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

参见

[编辑]

参考文献

[编辑]
  1. ^ 1.0 1.1 1.2 Dummit & Foote (2004),第279页.
  2. ^ Lang (2002),第86页.
  3. ^ Weisstein, Eric W. Principal Ring. mathworld.wolfram.com. [2023-12-15]. (原始内容存档于2024-05-19) (英语). 
  4. ^ Dummit & Foote (2004),第271页.
  5. ^ 5.0 5.1 5.2 5.3 Dummit & Foote (2004),第281页.
  6. ^ 6.0 6.1 Dummit & Foote (2004),第272页.
  7. ^ Lang (2002),第487页.
  8. ^ 8.0 8.1 Dummit & Foote (2004),第273页.
  9. ^ Milne. Algebraic Number Theory (PDF): 5. [2023-12-15]. (原始内容存档 (PDF)于2024-05-12). 
  10. ^ Dummit & Foote (2004),第462页.
  11. ^ Dummit & Foote (2004),第460页.
  12. ^ 12.0 12.1 12.2 Dummit & Foote (2004),第280页.
  13. ^ Motzkin, Th. The Euclidean algorithm. Bulletin of the American Mathematical Society. 1949-12, 55 (12): 1142–1146 [2023-12-15]. ISSN 0002-9904. (原始内容存档于2023-11-12). 
  14. ^ 14.0 14.1 Dummit & Foote (2004),第287页.
  15. ^ Dummit & Foote (2004),第292页.
  16. ^ Dummit & Foote (2004),第459页.
  17. ^ Dummit & Foote (2004),第256页.
  18. ^ Dummit & Foote (2004),第693页.
  19. ^ Dummit & Foote (2004),第764页.
  20. ^ 20.0 20.1 Dummit & Foote (2004),第283页.

外部链接

[编辑]