为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？有哪些适合初学微分几何，抽象代数，群论的note或者教材？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
请问费马大定理写成方程形式是否可以证明？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
交换环的子环是否一定是交换环？
如何证明Q[³√5]是域？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
为什么实系数多项式方程的虚数解总是成对出现？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
学习数论图论有必要先学抽代和高代吗？对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
有没有休闲级别、能读懂的讲「群论」的书籍？
无限群是否一定含无限阶元？无限群是否一定有无限多个子群？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
历史上，近世代数中环和域的概念是怎样逐步建立的？
高等代数中线性变换的核的基怎么求？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
减一个负数，为什么是加这个数的相反数呢？
能不能定义一个数 I，与 0 的乘积等于 1？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
高斯素数有类似于素数定理的分布律吗？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
如何证明有理数加法群不是有限生成群？
如何理解 Van-Kampen 定理？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
负数与负数相乘为什么会得正？