为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？如何理解 Van-Kampen 定理？
如何证明下面的群是奇数阶Abel群？
一个UFD是PID的条件是什么?
关于整矩阵的一道题怎么解?
Z^n的所有子群怎么求？
如何用提示证明正n边形可尺规作图的条件为n可写成不同的费马质数之和？
抽象代数，如果G是一个奇数阶群，则G中的任何元都是一个唯一确定的元的平方，怎么证明，尤其是唯一性证明？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
如何证明dimQ（R）=dimQ（C）？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
柯斯特利金的《代数学引论》写的怎么样？是否值得一看？有没有休闲级别、能读懂的讲「群论」的书籍？
不使用范畴论，如何刻画一个线性映射是“自然”的？
群论研究结构，「结构」一词是什么意思？跟数学有什么关系？
为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何理解 Van-Kampen 定理？
有没有对于各种榫卯结构，在数学上的研究?
如何简要解释为什么五次多项式方程没有根式解？
学习数论图论有必要先学抽代和高代吗？
勒让德多项式的意义？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
这个多项式问题从何入手进行求解？
G是一个单群，H<G,[G:H]<=4,证|G|<=3?
如何证明dimQ（R）=dimQ（C）？
如何证明:p3阶非Abel群的中心必同构于Zp，这里p为素数？
有哪些不借助变换群的观点就很难解答的欧氏几何问题？
（动力系统 + 拓扑学 + 抽象代数）和（泛函分析 + 实变函数 + 复分析和解析几何）有哪些联系？
哪个整系数多项式方程的根是 √2 + √3 + √5，如何得到这个方程？
关于p进数域？
如果你要向一位学过初级的抽象代数的本科生推销数学工具「正合序列」，你会如何介绍它？
关于p进数域？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
负数与负数相乘为什么会得正？
交换环的子环是否一定是交换环？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
剩余类环的所有理想怎么求？
如何证明有理数加法群不是有限生成群？
剩余类环的所有理想怎么求？
有限维线性空间的有限是怎么理解？