环论——定义、理想与例子

环论研究的是这样一些集合：加法和乘法以一种受控的方式共同作用。最主要的模型是整数：你可以做加法、减法和乘法，而且这些运算都遵循稳定可靠的规则。

环并不只是“一个带乘法的集合”。要成为一个环，加法必须像整数中的加法那样运作，乘法必须满足结合律，而且乘法必须对加法满足分配律。

数学中的环是什么？

一个环 $R$ 是一个带有两种运算 $+$ 和 $\cdot$ 的集合，并且满足：

1. $(R,+)$ 是一个阿贝尔群。
2. 乘法满足结合律：对所有 $a,b,c \in R$，都有 $(ab)c=a(bc)$。
3. 乘法对加法满足分配律：

$$a(b+c)=ab+ac$$

以及

$$(a+b)c=ac+bc$$

第一个条件的意思是：加法有零元，每个元素都有加法逆元，加法满足结合律，并且加法满足交换律。通俗地说：在加法下，这个集合的行为像整数一样。

有些书还要求存在乘法单位元 $1$。有些书则重点讨论交换环，也就是满足 $ab=ba$ 的环。这些都是重要的附加条件，但它们并不包含在每一种环的定义里。

理想在环论中有什么作用

理想是这样一种子集：当你用整个环中的元素去乘它时，它仍然保持稳定。正是这种稳定性使商环成为可能，就像正规子群使商群成为可能一样。

如果 $R$ 是一个交换环，那么子集 $I \subseteq R$ 在满足以下条件时称为理想：

1. $I$ 对加法和加法逆元封闭。
2. 对任意 $r \in R$ 和任意 $x \in I$，乘积 $rx$ 仍然属于 $I$。

在非交换环中，你需要区分左理想、右理想和双边理想。而在交换环中，这些区别就消失了。

例题：为什么 $2\mathbb{Z}$ 是 $\mathbb{Z}$ 的一个理想

带有通常加法和乘法的环 $\mathbb{Z}$ 是环的标准入门例子。它也是交换的，并且有乘法单位元 $1$。

现在看偶整数构成的子集：

$$2\mathbb{Z}=\{2k : k \in \mathbb{Z}\}$$

这个集合是 $\mathbb{Z}$ 的一个理想，因为它通过了上面的两个检验。

首先，它对加法封闭：

$$2a+2b=2(a+b)$$

所以两个偶整数的和仍然是偶数。它对加法逆元也封闭，因为

$$-(2a)=2(-a)$$

结果仍然是偶数。

其次，它能吸收任意整数的乘法。如果 $r \in \mathbb{Z}$ 且 $2a \in 2\mathbb{Z}$，那么

$$r(2a)=2(ra)$$

这仍然是偶数。

所以，$2\mathbb{Z}$ 不只是一个有明显规律的子集。它在加法、加法逆元以及任意整数的乘法下都保持在自身内部，这正是理想必须满足的性质。

这个例子值得记住，因为同样的模式会反复出现：理想就是那些不会被整个环通过乘法“推出去”的子集。

反例：奇整数不是理想

奇整数不是 $\mathbb{Z}$ 的理想。

它们首先就不满足对加法封闭，因为奇数 $+$ 奇数 $=$ 偶数。它们也不满足吸收条件，例如：

$$2 \cdot 3 = 6$$

而 $6$ 不是奇数。

这就是关键区别。理想不只是一个容易识别的子集。它必须精确满足封闭性和吸收性条件。

环论中的常见错误

把加法封闭误认为完整的理想检验

仅仅对加法封闭还不够。你还需要对加法逆元封闭，并且满足对任意环元素乘法的吸收性质。

认为交换性是自动成立的

很多入门例子都是交换环，但并不是每个环都是交换的。矩阵环就是标准反例。

认为每个环都必须包含 $1$

很多作者确实要求有乘法单位元，很多作者则不要求。在阅读或书写环论内容时，如果这点重要，就应当说明你采用的约定。

混淆子环和理想

子环是一个环内部较小的环。理想则是专门设计来与整个环的乘法良好相互作用的子集。它们是相关的概念，但不是同一个条件。

环论的应用

环论出现在模运算、多项式代数、数论和代数几何中。它也是某些密码学构造背后语言的一部分。

你不需要先掌握这些高级应用才能理解基本思想。作为第一次接触，可以把环论看成是研究这样一些“像数一样”的系统：其中加法和乘法以可预测的方式相互作用。

试一个类似的问题

你可以自己试试在 $\mathbb{Z}$ 中考察 $3\mathbb{Z}$ 或 $5\mathbb{Z}$。检查同样的两个条件：对加法和加法逆元封闭，然后看它是否能吸收任意整数的乘法。