在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？从数学原理上说一说，葛立恒数、tree(3) 等数为什么那么大？
据说是北大某年大一高代的最后一题？虽然很难，但就是想知道解答过程，还请会的大佬可怜可怜我这弱渣吧 ？
数学学到什么程度可以进行下一部分的学习了？
怎样证明这样一个行列式不等式？
多项式由系数唯一决定，在中学或大学数学课上证明过吗？
哈密尔顿-凯莱定理的本质是什么？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
如何证明：A*=A,则A的特征根为实数？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
有没有对于各种榫卯结构，在数学上的研究?实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
为什么需要证明「1+1=2」？
怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
怎样普适地求此特殊非线性矩阵方程的解？
为什么实系数多项式方程的虚数解总是成对出现？
怎样普适地求此特殊非线性矩阵方程的解？
114514 阶的群有哪几类？
所有的n阶反对称矩阵可以构成一个线性空间吗？
请问“重根按重数计算”如何理解呢？
高等代数中线性变换的核的基怎么求？
代数好的人但立体几何不好的男生是智商低吗？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
如何证明dimQ（R）=dimQ（C）？
一道高代行列式计算的题，是怎么样的思路呀？
114514 阶的群有哪几类？
高斯素数有类似于素数定理的分布律吗？
如何证明Q[³√5]是域？
大一新生，学线性代数什么都不懂，怎么办?
维数可以是虚数吗？
请问陪集、左陪集、商群、正规子群该如何理解？
交换环的子环是否一定是交换环？
维数可以是虚数吗？
如何证明这个高等代数问题？
如何证明若a1≠a2≠…≠an，则m×n范德蒙矩阵V=aj^(i-1)有最大秩min(m,n)?
有什么减少矩阵运算和行列式运算计算错误的方法吗？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
问一下，这几个群是什么群，有什么性质？
如何形象地理解矩阵的相似与合同？