交换环的所有零因子和 0 组成的集合是一个理想吗？ 第1页
1
liu-yang-zhou-23 网友的相关建议:
反例：
令交换环 ，设平凡与非平凡零因子所构成的集合为
然而
推而广之， 时（ 为质数），皆为反例. 沿用上面记号
以剩余系为代表元按由小到大排列，而
而在 中介于 到 的元素只有 的某些倍数，但是很显然 ，所以最后只有
事实上，上面证明条件还可以更宽松一点，只需要 即可，如此一来由裴蜀等式：
而 ，否则存在与相伴的 任意零因子 ，即
而这与零因子非零矛盾.
如此一来，只有 的零因子才可以满足题目，实际上此时有
显然后者是一主理想.
1
相关话题
为什么实系数多项式方程的虚数解总是成对出现？S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何理解群表现？
交换环的所有零因子和 0 组成的集合是一个理想吗？
如何证明Q[³√5]是域？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
如何理解抽象代数的用途？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
如何利用群论的知识解决三阶魔方？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
相关的话题
线性映射为什么那么重要？为什么实系数多项式方程的虚数解总是成对出现？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
剩余类环的所有理想怎么求？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
问一下，这几个群是什么群，有什么性质？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
如何利用群论的知识解决三阶魔方？
如何直观地理解群论？
高斯素数有类似于素数定理的分布律吗？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
交错群An(n大于等于5)是单群理解上有个小问题，大家怎么看？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
如何证明dimQ（R）=dimQ（C）？
一个范畴问题?
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
能不能定义一个数 I，与 0 的乘积等于 1？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？