为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？求问学抽象代数的大佬，如果f(x)的次数为n，那么分裂域E/F的次数为什么是n!，分裂域的次数是什么?
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
高等代数中线性变换的核的基怎么求？
请问这个抽象代数题怎么证明？
为何中学阶段不系统讲授一元三次四次方程？总感觉高中数学的很多内容在初中数学上没有根基，完全是空降的？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？请问陪集、左陪集、商群、正规子群该如何理解？
不使用范畴论，如何刻画一个线性映射是“自然”的？
请问这个抽象代数题怎么证明？
114514 阶的群有哪几类？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
如何证明Q[³√5]是域？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
平面上两条 n 次曲线相交，交点的最大个数是否为 n²？
如何直观地理解群论？
有限维线性空间的有限是怎么理解？
负数与负数相乘为什么会得正？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
如何理解有限单群分类定理？
能否求出n次对称群中置换的最大阶？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
如何理解抽象代数的用途？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
线性映射为什么那么重要？
数字上加一横是什么意思？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
数字上加一横是什么意思？
剩余类环的所有理想怎么求？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
如何证明下面的群是奇数阶Abel群？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
如何证明下面的近世代数问题？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?