高等代数 · 课程学习笔记

第 P80 集 · 十五：高斯引理

Gauss's Lemma on Primitive Polynomials
北大丘维声教授 · 清华大学 2011 级 进度 P80 / 151 集 核心概念：高斯引理 · 本原多项式乘积 · Q上可约与Z上可约等价
提示：数学公式渲染组件（KaTeX）加载失败，公式以源码形式显示，不影响阅读内容。联网后刷新即可正常渲染。

☰本集目录

◎学习目标

  1. 理解并掌握高斯引理（Gauss's Lemma）：两个本原多项式的乘积仍为本原多项式；
  2. 掌握高斯引理的经典反证法证明，学会用素数挑拣系数中第一个不可被整除的位置；
  3. 掌握高斯引理的核心推论：整系数多项式在 \(\mathbb{Q}\) 上可约当且仅当在 \(\mathbb{Z}\) 上可约（即分解系数可以保持为整数）；
  4. 能用高斯引理进行有理系数多项式可约性的实际判定，避免陷入分数系数的繁琐讨论。

1高斯引理的陈述 ⏱ 03:00

定理 · 高斯引理（Gauss's Lemma） 设 \(f(x),g(x)\in\mathbb{Z}[x]\) 都是本原多项式，则它们的乘积 \(f(x)\cdot g(x)\) 也是本原多项式。
\[ f(x)\text{ 本原},\ g(x)\text{ 本原}\ \Longrightarrow\ f(x)g(x)\text{ 本原}. \]
这是数学家高斯（C. F. Gauss）第一个提出并证明的重要引理，是连接 \(\mathbb{Z}[x]\) 与 \(\mathbb{Q}[x]\) 可约性理论的核心工具。⏱ 04:25

2高斯引理的经典证明（反证法 + 素数挑拣） ⏱ 04:30

完整证明过程

反证法假设：设 \(f(x)=\sum_{i=0}^n a_ix^i\)，\(g(x)=\sum_{j=0}^m b_jx^j\) 均为本原多项式，但 \(f(x)g(x)\) 不是本原多项式。则存在素数 \(p\) 整除乘积 \(h(x)=f(x)g(x)=\sum_{s=0}^{n+m}c_sx^s\) 的所有系数 \(c_s\)（算术基本定理：合数公因数必含素因子）。⏱ 06:00

在 \(f\) 中找第一个不可被 \(p\) 整除的系数：因 \(f\) 本原，其系数不全被 \(p\) 整除。从常数项起往上找，设 \(a_k\) 是第一个满足 \(p\nmid a_k\) 的系数，即：

\[ p\mid a_0,\ p\mid a_1,\ \ldots,\ p\mid a_{k-1},\quad p\nmid a_k. \]

类似地，因 \(g\) 本原，设 \(b_l\) 是 \(g\) 中第一个不被 \(p\) 整除的系数：

\[ p\mid b_0,\ p\mid b_1,\ \ldots,\ p\mid b_{l-1},\quad p\nmid b_l. \]

考察 \(c_{k+l}\) 的表达式：由多项式乘法系数公式，

\[ c_{k+l}=\sum_{i+j=k+l}a_ib_j=a_0b_{k+l}+a_1b_{k+l-1}+\cdots+a_kb_l+\cdots+a_{k+l}b_0. \]

将上述求和分为三部分：⏱ 10:00

第一部分**（\(i<k\)，即 \(j>l\)）：此时 \(p\mid a_i\)，故 \(p\mid a_ib_j\)。

第二部分（\(i>k\)，即 \(j<l\)）：此时 \(p\mid b_j\)，故 \(p\mid a_ib_j\)。

第三部分**（\(i=k,\ j=l\)）：此项为 \(a_kb_l\)，由于 \(p\nmid a_k\) 且 \(p\nmid b_l\)，且 \(p\) 是素数，由素数的性质得 \(p\nmid a_kb_l\)。

结论：\(c_{k+l}\) 是"大量被 \(p\) 整除的项之和"加上一个不被 \(p\) 整除的项 \(a_kb_l\)，故 \(p\nmid c_{k+l}\)。但这与假设"\(p\) 整除所有系数 \(c_s\)"矛盾。⏱ 12:00

矛盾！故假设不成立，\(f(x)g(x)\) 必为本原多项式。证毕。

证明技巧总结 本证明的关键技巧：在两个多项式中各找"第一个不被 \(p\) 整除的系数"，考察其下标之和对应的乘积系数，利用素数整除乘积必整除其中一个因子的性质导出矛盾。此方法称为"最低不可整除项"技术，是数论中常用的技巧。⏱ 13:00

3高斯引理的推论：\(\mathbb{Q}\) 上与 \(\mathbb{Z}\) 上可约性等价 ⏱ 14:00

推论 · 高斯引理的核心应用 设 \(f(x)\in\mathbb{Z}[x]\) 是次数 \(\ge1\) 的本原多项式。则：
\[ f(x)\text{ 在 }\mathbb{Q}[x]\text{ 中可约}\ \iff\ f(x)\text{ 在 }\mathbb{Z}[x]\text{ 中可约}. \]
更一般地，对任意非零整系数多项式 \(f(x)\)，设 \(f(x)=c\cdot f_1(x)\) 其中 \(c\in\mathbb{Q}^{\times}\)，\(f_1(x)\) 是本原多项式，则：
\[ f(x)\text{ 在 }\mathbb{Q}[x]\text{ 中可约}\ \iff\ f_1(x)\text{ 在 }\mathbb{Z}[x]\text{ 中可约}. \]
证明（"⇒"方向的推导）

（\(\Leftarrow\) 方向，显然）：若 \(f(x)\) 在 \(\mathbb{Z}[x]\) 中可分解为两个次数较低整系数多项式之积，则同样视为 \(\mathbb{Q}[x]\) 中的分解，故在 \(\mathbb{Q}[x]\) 中也可约。

（\(\Rightarrow\) 方向）：设 \(f(x)\in\mathbb{Z}[x]\) 本原，且在 \(\mathbb{Q}[x]\) 中可约，即存在 \(f(x)=g(x)h(x)\)，其中 \(g,h\in\mathbb{Q}[x]\)，\(\deg g\ge1,\deg h\ge1\)。⏱ 15:00

由 P79 已证结论，存在有理数 \(r,s\) 和本原多项式 \(g_1,h_1\in\mathbb{Z}[x]\) 使得 \(g=r\cdot g_1\)，\(h=s\cdot h_1\)。于是：

\[ f(x)=g(x)h(x)=rs\cdot g_1(x)h_1(x). \]

由高斯引理，\(g_1(x)h_1(x)\) 是本原多项式。而 \(f(x)\) 本身也是本原多项式，由 P79 的命题（两个本原多项式相伴当且仅当相等或互为相反数），得 \(rs=\pm1\)，故 \(g_1(x)h_1(x)=\pm f(x)\)，即在 \(\mathbb{Z}[x]\) 中有分解 \(f=g_1\cdot(\pm h_1)\)，且 \(\deg g_1=\deg g\ge1\)，\(\deg h_1=\deg h\ge1\)。⏱ 16:30

因此 \(f(x)\) 在 \(\mathbb{Z}[x]\) 中可约。证毕。

实用意义 判定一个整系数多项式在有理数域上是否可约，只需考虑它在整数环上的因式分解即可，无需引入分数系数。这是多项式可约性判定的关键简化。⏱ 17:30

4整系数多项式在 \(\mathbb{Q}\) 上的可约性判定 ⏱ 17:30

判定流程 给定 \(f(x)\in\mathbb{Z}[x]\)，\(\deg f\ge1\)，判定其在 \(\mathbb{Q}[x]\) 中是否可约的步骤如下：
  1. 提取公因数：设 \(f(x)=c\cdot f_1(x)\)，其中 \(c\in\mathbb{Q}^{\times}\) 为各项系数公分母的最小公倍数相关因子，\(f_1(x)\in\mathbb{Z}[x]\) 为本原多项式。
  2. 转化为本原多项式问题：\(f(x)\) 在 \(\mathbb{Q}[x]\) 中可约 \(\iff\) \(f_1(x)\) 在 \(\mathbb{Z}[x]\) 中可约。
  3. 在 \(\mathbb{Z}[x]\) 中寻找因子：尝试将 \(f_1(x)\) 分解为两个次数较低整系数多项式的乘积。
反例警示 若去掉"本原"条件，高斯引理不成立。例如 \(2x\cdot3x=6x^2\)，\(2x\) 和 \(3x\) 均非本原（系数公因数为 2 和 3），但其乘积 \(6x^2\) 也不是本原的。关键在于本原性保证了乘积不会引入公共素因子。⏱ 18:30
附：为什么本原多项式在\(\mathbb{Q}\)和\(\mathbb{Z}\)上的可约性等价是核心定理？

如果没有高斯引理，我们在 \(\mathbb{Q}[x]\) 中分解多项式时可能引入分数系数，使得判定变得极其复杂。高斯引理保证了：只要一个整系数多项式能在 \(\mathbb{Q}[x]\) 中分解，就一定能在 \(\mathbb{Z}[x]\) 中以整系数分解——所有"麻烦的分数"可以吸收进有理数常数因子中，核心分解结构保持整数性。⏱ 19:00

这也是为什么我们引入本原多项式概念的原因：它是桥接 \(\mathbb{Z}[x]\) 与 \(\mathbb{Q}[x]\) 的理论工具。

★重点回顾

1
高斯引理：两个本原多项式的乘积仍是本原多项式。证明用反证法 + 素数挑拣第一个不可被 \(p\) 整除的系数，考察其下标之和对应的乘积系数导出矛盾。
2
核心推论：本原多项式 \(f\in\mathbb{Z}[x]\) 在 \(\mathbb{Q}[x]\) 中可约 \(\iff\) 在 \(\mathbb{Z}[x]\) 中可约。即有理数域上的因式分解可以"整数化"。
3
判定流程：任意整系数多项式 → 提取有理数常数 → 得到本原多项式 → 在高斯引理保障下，在 \(\mathbb{Z}[x]\) 中找因式分解。
4
关键技巧：证明中"找第一个不被 \(p\) 整除的系数"是数论标准技术，类似思路也出现在艾森斯坦判别法等后续内容中。
5
本原性不可或缺：高斯引理对非本原多项式不成立；两个非本原多项式相乘可能产生更高的公因数。

⚠易错点提醒

常见错误
  1. 混淆"可约"与"有根"：一次多项式一定有根但不叫可约（不可约定义排除一次式）；二次式无实根时在 \(\mathbb{R}\) 上不可约，但在 \(\mathbb{C}\) 上可约。注意数域的上下文。
  2. 忽略本原前提：直接对非本原多项式套用高斯引理，得出错误结论。必须先提取公因数化为本原多项式再讨论。
  3. 证明中素数挑拣逻辑跳跃：要清楚说明"因为 \(p\) 是素数且 \(p\nmid a_k,p\nmid b_l\)，所以 \(p\nmid a_kb_l\)"这一步依赖于素数整除乘积的性质（欧几里得引理）。
  4. 把高斯引理和艾森斯坦判别法混淆：高斯引理讨论本原多项式乘积的本原性；艾森斯坦判别法是用素数判定特定整系数多项式在 \(\mathbb{Q}\) 上不可约的充分条件，两者不同。
  5. 误认为任何 \(\mathbb{Q}[x]\) 分解自动给出 \(\mathbb{Z}[x]\) 分解：必须通过"提取本原部分 + 高斯引理"才能完成从 \(\mathbb{Q}\) 到 \(\mathbb{Z}\) 的转化，这是定理而非显然事实。

✎自测与作业

  1. 验证：\((2x+1)(3x+1)=6x^2+5x+1\)，说明 \(2x+1\) 和 \(3x+1\) 都不是本原多项式，但乘积 \(6x^2+5x+1\) 是本原多项式——这并不违反高斯引理，解释原因。
  2. 证明：\(x^4+4\) 在 \(\mathbb{Q}[x]\) 中可约，并给出在 \(\mathbb{Z}[x]\) 中的具体分解式。（提示：配方 \(x^4+4=(x^2+2)^2-4x^2\)，再用平方差公式。）
  3. 判定 \(f(x)=2x^3-4x^2+6x-12\) 在 \(\mathbb{Q}[x]\) 中是否可约，并给出分解式。（提示：先提取公因数 2，再对剩余本原部分在 \(\mathbb{Z}[x]\) 中找因子。）
  4. 证明：若 \(f(x)\in\mathbb{Z}[x]\) 是本原多项式且在 \(\mathbb{Q}[x]\) 中分解为 \(f=g\cdot h\)，其中 \(g,h\) 次数均 \(\ge1\)，则存在有理数 \(r\) 使得 \(rg\in\mathbb{Z}[x]\) 为本原多项式，且 \(f=(rg)\cdot\frac{1}{r}h\) 是 \(\mathbb{Z}[x]\) 中的分解。
  5. （思考题）用高斯引理证明：若 \(f(x)\in\mathbb{Z}[x]\) 是首一整系数多项式（首项系数为 1），且 \(f\) 在 \(\mathbb{Q}[x]\) 中有有理根 \(p/q\)（\(\gcd(p,q)=1\)），则 \(q\mid1\)，即有理根必为整数。此结论称为什么定理？
下一集预告 后续课程将继续利用高斯引理和整系数多项式的性质，发展出艾森斯坦（Eisenstein）判别法，给出判定整系数多项式在 \(\mathbb{Q}\) 上不可约的有力工具。