在整环中，若两个非零元存在最大公约数，则它们是否一定也存在最小公倍数？ 第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
相关话题
如何提升线性代数的计算（行列变换）能力？能否求出n次对称群中置换的最大阶？
是否存在多项式 f(x)、g(x)、m(y)、n(y)，使得 (xy)²+xy+1=fm+gn？
如果从图中移去一个边的一个集合将增加亚图的数目时，被移去的边的集合就成为截。”那么，亚图是什么？截呢？
如果换一种几何，圆周率的值会变么？
求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
多次试图学习抽象代数，但屡屡受挫，该怎么办？
迹的几何意义是什么？
将斐波那契数列从左到右、从上往下地依次填入一个n*n的矩阵中，当n≥3时，行列式是否一定为0？
这个矩阵的秩如何证明?
下一个讨论
复变函数问题。这个题该如何解决?
相关的话题
如何以「我觉得代数拓扑实在是太简单了」开头写一篇故事？实系数多项式之所有根为实数，如何证明其相应 n 阶导数之所有根为实数？
怎样计算两个服从高斯分布的向量乘积的期望？
哈密尔顿-凯莱定理的本质是什么？
如何看待最近PRL论文《量子力学四个假设是三个》的意义？
n维向量空间V中向量的维数是否为n维？
有哪些有趣的线性代数习题？
该n元不等式如何解？（张端阳的题）?
算子代数是一门怎样的数学分支？学习算子代数需要怎样的基础？
n整除Phi(p^n-1)，怎么证明？
请问高等代数判断多项式可约性的这一题要怎么入手？
把线性空间分解为不变子空间的直和有何用处？
矩阵乘法的本质是什么？
为什么 A 为 n 阶满秩方阵时，Ax＝0 只有零解？
如何理解主成分分析中的协方差矩阵的特征值的几何含义？
这个恒等式咋来的？
向量组等价时其秩一定想等吗？
一个多项式在满足什么条件时可以因式分解？能否给出证明（证法随意）?
线性方程组的解的结构怎么理解？
如何证明dimQ（R）=dimQ（C）？
n阶实方阵矩阵的换位子问题？
在线性代数中如何用几何表示非方阵矩阵相乘？
人们是如何想到奇异值分解的？
向量组等价时其秩一定想等吗？
如何证明dimQ（R）=dimQ（C）？
如何证明任何有限域中的任何元素均可写成两数的平方和？
请问“重根按重数计算”如何理解呢？
如何判断向量组是否线性相关？
如何理解命题「矩阵可对角化等价于其所有特征值的代数重数等于几何重数」？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？