为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
被人问，数学上为什么减去一个负数等于加它的相反数（这种规定从何而来）？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
对于抽象代数中的这个互素后的怎么证明比较合适?
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
为什么 SO(2) 群只有一个角度自由度就能表示，SO(3) 群却需要三个独立参数？
数字上加一横是什么意思？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？
S＝{a+b√3i | a∈Q, b∈Q} 是数域吗？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
有理数域加减乘除都是封闭的，那为什么部分无理数可以表示为有理数加减后的无穷级数呢？是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
若K是一个数域。a+bi∈K，(a≠0,b≠0)。请问a和b一定属于K吗？
抛开物理意义，数学家在纯代数中讨论张量积或者多重线性映射的思想背景是什么？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
对于数学分析、微分方程、复变、代数学、拓扑学等数学课程你都见过哪些很有自己一派风格而不落俗套的教材?
线性映射为什么那么重要？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
请列出一个最难相信但确实有根式解的一元五次方程？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
如何理解抽象代数的用途？
对于抽象代数中的这个互素后的怎么证明比较合适?
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
剩余类环的所有理想怎么求？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
如何利用群论的知识解决三阶魔方？
历史上，近世代数中环和域的概念是怎样逐步建立的？
关于整矩阵的一道题怎么解?
多次试图学习抽象代数，但屡屡受挫，该怎么办？
任何Abel群都能在其上赋予乘法，使其变成含幺环吗？
对于抽象代数中的这个互素后的怎么证明比较合适?
一个UFD是PID的条件是什么?
有哪些不借助变换群的观点就很难解答的欧氏几何问题？