部分内容来自 OI Wiki 数论基础
1. 整除
1.1 整数的除法
整除
设 ,。如果 ,使得 ,那么就说 可被 整除,记作 ; 不被 整除记作 。
对于整除,我们有如下性质:
- 设 ,那么 。
- 设 ,那么 。
- 设 ,那么 。
带余除法
设 为两个给定的整数,,则存在唯一的一对整数 和 ,满足 。然后有 。
最大公约数与最小公倍数
- 公约数的定义:d 为 a 和 b 的公约数,即 且 。
- 最大公约数:所有公约数里面最大的一个,记作 或 ,显然 。
- 公倍数的定义:m 为 a,b 的公倍数,即 。
- 最小公倍数:所有公倍数里面,最小的一个数,记作 或 ,显然 。
有如下常见的定理:
- 。
- 对任意整数 x,有 。
- 公倍数一定是最小公倍数的倍数,公约数一定是最大公约数的约数:这个可由带余除法证明或使用算数基本定理证明。
- 设 m 为正整数,则有 ,证明同样可用算数基本定理。
同时有如下的性质:
- ,证明同样用算数基本定理
- ,则 ,证明同上
- ,则 ,证明同上
- ,证明同上
对于 3 个参数的最大公约数和最小公倍数,有: 证明同样用算数基本定理
裴蜀定理
设 是不全为零的整数。那么,对于任意整数 ,都有 成立;而且,存在整数 ,使得 成立。
即: 由 的所有倍数构成,也因此 成立当且仅当 互素。
1.2 算数基本定理
设正整数 ,那么必有表示:
其中 是素数。并且在不计次序的意义下,该表示唯一。
1.3 素数
- 素数有无穷多个。反证:设只有 ,则存在 既不是合数也不在前面。
- 素数定理:,其中 为小于等于 x 的素数的个数。证明见《什么是数学》P39、503。
具有特殊形式的几种素数:
- :费马数,前五个为 0, 3, 5, 17, 257, 65537。 不是素数。
- :Mersenne 素数
- 除以 4 余 3 的素数被称为 Blum 素数,两个 Blum 素数的乘积为 Blum 整数。
1.4 欧几里得算法
对于 ,显然有 (定理详见),由此我们便得到欧几里得算法:。(不妨设 ,且 a 不整除 b,因为最大公约数要求 中的 均不为 0。)
拓展欧几里得算法:用于获得 的一组可行解。
对于求 ,我们有:
\begin{eqnarray}a_0 & = & q_0a_1+a_2 \\a_1 & = & q_1a_2+a_3 \\a_2 & = & q_2a_3+a_4 \\a_3 & = & q_3a_4\end{eqnarray}
这样就有 。
同时我们也发现倒数第二个式子中的 可由 线性表出。同理递推,最后 可由 线性表出,这样就求得了:。
递归算法设计
我们有: \begin{eqnarray}ax_1+by_1 & = & \gcd(a,b) \\ bx_2+(a\bmod b)y_2 & = & \gcd(b,a\bmod b)\end{eqnarray}
由欧几里得定理可知:
所以
又因为
所以
因为 ,所以
算法只需返回当前 下的 ,显然递归的最底层为 ,因此不妨取最终 ,直接返回,然后倒数第二层使用当前的 a,b 计算 。这样写出递归,以下是对应的代码实现:
def Exgcd(a, b):
if b == 0:
return a, 1, 0
d, x, y = Exgcd(b, a % b)
return d, y, x - (a // b) * y迭代算法设计
首先,当 ,,, 时,显然有:
已知 ,下面令 。参考迭代法求 gcd,每一轮的迭代过程可以表示为:
将迭代过程中的 替换为 , 替换为 ,然后计算 ,并把其中的 用上述式子代替,可以得到:
其中 ,我们最终可以迭代得到 ,此时我们也计算出了对应的 。
因为迭代的方法避免了递归,所以代码运行速度将比递归代码快一点。
int gcd(int a, int b, int& x, int& y) {
x = 1, y = 0;
int x1 = 0, y1 = 1, a1 = a, b1 = b;
while (b1) {
int q = a1 / b1;
// x <- x1, y <- y1, x1 <- x-qx1, y1 <- y-qy1
// a <- b, b <- a-qb
// 如果不怎么做的话注意使用中间变量,不要搞错
// 注意到 x <- x1, y <- y1, a <- b
// 那剩下 x1,y1,b 的计算算式结果用中间变量存储,然后先更改 x,y,a
// 再把中间变量落实到 x1,y1,b 上即可
tie(x, x1) = make_tuple(x1, x - q * x1);
tie(y, y1) = make_tuple(y1, y - q * y1);
tie(a1, b1) = make_tuple(b1, a1 - q * b1);
}
return a1; // 最终 a1 就是 gcd,且 x、y 也正确更新了
}2. 同余
2.1 同余的基本概念和性质
基本概念和性质
书上最开始是由集合及映射的角度定义同余的,这里摘录 OI Wiki 上的等价定义如下:
[!定义] 设整数 。若 ,称 为 模数(模), 同余于 模 , 是 对模 的 剩余。记作 。
否则, 不同余于 模 , 不是 对模 的剩余。记作 。
这样的等式,称为模 的同余式,简称 同余式。
-
同余是等价关系,即同余具有
- 自反性:。
- 对称性:若 ,则 。
- 传递性:若 ,则 。
-
线性运算:若 则有:
- 。
- 。
- 但是在同余式 中,如果我们想消去 ,必须满足 (即 与模数 互质)。
- 设 和 是两个整系数多项式,,且 ,则对任意整数 均有 。进而若 ,则 。
-
若 ,有 。
-
若 ,则当 成立时,有 (注意:反过来并不一定成立)。
-
若 ,则 。
结合最大公约数和最小公倍数的概念,我们还有性质:
设,有:
- ,证明:,然后用最大公约数的性质。
若 ,则 。
模逆元
然后是新概念,模逆元:
[!定义] 对于非零整数 ,如果存在 使得 ,就称 是 在模 意义下的 逆元(inverse)。
这相当于说, 是线性同余方程 的解。根据裴蜀定理,当且仅当 ,即 互素时,逆元 存在,且在模 的意义下是唯一的。
然后模逆元可以用来解线性同余方程(linear congruence equation):。
首先,考虑 和 互素的情形,即 的情形。此时,可以计算 的 逆元 ,并将方程两边同乘以 ,这就得到方程的唯一解:
紧接着,考虑 和 不互素的情形,即 的情形。此时,原方程不一定有解。例如, 就没有解。因此,需要考虑两种情形:
-
当 不能整除 时,方程无解。对于任意的 ,方程左侧 都是 的倍数,但是方程右侧 不是 的倍数。因此,它们不可能相差 的倍数,因为 的倍数也一定是 的倍数。因此,方程无解。
-
当 可以整除 时,可以将方程的参数 都同除以 ,得到一个新的方程:
其中,,也就是说, 和 互素。这种情形已经在前文解决,所以,可以通过求解逆元得到方程的一个解 .
显然, 也是原方程的一个解。但这并非原方程唯一的解。由于转化后的方程的全体解为:
这些解中落在区间 的那些,就是原方程在区间 中的全部解:
总结这两种情形,线性同余方程的 解的数量 等于 或 。
同余类
[!定义] 设 ,对于整数 ,记
此时每个集合 叫做模 的一个同余类,如果 ,这样的同余类称作模 的缩同余类。
显然有:
- 模 n 至多有 n 个两两不同的同余类,它们的并集就是 。
- 缩同余类中的每个数都与 n 互素。
- 缩同余类的个数即为 0~n+1 中和 n 互素的数的个数,我们把这个数表示为 ,称作欧拉函数。
欧拉函数有性质:。
证明:
对于 k 取 1~n,我们设 表示 的 k 的取值的个数,显然由于 k 的取值总共有 n 个,因此 。
对于 ,即求 中 k 的取值的个数,因为 d 均为 k、n 因子,因此有 ,相当于互素,求互素个数就是 。
由此我们发现 ,因此 ,显然此处 只能取 的因子,因此 ,又因为对于 d 为 n 的因子,遍历 相当于遍历 ,因此 。
完全剩余系与既约剩余系(缩系)
为方便讨论,对集合 和元素 ,我们引入如下记号:
- ;
- ;
- ;
- 。
我们把模 的同余类全体构成的集合记为 ,即
不难发现:
- 对任意整数 ,;
- 对任意与 互质的整数 ,。
由抽屉原理可知:
- 任取 个整数,必有两个整数模 同余。
- 存在 个两两模 不同余的整数。
由此我们给出完全剩余系和既约剩余系的定义:
[!定义] 个整数 彼此模 不同余,称为模 的完全剩余系(简称完系), 个整数 彼此模 不同余且均与 互素,称为模 的既约剩余系(简称缩系)。
注意概念差异的辨析:
- 模 m 的同余类是一个由无数个与某数在模 m 下同余的整数构成的集合。
- 是包含模 m 所有同余类的集合。
- 完全剩余系是从模 m 的每个同余类中各取一个整数,组成的 m 个整数的集合
我们又把模 的既约同余类全体构成的集合记为 ,即
在这里,注意有:
- 对于任意的整数 和与 互质的整数 ,。
- 但是 不一定为 。这一点与 不同。
上述关于 的性质对于相应的完全剩余系或既约剩余系依然成立。
Wilson 定理
[!定义] 若 为素数,则
证明: 时测试成立
其他情况下,因为 为素数,所以对于 ,显然其与 互素,因此存在模逆元。
要注意 和 可能相等:,当且仅当 ,即:
因此只有 的情况下模逆元为其自身,又因为 为素数,为奇数,所以 是若干对模逆元(这一共有偶数个数字),这若干对模逆元的乘积为 1。所以 。
2.2 Euler 定理和 Fermat 小定理及其应用
Euler 函数
积性函数
[!定义] 在数论中,若函数 满足 ,且 对任意互质的 都成立,则 为 积性函数。
在数论中,若函数 满足 且 对任意的 都成立,则 为 完全积性函数。
下面我们来证明欧拉函数为积性函数。
对正整数 ,我们有如下定理:
- 若 ,令 分别为模 的 完全 剩余系,则对任意与 互质的 均有:
- 若 ,令 分别为模 的 既约 剩余系,则: 为模 的 既约 剩余系。
证明:见剩余系的符合,懒得看了
由上述定理,当 时,模 的既约剩余系可以表示为:
这个公式实际上建立了一个从笛卡尔积 到 的映射,而欧拉函数 等于既约剩余系中元素的个数。我们可以确定这个映射是一个双射(一一对应)。
在集合 中:
- 变量 有 种取值。
- 变量 有 种取值。
- 因此,组合出的形式共有 个。
下面证明唯一性(不重复)
假设存在两组不同的系数 和 使得: 由于 ,这个等式在模 下也成立: 因为已知 ,根据同余性质,我们可以消去 ,得到: 同理可得 。
这说明不同的 组合必然产生模 不同余的元素。
因此我们有 与 互素时 。
下一步推导
我们已经证明了欧拉函数 是积性函数,下一步要推导:
- 求出当 是素数的幂(即 )时的表达式。
- 利用积性性质将结论推广到任意正整数。
计算 ,设 为素数, 为正整数。 我们要找在 到 之间,有多少个数与 互质:
- 总数:共有 个数。
- 不互质的情况:因为 是唯一的质因子,一个数与 不互质,当且仅当这个数是 的倍数。
- 找出 的倍数:在 中, 的倍数有:显然,这类数字共有 个。
因此用总数减去不互质的个数,。
根据算数基本定理,,因此: 进一步化简: 重排:
Euler 定理
若 是正整数,且 与 互质(即 ),则:
其中 是欧拉函数,表示小于等于 且与 互质的正整数的个数。
证明欧拉定理最常用的方法是利用既约剩余系的性质,证明如下:
-
构造既约剩余系:设集合 是模 的一个既约剩余系。这意味着集合中的每一个元素都与 互质,且它们在模 下两两不同余。
-
构造辅助集合:我们将 中的每一个元素都乘以 ,得到一个新的集合 :
-
证明 也是模 的既约剩余系
要证明这一点,需要满足两个条件:
- 元素仍与 互质:因为 且 ,根据数论性质,它们的乘积 。
- 元素在模 下仍两两不同:假设存在 。由于 ,我们可以根据同余式的消去律,在等式两边同时除以 ,得到 。这与原集合 中元素互不相同矛盾。
因此, 只是 中元素在模 意义下的一个重新排列。
- 建立等式
既然 和 在模 意义下包含相同的元素,那么它们的乘积也应当在模 下相等:
提取左边的 ,总共有 个:
- 消去公共项
令 。因为每个 都与 互质,所以它们的乘积 也一定与 互质(即 )。
根据消去律,我们可以从等式两边同时消去 :
证毕。
Fermat 小定理
[!定义] 设 是素数。对于任意整数 且 ,都成立 .
显然,Fermat 小定理可以理解为 Euler 定理的特殊情况,但同时 Fermat 小定理也有不依赖 Euler 定理的证明方法,且能用于推出 Euler 定理,相关证明见教材及《什么是数学》。
快速幂及素性检验
书上写的是从高位到低位的快速幂,下面是一个例子
假设我们要算 。 的二进制是 ,对应的系数是 。
算法从最高位 开始处理。每一次循环,它都先做一个平方(相当于指数翻倍),如果有 ,再补一个乘法(指数加 1)。这样子我们想操作一次指数就只需要对结果进行一次操作。
我们来手动模拟一遍:
| 步骤 | 处理二进制位 | 操作逻辑 | 计算过程 | 此时的 y 等于 |
|---|---|---|---|---|
| 初始 | - | - | ||
| 平方 乘 | ||||
| 平方 乘 | ||||
| 平方 不乘 | ||||
| 平方 乘 |
然后快速幂可以用于素性检验,具体的看书。
2.3 孙子定理
中国剩余定理 (Chinese Remainder Theorem, CRT) 可求解如下形式的一元线性同余方程组(其中 两两互质):
过程
- 计算所有模数的积 ;
- 对于第 个方程:
- 计算 ;
- 计算 在模 意义下的 逆元 ;
- 计算 (不要对 取模)。
- 方程组在模 意义下的唯一解为:。
2.4 同余方程的一般理论
两个变量下的情形
- 有整数解的充分必要条件是 。
- , 为方程 的一个整数解(显然这个方程对于 n 取任意整数都有解),则:为该方程的通解,其中 。
由上述两个定理,我们可以推出如下定理:
同余方程 有解当且仅当 ,而且在模 的意义下解的数量为 个。用这种方法要求我们先将模数变小: 然后求得同余方程的一个解 ,原方程的通解为: 其中 。
另外,这种同余方程也可以用模逆元章节学到的方法进行求解。
多个变量下的情形
上课没讲,书上有,自己看,这里写一点基本的。
元一次同余方程 有解的充分必要条件是 ,若方程有解,则其在模 下的解的数量为 。
解的例子见 P49
3. 二次剩余
3.1 Legendre 符号(1): Euler 判别法
二次剩余可以认为是在讨论求模意义下 开平方 运算的可行性。
[!定义] 令整数 , 满足 ,若存在整数 使得则称 为模 的二次剩余,否则称 为模 的二次非剩余。后文可能在模 显然的情况下简写成二次(非)剩余。 / 设 为奇素数,在模 的一个缩系中,恰有 个模 的二次剩余, 个模 的二次非剩余;在模 的意义下, 即为全部模 的二次剩余。
Legendre 符号
[!定义] 对 奇素数 和整数 ,定义 Legendre 符号如下:
即对于 的 ,
- 是模 的二次剩余当且仅当
- 是模 的二次非剩余当且仅当
Euler 判别法
对奇素数 和满足 的整数 ,有
即对上述的 和 ,
- 是 的二次剩余当且仅当 .
- 是 的二次非剩余当且仅当 .
Legendre 符号具有完全积性:对任意整数 ,
我们有推论:对整数 , 有
由 Legendre 符号的完全积性我们可以得到:两个二次剩余之积为二次剩余,两个二次非剩余之积为二次剩余,而一个二次剩余和一个二次非剩余之积为二次非剩余。
3.1 Legendre 符号(2): 二次互反律
对任意整数 ,
进一步,我们有推论:
这个规律就是说 为 1 对应的 Legendre 符号就取 1,否则取 -1。(模 4 判别法)
然后我们要计算 ,一种方法是使用 Gauss 引理:
[!定理] 设 是奇素数,,对整数 ,令 ,设 ,,则
然后我们对奇素数 ,有
这个规律就是说 为 1 或 7 对应的 Legendre 符号就取 1,否则取 -1。(模 8 判别法)
然后就能证出二次互反律,怎么证你别管,但是我们有二次互反律:
[!定律] 设 , 是两个不同的奇素数,则
根据二次互反律我们有:
- 只有当 和 同时是 型(即除以 4 余 3)时,右上角的指数才是两个奇数相乘,结果是奇数,整个右边等于 。
- 其他情况下(只要 中有一个除以 4 余 1),右边永远是 。
因此有:两个素数互相“是不是对方的平方剩余”,它们的答案通常是一样的;只有当它们都是 型时,答案才正好相反。
3.3 Jacobi 符号
定义与用途
雅可比符号是勒让德符号的推广。勒让德符号 要求 必须是奇素数,而雅可比符号 中的 可以是任何正奇整数(可以是合数),其标准定义为多个勒让德符号的乘积。
换句话说,勒让德符号只对“分子”有积性,而雅可比符号对“分子”和“分母”都具有积性。
有了模数积性后,计算会变得极其简单。我们可以对比一下:
如果只用勒让德符号:
计算 时,你要用二次互反律翻转成 。
计算 。
这步很快,因为 113 是素数。但如果你遇到 ,你必须先把它拆成 ,才能继续下一步。
使用雅可比符号:
你不需要关心分子或分母是否为素数(只要分母是奇数)。
你可以直接翻转、取模、再翻转,像处理普通分数一样。例如:
差别
- 判断二次剩余的能力
- 勒让德符号 : 一定意味着 是模 的二次剩余(即方程 有解)。
- 雅可比符号 : 不一定意味着 是模 的二次剩余。
- 注意: 如果 ,则 一定不是模 的二次剩余。
- 此前定理的应用能力:
- 的性质(模 4):均成立
- 的性质(模 8):均成立
- Euler 判别法:仅对勒让德符号成立
- 二次互反律:均成立,只有当 和 都是 型(即模 4 余 3)时,翻转才变号;否则符号不变。
计算
我们一般按照上面的例子一样,翻转(利用二次互反律)、取模、再翻转不断缩小来进行计算,当然,拆分成勒让德符号计算也是合法的。
n 为 Blum 数(3t+4)时的特殊性质
由于 ,由模 4 判别法可得,,由这个可以推出另外两个性质:
- 若 ,则要么 为模 的二次剩余,要么 为模 的二次剩余。
- 设 为 Blum 数, 为模 的二次剩余,若 为 模 的两个不同的平方根,则 。
且上述第二个定理中的 是可求的,由如下定理:
- 设 为 Blum 素数, 为模 的二次剩余,则 模 的两个平方根为 。
3.4 二次同余方程
研究方程:
- 前提条件: 为奇素数,, 为整数系数。
- 简化假设:假设 。若 ,方程则退化为一次同余方程。
情形 I:(模 的情况)
当模数为素数 且 时,通过配方法将方程转化。
转化步骤:
- 方程两边同乘 (因为 是奇素数且 ,故 与 互素):
- 配方整理得:
- 令 ,,原方程转化为: ,其中 为定值,而 受 影响的一个变量
对于 ,由二次剩余的学习,我们可知其解的数量为:
如果 是方程 的一个解,则原方程的解为:
注: 表示 模 的逆元。
题目示例:
求出: 的所有解
解方程 :
- 配方得 。
- 解得 或 。
- 最终解为: 和 。
注意:考试的时候能配方就配方,不需要上述的那种程序化方法,但是可以计算下 确定是否有解。
情形 II:(只讨论 时的情形)
针对方程:,其中 。
- 有解条件: 与模 时一致。只要勒让德符号 ,方程就有解。
- 解的个数: 只要有解,就恰好有两个解。
- 解法核心: 这是一个“平滑过渡”的过程。如果你已知 的解,可以通过特定的提升方法(类似牛顿迭代的思想)一步步算到模 的解。
模为 2 的幂次 的情形 ()
之前的讨论都要求 为奇素数,但在 时情况比较特殊:
针对方程:,其中 为奇数:
| 模数 | 有解的条件 | 解的个数 | 备注 |
|---|---|---|---|
| (即 是奇数) | 1 个解 | 必为 | |
| 2 个解 | 解为 | ||
| 4 个解 | 重要考点! 只要模 8 余 1 就有 4 个解 |
一般合数模 的情形
针对方程:
- 基本思路: 利用中国剩余定理 (CRT)。
- 步骤:
- 将 分解质因数:
- 分别求出在每个分量 下的解。
- 用 CRT 把这些局部解组合起来。
- 解的个数: 如果每个分量方程分别有 个解,那么总解数就是它们的乘积:
4. 原根和指数
4.1 原根
阶
首先我们引入阶的定义:
本节中,总是假设模数 和底数 互素,即 ,也记作 .
对于 ,幂次 呈现一种循环结构.这个循环节的最小长度,就是 模 的阶。阶就定义为幂 第一次回到起点 时的指数:
[!定义] 对于 且 ,满足同余式 的最小正整数 称作 模 的阶(the order of modulo ),记作 或 .
阶在运算时有如下性质:
- 若 ,则
- 若 ,则
- 设 是 模 的逆,则 。
显然阶有如下两个性质:
- 对于 且 ,幂次 模 两两不同余.
- 对于 且 ,同余关系 成立,当且仅当 .
又由第二条规律及欧拉定理 ,我们有:。
因此:幂次 只遍历了模 m 的缩系的一个子集,遍历到 次时正好将这个子集遍历了若干次(这个过程中不会遍历到缩系中的其他部分),此时有 。
然后我们自然就可以引入原根了:
原根
原根是一些特殊元素——它的阶就等于所有模 𝑚 既约剩余系的个数.
[!定义] 对于 ,如果存在 且 使得 ,就称 为 模 的原根(primitive root modulo ).其中, 是欧拉函数。
若 ,则 这 个数模 两两不同余。特别地,当 是模 的原根时,这 个数是模 的一个缩系。
原根的存在性
缩系这样表示在解决某些数论问题很方便,但是不是每个整数都有原根,我们下面给出是否有原根的判定方法:
只有以下四种形式的整数 才有原根:
- (其原根分别为不存在,1,3)
- ( 为奇素数,)
- ( 为奇素数,)
判定 a 是否是模 m 的原根
对于原根的计算,由于 ,即 模 m 的阶必须是 的因子,然后我们可以对这些因子进行判定:只有当 的素因子均不是 的阶,即对于任意素因子 时才有阶为 ,此时为原根。
注意,实际这里只需要对素因子进行判定,因为例:如果 ,那么 也一定 ,显然素因子是阶时,合数因子是数因子的倍数,此时不能称之为阶,但也与 1 同余。
举例:判定 3 是不是模 7 的原根
第一步:计算
,因为 7 是质数,所以 。
第二步:找到 的所有质因子
,它的质因子有 2 和 3。
第三步:进行“排除法”判定
我们要检查 的“阶”是否可能比 6 小。如果阶比 6 小,它一定是 或者 的约数。
- 检查质因子 2:计算
- ,所以
- 结论:不等于 1,通过。
- 检查质因子 3:计算
- ,所以
- 结论:不等于 1,通过。
最后结果:
既然 且 ,那么 在模 7 下的阶不可能是 2 或 3(以及它们的约数)。那么它的阶只能是最大的那个可能值,即 6。
所以,3 是模 7 的原根。
计算模 m 的原根
我们从正整数 进行试验(利用上述素因子判定法),判断是否为模 m 的原根,在找到一个之后,我们有结论:模 的全部原根就是集合 。
4.2 指数
上节内容告诉我们知道,当模 有原根 时, 为模 的一个缩系,从而对于每个与 互素的整数 ,必定存在唯一的整数 (),使得 这样一来,当模 有原根 时,通过原根 ,模 的缩系与模 的完系之间就建立了一一对应。由此我们引出指数的定义
[!定义] 整数 叫做 对模 以原根 为底的指数,如果 并且 ,其中 ,。记作 ,在不混淆的情况下,可简记为 .
指数有如下的计算性质(设 为模 的原根,):
- 对每个正整数 有
这表明其具有和对数函数类似的性质。
在给定 是可以利用快速幂算法计算出 ,但是在给定 时,要计算出对应指数 则非常困难,这就是所谓的离散对数问题。
换底公式与阶
换底公式:如果你有两个不同的原根 和 :
- 考点:已知一个底数的指数表,让你求另一个底数下的指数。
指数与阶的关系:元素 的阶 可以通过指数快速求得:
- 考点:给出指数表,让你求某个数的阶是多少。
5. 群
这节及后面内容均为 Gemini 直接利用课本内容生成,没有润色,可能写的不太好,需要注意。自己添加的部分内容用高亮表示。
啊啊啊啊啊宝宝你是一个群、半群、含幺半群、阿贝尔群、循环群、有限群、正规子群、商群、环、交换环、整环、除环、域、理想、主理想、主理想环、商环、素理想、极大理想、多项式环、域、有限域、素域、分裂域
5.1 群的基本概念
核心定义
设 是一个非空集合,如果在 上定义了一个二元运算 “”(统称为“乘法”),且满足以下 4 个金标准,则称 为一个群:
| 特性 | 数学表达 | 通俗理解 |
|---|---|---|
| (1) 封闭性 | 两个成员运算后,结果还在圈子里,没跑出去。 | |
| (2) 结合律 | 先算前两个还是后两个,结果一样(括号不影响结果)。 | |
| (3) 单位元 | 存在一个“透明人” ,任何数和它运算都不变。 | |
| (4) 逆元 | 每个成员都有一个“影子”,两者抵消后回到单位元。 |
一些相关的名词:
- 阿贝尔群(Abel 群): 如果群还满足 交换律(即 ),它就升级为“阿贝尔群”或“交换群”。这是加密算法中最常用的一类群。
- 符号习惯:
- 乘法表示: 单位元记作 或 ,逆元记作 。
- 加法表示: 若运算定义为“+”,则单位元记作 ,逆元记作 (负元)。
- 幂运算: ( 个相乘);在加法群中写作 。
- 半群: 只满足 (1) 封闭性、(2) 结合律。
- 含幺半群: 满足 (1) 封闭性、(2) 结合律 + (3) 单位元(多了一个“幺”即单位元)。
- 群: 满足全部四条。
群的等价定义于 P100 提到:
- 左/右准则: 只要证明有“左单位元”和“左逆元”,它就是群。
- 方程准则: 如果集合满足封闭性和结合律,且对于所有的 、,方程 和 在集合内都有解,那么它也是一个群。
群的符号滥用现象
在严谨的数学定义里,群是一个二元组 ,其中 是集合, 是运算。但数学家们为了说话省力,经常使用一种叫“滥用符号”(Abuse of notation)的习惯。
- 逻辑上: 群 = 集合 + 运算规则。
- 习惯上: 当运算规则已经明确(比如题目说“群 ”,默认运算就是 里的那个运算)时,我们就直接用集合的名字 来代表整个群。
- 类比: 就像我们说“篮球队”时,虽然篮球队由“球员 + 战术”组成,但我们通常直接用球员名单(集合)来代指这支球队。在证明子群时,我们默认子群继承了大群 的运算,所以只需关注这个“子集”是否也玩得转这套规则。
群的运算与阶
群的运算不一定是普通的乘法或加法,但为了方便,通常借用这两者的符号。
| 概念 | 乘法群 (Multiplicative Group) | 加法群 (Additive Group) |
|---|---|---|
| 单位元 | 记作 或 | 记作 |
| 逆元 | ||
| 次运算 | (个相乘) | (个相加) |
| 指数律 | ||
| 指数律 2 |
一些常见特殊群的记号如下,看见了来查:
| 记号 | 名称 | 含义描述 |
|---|---|---|
| 模 加法群 | 在模 加法下。 | |
| 或 | 模 乘法群 | 与 互质的数在模 乘法下。 |
| 对称群 | 个元的全部置换构成的群。 | |
| 交错群 | 个元的全部偶置换构成的群。 | |
| 二面体群 | 正 边形的对称变换群。 | |
| 一般线性群 | 域上所有 可逆矩阵。 | |
| 特殊线性群 | 行列式为 的可逆矩阵。 |
群的阶 (Order)
在网安数学中,“阶”这个词有两种含义,一定要分清楚:
- 群的阶: 指群 中元素的个数,记作 。
- 有限群:元素个数有限。
- 无限群:元素个数无限。
- 元素的阶: 设 ,使得 成立的最小正整数 称为元素 的阶。
- 通俗理解:元素 自乘多少次能回到单位元(“打回原形”)。
- 如果不存在这样的 ,则称 是无限阶的。
元素阶的整除性质的一个引理: 若 ,则 当且仅当 。
下述是利用这个引理的一个例题。
[!题目] 设 为群,,且 ,。证明:。
解答:
记 。
证明 :
因为 (由 可知),根据阶的性质,必有 。
证明 :
由于 ,即 。
已知 ,由阶的整除性可知 。
约去 得 。
结论:
由 且 ,且 均为正整数,得 。即 。
子群 (Subgroup) 的判定
如果 的一个非空子集 也是一个群,则称 为 的子群。
快速判定定理(考试常用):
只需要证明对任意 ,有 (乘法形式)或 (加法形式)。
原因:如果对于任意 ,都有 ,那么:
- 找单位元: 取 ,则 。(单位元到手)
- 找逆元: 已知 ,取 ,则 。(逆元到手)
- 找封闭性: 已知 ,那么对于 和 ,根据公式有 。(封闭性到手)
- 结合律:H 的结合性继承自 G。
5.2 循环群
1. 什么是循环群?
如果一个群 中的每一个元素都可以表示成某一个固定元素 的整数次幂(或倍数),那么 就叫循环群,元素 称为群的生成元(Generator)。
2. 循环群的分类
考试常考两类循环群:
- 无限循环群: 一定与整数加法群 同构(结构完全一样)。
- 阶有限循环群: 一定与模 加法群 同构。
3. 生成元与阶(必考计算点)
在一个 阶循环群 中:
- 如何判断生成元?
- 前提: 先确定群的阶 ,并找到一个已知的生成元 。
- 表达: 将群中任何元素 写成 的形式。
- 判定: 是生成元 。
- 生成元的个数: 等于 (欧拉函数值)。
- 元素的阶: 元素 的阶计算公式为:
[!练习] 快速练习: 在 阶群 中,生成元有哪些?
答:与 互素的数有 。所以生成元有 个,分别是 。
4. 子群的性质(定理 5.2.1)
这是判断题和填空题的常客:
- 子群必循环: 循环群的任何子群也一定是循环群。
- 子群的阶: 有限循环群的子群的阶一定是原群阶 的因子。
- 子群的唯一性: 对于 阶循环群的每一个正因子 ,有且仅有一个 阶子群。
- 拉格朗日定理:对于有限群 中的任意元素 ,有 (单位元)。
5. 群同构(Isomorphism)
定义 5.2.4 是理解群结构的关键:
- 定义: 如果两个群 和 之间存在一个一一映射 ,满足 ,则称它们同构,记作 。
- 直白理解: 同构意味着两个群除了元素的“名字”不同,其运算规则和内部结构完全一模一样。
子群及生成元
题目:求 的所有子群及其生成元
第一步:分析群的结构(确定环境)
- 确定元素: 。
- 确定群阶: 因为 是素数,群阶 。
- 确定性质: 如果一个模 的乘法群是循环群,我们就说模 有原根,这要求 m 为
第二步:寻找一个“原根”作为基准(找到首领)
我们需要找到一个阶为 的元素 。
- 试算 (也可参考判定 a 是否是模 m 的原根):
- ,其因子为 2 和 5。
- 因此 2 是模 10 的原根。
- 基准生成元: 。
第三步:确定所有子群的阶(根据拉格朗日定理)
循环群的子群与群阶 的因子一一对应。
的正因子有:。这意味着共有 个子群。
第四步:推导各子群及其生成元(核心步骤)
利用公式:若 是 阶群生成元,则阶为 的子群由 生成。
- 阶 的子群
- 代表生成元:
- 子群:
- 所有生成元: (个)
- 阶 的子群
- 代表生成元:
- 子群:
- 所有生成元: (个)
- 阶 的子群
- 代表生成元:
- 子群元素:
- 所有生成元: 从 出发,找 满足 : 。 故生成元为: (个)
- 阶 的子群(原群本身)
- 代表生成元:
- 子群元素:
- 所有生成元(原根): 从 出发,找 满足 : 。 故生成元为: (个)
总结笔记:反推此类题的“万能公式”
若要找 的所有子群:
- 列因子: 找出 的所有因子 。
- 找原根: 找一个 使得 ( 是 的所有质因子)。
- 定代表: 每个阶为 的子群,其代表生成元是 。
- 求所有: 该子群的所有生成元集合为 。
检查技巧:
所有子群生成元的个数之和应该等于群阶。
。
如果你的生成元总数加起来不是 ,说明有遗漏或重复。
解: 的所有子群及其生成元
已知 是一个 12 阶循环群。
根据循环群的性质, 的每个子群也是循环群,且子群的阶必定是 12 的正因子。
12 的所有正因子为:1, 2, 3, 4, 6, 12。因此, 共有 6 个子群。
下表列出各子群的阶、元素集合及所有可能的生成元:
| 子群的阶 (d) | 子群的标准表示法 ⟨k⟩ | 子群的元素集合 | 所有生成元 |
|---|---|---|---|
| 1 | |||
| 2 | |||
| 3 | |||
| 4 | |||
| 6 | |||
| 12 |
考点要点总结(帮助理解):
- 子群的存在性: 对于 阶循环群的每一个正因子 ,恰好存在一个 阶子群。
- 如何找到子群: 若 是 的因子,则 生成的子群 阶数为 。
- 如何找到所有生成元: 对于子群 ,其阶数为 ,则元素 是 的生成元的充分必要条件是 。
- 例如:6 阶子群 ,其生成元为 和 (因为 1, 5 与 6 互质)。
5.3 陪集和 Lagrange 定理
1. 陪集 (Coset) 的定义
设 是群 的子群,对于 中的任意元素 :
- 左陪集 (Left Coset): 。
- 右陪集 (Right Coset): 。
- 性质: * 称为该陪集的陪集代表元。
- 当 是 Abel 群(交换群)时,左陪集等于右陪集,。
2. 陪集的重要性质 (定理 5.3.1)
- 等价性: 两个左陪集 的充要条件是 。
- 不相交性: 两个左陪集要么完全相等,要么交集为空()。
- 分类功能: 陪集构成了群 的一种分类,每一个元素属于且仅属于一个陪集。
3. Lagrange(拉格朗日)定理 (定理 5.3.2)
这是群论中最著名的定理之一,揭示了子群与大群规模之间的整除关系:
- 指数 (Index): 子群 在 中不同陪集的个数称为 在 中的指数,记为 。
- 定理内容: 若 是有限群, 是其子群,则: 即:群的阶 = 子群的阶 × 子群的指数。
4. 三大重要推论
基于 Lagrange 定理,可以得出以下直接结论:
- 推论 1: 子群的阶 必然整除大群的阶 。
- 推论 2: 群中任意元素 的阶 必然整除群的阶 。
- 推论 3: 对于有限群 中的任意元素 ,有 (单位元)。
5. 补充重要定理 (定理 5.3.3)
- 素数阶群必循环: 如果一个群的阶 是个素数,那么这个群一定是循环群,且除了单位元外,群里的任何元素都是生成元。
- 原因: 元素的阶必须整除素数 ,所以阶只能是 或 。
[!题目] 题目: 在 8 阶群 中,已知子群 ,求它的陪集。
- 子群的阶: 。
- 计算指数: 。说明一共有 2 个不同的陪集。
- 寻找陪集:
- 第一个陪集就是 本身:。
- 选一个不在 中的元素(如 1):。
- 这两个陪集正好填满了整个 。
5.4 正规子群和商群
这部分内容是群论中比较抽象的进阶部分,但核心逻辑其实是:利用一种特殊的子群(正规子群)把大群“切块”(商群),并通过一种保持结构的映射(同态)来研究不同群之间的关系。
1. 正规子群 (Normal Subgroup)
并不是所有的子群都能用来做“除法”,只有正规子群可以。
- 定义: 若子群 满足对任意 ,左陪集等于右陪集(即 ),则称 为 的正规子群,记作 。
- 等价判定: 对任意 且 ,有 。
- 两个结论:
- 单位元子群 和 本身永远是正规子群。
- Abel 群(交换群)的所有子群都是正规子群。
2. 商群 (Quotient Group)
当你用正规子群 对群 进行陪集分解后,这些陪集本身也能构成一个群。
- 记号: 。
- 元素: 所有的陪集 。
- 运算: 陪集与陪集的乘法定义为 。
- 直观理解: 商群相当于把 里的所有元素都“看作单位元”,从而简化了原群的结构。
3. 群同态 (Group Homomorphism)
研究两个群 到 之间的某种“连接”。
- 定义: 若映射 满足 ,则称 为同态。
- 核 (Kernel): 。即 中所有映射到对方单位元的元素集合。
- 像 (Image): 。
- 重要性质:
- 核 永远是 的正规子群。
- 是单射(单同态)的充要条件是 。
4. 群同态基本定理
这是这几页图片中最核心的结论(定理 5.4.4):
- 内容: 设 是一个满同态,则:
- 直白解释: 一个群 的同态像,本质上就是 对该同态核做的商群。
- 意义: 我们可以通过研究商群来研究所有可能的同态映射。
6. 环和域
6.1 环和域的基本概念
环的基础定义
环是定义了加法和乘法两种运算的集合。
1. 核心定义
一个集合 要被称为“环”,必须满足:
- 加法是阿贝尔群(交换群): 满足结合律、交换律、有单位元(零元 )、有逆元(负元素 )。
- 乘法是半群: 满足封闭律、结合律即可(不一定有交换律,也不一定有单位元 )。
- 分配律: 乘法对加法满足 。
2. 特殊的环(常考概念)
- 交换环: 乘法满足交换律 ()。
- 含单位元的环: 存在乘法单位元 ,使得 。
- 整环(Integral Domain): 这是一个极其重要的概念。它是指:含单位元的交换环,且没有零因子。
- 零因子: 若 但 ,则称 为零因子。整环里不允许这种情况发生(例如整数集 是整环)。
除环与域(Field)
域是结构最严谨的环,你可以把它类比为实数集 。
- 除环(Division Ring): 每一个非零元素都有乘法逆元(即可以做除法)的环。
- 域(Field): 交换的除环。
- 定义: 加法成阿贝尔群,非零元乘法也成阿贝尔群,且满足分配律。
- 例子: 有理数域 、实数域 、复数域 。
考试必考结论:包含关系
域 除环 整环 含单位元的交换环 环
重要定理 6.1.1: 每一个有限整环必定是一个域。
环的特征(Characteristic)
这是网络安全(尤其是对称加密、AES算法等)中非常关键的概念。
- 定义: 在环 中,如果存在最小的正整数 使得 (即 个单位元相加等于零元),则称该环的特征为 ,记作 。如果不存在这样的 ,则特征为 。
- 核心性质:
- 整环(或域)的特征要么是 ,要么是一个素数 。
- 对于有限域,其特征必为素数 。
6.2 理想与商环
理想是环的一个特殊子集,你可以把它类比为整数里的“倍数集合”。
核心定义
- 理想 (Ideal): 环 的一个子环 ,如果满足:对于任意 和环中任意元素 ,都有 且 。
- 直观理解: 理想具有“吸收性”。环里的任何元素乘以理想里的元素,结果依然在理想里。
- 平凡理想: 任何环 都有两个默认理想:零理想 和它本身 。
- 主理想 (Principal Ideal): 由环中单个元素 生成的理想,记作 。
- 例如:在整数环 中,所有 3 的倍数组成的集合 就是一个主理想。
- 主理想环: 如果一个环里的所有理想都是主理想,就叫主理想环(如整数环 )。
商环 (Quotient Ring) 与特殊理想
这是构造“模运算”数学对象的通用方法。
1. 商环
通过理想 可以将环 分割成不相交的陪集 。这些陪集组成的集合 在特定的加法和乘法下也构成一个环,称为商环。
- 经典例子: 就是我们常说的模 剩余类环 。
2. 素理想与极大理想(高频考点 🚨)
商环的“性质”取决于理想 的“级别”:
- 素理想 (Prime Ideal): 若 或 。
- 极大理想 (Maximal Ideal): 没有比它更大的理想(除了 本身)。
定理 6.2.2(考试必背关系):
- 是整环 是素理想。
- 是域 是极大理想。
结论: 每一个极大理想都是素理想。在 中,当 为素数时, 既是素理想也是极大理想,所以 是一个域。
环同态 (Ring Homomorphism)
同态描述了两个环之间“保持运算结构”的映射。
1. 定义
映射 满足:
2. 同态基本定理 (Fundamental Theorem)
这是代数学的灵魂定理:
- 同态核 (Kernel): 。注意:同态核一定是一个理想。
- 定理内容: 环 模去同态核后的商环,同构于它的同态像,即 。
6.3 多项式环
一、 基本概念:多项式环
- 定义:设 是一个环,由 中元素作为系数的 的多项式全体构成的环称为 上的多项式环,记为 。
- 次数 (Degree):多项式 中最高次项的幂次 称为次数,记为 。
- 首项系数:最高次项的系数 。如果 ,称该多项式为首一多项式。
- 零多项式:约定 。
- 运算规则与次数关系:
- 重要结论:若 是整环(无零因子),则 ,且 也是整环。
二、 带余除法与整除性
1. 带余除法(核心算法)
- 定理:在域 上,对于 和 ,一定存在唯一的 (商)和 (余式),使得:
- 应用:手工长除法(注意在模 域下,系数运算要模 )。
2. 整除与不可约性
- 整除:若 ,则称 整除 ,记为 。
- 不可约多项式(类比素数):如果一个次数 的多项式不能分解为两个次数更低的多项式之积,称其为不可约多项式。
- 判别法:对于次数为 2 或 3 的多项式,如果不存根(即代入域内任何元素都不等于 0),则它一定不可约。
三、 根与因式
- 余式定理: 除以 的余数等于 。
- 根与因式的关系: 是 的根 。
- 重根判别:
- 是 的重根 且导数 。
- 若 ,则 没有重根。
四、 最大公因式 (GCD) 与 辗转相除法
- 定义: 是能同时整除两者的最高次首一多项式。
- 裴蜀等式:一定存在 满足: 这个在网络安全(如求逆元)中极其重要!
- 求法:通过辗转相除法(Euclid 算法)不断求余直到余数为 0。
五、 商环与有限域的构造(考试大题高发点)
- 构造:设 是域 上的 次不可约多项式,则商环 是一个域。
- 元素个数:若 是 (模 的域),则该有限域包含 个元素。
- 元素形式:所有次数小于 的多项式。
- 运算规则:
- 加法:系数对应相加(记得模 )。
- 乘法:多项式相乘后,必须模 取余数。
7. 有限域
7.1 域的有限扩张
1. 基础概念:什么是“域”的扩张?
想象你在做一个数学题,如果只有整数不够用,你会引入分数(变成有理数域 );如果 还不满足 ,你会引入 (变成扩张域)。
- 域扩张(Field Extension):如果域 是域 的子集,则称 是 的扩张域。
- 素域(Prime Field):没有真子域的域。
- 特征为 的域,其素域同构于 (即 )。
- 特征为 的域(如实数域),其素域同构于 。
- 扩张次数:记作 ,即把 看作 上的向量空间时的维数。
- 乘法原理(定理 7.1.3):如果有嵌套关系 ,那么总扩张次数是分步扩张次数的乘积:
2. 代数元与极小多项式(重点!)
这是构造大域的关键。
- 代数元:如果 是某个以 中元素为系数的多项式 的根,那 就是 上的代数元。
- 极小多项式 :满足以 为根的、次数最低的、首项系数为 1 的不可约多项式。
- 性质:任何以 为根的多项式,都能被极小多项式整除。
3. 单代数扩张 的结构
这是考试最常考的计算背景。如果你往域 里加入一个根 ,新形成的域 是什么样的?
- 同构关系:。
- 直白解释:在新域里的计算,本质上就是对极小多项式取模。
- 基底:如果 的极小多项式是 次的,那么 的一组基是 。
- 这意味着: 中的任何元素都可以写成 的形式。
4. 分裂域(Splitting Field)
- 定义:对于多项式 ,如果一个扩张域 刚好能让 分解成一堆一次因子(即所有的根都在 里),且 是最小的这样的域,就叫分裂域。
- 意义:分裂域保证了多项式的根“有家可归”。
5. 有限域的性质(考试必考点!)
这是第 7.2 节的开头,也是网络安全最直接用到的部分:
- 阶数(元素个数):有限域 的元素个数一定是 个,其中 是素数(域的特征), 是扩张次数。
- 结论:不存在元素个数为 6 或 10 的有限域(因为它们不是素数的幂)。
- 形式:所有的有限域元素都可以表示为基底的线性组合:
7.2 有限域(Galois 域)的性质
这部分内容进入了有限域(Galois Field,记作 或 )的核心性质。在网络安全中,这些性质直接决定了加密算法(如椭圆曲线 ECC)的数学基础。
1. 有限域的阶数与特征
- 元素个数:一个有限域 的元素个数(阶)必然是某个素数 的幂,即 。其中 称为域的特征, 是 在其素域上的扩张次数。
- 元素形式:若 阶数为 ,则其中的元素可以表示为 ,其中系数 。
2. 有限域的存在性与唯一性
- 费马小定理的推广:对于 阶有限域 中的任意元素 ,都满足 。
- 多项式根的关系: 中的 个元素恰好是多项式 在素域 上的所有根。
- 唯一性:给定阶数 ,在同构的意义下,有且仅有一个 阶有限域。
3. 有限域的子域结构(常考点!)
有限域并不是随意扩张的,它的子域有严格的约束:
- 子域阶数判定: 阶有限域 的子域,其阶数必然形式为 ,其中 必须是 的因子。
- 存在性:只要 是 的正因子, 中就一定存在唯一的 阶子域。
- 例子: 的子域阶数可以是 ,因为 1, 2, 5 是 10 的因子。
4. 有限域的乘法群与本原元(网络安全核心)
这是离散对数问题的基础:
- 循环群性质:有限域 的所有非零元素构成的乘法群 是一个循环群。
- 本原元(Primitive Element):乘法群 的生成元称为该域的本原元。
- 这意味着:域中任何非零元素都可以写成项本原元 的幂次 。
- 本原元的个数为 。
- 离散对数问题:已知 ( 为本原元),求 是一个数学难题。这正是目前许多非对称加密体制的安全根基。
7.3 有限域的表示
1. 有限域的表示法(两种主流方式)
为了在计算机或纸面上处理有限域 ,我们需要具体的表示方式:
- 多项式表示法(便于加法)
- 将域元素看作次数小于 的多项式:,其中系数 。
- 加法:对应系数相加(模 )。
- 乘法:普通多项式相乘后,必须模掉一个 次不可约多项式。
- 幂表示法(便于乘法)
- 利用本原元 。由于乘法群是循环群,非零元素都可以表示为 。
- 乘法:指数直接相加 (指数模 )。
- 加法:非常困难,通常需要通过查表转换回多项式表示法。
2. 具体构造实例:以 () 为例
这是考试最常见的背景(AES算法的基础):
- 选择不可约多项式:设 在 上不可约。
- 定义根:设 是 的一个根,则有关系式 ,即 。
- 生成元素:通过不断乘以 并利用上述关系式降次,可以得到所有元素:
- (回归单位元)
3. 寻找本原元:Gauss 算法
如果你拿到的元素 不是本原元(即它的阶小于 ),需要用 Gauss 算法调整:
- 核心思想:通过寻找不同阶的元素,利用最小公倍数性质构造出一个阶正好等于 的元素。
- 步骤简述:
- 随机取一个非零元 ,计算其阶 。
- 若 ,则找到本原元;否则取另一个不在其生成子群里的元素 ,计算阶 。
- 利用 和 的质因子分解,组合出更高阶的元。
4. 离散对数问题(安全要点)
- 已知 和 ,求 使得 。
- 在有限域上,当 很大时,目前没有多项式时间的通用算法(虽然有“小步大步法”等,但依然很难)。这就是 Diffie-Hellman 和 ECC 安全性的数学保障。
7.4 有限域上的多项式
核心概念:极小多项式与本原多项式
1. 极小多项式 (Minimal Polynomial)
- 定义:设 是有限域 中的一个元素,以 为根且次数最低的首一不可约多项式,称为 在 上的极小多项式。
- 关键性质:
- 的所有“共轭元” 具有相同的极小多项式。
- 其次数 是使 成立的最小正整数。
2. 本原多项式 (Primitive Polynomial)
- 定义:如果一个 次不可约多项式的根 是有限域 的本原元(即能生成域内所有非零元的元素),那么这个多项式就叫本原多项式。
- 判定准则(定理 7.4.2):
- 多项式 的周期(阶) 等于 。
- 数量(定理 7.4.3):
- 中 次本原多项式的个数为 (其中 是欧拉函数)。
重点技巧:如何求极小多项式?
这是考题中最常见的计算题,图片中给出了两种主要方法。
方法一:共轭元乘积法(适用于次数较小)
根据定理 7.4.4, 的极小多项式为:
实例演示(参考图8例1):
已知 上本原多项式 的根为 。求 的极小多项式:
- 找共轭元:计算 的 次幂(这里 )。
- (因为 )
- 写出乘积式:。
- 展开化简:利用 进行代换,最终得到 。
方法二:线性相关性法(矩阵法,推荐!)
当你不知道如何展开复杂的括号时,用这个方法。
- 写出 的前几个幂次对应的向量表示。
- 寻找这些向量之间的线性关系。
实例演示(参考图9例2):
求 的极小多项式,已知 的向量表示。
- 列出矩阵。
- 通过初等行变换简化。
- 若发现 ,则极小多项式就是 。