初学抽象代数时，我们往往先遇到一串定义：群满足结合律、有单位元和逆元；环有加法和乘法，满足分配律；域要求每个非零元素都可逆。
但这些条件为什么这样选择？它们是人为规定的，还是有具体的历史动机？
答案是：这些公理来自具体数学对象的共同规律。数学家先研究方程、置换、整数和多项式，再逐渐提炼出抽象结构。
教材按照“定义—例子—定理”的顺序组织知识，历史上的发现过程却往往是“问题—例子—共同规律—抽象定义”。
一、群：可逆操作的共同规律
群概念的一条重要历史来源，是对代数方程根的置换的研究。
研究高次方程时，数学家发现，除了直接计算根，还可以研究：哪些根的置换能够保持它们之间的代数关系？这些置换可以复合，也可以撤销，因此自然形成了一种运算结构。
几何中的旋转、反射等变换，也具有类似性质。将这些例子的共同规律提取出来，就得到群的公理。
| 公理 | 对可逆操作的解释 |
|---|---|
| 封闭性 | 两个允许的操作复合，仍是允许的操作 |
| 结合律 | 复合三个操作时，改变分组不影响结果 |
| 单位元 | 存在“什么也不做”的操作 |
| 逆元 | 每个操作都可以撤销 |
这里的运算不一定是数的乘法，也可以是映射的复合。
为什么要求结合律？
对于映射复合，有
两边实际执行的是同一串操作，只是加括号的方式不同。因此，结合律是变换复合本身具有的性质。
为什么不要求交换律？
因为交换操作顺序，往往会改变结果。
例如，在实数集上定义两个可逆变换：
则
而
所以
如果将交换律列为群的必要条件，就会排除大量重要的变换群。满足交换律的群则单独称为交换群或阿贝尔群。
更深的一点是，凯莱定理表明：每个抽象群都同构于某个置换群。 因此，把群理解为“可逆操作的结构”，不只是一个比喻。
二、环：加减乘与整除的共同结构
环概念的重要来源，是整数和多项式的算术。
整数与多项式看起来不同，却存在许多相似之处：
| 整数 | 域上的一元多项式 |
|---|---|
| 整除 | 多项式整除 |
| 带余除法 | 多项式带余除法 |
| 最大公因数 | 最大公因式 |
| 素因数分解 | 不可约多项式分解 |
| 贝祖等式 | 多项式贝祖等式 |
这些相似性促使人们研究：它们背后究竟有哪些共同的运算规律？
按常见的含幺环定义，环的公理可以分为三部分：
- 加法构成交换群；
- 乘法满足结合律，并有乘法单位元；
- 加法与乘法满足左右分配律。
不同教材对环是否必须有乘法单位元，可能采用不同约定。
为什么加法构成交换群？
因为整数、多项式、矩阵等核心例子，都可以自由地加减，并具有相同的加法规律：
- 加法满足结合律和交换律；
- 存在零元；
- 每个元素都有加法逆元。
这使我们能够移项、合并同类项，并在等式两边消去相同的加项。
为什么分配律重要？
分配律是连接加法与乘法的桥梁：
它保证展开括号、提取公因子等运算成立。
如果没有分配律，加法和乘法可能只是同一个集合上两套互不相关的运算，我们熟悉的代数变形就失去了依据。
为什么乘法不一定交换？
因为矩阵等重要对象的乘法一般不交换：
为了将这些对象也纳入研究，一般环不要求乘法交换。满足乘法交换律的环称为交换环。
为什么不要求非零元素都有乘法逆元？
因为整数就是一个重要的研究对象，而
如果要求所有非零元素都可逆，就会把整数排除在外。
更重要的是，除法不能总在原来的集合中完成，正是整除理论具有内容的原因。
在整数中，
但在有理数中，每个非零数都整除任意有理数，因为相应的商仍然是有理数。
历史上，对更广泛数系中的因式分解、唯一分解失效及理想的研究，推动了交换环理论的发展。多项式、矩阵和四元数等对象，也分别贡献了重要动机。
需要注意：带余除法、唯一因子分解等性质并不对所有环成立。环论的任务之一，正是研究这些结论需要哪些额外条件。
三、域：能够进行四则运算的环境
在含幺交换环的基础上，再要求
并且每个非零元素都有乘法逆元，就得到域。
域概念与方程求解密切相关。我们需要明确：允许在哪个数系中运算？加入新的根后，会得到怎样的数系？
例如，方程
在有理数中无解。加入 \sqrt2，并要求对四则运算封闭，就得到
对其中的非零元素，有
分母非零，右边仍属于这个集合，因此它确实是一个域。
为什么要求非零元素可逆？
这保证对任意 a\ne0，方程
都有唯一解：
它也是高斯消元中“可以除以非零主元”的依据。
为什么零不能有逆元？
由环公理可以推出
若零有乘法逆元，就会得到
与 1\ne0 矛盾。
为什么域要求乘法交换？
域提炼的是通常交换数系中的四则运算规律，也是经典方程理论的自然环境。
如果保留非零元素可逆的要求，但不要求乘法交换，就得到除环。四元数是典型的非交换除环。
还要区分两个概念：**能够进行四则运算，不代表所有多项式都有根。**例如，\mathbb Q 是域，但方程 x^2=2 在其中没有解。
四、为什么其他熟悉的规律不列为公理？
因为公理是推理的出发点，能够从中证明的性质，就不必再单独规定。
例如，“零乘任何元素都等于零”可以由分配律和加法消去律推出：
两边加上 -(0a)，得到
同样，
也是环公理的推论。
因此，公理并不是将所有正确的运算规则逐条列出，而是选取一组基本条件，让其他规律能够从中推导出来。
五、公理是选择，但并非随意选择
群、环、域并不是唯一可能的代数结构。
例如，从群的条件中去掉逆元要求，就得到幺半群；进一步不要求单位元，就得到半群。对一般环增加乘法交换律，就得到交换环；对含幺交换环要求非零元素可逆，并排除零环，就得到域。
这些定义各有用途，没有必要让所有对象都服从同一套条件。
选择公理时，通常需要兼顾三个目标：
- 涵盖重要例子：让具体问题中自然出现的对象进入理论。
- 支持有效推理：条件应当足以推出有用的结论。
- 避免不必要的限制：不因为过强的要求而排除重要对象。
因此，学习公理时，可以始终追问：
这一条条件让哪些推理成立？去掉它会发生什么？加上它又会排除哪些例子？
这样，群、环、域就不再只是需要记忆的定义，而成为理解不同数学对象为什么具有共同规律的工具。