一、形式幂级数环
1.1 序列记号的约定
考虑所有从自然数到复数的映射全体，即所有复数序列构成的集合。记 $\mathbb{C}^{\mathbb{N}}$ 为自然数到复数的映射全体。
在分析中这就是数列；在组合中如果用母函数（生成函数）的话也会碰到类似记号。而从代数的角度，系数甚至可以取自任何环——不一定限于复数。
记法：一个序列 $\alpha = (\alpha_0, \alpha_1, \alpha_2, \ldots)$，简记为 ${\alpha_n}_{n \geq 0}$。
1.2 加法与乘法的定义
在序列集合上定义两种运算：
加法：按分量相加
\[(\alpha + \beta)_n = \alpha_n + \beta_n\]乘法（卷积 / 柯西乘积 / 幂级数乘法）：
\[(\alpha * \beta)_n = \sum_{k=0}^{n} \alpha_k \beta_{n-k}\]即所有下标之和等于 $n$ 的项两两相乘再求和。
这个定义在数学分析中作为级数的”柯西乘积”出现过。但分析中关心的是级数是否收敛——当两个级数都收敛时，其柯西乘积对应的级数也收敛，且和等于两个原级数和的乘积。在代数中则完全不管收敛性——运算本身总是有定义的。这就是代数和分析的一个重要区别：代数关心运算结构本身，不受收敛性制约。
1.3 前几项的具体形式
- 第 0 项：$(\alpha * \beta)_0 = \alpha_0 \beta_0$
- 第 1 项：$(\alpha * \beta)_1 = \alpha_0 \beta_1 + \alpha_1 \beta_0$
- 第 2 项：$(\alpha * \beta)_2 = \alpha_0 \beta_2 + \alpha_1 \beta_1 + \alpha_2 \beta_0$
二、环性质的验证
2.1 加法群结构
序列集合在加法下构成一个交换群（Abelian Group）：
- 幺元（加法单位元）：全零序列 $(0,0,0,\ldots)$
- 逆元（加法逆）：$-\alpha = (-\alpha_0, -\alpha_1, \ldots)$
- 结合律和交换律均由复数加法的对应性质保证（按分量验证）
2.2 乘法结合律的验证
乘法需要验证结合律：$(\alpha * \beta) * \gamma = \alpha * (\beta * \gamma)$。
验证方法：对任意 $n$，计算两边第 $n$ 个分量。
左边第 $n$ 个分量的展开： \(((\alpha * \beta) * \gamma)_n = \sum_{m=0}^{n} (\alpha * \beta)_m \cdot \gamma_{n-m} = \sum_{m=0}^{n} \left( \sum_{i=0}^{m} \alpha_i \beta_{m-i} \right) \gamma_{n-m}\)
右边第 $n$ 个分量的展开同理。两者都等于取遍所有满足 $i + j + k = n$ 的三元自然数组 $(i,j,k)$ 的 $\alpha_i \beta_j \gamma_k$ 之和。
这个验证虽然表达式看起来复杂，但规律很简单——就是下标加起来等于 $n$ 的所有三元组不重不漏地求和。结合律本质上说明怎么加括号不影响这个结果。
2.3 乘法幺元
乘法的幺元（单位元）是：
\[e = (1, 0, 0, 0, \ldots)\]即第 0 个分量为 1，其余为 0。
验证：$(e * \beta)_n = e_0 \beta_n$（只有 $e_0 = 1$ 这一项非零）$= \beta_n$。
2.4 乘法交换律
乘法是可交换的：
\[(\alpha * \beta)_n = \sum_{k=0}^{n} \alpha_k \beta_{n-k} = \sum_{k=0}^{n} \beta_k \alpha_{n-k} = (\beta * \alpha)_n\]本质原因：复数乘法满足交换律，求和项可以一一对应。
2.5 分配律
分配律也成立（由复数的分配律保证），留作练习。
三、可逆性与逆元的递推构造
3.1 半群可逆元的一般概念
在一个有幺元的半群中，元素 $\alpha$ 称为可逆的，如果存在另一个元素 $\beta$ 使得：
\[\alpha * \beta = \beta * \alpha = e\]类比：矩阵中的可逆矩阵。
3.2 形式幂级数可逆的充分必要条件
在形式幂级数环中，$\alpha$ 可逆的充要条件是：
\[\alpha_0 \neq 0\]必要性：如果 $\alpha * \beta = e$，则考察第 0 个分量，$(\alpha * \beta)_0 = \alpha_0 \beta_0$。而 $e_0 = 1$，故 $\alpha_0 \beta_0 = 1$，因此 $\alpha_0 \neq 0$。
3.3 逆元的递推构造
已知 $\alpha_0 \neq 0$，通过递推逐个确定 $\beta$ 的每个分量：
- 第 0 步：由 $\alpha_0 \beta_0 = 1$，得 $\beta_0 = \alpha_0^{-1}$
- 第 1 步：由第 1 个分量为 0（幺元的第 1 个分量 = 0）： \(\alpha_0 \beta_1 + \alpha_1 \beta_0 = 0 \quad \Rightarrow \quad \beta_1 = -\alpha_0^{-1} \alpha_1 \beta_0\)
-
第 $n$ 步（一般递推）：假设 $\beta_0, \ldots, \beta_{n-1}$ 已求出，则： \((\alpha * \beta)_n = 0 = \alpha_0 \beta_n + \sum_{k=1}^{n} \alpha_k \beta_{n-k}\)
其中 $\beta_{n-k}$（$k \geq 1$）的下标范围是 $0$ 到 $n-1$，均已求出。故： \(\beta_n = -\alpha_0^{-1} \sum_{k=1}^{n} \alpha_k \beta_{n-k}\)
这个推导既是充分条件也是必要条件。实际上给出了可逆序列的显式递推公式——$\beta$ 是一个由 $\alpha$ 和 $\alpha_0^{-1}$ 完全确定的递推序列。
四、未定元 X 的具体含义
4.1 X 作为一个具体的环元素
从环的角度，$X$（形式幂级数中的未定元）不是一个凭空引入的符号，而是一个具体的元素：
\[X = (0, 1, 0, 0, 0, \ldots)\]即第 1 个分量为 1，其余为 0。
4.2 X 的幂次
根据乘法定义，可以计算 $X^m$：
\[X^m = (0, 0, \ldots, 0, 1, 0, \ldots)\]即第 $m$ 个分量为 1，其余为 0（从第 0 到第 $m-1$ 个分量全是 0）。
从下标角度理解——$X$ 的下标 0 个数是 0 个，$X^m$ 的前 $m$ 个分量全为 0。实际上乘法就是把下标相加，所以 $X^m$ 正好在第 $m$ 个位置取 1。
4.3 记号的”合法性”
有了 $X^m$ 的定义，则： \(\alpha_m X^m = (0, \ldots, 0, \alpha_m, 0, \ldots)\)
把所有这样的项（对各 $m$）按加法加起来，形式上就得到了： \(\alpha = \sum_{m=0}^{\infty} \alpha_m X^m\)
严格来说，无限个求和在没有收敛性的环里是没有意义的。但这给出了一种直观的理解方式——$\alpha$ 可以”看成”以 $X$ 为基的形式和。
4.4 记号
- 形式幂级数环记为 $\mathbb{C}[[X]]$（方括号套方括号）
- 这是代数学中的标准记号
五、一个经典例子：$1 - X$ 的逆
5.1 直接验证
序列 $1 - X = (1, -1, 0, 0, \ldots)$。
其第 0 个分量 $\alpha_0 = 1 \neq 0$，故可逆。
根据递推公式（或直接验证）：$(1 - X)^{-1} = (1, 1, 1, 1, \ldots)$，即所有分量均为 1 的序列。
5.2 与分析的对比
在形式上： \(\frac{1}{1 - X} = \sum_{m=0}^{\infty} X^m = 1 + X + X^2 + \cdots\)
-
分析中的版本：$ X < 1$ 时级数收敛，等式成立 - 代数中的版本：不需要任何收敛条件，仅在形式幂级数的乘法意义下，$(1 - X) * (1 + X + X^2 + \cdots) = 1$
后面这一形式在处理组合问题时非常有用——可以通过计算形式幂级数的系数来解决带约束条件的计数问题（如 $a_1 + a_2 + a_3 + a_4 = 10$，各 $a_i$ 有界）。
5.3 组合应用（简述）
利用生成函数求解受约束的非负整数解个数问题。例如求满足 $0 \leq a_i \leq 10$ 且 $a_1 + a_2 + a_3 + a_4 = 10$ 的整数解个数——可以通过计算生成函数 $\prod (1 + X + X^2 + \cdots)$ 中 $X^{10}$ 的系数来解决，而 $(1+X+X^2+\cdots) = (1-X)^{-1}$（在代数意义下），简化了计算。
六、多项式环
6.1 多项式作为特殊幂级数
定义：一个形式幂级数 $\alpha$ 称为多项式，如果它只在有限个位置上有非零分量（即存在某个 $M$，使对所有 $m > M$ 有 $\alpha_m = 0$）。
换句话说：从某一项之后，所有分量全为零。
6.2 多项式与幂级数的关系
- $X$ 是多项式（第 1 个分量 = 1，其余 = 0）
- $1 - X$ 是多项式（第 0 分量 = 1，第 1 分量 = -1，其余 = 0）
- $(1 - X)^{-1} = (1, 1, 1, \ldots)$ 不是多项式（它在无穷多个位置上取非零值 1）
关键观察：一个多项式在幂级数环中的逆元可能不再是多项式——它”跑到了多项式的外面”。
6.3 多项式记号的严格性
对于多项式，因为只有有限项非零，有限求和是有意义的。所以：
\[\alpha = \sum_{i=0}^{M} \alpha_i X^i\]是严格成立的等式（而不是形式上的一种写法）。这里的 $X$ 是环中的具体元素，$\alpha_i$ 是标量乘法。
6.4 记号
多项式环记为 $\mathbb{C}[X]$（单个方括号），它是 $\mathbb{C}[[X]]$ 的子环。
七、群环的引入
7.1 定义动机
从一个有限群 $G$ 出发，可以构造一个环——群环（Group Ring）。把群元素作为”基”，形式上取系数的线性组合。
以系数在复数 $\mathbb{C}$ 上为例：群环 $\mathbb{C}[G]$ 中的元素为
\[f = \sum_{g \in G} f(g) \cdot g\]其中 $f(g) \in \mathbb{C}$。
7.2 加法与乘法的定义
-
加法：按分量相加（与幂级数类似） \((f_1 + f_2)(g) = f_1(g) + f_2(g)\)
-
乘法：利用群乘法定义 \((f_1 * f_2)(a) = \sum_{g \in G} f_1(g) \cdot f_2(g^{-1}a)\)
等价地，取遍所有满足 $g \cdot h = a$ 的元素对 $(g, h)$，求 $f_1(g)f_2(h)$ 之和。这和形式幂级数的”下标加起来等于 $n$”完全类似——只不过这里用群的乘法代替了自然数的加法。
7.3 历史背景
群环的引入大约在 19 世纪末到 20 世纪初，比群的抽象定义稍晚。一开始研究抽象有限群时，除了群乘法之外没有别的运算工具可用。群环的引入使得研究者同时拥有了群乘法和系数域的加法/乘法/数乘——多了一套可以使用的运算工具。
两位主要贡献者：
- Frobenius（弗罗贝尼乌斯，德国数学家）——也在矩阵标准型中有名
- Schur（舒尔，英国数学家）
- 两人几乎同时、互相独立地引入了用群环研究有限群的方法
7.4 Burnside 定理——群环的早期胜利
经典问题：设 $p, q$ 是两个不同的素数，$a, b \geq 1$ 是正整数。若有限群 $G$ 的阶为 $p^a q^b$，则 $G$ 必有非平凡的正规子群（即除了 ${e}$ 和 $G$ 本身之外的正规子群）。
这个问题的叙述并不复杂——只用到了群的阶、正规子群等基本概念。但在引入群环以前，只能对一些特殊情形（如 $b=1$ 或 $p=2$）给出证明。对于一般情形，始终找不到完整的证明。
Frobenius 和 Schur 引入群环后，从环的角度得到了一些结论，比较完整地证明了这个结果。而且从群环角度给出的证明，比很多特殊情形的纯群论证明还要简单。
这个定理大约在 1900 年得到证明。直到 1960 年代，人们才发现了不依赖群环的纯群论证明——但那个证明比原有证明长得多、技巧要求也多得多，而且思想上并未真正绕开群环的方法。
7.5 群环的后续影响
- 从此，群环成为研究有限群表示论（Representation Theory）的核心工具
- 如今很多学者研究群时，首先就会考虑其群环
- 表示论已经发展成相对独立于经典群论的庞大领域
- 起初系数取在复数域上，后来推广到任意域上——在有限域上的群环同样极其重要
八、群环中的一个重要元素
8.1 全求和映射
定义一个映射 $\varepsilon: \mathbb{C}[G] \to \mathbb{C}$：
\[\varepsilon(f) = \sum_{g \in G} f(g)\]即将所有系数加起来。这实际上是一个环同态：$\varepsilon(f_1 \cdot f_2) = \varepsilon(f_1) \cdot \varepsilon(f_2)$（后续讲同态时会详细说明）。
8.2 “全一”元素
考虑群环中的元素：
\[u = \sum_{g \in G} 1 \cdot g\]即每个群元素上的系数都是 1。
如果要在群环中挑出一个最重要的元素，可能就是它。但它不是幺元——幺元是把群的单位元 $e$ 映到 1、其他群元素映到 0 的那个元素。
这个元素有特殊的性质：对于任意 $f \in \mathbb{C}[G]$， \(u * f = \varepsilon(f) \cdot u\)
即它乘以任何元素等于该元素的”系数之和”再乘以它自己。
九、环的多样性回顾
从幂级数环、多项式环到群环，环的例子远不止”数的加法乘法”。正是因为存在如此多样的例子，才需要抽象出环的公理化定义——加法部分是一个交换群，乘法对加法有分配律。至于结合律，由于接下来讲理想和商环时不需要结合律，目前暂时不把它作为基本要求。