唯一分解整环
环论 |
---|
在数学中,唯一分解整环(英语:Unique factorization domain,缩写:UFD)是一个整环,其中元素都可以表示成有限个不可约元素(或素元)之积,并且表示法在允许重排与相伴(associative)之下唯一,相当于满足算术基本定理的整环。
定义
[编辑]一个整环被称为唯一分解整环当且仅当中的每个非零元素皆可表示为一个可逆元和若干个不可约元素(可以是0个)的乘积:
其中是一个可逆元,是不可约元素,是非负整数。并且如果存在的另一种表示法此表法(是可逆元,是不可约元素),则,且存在一个下标的重排与可逆元使得 (),换句话说,存在使得和相伴。
例子
[编辑]- 主理想整环,特别是欧几里得整环。由此可知整数、高斯整数与艾森斯坦整数环都是唯一分解整环。
- 域也是唯一分解整环。
- 若为唯一分解整环,则多项式环亦然。由此可知任意有限个变元的多项式环也是唯一分解整环,但是一般来说并不是主理想整环,除非是一个域。
- 复流形(例如)上一点的局部环是唯一分解整环。
- 正则局部环皆为唯一分解整环。
以下给出几个反例:
- 环并非唯一分解环,因为
- 令为任一交换环,则非唯一分解整环;当为域时,这在几何上对应到一个奇点。
性质
[编辑]整数的一些概念可以推广至唯一分解整环:
等价条件
[编辑]- 一个诺特整环是唯一分解整环当且仅当每个高度为一的素理想都是主理想(即:由单个元素生成)。
- 一个整环是唯一分解整环当且仅当升链条件对主理想成立,而且任两个元素有最小公倍数。
- 一个整环是唯一分解整环当且仅当其类群为平凡群。
文献
[编辑]- I. N. Herstein, Topics in Algebra (1975), Wiley. ISBN 0-471-01090-1
- H. Matsumura, Commutative algebra (1980), Benjamin-Cummings Pub Co. ISBN 0-8053-7026-9
|
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.