在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
代数好的人但立体几何不好的男生是智商低吗？如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？
线性代数对物理学有什么帮助？
多项式方程互异根的数目利用矩阵结式怎么求？利用最大公因式的次数怎么确定？望举例说明！感谢各位大佬！？
如果换一种几何，圆周率的值会变么？
何为分析方法、代数方法、几何方法、拓扑方法？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
设A是一个3阶行列式，aij=1或-1，1≤i，j≤3，如何证明det（A）≤4？
如何证明下面的近世代数问题？
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
1 不可以被 3 除尽，但为什么圆可以被三等分？一个范畴问题?
如何看待最近PRL论文《量子力学四个假设是三个》的意义？
为什么负负得正，正正不能得负？
如何理解矩阵的「秩」？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
如何证明dimQ（R）=dimQ（C）？
如何证明n是2的幂?
如何证明哈代不等式?
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何理解群表现？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
如何证明哈代不等式?
这个矩阵的秩如何证明？
所有数学表达式都有几何含义吗？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
勒让德多项式的意义？
这个矩阵怎么求啊?求各位大佬解答？
以π指代圆周率是偶然的约定俗成还是特别的另有深意？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
如何证明这个整系数线性方程组解的估计？
希尔伯特空间、内积空间的定义有什么关系和区别？
数学学习或研究中，你见过哪些有意思的反例？
这个线性代数题应该怎么做？
对于抽象代数中的这个互素后的怎么证明比较合适?
一个范畴问题?
n - r = 基础解系的个数，这是为什么？
如何证明若行列式 D 中有两行元素分别对应成比例，则 D=0？