分式理想
外观
环论 |
---|
![]() |
在数学中,特别是交换代数中,分式理想的概念是在对整环的研究中所引入的,并且在戴德金整环的研究中得到丰富。类似于通过给整数引入分母而产生了分数,在整环中,分式理想可认为是为理想引入了在某种意义上[來源請求]的分母。在特定上下文中,为了有所区别,环的普通理想常被强调为整理想。
定义和基本结论
[编辑]设是一个整环,是其分式域。的分式理想定义为 的一个-子模,使得存在一个非零的,满足。可以被认为是子模的“分母”,如果一个分式理想可由的单个元素生成,则称为主分式理想。分式理想包含于,当且仅当是的整理想。
给定整环,的一个分式理想被称为是可逆的,如果存在另一个分式理想,使得。(这里,被称为两个分式理想的积)。的全体可逆分式理想按理想的求积运算,形成一个阿贝尔群,称为的分式理想群;其单位元是的单位理想,即本身。的全体主分式理想,形成一个分式理想群的子群。的一个(非零)分式理想是可逆的,当且仅当它是作为一个模是投射的。
的每个有限生成-子模都是的分式理想。进一步,如果是诺特的,则这些就是的全部分式理想。
戴德金整环
[编辑]在戴德金整环中,上面的理论更为简单。特别地,戴德金整环的每个分式理想都是可逆的。事实上,这也是刻画戴德金整环的特征:一个整环是戴德金整环,当且仅当它的的每个非零分式理想都可逆。
在戴德金整环中,分式理想群模去主分式理想群所得到的商群是这个戴德金整环的重要不变量,称为它的理想类群。引入分式理想的一部分原因就是为了说明理想类群确实是个商群,这比通过特别地定义理想类的乘法运算来构造理想类群要更自然。[來源請求]
除子理想
[编辑]设为的所有包含的主分式理想的交集,则:
其中
- 为理想的商。
如果,则称为除子理想。如果是除子理想,且是非零素理想, 则 也是除子理想。
一个整环称为Mori 整环, 如果其全体除子理想的集合满足升链条件。
参考文献
[编辑]- Chapter 9 of Atiyah, Michael Francis; Macdonald, I.G., Introduction to Commutative Algebra, Westview Press, 1994, ISBN 978-0-201-40751-8
- Chapter VII.1 of Bourbaki, Nicolas, Commutative algebra 2nd, Springer Verlag, 1998, ISBN 3-540-64239-0
- Chapter 11 of Matsumura, Hideyuki, Commutative Ring theory, Cambridge Studies in Advanced Mathematics 8 2nd, Cambridge University Press, 1989, ISBN 978-0-521-36764-6, MR1011461