为什么正规子群在环里的对应概念叫理想，而不叫正规子环呢？ 第1页
1
kokojian-sai-sai 网友的相关建议:
谢邀。
这与代数数论有关。简单来说就是，当年库默尔研究费马大定理的时候发现，代数整数环并非都是唯一因子分解整环。为了解决这个问题，他引入了一个叫“理想数”的概念——大概的意思就是，虽然一个数可以以不同的方式写成素数的乘积，但如果把一些素数形式地看成一些并不存在的数的乘积，那唯一因子分解性又重新得到了保证。在这样的技巧下，库默尔完成了费马大定理对n为100以内的绝大多数情况的证明。后来，戴德金发现，库默尔引入的“理想数”不是别的，正是环R的使得R/I还是个环的子环I，于是沿用之前的称呼，依旧称I为R的理想了。
1
相关话题
1×0＝0 是因为 0 乘以任何数字都等于 0，还是因为 1 乘任何数字都等于那个数？怎么样通俗易懂地向小学生介绍群论的思想？
有限维线性空间的有限是怎么理解？
一个范畴问题?
请问一下，如何证明有限生成R(交换幺环)-模的满自同态一定是同构呢？
(G/H)×H是否同构于G？
为什么感觉群论学起来比数学分析之类难好多？
能否通过列举一些代数式、方程加以分析、说明，直观解释阿贝尔定理（Abel–Ruffini th.）？
关于整矩阵的一道题怎么解?
如何证明这个群论问题？
前一个讨论
《火影忍者》有多少手势？
下一个讨论
怎么才能让自己暗恋的人也喜欢自己那呢？
相关的话题
交换环的所有零因子和 0 组成的集合是一个理想吗？如何把微信群/QQ群构造成一个阿贝尔群？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
如何证明下面的近世代数问题？
Z^n的所有子群怎么求？
为什么伽罗瓦19岁就发明的群论，绝大多数那个专业的研究生终其一生都学不会？
在线性代数中如何用几何表示非方阵矩阵相乘？
(G/H)×H是否同构于G？
P是任意数域，如何证明P^n*n对于普通加法和乘法构成的环没有非平凡理想？
剩余类环的所有理想怎么求？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
历史上，近世代数中环和域的概念是怎样逐步建立的？
历史上，近世代数中环和域的概念是怎样逐步建立的？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
对于一个整环而言，①任意两个非零元的最大公因子存在，②它的不可约元一定是素元，是否等价？
为何从一元五次方程开始就没有由有限次加、减、乘、除、开方运算构成的求根公式了？
请问陪集、左陪集、商群、正规子群该如何理解？
如何证明实数域是最大的有序阿基米德域？（这是“完备性”的本质吗）？
伽罗瓦理论究竟讲了什么？为什么其中用到了群论的知识？
如何正确理解群论中的同态基本定理？
是否区间 [0, 1] 内的代数数都可以表示为 sin²(kπ)（其中 k∈Q）的形式？
请列出一个最难相信但确实有根式解的一元五次方程？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
有哪些适合初学微分几何，抽象代数，群论的note或者教材？
实变、泛函、抽代、拓扑，哪几门对于非纯数专业更加有用？
设群G有一个指数为4的正规子群,则G也有一个指数为2的正规子群。这个要怎么证明呢？
如何证明下面的群是奇数阶Abel群？
高斯素数有类似于素数定理的分布律吗？
是否存在一个比复数更大的数域，使得任意五次方程都有根式解？