为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
有没有休闲级别、能读懂的讲「群论」的书籍？请问陪集、左陪集、商群、正规子群该如何理解？
如何证明下面的近世代数问题？
如何简要解释为什么五次多项式方程没有根式解？
交换环的子环是否一定是交换环？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
请问陪集、左陪集、商群、正规子群该如何理解？
全体质数的倒数和是发散的还是收敛的？如果收敛，收敛到多少？（多重问题预警）?
integral domain为啥叫整环？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
有没有对于各种榫卯结构，在数学上的研究?如何理解群表现？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
Z^n的所有子群怎么求？
多次试图学习抽象代数，但屡屡受挫，该怎么办？
是否有可能在复数域上建立一个与加法、乘法相容的全序关系？
如何证明下面的近世代数问题？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
数字上加一横是什么意思？
n整除Phi(p^n-1)，怎么证明？
在线性代数中如何用几何表示非方阵矩阵相乘？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
能不能定义一个数 I，与 0 的乘积等于 1？
如何正确理解群论中的同态基本定理？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
一个UFD是PID的条件是什么?
为什么实系数多项式方程的虚数解总是成对出现？
为什么感觉群论学起来比数学分析之类难好多？
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？
如何证明dimQ（R）=dimQ（C）？
为什么实系数多项式方程的虚数解总是成对出现？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？