Loading AI tools
来自维基百科,自由的百科全书
在数学里,尤其是在抽象代数里,交换环的素元(prime element)是指满足类似整数里的素数或不可约多项式之性质的一个数学对象。须注意的是,素元与不可约元素之间并不相同,虽然在唯一分解整环里是一样的,但在一般情况下则不一定相同。
交换环 R 的元素 p 被称为素元,若该元素不为 0 或可逆元,且若 p 整除 ab(a 与 b 为 R 内的元素),则 p 整除 a 或 p 整除 b。等价地说,一元素 p 为素元,当且仅当由 p 产生的主理想 (p) 为非零素理想[1]。
对素元的兴趣来自于算术基本定理。该定理断言,每个非零整数都可以以唯一一种方式写成 1 或 -1 乘上一串正素数之乘积。这导致了对唯一分解整环的研究,推广了仅在整数内被描述之概念。
一个元素是否为素元,取决于该元素处于哪个环内;例如,2在 Z 里是个素元,但在高斯整数环 Z[i] 里则不是,因为 2 = (1 + i)(1 - i) 且 2 无法整除等式右边的任一因子。
不可将素元与不可约元素搞混。在一整环里,每个素元都是不可约元素[2],但反之不一定成立。不过,在唯一分解整环[3](或更一般地,在GCD环)里,素元与不可约元素会是相同的元素。
举例来说,在二次整数环中,可以用范数证明 3 是不可约元素。不过,3 不是素元,因为
但 无法整除 ,也无法整除 。[4]
下面为环里的素元之例子:
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.