切换深浅主题
第 4 章:分圆多项式:按阶收集根
本章对象: 收集阶恰为
的单位根;
中的
始终遍历正约数。
4.1 分圆多项式的 Phi 记号怎样读
原问题:不是我是指哪个本源n次的那个
你指的是这个:
这里的 是希腊字母 Phi(大写
,小写
)。
所以:
英文通常读作:
“phi sub n of x”
中文可以念:
“Phi 下标 的
”,或者直接说 “第
个分圆多项式”。
而
这里的 也是 phi 的一种小写字形,表示欧拉函数,通常读作:
“phi of n”。
所以这两个虽然都念 phi,但含义不同:
4.2 分圆多项式的编号为什么是 n,次数为什么是欧拉函数
原问题:重点解释为什么是第n个,以及为什么是欧拉函数
对,这里真正要搞清楚的是两个问题:
以及
这两个其实来自同一件事:按照单位根的“阶”来分类。
第一步:先看 xⁿ-1 的根
方程
在复数中一共有 个根:
其中可以取
例如 :
那么 的六个根就是
但是,这六个根其实不是“同一种”单位根。
比如:
所以 的阶是
。
而
因为
所以 的阶其实是
,不是
。
再比如:
所以 的阶是
。
因此:
的根里面混着:
第二步:什么叫“本原 n 次单位根”?
如果一个单位根 满足:
而且对任何
都有
那么就说它的阶正好是 。
这就叫:
primitive -th root of unity。
例如:
本身的阶是 6,所以它是本原 6 次单位根。
而:
不是,因为它的阶只有 3。
第三步:“第 n 个分圆多项式”的“第 n 个”到底是什么意思?
这里非常容易产生误解。
它不是说:
按次数排序的第
个多项式。
而是说:
对应“阶恰好等于
”的单位根。
定义:
也就是说:
的根恰好就是所有本原 次单位根。
因此它被编号为 。
用 n=6 看最清楚
的根有:
分别看它们的阶:
阶为 。
阶为 。
阶为 。
而:
阶才真正是 。
所以:
算出来就是:
所以这里的“6”表示:
第四步:为什么突然出现 gcd(k,n)=1?
这是核心。
我们研究:
它的阶是多少?
一般公式是:
所以:
的阶等于 ,当且仅当:
这等价于:
因此:
这就是为什么“互素”突然出现。
第五步:为什么阶公式是
我们一步一步看。
假设:
那么:
而 的阶是
,所以必须有:
现在我们要找最小的正整数 ,使:
设:
写成:
其中:
条件:
变成:
约掉 :
因为:
所以:
最小的正整数 就是:
因此:
第六步:现在欧拉函数自然出现了
Euler φ 函数定义就是:
也就是说:
中,与
互素的整数有多少个。
而我们刚才证明:
是本原 次单位根,当且仅当:
所以本原 次单位根的数量就是:
而:
每一个本原 次单位根对应一个一次因子:
所以:
例如 n=8
看:
与 互素的是:
所以:
因此本原 8 次单位根是:
所以:
最终:
而它的次数:
第七步:为什么 xⁿ-1 会分成所有 Φ_(d)?
现在你甚至可以理解这个公式了:
因为:
的每个根,其阶一定整除 。
也就是说, 的根可以按照“阶”分组:
其中这些阶全部都是 的约数。
而:
恰好收集“阶正好等于 ”的那些根。
所以自然得到:
比如:
分别是:
次数也刚好满足:
也就是著名恒等式:
现在你应该能看到这个恒等式为什么“不是巧合”:
个 次单位根,被按照各自的阶分组。
阶为 的有:
个。
所以:
最后把最重要的一条链压缩成一句话:
而
是因为:
而这样的 恰好有
个。
下一步最值得讲的是一个更深的问题:为什么 明明用复数根定义,最后系数却落在
,而且还在
中不可约? 这一步正好会直接接到 Galois 理论。
4.3 按阶分类,证明分圆乘积恒等式
而且重点不是先记公式,而是理解它为什么必然成立。
先回忆前面已经知道的两件事:
的所有根,就是全部 次单位根。
而
的根,是全部本原 次单位根,也就是阶恰好为
的单位根。
现在关键问题来了:
一个
次单位根,它的阶可能是多少?
设 是
次单位根,也就是
假设 的阶是
,即
那么一定有:
为什么?
因为 ,而
是最小正整数。
对 用
做整数除法:
于是
但 是使
的最小正整数。
如果 ,就会出现一个比
更小的正整数
满足
矛盾。
所以只能:
因此:
这一步非常重要:
现在我们就能把 的所有根按“阶”分类。
比如 。
12 的正约数是:
所以任何满足
的根,它的阶只能是:
不可能出现阶为 5、7、8、9 的根。
于是全部 12 次单位根可以分成几组:
而这些组分别就是:
的根。
所以所有 的根,恰好就是这些分圆多项式的全部根。
因此:
一般地:
还有一个细节:为什么前面没有差一个常数倍?
因为两边都是首一多项式。
左边:
最高次项系数是 1。
右边每个 也是首一多项式,所以乘积也是首一。
而且两边有完全相同的一组根,没有重根。
所以它们必须完全相等。
为什么 没有重根?这个也可以顺便证明。
设
那么导数是
如果 是重根,那么必须同时满足:
和
第一式给出:
所以
但第二式要求:
在特征 0 的域,比如 ,而
、
保证
,与第二式矛盾(
时导数直接为
)。
所以所有 次单位根都是单根。
现在我们可以看一个具体例子,比如 。
6 的约数是:
所以:
逐个写:
因此:
你可以检查次数:
这正好又对应:
所以我们得到:
这不是一个偶然的数论恒等式,而是因为:
被按阶分成了:
其中 。
所以:
下一步最自然的是继续解释:
以及更重要的:
这一步会真正开始和 Galois 理论正面接轨。