对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？ 第1页
1
lu-li-61-16 网友的相关建议:
- 条件1 强于条件 2. (见B)
- 对于诺特环来说是等价的. (见E)
A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.
B. 如果 为最大公因子整环, 那么不可约元是素元.
[证明] 如果 不可约， . 首先，我们知道不能 且 ( 因为如果 且 那么 ，矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想，故 ,所以 .
C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:
- (1) (可分解性) 每个非零非单位元 可以写成有限个不可约元的乘积 .
- (2) (唯一分解性) 如果 , 那么 并且适当调整角标后可以使 与 相伴.
D. 在一般抽象代数书中都有UFD的判定:
- [UFD的判定] 整环 为UFD, 当且仅当满足可分解性, 并且不可约元是素元.
E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.
1
相关话题
怎么建立复数与实数的一一对应？这个数学问题，大家可以指点一下吗?
有哪些定理在高维情况下与三维情况下培养出来的直觉不符？
在 UCLA 上陶哲轩的课是什么感受？
收敛的序列是否存在单调的子序列（不要求严格单调）？
如何看待国际数学联盟发表声明，取消在俄罗斯圣彼得堡线下举办国际数学家大会？其它国际组织会跟进吗？
请问泰勒公式的几何意义是什么？
怎么证明方程 x^4＋4x^3－3x^2－x＝0 有 4 个实根？
如何评价数学家张益唐？
我有一个数学猜想，你们能证明吗，下面有关于该问题的详细补充说明？
前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
相关的话题
计算机能不能真正意义上存储一个无理数？请问扩展欧拉定理（扩展欧拉定理！不是欧拉定理！）有什么比较简洁易懂的证明方式吗？
一个复杂数列极限的求解。来自于实际核电子学的背景，但是是一个纯数学求解问题。具体见图。?
递归的本质是什么？
如何理解「梅涅劳斯定理」和「塞瓦定理」，这两个定理在实际中有什么应用？
你见过哪些让你叹为观止的物理和数学问题的证明或计算方法（包括简单粗暴的数量级估算）？
有什么专业的难度是被严重低估的？
正整数真的和自然数一样多么？
现在的人工智能是否走上了数学的极端？
如何回答孩子提出的6+6＝5+7，6×6≠5×7，且5×7比6×6少1，3×5比4×4也少1的问题?
如何看待「艺术的本质是数学」这一观点？
十个人赛跑第一名和一百人赛跑的第十名，谁厉害？
这个极限咋算？
为什么规定空集是任何集合的子集，这样在数学上有什么意义？
如何评价 Michael Francis Atiyah？
如何在理论上解释「四色定理」？
如何克服不想写论文的情绪？
怎么反驳：10元=100毛=10毛X10毛=1元X1元=1元？
一个同时有内切椭圆和外接椭圆的多边形满足什么条件？
国内有哪些基础数学好的大学？
数学家和物理学家思考方式是什么？
5是一个已知数，设5＝x或者x＝5，这两个表达的意思在数学和语文表达正确吗？
有哪些数学知识概念已经更新或改变，但不为大众所知？
工程数学四阶行列式有什么技巧算法吗？
如何分配砝码使天平尽可能平衡？
大家知道的最长（复杂）的公式是什么？
83，63，90，70，100，是什么规律？
请问如何求下面这个连分数收敛到的值？
微积分的哲学基础是什么？
你最钦佩的数学天才是谁？