第 1–2 章 · 从矩阵到群：在具体中生长抽象

Artin 的独特路线：不从公理开始，而从你最熟悉的东西——矩阵——开始。可逆矩阵在乘法下的性质（结合律、单位元、逆元）被抽象出来，就是"群"。抽象是从具体中蒸馏出来的，而不是凭空颁布的。

矩阵乘法与可逆性

矩阵乘法对应线性映射的复合：$AB$ = 先 $B$ 后 $A$。可逆的条件：$\det A \ne 0$；求逆用高斯-约当消元 $[A | I] \to [I | A^{-1}]$。GL$_n$（可逆矩阵群）是全书第一个群实例，旋转群 SO$_2$、SO$_3$ 是它的子群——几何对称的代数化从这里开始。

群公理与第一批实例

群：封闭、结合、有单位元、有逆元（不要求交换）。实例清单：

• 数系类：$(\mathbb{Z}, +)$、$(\mathbb{R}^\times, \cdot)$；
• 几何类：正多边形的旋转/翻转对称（二面体群 $D_n$）、立方体旋转群；
• 算术类：模 $n$ 剩余类的单位群 $(\mathbb{Z}/n)^\times$——密码学的原点；
• 置换群 $S_n$：一切有限群的老祖宗（Cayley 定理预告）。

子群与同态

子群 = 群内封闭的非空子集。同态 $\varphi: G\to G'$ 保运算：$\varphi(ab) = \varphi(a)\varphi(b)$；核 $\ker\varphi$ 度量"被压扁的信息"。同态的基本语言（核、像）是后面拉格朗日定理与商群的前奏。

老师的提醒

• 判断子群只查两条：$ab^{-1}\in H$（一揽子检验）。闭包 + 逆元封闭的简写。
• 每学一个抽象定义，立刻把它在你已会的实例（GL$_n$、$D_n$、模乘群）上"验货"——Artin 的书就是设计给你这么读的。

自检

• 群公理四条里，交换律为什么不占一席？
• 证明平面上绕定点的全体旋转构成群。
• 同态的核为什么必然是子群？

更深一层：可逆性的"代数座次"

矩阵可逆性的判定清单（$\det \ne 0$、秩满、方程只有零解、初等行变换可化单位阵、特征值全非零）初看是一堆等价条件，深层是同一个事实的五种语言：线性映射的语言（单射+满射）、方程组的语言（解唯一）、消元的语言（可化简）、谱的语言（无零特征值）、几何的语言（不压缩体积）。Artin 从矩阵出发引入群的用意正是让你体验这种"多语言一致性"：可逆矩阵对乘法成群（GL$_n$），是继数系之后第一个"非交换但具体可算"的群实例。识别一群对象"是否成群"的三步检查（结合律继承自复合、单位元存在、逆元封闭）也从这里开始形成肌肉记忆。

初等矩阵与行变换的关系（每个行变换 = 左乘一个初等矩阵）在第 1 章埋下，它的工程含义：高斯消元的每一步都是左乘一个可逆阵——LU 分解的 $L$ 就是全部消元乘子的汇编。代数与数值计算在这里握手。

推导细读：为什么"指数法则"在群中必然成立

群论第一条要验算的等式是 $a^{m}a^{n} = a^{m+n}$ 与 $(a^m)^n = a^{mn}$。在数的运算里这是显然的，在一般群里它是结合律的直接推论：$a^m a^n$ 是 $m + n$ 个 $a$ 的连乘，结合律保证括号怎么加都一样——所以可以自由重组。这个看似平凡的练习有深远的后果：凡"结合"的地方就有指数律，凡有指数律的地方就能谈"元素的阶"（最小的 $k$ 使 $a^k = e$）。元素的阶是有限群的第一不变量，Lagrange 定理（元素的阶整除群阶）正是建立在它上面。教学顺序的深意在于此：结合律 → 指数律 → 阶 → 阶整除群阶，一条线从最小公理铺到最深的结构性结论。

在真实世界里：纠错码与置换的初次相遇

第 1-2 章的置换群在工程里第一次亮相是纠错与排列：置换矩阵（每行每列恰一个 1）是 GL$_n$ 的子群，它对向量做"重排坐标"——数据库列重排、并行计算的通信模式、卷积交织器（通信编码）全是置换作用。奇偶性（置换的符号）决定一个排列能否由相邻交换偶数次实现——扑克洗牌的奇偶性、15 数码难题的可解性判据，都是 $\mathrm{sgn}$ 同态的应用。看到"重排 + 可行性判定"的问题，就想到置换群与它的符号同态。

专题深入：可逆性的"五种语言"统一表

矩阵可逆性的判定清单（$\det \ne 0$、秩满、方程只有零解、初等行变换可化单位阵、特征值全非零）是同一个事实的五种语言：线性映射的语言（单射+满射）、方程组的语言（解唯一）、消元的语言（可化简）、谱的语言（无零特征值）、几何的语言（不压缩体积）。Artin 从矩阵出发引入群的用意正是让你体验这种"多语言一致性"：可逆矩阵对乘法成群（GL$_n$），是继数系之后第一个"非交换但具体可算"的群实例。识别一群对象"是否成群"的三步检查（结合律继承自复合、单位元存在、逆元封闭）也从这里开始形成肌肉记忆。

初等矩阵与行变换的关系（每个行变换 = 左乘一个初等矩阵）在第 1 章埋下，它的工程含义：高斯消元的每一步都是左乘一个可逆阵——LU 分解的 $L$ 就是全部消元乘子的汇编。代数与数值计算在这里握手。

数学细节展开：群公理与"指数法则"的推导

群论第一条要验算的等式是 $a^ma^n = a^{m+n}$ 与 $(a^m)^n = a^{mn}$。在数的运算里这是显然的，在一般群里它是结合律的直接推论：$a^ma^n$ 是 $m + n$ 个 $a$ 的连乘，结合律保证括号怎么加都一样——所以可以自由重组。凡"结合"的地方就有指数律，凡有指数律的地方就能谈"元素的阶"（最小的 $k$ 使 $a^k = e$）。元素的阶是有限群的第一不变量，Lagrange 定理（元素的阶整除群阶）正是建立在它上面。结合律 → 指数律 → 阶 → 阶整除群阶，一条线从最小公理铺到最深的结构性结论。

工程案例细节：纠错码与置换的初次相遇（工程版）

第 1-2 章的置换群在工程里第一次亮相是纠错与排列：置换矩阵（每行每列恰一个 1）是 GL$_n$ 的子群，它对向量做"重排坐标"——数据库列重排、并行计算的通信模式、卷积交织器（通信编码）全是置换作用。奇偶性（置换的符号）决定一个排列能否由相邻交换偶数次实现——扑克洗牌的奇偶性、15 数码难题的可解性判据，都是 $\mathrm{sgn}$ 同态的应用。看到"重排 + 可行性判定"的问题，就想到置换群与它的符号同态。