在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
如何直观地理解群论？多次试图学习抽象代数，但屡屡受挫，该怎么办？
请问怎么证明一个实对称矩阵为零矩阵（如题）？
如何将cos(nx)写成cosx的形式多项式？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
如何确定下面三角恒等式中的系数？
矩阵的指数函数到底说的是个啥？
为什么需要证明「1+1=2」？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
为什么大学的课程（例如高数、线性代数）比高中难很多，老师却讲的比高中快几倍，作业也非常少？
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？LU分解法与Gauss消元法两者复杂度的比较，谁跟快？
下面的组合等式是否恒成立？
从正整数 1~N 中任意取两数 m、n，设 P 为 m/n 可约分的概率，问 N→∞ 时，P为多少？
为什么秩为1的矩阵可以写成1列乘1行的情形呢？
如何提升线性代数的计算（行列变换）能力？
有理数的开方，是否能取遍实数？ 换句话说，是否存在无理数，不是某有理数的开方？
微积分与线性代数有关系吗？
可以留下一个优美的恒等式吗？
有什么答案为5201314的高阶行列式（四阶以上）?
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
线性代数为什么学校老师讲得那么复杂，考研老师却讲得如此精辟？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
n维向量空间V中向量的维数是否为n维？
怎么证明分块矩阵（A B -B A）行列式非负，我感觉这是对的 但又说不清为什么？
Gram-Schmidt 正交化多项式？
由AB＝BA＝O可以得出什么结论？
学习数论图论有必要先学抽代和高代吗？
可交换矩阵的求法有几种？
关于整矩阵的一道题怎么解?
线性代数里的合同关系在空间中代表了什么呢？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
5⁴³²¹ 与 4⁵³²¹ 哪个更大？
为什么说用矩阵定义线性映射是一个糟糕的观点？
如何证明：A*=A,则A的特征根为实数？
如何简要解释为什么五次多项式方程没有根式解？
一个三阶行列式，所有的元素要么是 1，要么是 -1，则它的值可能是多少？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
为什么现代数学经常会关心整体性质？能不能举例详细说说？
n阶矩阵A的各行各列只有一个元素是1或−1,其余元素均为0.是否存在正整数k,使得A^k=I?