百科问答小站 logo
百科问答小站 font logo



对于一个整环而言,①任意两个非零元的最大公因子存在,②它的不可约元一定是素元,是否等价? 第1页

  

user avatar   lu-li-61-16 网友的相关建议: 
      
  • 条件1 强于条件 2. (见B)
  • 对于诺特环来说是等价的. (见E)


A. [最大公因子整环] 整环 称为最大公因子整环, 如果任意两个非零元有最大公因子.

B. 如果 为最大公因子整环, 那么不可约元是素元.

[证明] 如果 不可约, . 首先,我们知道不能 且 ( 因为如果 且 那么 ,矛盾). 我们假定 非单位, 那么 , 因为 是极大的主理想,故 ,所以 .


C. [唯一析因整环区UFD] 整环 称为唯一析因整还, 如果:

  • (1) (可分解性) 每个非零非单位元 可以写成有限个不可约元的乘积 .
  • (2) (唯一分解性) 如果 , 那么 并且适当调整角标后可以使 与 相伴.

D. 在一般抽象代数书中都有UFD的判定:

  • [UFD的判定] 整环 为UFD, 当且仅当满足可分解性, 并且不可约元是素元.

E. 如果 是诺特的, 则肯定具有可分解性, 所以条件1 等价于条件 2.




  

相关话题

  请问怎么证明一个实对称矩阵为零矩阵(如题)? 
  有没有什么和“数学归纳法名字中虽然有归纳两字,却不是归纳推理,而是演绎推理”类似的数学例子呀? 
  这个不等式缩放怎么证明? 
  一粒谷子不算谷堆,再加一点也不算,以此类推加到一万粒也不算,该如何解决这样的谷堆悖论? 
  如何评价文章《我为什么不认为韦东奕会有大成就》? 
  为什么中国学生在国际奥林匹克数学竞赛中经常拿金牌,但却没有获得菲尔兹奖呢? 
  如果把行列式定义中的(-1)^(逆序数)去掉,这种新的运算能用在哪里呢? 
  如何用数学语言描述数列Xn不是单调数列? 
  sinx求导为什么是cosx? 
  为什么数学专业要学计算机? 

前一个讨论
为什么三维欧氏空间中的紧致曲面必有正曲率的点?
下一个讨论
整函数f(z)满足lim(z→∞)Re(f(z))/z=0,则f是常数吗?





© 2024-12-18 - tinynew.org. All Rights Reserved.
© 2024-12-18 - tinynew.org. 保留所有权利