对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？ 第1页
1
lu-li-61-16 网友的相关建议:
- 条件1 强于条件 2. (见B)
- 对于诺特环来说是等价的. (见E)
A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.
B. 如果 为最大公因子整环, 那么不可约元是素元.
[证明] 如果 不可约， . 首先，我们知道不能 且 ( 因为如果 且 那么 ，矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想，故 ,所以 .
C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:
- (1) (可分解性) 每个非零非单位元 可以写成有限个不可约元的乘积 .
- (2) (唯一分解性) 如果 , 那么 并且适当调整角标后可以使 与 相伴.
D. 在一般抽象代数书中都有UFD的判定:
- [UFD的判定] 整环 为UFD, 当且仅当满足可分解性, 并且不可约元是素元.
E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.
1
相关话题
以π指代圆周率是偶然的约定俗成还是特别的另有深意？为什么不少数学和理论物理的专栏文章喜欢配萌妹子的图？
何谓「做数学」？
如何证明下面的近世代数问题？
《现代数学基础丛书》的封面图有什么数学背景？
日本麻将中的复合役是否可以认为是独立事件？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
为什么费马大定理在数学史上的地位如此重要？
为什么n维欧式空间中的单位球面（n-1 sphere）的表面积和体积，在 n 趋于 ∞ 时，都趋于0？
数学家是怎样思考问题的？
前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
相关的话题
如何激怒一位数学爱好者？如何证明存在 1000 个连续的正整数中恰好有五个素数？
为什么在应用上高斯消元法很少被用来求逆矩阵?
宁波大学的陈计教授是一个什么样的人？
这是一个主客观赋权模型，但我不理解数学意义，有没有帮忙解释一下的？
大学数学系四年要学哪些东西？
万有引力定律中，为什么由 F∝m、F∝M 可以推出 F∝Mm？如何用数学方法证明？
怎么评价北大版的《高等代数》？
如何证明 √2 + √3 + √5 是无理数？
作为数学博士研究生，以什么频率发文章才有在学术界生存的能力/潜力？
抛掷a0枚硬币，表面朝上的枚数为a1,然后再投掷a1枚硬币类推，这样最后an的概率分布可求吗？
请问对称矩阵的平方根怎么算，有公式吗？
如何看待人教版教材疑似出现低级错误，用爱因斯坦相对论证明勾股定理？
工具变量 (Instrumental variables) 的作用到底是什么？
如何定义数？
数值分析中割线法的收敛阶是如何证明的?
高中数学有哪些像洛必达法则一样神一样有用的公式？
支持热爱数学的女生走纯数学道路吗？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
0.8＞ln2 怎么证明？
如何看待本次数学大赛决赛圈有各行业不同年龄段选手入围，是否高手就在我们身边？
如果 a/b 是有理数，那么为什么圆周率不是有理数？
这个数列极限的定义反过来为什么就不行?
明明现在用的微积分符号都是莱布尼茨发明的，为什么都说牛顿更伟大？
用分离变量法来解 PDE 的合理性何在？
大家都是怎样学习高数（微积分）的?
李代数为何要满足 Jacobi Identity？
如果换一种几何，圆周率的值会变么？
数学总是令我困惑，为什么可以这么做？
如何记住所有的三角函数公式？