热门问题
时间线
聊天
视角
主理想整环
代数结构 来自维基百科,自由的百科全书
Remove ads
在抽象代数中,主理想整环(英语:principal ideal domain,简称PID)是其中所有理想都是主理想(由一个元素生成的理想)的整环[1]。一个更广泛的概念是主理想环,它指的是其中所有理想都是主理想的非零交换环[2],但一些作者(如布尔巴基)把主理想整环称为主理想环[3]。主理想整环和主理想环的区别在于主理想环可以有零因子,而主理想整环不可以。
因此,在可除性上,主理想整环性质与整数类似:每一个主理想整环的元素都有唯一的质元素分解(因此算术基本定理的类似形式成立);每一对主理想整环的元素都有最大公因数(但可能不能通过欧几里得算法计算它)。如果和是主理想整环的元素但没有可逆元以外的公因数,那么每个主理想整环的元素都可以写成的形式。
主理想整环是诺特环、整闭整环、唯一分解整环、戴德金整环。所有欧几里得整环和域都是主理想整环。
主理想整环在以下的包含链中出现:
Remove ads
例子
主理想整环的例子包括:
Remove ads
不是主理想整环的整环包括:
Remove ads
主理想整环上的模
有关主理想整环上的模的关键结论是它的结构定理:如果是主理想整环,且是一个上的有限生成模,那么是循环模——也就是由一个元素生成的模——的直和。对于其中每个循环模,都存在使得它同构于[10](注意:可能等于,在这种情况下)。
如果是主理想整环上的一个自由模,那么的所有子模也是自由模[11]。这一结论在非主理想整环上的模中不成立,例如上的自由模的子模就不是自由模。
性质
在主理想整环中,任何两个元素都有最大公因数,可以通过计算理想的生成元求得[12]。
所有欧几里得整环都是主理想整环[8],但它的逆命题不成立。一个不是欧几里得整环的主理想整环的例子是环[12]。这是由西奥多·默慈金首先证明的[13],是第一个被证明不是欧几里得整环的主理想整环。在这一环中,尽管和有最大公因数,但不存在满足的使得。
所有主理想整环都是唯一分解整环[14],而它的逆命题不成立,例如环是唯一分解整环但不是主理想整环[15]。
以上三个条件是戴德金整环的定义,因此所有主理想整环都是戴德金整环[19]。
令为一个整环,则以下命题是等价的:
- 是主理想整环。
- 中的所有素理想都是主理想[20]。
- 既是戴德金整环也是唯一分解整环。
- 的每个有限生成理想都是主理想(也就是说,既是裴蜀整环也满足主理想的升链条件)。
- 可被赋予一个戴德金–哈斯范数[5]。
所有欧几里得范数都是戴德金–哈斯范数[5],因此(5)表明欧几里得整环都是主理想整环。(4)可以与以下结论对比:
- 一个整环是唯一分解整环当且仅当它是GCD环(其中每两个元素都有最大公因数的整环)且满足主理想的升链条件。
一个整环是裴蜀整环当且仅当其中的任何两个元素都有一个是它们的线性组合的最大公因数[20]。因此,裴蜀整环是GCD环,而(4)给出了主理想整环是唯一分解整环的另一种证法。
Remove ads
参见
参考文献
外部链接
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads