抽象代数概览

发表于 分类于 Disqus： 本文字数： 2.4k 阅读时长 ≈ 9 分钟

抽象代数是现代数学的基石，它研究的是代数结构的抽象性质，从群、环、域到伽罗瓦理论，构成了解析几何、数论等学科的重要基础。这个系列主要是介绍抽象代数的基本概念和学习路径。

为什么需要抽象代数？

在中学阶段，我们学习了多项式、方程、矩阵等具体的代数对象。到了大学阶段，接触的数学概念越来越多，就会发现这些概念及其运算有很强的“相似性”。而抽象代数，就是在代数上再进一步抽象，探索这些看似不同的对象之间的深层的共同结构。

例如：

  • 整数加法与向量加法、矩阵加法在"封闭性""结合律"等性质上惊人相似
  • 置换的复合与数的乘法在"可逆性"上具有共同特征

“代数”，实际上是使用符号来代替数，数能进行运算，代数也能进行运算。在代数的整个领域中，最基本的两个概念莫过于集合与操作，而抽象代数就是对这些集合，操作的共性进行抽象。

核心概念一览

概念 描述 例子
群 带有一个二元运算的集合 \((\mathbb{Z}, +)\)、\(S_n\)
环 带有两个二元运算的集合 \((\mathbb{Z}, +, \times)\)
域 环且除法运算良好 \((\mathbb{Q}, +, \times)\)
同态 保持运算的映射 \(f(x+y)=f(x)+f(y)\)
同构 双射的同态 结构完全相同的映射

学习路径

  1. 集合论基础：理解映射、等价关系、商集
  2. 群论：从具体群到抽象群，理解子群、商群、群同态
  3. 环与域：引入第二个运算，理解理想与商环
  4. 伽罗瓦理论：连接域扩张与群论，解决方程根的问题

抽象代数的学习是一个从具体到抽象、再从抽象回归具体的过程。建议在学习时始终联系具体的例子，在抽象概念与具体对象之间反复跳转，最终达到融会贯通。

概念的递进与包含关系

递进关系：四层大厦

抽象代数的概念可以分成四个递进的层次：

  • 第一层：集合 → 映射 → 等价关系 → 商集
  • 第二层：群 → 子群 → 正规子群 → 商群 → 群同态
  • 第三层：环 → 理想 → 商环 → 域
  • 第四层：域扩张 → 伽罗瓦群 → 伽罗瓦对应

每一层都是对前一层的"升级"：

  • 集合：最基础的概念，所有其他概念都基于集合
  • 从集合到群：给集合加上一个运算，要求运算可逆
  • 从群到环：再增加一个运算（乘法），要求乘法对加法有分配律
  • 从环到域：要求乘法也可逆（除零外）
  • 从域到伽罗瓦理论：研究域的对称性（自同构群）

包含关系：子结构的诞生

群论中的包含链

\[ \begin{align} \text{群} &\supset \text{阿贝尔群} \supset \text{循环群} \\ \text{群} &\supset \text{置换群} \supset \text{交错群} \end{align} \]

群：满足封闭性、结合律、单位元、逆元的代数结构

阿贝尔群（交换群）：在群的基础上增加交换律 \(ab = ba\)

  • 例如：\((\mathbb{Z}, +)\)、\((\mathbb{Q}^\times, \times)\)、\((\mathbb{R}^n, +)\)
  • 反例：\(GL_n(\mathbb{R})\)（矩阵乘法一般不交换）

循环群：由一个元素生成的群，同构于 \(\mathbb{Z}\) 或 \(\mathbb{Z}_n\)

  • 例子：\(\mathbb{Z}_6 = \langle [1] \rangle\)，每个元素都是 \([1]\) 的幂
  • 所有循环群都是阿贝尔群（因为 \(a^n \cdot a^m = a^{n+m} = a^m \cdot a^n\)）

置换群 \(S_n\)：\(n\) 个元素的所有置换组成的群，\(|S_n| = n!\)

  • \(S_1\): 1个元素，只有恒等变换
  • \(S_2\): 2个元素，\(\{e, (12)\}\)
  • \(S_3\): 6个元素，最小的非阿贝尔群
  • 特点：\(S_n\)（\(n \geq 3\)）都不是阿贝尔群

交错群 \(A_n\)：\(S_n\) 中所有偶置换组成的子群，\(|A_n| = n!/2\)

  • \(A_3 = \{e, (123), (132)\}\) 同构于 \(\mathbb{Z}_3\)
  • \(A_4\): 12阶，没有非平凡正规子群（单群）
  • \(A_5\): 60阶，最小的非交换单群，在伽罗瓦理论中起关键作用

环论中的包含链

\[ \begin{align} \text{环} &\supset \text{整环} \supset \text{域} \\ \text{环} &\supset \text{主理想环} \end{align} \]

环：带有加法和乘法两个运算的集合

  • 加法构成阿贝尔群
  • 乘法构成半群（有结合律）
  • 乘法对加法满足分配律

整环：没有零因子的环（若 \(ab = 0\)，则 \(a = 0\) 或 \(b = 0\)）

  • 例如：\(\mathbb{Z}\)、\(\mathbb{Z}[x]\)、\(\mathbb{Q}[x]\)
  • 反例：\(\mathbb{Z}_6\) 不是整环，因为 \(2 \times 3 = 0\)

域：每个非零元素都有乘法逆元的环（可做除法）

  • 例如：\(\mathbb{Q}\)、\(\mathbb{R}\)、\(\mathbb{C}\)、\(\mathbb{Z}_p\)（\(p\) 为素数）
  • 所有域都是整环（因为 \(ab = 0\) 且 \(a \neq 0\)，则 \(b = a^{-1} \cdot 0 = 0\)）

主理想环：所有理想都由单个元素生成的环

  • 例如：\(\mathbb{Z}\)、\(k[x]\)（\(k\) 为域）
  • \(\mathbb{Z}[x]\) 不是主理想环（\((2, x)\) 不是主理想）

域扩张中的包含链

\[\text{域扩张} \supset \text{代数扩张} \supset \text{有限扩张} \supset \text{伽罗瓦扩张}\]

域扩张：\(K/F\) 表示 \(F\) 是 \(K\) 的子域

  • 例如：\(\mathbb{R}/\mathbb{Q}\)、\(\mathbb{C}/\mathbb{R}\)、\(\mathbb{Q}(\sqrt{2})/\mathbb{Q}\)

代数扩张：扩张中每个元素都是其下方域的代数元

  • \(\mathbb{Q}(\sqrt{2})/\mathbb{Q}\) 是代数的（\(\sqrt{2}\) 是 \(x^2 - 2\) 的根）
  • \(\mathbb{R}/\mathbb{Q}\) 不是代数的（\(\pi\) 是超越元）

有限扩张：扩张次数 \([K:F]\) 有限

  • \([\mathbb{Q}(\sqrt{2}) : \mathbb{Q}] = 2\)
  • \([\mathbb{Q}(\sqrt[3]{2}, \omega) : \mathbb{Q}] = 6\)
  • 所有有限扩张都是代数扩张

伽罗瓦扩张：正规可分扩张

  • 正规：\(K\) 是某多项式的分裂域
  • 可分：最小多项式没有重根
  • \(|\text{Gal}(K/F)| = [K : F]\) 是伽罗瓦扩张的标志
  • 例如：\(\mathbb{Q}(\sqrt{2})/\mathbb{Q}\) 是伽罗瓦的
  • 例如：\(\mathbb{Q}(\sqrt[3]{2})/\mathbb{Q}\) 不是正规的（缺复根）

每当我们给代数结构加上新条件时，就会产生新的子类。这些子类各有其特点和用途：

对应关系：群与环的平行

群论概念 环论概念 本质
子群 子环 保持运算的子集
正规子群 理想 可作商运算的子集
商群 商环 对商集的运算
同态的核 同态的核 正规子群/理想
同构定理 同构定理 保持结构的映射

例子：用整数串起所有概念

我们用整数集 \(\mathbb{Z}\) 来演示这些概念如何层层展开：

1. 从集合到群

\(\mathbb{Z}\) 配上加法运算：

  • 封闭性：整数之和还是整数，满足封闭性
  • 结合律：\((a+b)+c = a+(b+c)\)
  • 单位元：\(0\)，\(0+a=a+0=a\)
  • 逆元：\(-a\)，\(a+(-a)=0\)

由于整数加法满足交换律，所以 \((\mathbb{Z}, +)\) 是一个阿贝尔群

2. 子群与循环群

\(2\mathbb{Z} = \{\ldots, -4, -2, 0, 2, 4, \ldots\}\) 是 \(\mathbb{Z}\) 的子群，且： \(\mathbb{Z} = \langle 1 \rangle = \{1^n \mid n \in \mathbb{Z}\}\) → \((\mathbb{Z}, +)\) 是循环群（因为每个元素都是 \(1\) 的"幂"，对一个操作重复执行产生整个集合，循环群 \(\langle 1 \rangle\) 基于整数 \(1\) 以及加法，生成整个整数集）

3. 正规子群与商群

\(6\mathbb{Z}\) 是 \(\mathbb{Z}\) 的正规子群（因为 \(\mathbb{Z}\) 是阿贝尔群，所有子群都正规）。

商群： \[\mathbb{Z}/6\mathbb{Z} = \{[0], [1], [2], [3], [4], [5]\}\]

这是模 \(6\) 的剩余类环，\(|[1]| = 6\)，\(|[2]| = 3\)，\(|[3]| = 2\)。

→ 拉格朗日定理：\(6\mathbb{Z}\) 的指数是 \(6\)，\(|\mathbb{Z}/6\mathbb{Z}| = 6\)

4. 环结构

\(\mathbb{Z}\) 加上乘法，变成环：

  • 加法：阿贝尔群
  • 乘法：半群（有结合律）
  • 分配律：\(a \times (b+c) = a \times b + a \times c\)
  • 单位元：\(1\)

但 \(\mathbb{Z}\) 不是域（\(2\) 没有乘法逆元！）

5. 理想

\((6) = 6\mathbb{Z}\) 是 \(\mathbb{Z}\) 的理想（实际上由 \(6\) 生成的主理想）：

  • 对加法封闭：\(6a + 6b = 6(a+b) \in (6)\)
  • 吸收性：\(n \cdot 6k = 6(nk) \in (6)\)

商环 \(\mathbb{Z}/(6) \cong \mathbb{Z}_6\)

6. 素理想与极大理想

  • \((5)\) 是素理想（因为 \(\mathbb{Z}/(5) \cong \mathbb{Z}_5\) 是整环）
  • \((5)\) 也是极大理想（因为 \(\mathbb{Z}_5\) 是域）
  • \((6)\) 不是素理想（因为 \([2] \times [3] = [0]\)，但 \([2] \neq [0]\)，\([3] \neq [0]\)）

7. 域扩张与伽罗瓦理论

最后，进入域的领域：

取 \(\mathbb{Q}\)（有理数域），添加 \(\sqrt{2}\)： \[\mathbb{Q}(\sqrt{2}) = \{a + b\sqrt{2} \mid a, b \in \mathbb{Q}\}\]

  • 这是一个单扩张
  • \([\mathbb{Q}(\sqrt{2}) : \mathbb{Q}] = 2\)（因为 \(1, \sqrt{2}\) 是基）
  • 最小多项式：\(x^2 - 2\)（不可约）
  • 伽罗瓦群：\(\text{Gal}(\mathbb{Q}(\sqrt{2})/\mathbb{Q}) \cong \mathbb{Z}_2\)，由 \(\sqrt{2} \mapsto -\sqrt{2}\) 生成

→ 这是最简单的伽罗瓦扩张例子！

总结

从 \(\mathbb{Z}\) 出发，我们看到了：

  1. 集合层面：\(\mathbb{Z}\) 是集合
  2. 群层面：\((\mathbb{Z}, +)\) 是循环群，有子群 \(n\mathbb{Z}\)、商群 \(\mathbb{Z}/n\mathbb{Z}\)
  3. 环层面：\((\mathbb{Z}, +, \times)\) 是环，有理想 \((n)\)、商环 \(\mathbb{Z}_n\)
  4. 域层面：\(\mathbb{Q}(\sqrt{2})\) 是 \(\mathbb{Q}\) 的二次扩张，其伽罗瓦群是 \(\mathbb{Z}_2\)

这条路径就是学习抽象代数的完整旅程——从具体整数出发，一步步走向抽象的伽罗瓦理论！

目录