在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
如何证明下面的近世代数问题？怎么用一句话证明 det(M1 M2)＝det(M1)det(M2)？
行列式的本质是什么？
红绿蓝三色是（唯一的）正交基吗？
如何证明这个高等代数问题？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
矩阵的本质是什么？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
行列式的本质是什么？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
若向量组A可以由向量组B线性表示，为何r（A）<=r（B）?椭圆的一般方程 Ax²+Bxy+Cy²+Dx+Ey+F=0，其中心点坐标如何推导？
如何判断任意无理数的无理数次方是否为有理数或是无理数？
在线性代数中如何用几何表示非方阵矩阵相乘？
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
线性映射为什么那么重要？
如何判断任意无理数的无理数次方是否为有理数或是无理数？
问一下，这几个群是什么群，有什么性质？
奇异值分解（SVD）有哪些很厉害的应用？
关于整矩阵的一道题怎么解?
矩阵特征值与矩阵本身的关系是什么？
什么是实数？
所有数学表达式都有几何含义吗？
有什么答案为5201314的高阶行列式（四阶以上）?
为什么要引入矩阵这个数学工具？它能简化哪些不用矩阵会复杂的问题？
线性代数到底应该怎么学？
有什么减少矩阵运算和行列式运算计算错误的方法吗？
如果你来讲物理类《线性代数》课程，你会如何设计？
如何阅读Hatcher的代数拓扑？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
如何证明这个高等代数问题？
超越函数能因式分解吗？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
Jacobian矩阵和Hessian矩阵的作用是什么？
如何通俗理解矩阵的秩？
加法交换律 a＋b＝b＋a 是怎么证明的？
求指教一道数列方程组问题如何做？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
Word2vec 翻译到另一种语言，其向量空间之间的映射会不会是线性的？
这个矩阵怎么求啊?求各位大佬解答？