Abstract-Algebra on Chen Kai Blog

抽象代数（十二）：代数在实际应用中的威力 —— 从密码学到编码理论及其他

Thu, 23 Sep 2021 09:00:00 +0000

我坐在书桌前，左手边是一个打乱的三阶魔方，右手边是一张印着黑白方块的餐厅点餐二维码。过去十一个月里，我把自己埋在群、环、域、模、表示和范畴的符号堆里。有时候我会突然停笔，盯着满纸的 $\sigma, \tau, \ker, \operatorname{im}$ 发呆：这些东西真的只是数学家自娱自乐的智力游戏吗？它们和我每天刷的手机、存的银行密码、甚至头顶的星空，到底有什么关系？

抽象代数（十一）：范畴论 — 数学结构的语言

Tue, 21 Sep 2021 09:00:00 +0000

结构的重复模式#

我至今还记得自己第一次整理抽象代数笔记时的错觉。那天晚上，我把群同态基本定理、环同态基本定理、模同态基本定理并排写在一张大白纸上。写着写着，我停下了笔。这三条定理的陈述几乎一模一样：先找一个结构保持映射（同态），再看它的核（kernel），然后把原结构除以核，最后得到一个同构于像的商结构。证明步骤也像是同一个模子刻出来的：验证良定性、验证单射、验证满射、验证运算保持。唯一的区别只是我把“群乘法”换成了“环加法与乘法”，或者把“模的标量乘法”换了进去。

抽象代数（十）：表示论 — 群在向量空间上的作用

Sun, 19 Sep 2021 09:00:00 +0000

我第一次盯着一张群乘法表发呆时，脑子里只有一个念头：这玩意儿到底怎么算？抽象群（abstract group）的定义确实漂亮，几个公理就把对称性打包得严严实实。可一旦你真正想动手，比如算一个由生成元和关系定义的群元素，或者想从那张密密麻麻的乘法表里抠出一点数值不变量，抽象定义就像一堵光滑的墙，连个抓手都没有。我试过硬推，结果只是在符号迷宫里打转。

抽象代数（九）：模——向量空间的推广

Fri, 17 Sep 2021 09:00:00 +0000

我第一次接触线性代数时，总觉得它干净得有点“不真实”。每个子空间都能找到补空间，每个有限维向量空间都乖乖地拥有一组基，而且不管你怎么挑基，基向量的个数永远一样。那时候我以为代数就该这么顺滑，直到我试着把标量从实数换成整数。结果呢？整个理论瞬间“卡壳”了。你不能随便除以 2，方程 $$2x = a$$ 在整数里经常无解，基的概念直接崩塌。我当时盯着草稿纸发愣：难道离开域（field），线性结构就彻底散架了吗？

抽象代数（八）：Galois 理论 —— 域与群之间的桥梁

Wed, 15 Sep 2021 09:00:00 +0000

1832 年 5 月 29 日的深夜，巴黎的一间阁楼里，20 岁的 Évariste Galois 知道自己活不过明天。决斗的约定已经写下，对手是当时法国枪法最好的军官之一。在蜡烛快要燃尽的时候，他没有写遗书，而是抓起一叠草稿纸，疯狂地把自己脑子里关于多项式根的所有想法往外倒。他在页边匆匆写下“我没有时间了”，然后把这叠纸寄给了朋友。这些手稿在抽屉里躺了十几年才被数学界真正读懂，但它们彻底改写了代数的走向。

抽象代数（七）：域扩张 — 构建更大的数系

Mon, 13 Sep 2021 09:00:00 +0000

我高中第一次碰到 $$x^2 + 1 = 0$$ 时，老师在黑板上画了个大大的叉，说“实数范围内无解”。过了两周，同一个老师又走上讲台，轻描淡写地引入一个符号 $$i$$ ，宣布 $$i^2 = -1$$ ，然后所有方程突然就都有解了。我当时坐在底下心里直犯嘀咕：这算不算作弊？缺什么就硬造什么，数学难道可以这样凭空变魔术？

抽象代数（六）：多项式环 —— 因子分解与唯一分解

Sat, 11 Sep 2021 09:00:00 +0000

我记得刚上大学那会儿，盯着黑板上的 $$x^2 + 1$$ 发呆。高中老师信誓旦旦地说这玩意儿“不能再分了”，可眼前的教授随手写下 $$(x+i)(x-i)$$ ，转头又补了一句：“如果在模 $$5$$ 的整数里，它等于 $$(x+2)(x+3)$$ 。”我当时的脑子直接打结：同一个多项式，怎么换个地盘就换了一副面孔？它到底是个固定的对象，还是随环境变形的变色龙？

抽象代数（五）：环与理想 —— 当乘法进入画面

Thu, 09 Sep 2021 09:00:00 +0000

我第一次真正卡壳，是在盯着整数集合 $\mathbb{Z}$ 发呆的时候。那时候我刚学完群论，满脑子都是对称、旋转和置换。我试着把 $\mathbb{Z}$ 当成一个加法群（additive group）来看： $(\mathbb{Z}, +)$ 确实漂亮，它是一个无限循环群，生成元是 $$1$$ 或 $$-1$$ ，结构干净得像一块玻璃。可是，当我想聊点“数论”的东西，比如素数、最大公约数、或者为什么 $$6$$ 只能拆成 $2 \times 3$ 时，加法群突然就哑火了。加法只能告诉我 $$2+2+2=6$$ ，它根本看不见“乘法”这回事。我忽然意识到，单靠一个运算，就像只用一把螺丝刀去修整台发动机：你能拧开外壳，但碰不到核心的齿轮咬合。