[群、环、域：不仅仅是数字，更是抽象“结构”本身的现代代数入门](https://kenji.blog/p/groups-rings-and-fields/)

我们大多数人在学校最先学到的“数学”是数字的加减乘除，也就是“四则运算”的世界。像 $1 + 1 = 2$ 或 $3 \times 4 = 12$ 这样的计算，对于描述我们日常接触的现实世界的数量和大小非常有用。

然而，数学家们逐渐不再关注“数字本身”，而是关注“数字所具有的性质和计算规则（运算）所创造的‘结构’”。这种“结构的抽象化”正是现代代数（抽象代数）的精髓。

在本文中，我们将为您详细介绍现代代数基础中的三个重要概念：“群 (Group)”、“环 (Ring)”和“域 (Field)”，并结合直观的例子和严格的定义。

1. 运算与集合：抽象化的第一步

理解现代代数的第一步是理解“集合”和“运算”的概念。

集合 (Set)：满足某种条件的元素的聚集。例如，所有整数的集合 $\mathbb{Z}$，或所有实数的集合 $\mathbb{R}$。
二元运算 (Binary Operation)：从集合中取出两个元素，根据特定规则组合它们，并产生同一个集合中的另一个元素的操作。加法 $(+)$ 和乘法 $(\times)$ 就是典型的例子。

在代数中，具体的“数字”是什么（是整数、实数、矩阵还是函数）并不重要。我们只关注规则（结构）：“在这个集合上定义了什么运算，并且该运算满足什么法则”。

2. 群 (Group)：提取对称性与可逆性

在代数结构中，最简单且应用最广泛的是“群”。群抽象化了“可以进行某种操作并将其还原”的性质（可逆性或对称性）。

2.1. 群的严格定义

给定一个非空集合 $G$ 和其上的二元运算 $\cdot$，如果满足以下三个公理，则组 $(G, \cdot)$ 称为 群 (Group)。

结合律 (Associativity)：对任意 $a, b, c \in G$，有 $(a \cdot b) \cdot c = a \cdot (b \cdot c)$。
单位元的存在 (Identity Element)：存在特殊元素 $e \in G$，使得对任意 $a \in G$，有 $a \cdot e = e \cdot a = a$。
逆元的存在 (Inverse Element)：对任意 $a \in G$，存在元素 $a^{-1} \in G$，使得 $a \cdot a^{-1} = a^{-1} \cdot a = e$。

如果满足交换律 $a \cdot b = b \cdot a$，则称为 交换群 或 阿贝尔群 (Abelian Group)。

  graph LR
    A["单位元 e"] -->|"a * e = a"| B["元素 a"]
    B -->|"a * a^-1 = e"| C["逆元 a^-1"]
    C -->|"a^-1 * a = e"| A
    %% "可逆性"

3. 环 (Ring)：加法与乘法的共存

抽象化“两种运算共存”的结构就是 环 (Ring)。

3.1. 环的严格定义

给定非空集合 $R$ 和两种二元运算 $+$（加法）与 $\cdot$（乘法），如果满足以下公理，则组 $(R, +, \cdot)$ 称为 环 (Ring)。

$(R, +)$ 是阿贝尔群。
$(R, \cdot)$ 是半群（满足结合律）。
满足分配律。

  flowchart TD
    R["环 (Ring)"] -->|"乘法的交换律"| CR["交换环 (Commutative Ring)"]
    R -->|"不满足交换律"| NR["非交换环 (Non-commutative Ring)"]
    CR -->|"含有单位元"| UCR["含幺交换环"]
    %% "环的分类"

4. 理想与商环

理想 (Ideal) 是环的一个重要概念，可用于构造商环。

5. 域 (Field)：四则运算自由的世界

在环中不一定能进行“除法”。而“除法（除以非零元素）”也能自由进行的结构就是 域 (Field)。

5.1. 域的严格定义

如果交换环满足以下条件，则称为域：

至少有两个元素（$0 \neq 1$）。
除了 $0$ 以外的所有元素都有乘法逆元。

6. 模 (Module) 与向量空间 (Vector Space)

向量空间：定义在域上。
模：定义在环上。

7. 结构的层级

  flowchart TD
    A["群 (Group)"] -->|"结合律、单位元、逆元"| B["阿贝尔群 (Abelian Group)"]
    B -->|"+ 第二种运算、分配律"| C["环 (Ring)"]
    C -->|"乘法交换律"| D["交换环 (Commutative Ring)"]
    D -->|"无零因子"| E["整环 (Integral Domain)"]
    E -->|"非零逆元"| F["域 (Field)"]
    %% "层级结构"