为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？如何证明 √2 + √3 + √5 是无理数？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
如何证明dimQ（R）=dimQ（C）？
为什么感觉群论学起来比数学分析之类难好多？
如何证明下面的近世代数问题？
请简单地表述结合律和交换律的区别和联系。结合律为什么那么普遍？
Z^n的所有子群怎么求？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？如何直观地理解群论？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
如何理解抽象代数的用途？
如何利用群论的知识解决三阶魔方？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
负数与负数相乘为什么会得正？
如何证明下面的群是奇数阶Abel群？
从古典的解析几何到现代的代数几何，研究的问题都有些什么变化？又有哪些共同的问题？
关于整矩阵的一道题怎么解?
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
请列出一个最难相信但确实有根式解的一元五次方程？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
有限群的群行列式因式分解后，各因式的次数是否与重数相等？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
如何证明下面的群是奇数阶Abel群？
高斯素数有类似于素数定理的分布律吗？
请问费马大定理写成方程形式是否可以证明？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
n整除Phi(p^n-1)，怎么证明？
如何理解群表现？
SU(4)和SO(6)的“自由度”都是15，它们具有同态关系吗?
如何证明下面的近世代数问题？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
不使用范畴论，如何刻画一个线性映射是“自然”的？
请问费马大定理写成方程形式是否可以证明？
如何证明有理数加法群不是有限生成群？