对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？ 第1页
1
lu-li-61-16 网友的相关建议:
- 条件1 强于条件 2. (见B)
- 对于诺特环来说是等价的. (见E)
A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.
B. 如果 为最大公因子整环, 那么不可约元是素元.
[证明] 如果 不可约， . 首先，我们知道不能 且 ( 因为如果 且 那么 ，矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想，故 ,所以 .
C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:
- (1) (可分解性) 每个非零非单位元 可以写成有限个不可约元的乘积 .
- (2) (唯一分解性) 如果 , 那么 并且适当调整角标后可以使 与 相伴.
D. 在一般抽象代数书中都有UFD的判定:
- [UFD的判定] 整环 为UFD, 当且仅当满足可分解性, 并且不可约元是素元.
E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.
1
相关话题
大家知道的最长（复杂）的公式是什么？一个直径为1的圆，最少多少个直径小于1的圆可以覆盖？
数学领域做不同分支的是否隔行如隔山？
被剑桥大学 deferred entry 应该接受吗？
可导，可微，可积，连续的关系是什么？然后，它们各自的充要条件是什么？
怎么样通俗易懂地向小学生介绍群论的思想？
有什么免费软件可以替代几何画板？
高中数学教材中，规定0向量与任意向量平行。为什么要做这样的规定？有什么意义和必要性？
设r是有单位元的非零环若r是有限环，则r的素理想是极大理想如何证明？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
相关的话题
有哪些虽然正确但却没啥用的公式？0到1之间所有有理数之和 ，和1到2之间的有理数之和，哪个大？
学数学是什么感觉？
如何严谨地证明 0.9999…=1？
以数学史的观点来看，集合论是如何成为数学基础的？
有没有一个函数求导后幂会变高？
数学上积分结果的本质是什么？
哪些数学书让你相见恨晚？
父母反对纯数学方向，应该怎么劝说？
数学及其他自然科学学科的难度日益提升，未来是否会达到只有极少数人才能理解的程度？
什么是反函数？
这种积分怎么算？
公民身份号码有可能是素数吗？
非985211学校有开设应用数学的必要吗？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
有没有两个不相等的数 a 和 b，满足 a 的 b 次幂等于 b 的 a 次幂？
从上海沿G318国道一路向西到西藏，用什么速度行驶可以做到“出发时天刚开始暗下来，到达时天正好全黑”？
广义反函数的定义及该定义的相关说明(问题描述)？
为什么数学上证明必然正难则反易——补集思想，原理出处？
为什么自然数的和等于 -1/12？
野兽先辈的各种数字论证是如何做出的？
有什么办法可以喜欢上数学？主要是不想以一种强迫的方式去学它了。？
1cm长度的线段上的点的个数，和1m长度的线段上的点的个数，哪个多？
怎样直观的理解「极大无关组」，以及极大无关组的求法？
怎么看待英国莱斯特大学副校长拟裁撤整个数学系以补贴 AI、计算机、量子科技等研究领域？
线性代数里面的矩阵是不是向量？假如是的话，为什么感觉这样的向量和几何里的向量有点不一样？
为什么数学专业要学计算机？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
一个数介于 2 和 3 之间，那么它为无理数和有理数的概率分别为多少？
如何评价动画《理科生坠入情网，故尝试证明》?