对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？ 第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为素数？
当今世界数学已经发展到本科生难以理解的地步了吗？
数学中最完美的数是什么，还会有此类数出现吗？
我需要选这样的数学系吗?
如何正确理解小概率事件，以及概率和哲学的关系？
114514 阶的群有哪几类？
物理系的学生数学学到什么地步合适？
前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
相关的话题
如何正确理解小概率事件，以及概率和哲学的关系？如何评价知乎用户灵剑？
g为R→R的函数且g(g(x))=-x^13-x，怎么证明g不可导？
用微积分怎么证明勾股定理？
格兰杰因果检验（Granger causality test）是否犯了逻辑上的后此谬误？
极坐标表示 5000 到 50000 之间的素数为什么会形成一条螺旋线？
微软的计算器为什么输入 ln 2 是先输入 2 再输入 ln？
1和0.999...是两个不同的数字，在数学上却是相等的，是不是有悖论？
如何在冰雹猜想上做出点成绩?
祖冲之的圆周率的出处在哪里？
怎么看待对数学理论、定理「有什么用」这类问题？
在一块边长为a的大正方形中，任意地挖掉一块各边平行或垂直于大正方形的边长为a/2的小正方形?
请问如何把所有自然数均分成三类？
数学上有「从理论上根本无法证明」的东西么？
黎曼函数的积分是零，但是就其大致图像看来并不等于零，这是为什么？
有没有一种可能，现代数学系统都是错误的？
为什么宇宙当中的温度会有上下限？
如果一个人无意捡到了哥德巴赫猜想的证明，应该如何处理？
请问2^2^2^2+3^3^3^3是否为素数呢？
有哪些神奇的宇宙法则？
无法理解高等数学怎么办？
中国科学技术大学的数理课给你带来了什么？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
圆锥体的体积公式是怎么推导出来的？
曲线围成的面积存在但是真的可求吗？还是说看作一种定义？
［代数学］矩阵的概念最多可以推广到什么代数结构上？
你都见过什么样的理科盲？
有限域上为什么有x的m次方=e的解的个数不超过m？
一个整数可以拆成两个整数的平方和，5201314可以拆成哪两个数的平方和？
如何评价数学家黎曼的成就与历史地位？