贡献者： JierPeter
1. 概念的来源
环 $R$ 的理想$I$，是一种 “正规子环1”，即它使得商集 $R/I$ 能自然成环，就像正规子群的作用一样。之所以不叫正规子环，是因为理想最初来自代数数论，库默尔（Ernst Eduard Kummer）定义了一个他称为 “理想数” 的概念，证明了费马大定理在 $n < 100$ 时大多数情况成立。后来，戴德金（Julius Wilhelm Richard Dedekind）发现，库默尔定义的理想数，正是能诱导出商环的 “正规子环”，于是直接借用了 “理想数” 的名字，将其命名为 “理想”。
给定环 $R$ 和它的子环 $I$，那么 $I$ 要满足什么条件才能使得 $R/I$ 成环呢？
显然，$I$ 关于环的加法，得构成一个正规子群，而这是天然满足的，因为环的加法群是阿贝尔群，而阿贝尔群的一切子群都是正规子群。
$R/I$ 中的每个元素，被定义为 $I$ 作为子群的陪集。元素 $a\in R$ 所在的陪集就是 $a+I$。陪集之间显然可以进行加法运算：
\begin{equation}
(a+I)+(b+I)=a+b+I+I=(a+b)+I
\end{equation}
这满足诱导运算的要求：$a$ 的陪集加 $b$ 的陪集，等于 $a$ 加 $b$ 的陪集。
为了让 $R/I$ 诱导一个环乘法，我们还需要：$a$ 的陪集乘 $b$ 的陪集，等于 $a$ 乘 $b$ 的陪集。也就是说，
\begin{equation}
(a+I)(b+I)=ab+aI+Ib+I=ab+I
\end{equation}
这就意味着 $aI+Ib\in I$，对于任意的 $a, b\in R$ 都成立。那就是说，对于任意的 $a, b\in R$，都有 $aI\in I$ 和 $Ib\in I$ 才行（注意 $a, b$ 中有一个是幺元的情况）。
如果 $I$ 是 $R$ 的子环，并且对于任意的 $a\in R$，都有 $aI, Ia\in I$，那么我们就可以利用 $R$ 的环运算，诱导出 $R/I$ 上的环运算。这样的 $I$ 就是我们要的理想。
2. 理想的定义
定义 1 左理想
给定环 $R$，则 $R$ 的一个子集 $I$ 是 $R$ 的一个左理想（left ideal），当且仅当 $I$ 是 $R$ 的加法子群，且对乘法满足左吸收律：$\forall r\in R$，有 $rI\in I$。
类似地，可以定义环的右理想，即满足右吸收律：$\forall r\in R$，有 $Ir\in I$。
如果一个子环既是左理想也是右理想，那么称它为一个双边理想（2-sided ideal），简称理想（ideal）。另外，如果一个理想不是环本身，则称其为一个真理想。
吸收律的一个直接推论是，如果一个理想包含乘法单位元，那么这个理想就是环本身。
习题 1
证明：给定环 $R$，如果 $I, J\subset R$ 都是它的理想，那么 $IJ=\{ij|i\in I, j\in J\}$ 等于 $I\cap J$。
这个习题的结论在将来类比素理想和素元素能清晰展示这两个概念之间的相似之处。
定理 1
给定环 $R$，如果 $I, J\subset R$ 都是它的理想，那么 $I\cap J$ 是它的理想。
定义 2 商环
给定环 $R$ 和它的一个理想 $I$，$R/I$ 自然构成一个环，称为 $R$ 模去 $I$ 的商环（quotient ring）。
例 1 整数环的理想和商环
对于正整数 $n$，记 $n\mathbb{Z}$ 为集合 $\{nm|m\in\mathbb{Z}\}$，即全体 $n$ 的倍数构成的集合。$n\mathbb{Z}$ 是 $\mathbb{Z}$ 的理想。记商环 $\mathbb{Z}/n\mathbb{Z}=\mathbb{Z}_n$。
例 1 中定义的 $\mathbb{Z}_n$ 相当于整数词条所描述的 “具有 $n$ 个钟点的钟表”。
理想和商环的概念能帮助理解多项式环的结构。在讨论多项式环以前，我们要先定义一个概念：
定义 3 极小多项式
给定环 $R$ 和某个元素 $a$（不一定属于 $R$），那么 $f(a)=\sum\limits^{n}_{i=0}r_ia^i$ 是 $a$ 的一个多项式。有的 $f$ 使得 $f(a)=0$，这样的多项式就叫做 $a$ 的零化多项式（null polynomial）。非零的零化多项式中次数最低的，被称为 $a$ 的极小多项式（minimal polynomial）。由于多项式环是一个欧几里得环2，因此还可得知，一切零化多项式都能被极小多项式整除3。如果元素 $a$ 有零化多项式，那么称它是 $R$ 的代数元；反之，称它是 $R$ 的超越元。
显然，超越元的不同多项式的值彼此不相等，也就是说，超越元的多项式可以和多项式本身进行一一对应，或者说超越元的多项式和多项式环是同构的。但是代数元的不同多项式有可能值相同。我们依然用 $R[a]$ 来表示 $a$ 的所有多项式的值的集合，其中多项式的系数取遍 $R$。
换言之，当 $a$ 是超越元时，$R[a]\cong R[x]$。
例 2 多项式环
定义多项式环 $R[x]$ 的时候，我们说 $x$ 是一个自变量，言下之意就是，$R[x]$ 中的多项式 $f(x)$ 都表示函数；两个多项式 $f(x)$ 和 $g(x)$ 只有每个系数都相等才被认为相等，如果任何系数不相等，那么认为 $f(x)\not=g(x)$。
如果取某个元素 $a$（不一定属于 $R$），那么 $f(a)$ 就不是一个函数，而是一个固定的元素了（不一定属于 $R$）。比如说，取 $R$ 是整数环，那么 $f(x)=2x+x^2$ 就是一个函数，图像表示为一条抛物线；但 $f(\sqrt{2})=2\sqrt{2}+2$ 就是一个元素，尽管它不在整数环中。两个多项式 $f$ 和 $g$ 即使不同，也可能对于同一个元素 $a$ 满足 $f(a)=g(a)$。
给定环 $R$ 的代数元 $a$，那么 $a$ 的全体零化多项式构成了 $R[x]$ 的一个理想 $R_0$。
习题 2 多项式环的性质
证明 $a$ 的零化多项式集合 $R_0$ 构成 $R[x]$ 的理想，并验证：$R[a]\cong R[x]/R_0$。
1. ^ 要强调的是，理想不一定有乘法单位元，而本书默认环都有乘法单位元，因此不能说理想是子环。
2. ^ 将在以后讨论。
3. ^ 如果多项式 $g$ 整除 $f$，意味着存在一个多项式 $h$，使得 $f=gh$
致读者： 小时百科一直以来坚持所有内容免费，这导致我们处于严重的亏损状态。 长此以往很可能会最终导致我们不得不选择大量广告以及内容付费等。 因此，我们请求广大读者
热心打赏 ，使网站得以健康发展。 如果看到这条信息的每位读者能慷慨打赏 10 元，我们一个星期内就能脱离亏损， 并保证在接下来的一整年里向所有读者继续免费提供优质内容。 但遗憾的是只有不到 1% 的读者愿意捐款， 他们的付出帮助了 99% 的读者免费获取知识， 我们在此表示感谢。