在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
请问对称矩阵的平方根怎么算，有公式吗？设A,B,C均为n阶半正定实对称矩阵，使得ABC是对称阵.证明:ABC也是半正定阵.请问该怎么证明？
无理数是否真的存在？
为什么由连续整数的行列式（三阶及以上）数值为0？
如何简要解释为什么五次多项式方程没有根式解？
n - r = 基础解系的个数，这是为什么？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
矩阵A和矩阵B相乘，AxB为什么不等于BxA？
红绿蓝三色是（唯一的）正交基吗？
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
把线性空间分解为不变子空间的直和有何用处？如何构造一个向量空间，它的元素是向量空间？
若向量组A可以由向量组B线性表示，为何r（A）<=r（B）?
如何证明矩阵为零矩阵？
怎么形象地理解对偶空间（Dual Vector Space）？
代数、几何能否联系一起？
一个数学问题，(x1+x2+……+x8+1)的8次方，合并同类项后有多少项，类似问题怎么解决？
特征值和特征向量怎么求，最好有例题可以看看？ ？
一个方阵的任意次方的迹都为0，那么它是幂零矩阵。怎样证明？
如果引进新的运算，一元五次方程会不会有通用的求根公式？
如果 n 个向量线性无关，则其中 n-1 个向量线性相关吗？
如何证明矩阵为零矩阵？
在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？
在四维或更高维的空间中，该如何定义转动？
关于整矩阵的一道题怎么解?
线性代数里的合同关系在空间中代表了什么呢？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
想请问平坦模、投射模这些的几何意义是什么，感觉atiyah这本书的定义有些干巴巴的.......？
线性方程组的解的结构怎么理解？
关于p进数域？
可交换矩阵的求法有几种？
不使用范畴论，如何刻画一个线性映射是“自然”的？
如何证明不等式（来自小蓝本）?
请问这个抽象代数题怎么证明？
微积分与线性代数有关系吗？
Gram-Schmidt 正交化多项式？
矩阵的指数函数到底说的是个啥？
这个代数题怎么解？
这个组合恒等式怎么代数证明？
为什么在应用上高斯消元法很少被用来求逆矩阵?