在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第1页
1
smiledaniel 网友的相关建议:
好像并不对。
先仔细定义一下最大公约数。d=hcf(a,b)需要满足d|a, d|b并且任意满足这个性质的c都有d|c。同理l=lcm(a,b)应该是满足a|l, b|l并且任意满足这个性质的c都有l|c。
lcm存在推出hcf存在：
考虑d=ab/lcm。注意到d是ring里面的element，因为 。这个d也是hcf，因为首先 ；所以d是一个公约数。如果另外一个c也是公约数，那么 ，所以 。所以d就是hcf。
hcf并不能推出lcm反例：
考虑 的满足 是偶数的subring（因为0*0=0,0+0=0 mod2)，然后考虑 。hcf是1，因为 ，所以猜lcm是4x，但是取c=2x^3就有 。所以lcm不存在。
另一方面如果任意pair的两个hcf都存在，那确实可以推出lcm存在。更强的结论是
1
相关话题
为什么实系数多项式方程的虚数解总是成对出现？integral domain为啥叫整环？
哪些数学命题可以用复数优雅地证明？
微积分与线性代数有关系吗？
没有基的线性空间，是否可以构造，如何构造？
这个矩阵的秩如何证明？
如何简要解释为什么五次多项式方程没有根式解？
学数学有点钻牛角尖，总是怀疑书中推导的严谨性，各位有什么好办法吗？
1 不可以被 3 除尽，但为什么圆可以被三等分？
工程数学四阶行列式有什么技巧算法吗？
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
如何理解矩阵的「秩」？矩阵最小多项式的几何意义是什么?
如何证明 √2 + √3 + √5 是无理数？
三维空间中的旋转矩阵是怎样求出的？
如何证明dimQ（R）=dimQ（C）？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
如何从数学角度证明魔方复原存在必可解策略？
把线性空间分解为不变子空间的直和有何用处？
矩阵特征值与矩阵本身的关系是什么？
为什么大学的课程（例如高数、线性代数）比高中难很多，老师却讲的比高中快几倍，作业也非常少？
如何不借助特征值相关的理论证明下面的命题？
高考完的暑假如何自学大学数学?
三次方程怎么求解？
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？
为什么部分大一学生认为线性代数听不懂？
在AHP方法中，如果构造判断矩阵？依据是什么？
如何不借助特征值相关的理论证明下面的命题？
求教一道代数证明题如何做？
这个代数题怎么解？
这个多项式问题从何入手进行求解？
有限维线性空间的有限是怎么理解？
为什么实系数多项式方程的虚数解总是成对出现？
线性代数有什么用？学习线性代数的意义在哪？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
一个一般的二次型等于0，这个方程应该如何求通解？
如何证明这个高等代数问题？