对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？ 第1页
1
lu-li-61-16 网友的相关建议:
- 条件1 强于条件 2. (见B)
- 对于诺特环来说是等价的. (见E)
A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.
B. 如果 为最大公因子整环, 那么不可约元是素元.
[证明] 如果 不可约， . 首先，我们知道不能 且 ( 因为如果 且 那么 ，矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想，故 ,所以 .
C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:
- (1) (可分解性) 每个非零非单位元 可以写成有限个不可约元的乘积 .
- (2) (唯一分解性) 如果 , 那么 并且适当调整角标后可以使 与 相伴.
D. 在一般抽象代数书中都有UFD的判定:
- [UFD的判定] 整环 为UFD, 当且仅当满足可分解性, 并且不可约元是素元.
E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.
1
相关话题
用十二进制替换十进制是不是更符合自然规律？为什么做数学题不要轻易看答案？
(G/H)×H是否同构于G？
如何评价组合数学（combinatorics）这个学科？
你是否支持将1电分定义为现在的1小时的1/64，将1电秒定义为新定义的1电分的1/64？为什么？
高斯素数有类似于素数定理的分布律吗？
这道证明题该怎么做？
可以留下一个优美的恒等式吗？
没有高等数学基础，怎样才能理解研究哥德巴赫猜想?
概率论中，局部极限定理和积分极限定理不是一回事吗？
前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点？
相关的话题
为什么说连续映射是一个拓扑概念？？为什么大多数物理公式中乘法和乘方相比加法来说占了多数？
请问σ-代数（sigma-algebra）的含义是什么，能否举例说明？
数学为什么需要证明一些看起来非常直观、明显的东西（比如定理）？
学数学的人都有哪些特有的习惯？
最后放弃研究数学的人，是对数学失去兴趣了，还是找不到教职被迫放弃了？
如何评价上海交通大学数学系数学分析证明题都考原题?
如何看待据称菲尔兹奖得主 Atiyah 所写的五页黎曼猜想证明？
有哪些只有数学专业领域的人才懂的笑话？
热爱数学是一种怎样的体验？
Homology 和 Homotopy 能在多大程度上完全决定一个流形的拓扑？
真的有什么式子能表示圆周率吗？
如何用数学证明中医理论的合理性？
求教一道代数证明题如何做？
孩子自从上了小学三年级，数学很多内容都没听懂。现在孩子五年级了，数学作业每次都糊弄也不想学，怎么办？
如何把微信群/QQ群构造成一个阿贝尔群？
这个式子对吗？若是，具体步骤是什么？
请问这道无穷级数题有什么巧妙的解法?
用5，5，5，7四个数字怎么算24点？
求证：关于菲尔兹奖得主舒尔茨的这个非常特殊的说法，是否属实？
万物的本质是数学的还是物理的？抑或是哲学的？
极坐标下的二重积分，二次积分下每次积分的几何意义是什么？
y=x^x的原函数是多少，能求出来吗?
这个反常积分怎么推导呢?
哪些数学命题可以用复数优雅地证明？
Hatcher的代数拓扑自学有无其他参考?
如果百年后深度学习最终有了公认的数学理论作为基础，能解释实验中的各类玄学，那这个理论会长什么样子？
matrix67去哪了？
在数学中良序，偏序，全序三者之间的联系和区别是什么？
你有没有在某个瞬间觉得数学是美的，或者被数学震撼到？