一般性
[编辑 | 编辑源代码]
本节介绍了本书中使用的许多基本概念。
有限域
[编辑 | 编辑源代码]
本章从讨论有限域的结构开始。给定一个域
,它的**特征**定义为最小的数
,使得
与
中的零同余。如果这个数
是无界的,那么我们说
是**特征为 0**。这是定义明确的,因为每个环都有一个唯一的态射
。
对于正特征域,表示为
,其中
,他接着证明
,其中
是某个素数,
是某个整数,并且该域的特征为
。
在陈述这个定理之前,他证明了一个引理,表明弗罗贝尼乌斯
由
给出,是一个单射同态,映射到
的一个子域(修正:
中的数字不变...)。这可以用来证明,对于
的代数闭包
,
是一个自同构。
该定理还指出,所有阶为
的有限域都与
同构。值得注意的是,观察多项式及其导数的技术是一种常见且有用的技术工具。
你应该问自己的问题是
- 如何构造阶数大于
的有限域?
我们可以利用实数的情况得到一个提示:我们应该看看二次多项式
看看
![{\displaystyle {\frac {\mathbb {F} _{p}[x]}{(x^{2}-a)}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/29c3a022f4236cdb1af691d9100112d0d1d1cc36)
是否是一个域。例如,
在
中没有解,而
有
为解。这意味着
而 ![{\displaystyle {\frac {\mathbb {F} _{5}[x]}{(x^{2}+1)}}\cong \mathbb {F} _{5}\times \mathbb {F} _{5}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a96245bf871f5d3b53111201c14548a81294956c)
本章的剩余部分致力于构建工具来确定二次函数是否确定有限域的域扩展。请注意,这将为我们提供一种递归方法来查找任何
。此外,我们将构建一个工具和一个定理,称为勒让德符号和高斯互反定理,以有效地确定
是否确定域扩展或域的乘积。
有限域的乘法群
[编辑 | 编辑源代码]
本节致力于证明乘法群
是阶为
的循环群。他通过证明一个更强的结果来做到这一点,即
的所有子群都是循环群。
此外,在证明定理时,他还展示了费马小定理的推广,该定理指出

请注意,费马原来的定理证明了
的情况。
本节中使用最有用的技术是欧拉
-函数的应用。
有限域上的方程
[编辑 | 编辑源代码]
本节研究以下形式的集合

其中
。如果您熟悉方案论,Serre 研究了以下形式的方案
![{\displaystyle X={\text{Spec}}\left({\frac {\mathbb {Z} [x_{1},\ldots ,x_{n}]}{(f_{1},\ldots ,f_{k})}}\right)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/227e26d64688ce99bcfa3b49e6999278e3804951)
通过观察以下集合

幂和
[编辑 | 编辑源代码]
本节介绍一个证明 Chevalley-Warning 定理的技术工具。它依赖于以下

Chevalley 定理
[编辑 | 编辑源代码]
Chevallay-Warning 定理给出了一个有用的准则来确定有限域上多项式集合的解的数量。为了方便起见,我将在这里重新陈述它
- 给定多项式
使得
。
的基数与
同余。
证明这个定理最有趣的技术工具是指示函数
,它可以等效地描述为函数

注意
次方是上一节证明的费马小定理推广的应用。
该定理有许多应用。首先,它解决了关于有限域上多项式解的存在性的许多算术问题。这在推论 1 中有说明。此外,他还表明,对于二次形式
(意思是
给出了一个对称矩阵)在每个有限域上都有一个非零解。
二次互反律
[编辑 | 编辑源代码]
本节介绍了勒让德符号的构造和高斯互反定理。
平方在
中
[编辑 | 编辑源代码]
该定理是勒让德符号定义的基础,勒让德符号定义为短精确序列中的第二个映射

此态射是通过使用费马小定理的推广来定义的。由于
,我们有
。对于此序列的应用,请回忆
。我们可以计算出

因此
![{\displaystyle \mathbb {F} _{3^{3}}=\mathbb {F} _{27}\cong \mathbb {F} _{9}[y]/(y^{2}+2i+2)\cong F_{3}[x,y]/(x^{2}+1,y^{2}+x+1)}](https://wikimedia.org/api/rest_v1/media/math/render/svg/f4ed2b50fee1f771b93d526957741db18b86ea26)
勒让德符号(基本情况)
[edit | edit source]
这里,Serre 将序列限制为经典情况

并定义第二个映射为勒让德符号

如果您嵌入
,则勒让德符号就是一个特征的例子(一个群态射
)。这意味着

此外,勒让德符号可以扩展到
通过设置 
请注意,我们可以通过将商映射与勒让德符号组合,将勒让德符号提升到
。 
最后,他发现了一种计算
的勒让德符号的方法。第一个情况很简单,因为
。对于最后两个情况,他引入了几个辅助函数
从奇数到 


回想一下初等数论,所有大于
的奇数都是
或
的形式(它们不可能是
或
的形式,因为这些是偶数)。然后,
充当一个函数,将两组奇数划分开来。此外,这两种形式的素数都有无穷多个。塞尔声称:

如果我们将
分成奇数的两种情况,那么

然后,利用勒让德符号的定义,我们发现

如预期的那样。在最后一种情况下,Serre再次使用了一个函数,该函数将奇数分开。注意,每个奇数(因此每个大于
的素数)都属于以下形式之一

为了利用这个划分,他嵌入
并断言
其中
是
次单位根(在复数中
。这来自观察结果
因此
,因为
并且 
意味着
强制 
因此
满足
,因为

由于 Frobenius
是
的自同构,我们有

如果
,那么
。这意味着

否则,如果
,那么
(在单位圆上画一个图来验证
和
)。因此
.
[edit | edit source]
此外,利用勒让德符号是一个群同态的事实,我们可以计算
的许多元素,而无需计算显式的平方。
二次互反律
[edit | edit source]
本节专门用于证明二次互反律。正如我们之前所说,这是一个有用的计算工具,用于确定
是否是一个域扩展
他给出了勒让德符号的计算,以确定
![{\displaystyle {\frac {\mathbb {F} _{43}[x]}{(x^{2}-29)}}\cong \mathbb {F} _{1849}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/dbdeff7eb27aa598c1713fc34b63719dcbf7b51a)
我只陈述二次互反律,并提供其他证明的参考文献。
定理:给定一对不同的奇素数
,
,我们有以下互反律

他的示例计算如下
![{\displaystyle {\begin{aligned}\left({\frac {29}{43}}\right)&=\left({\frac {43}{29}}\right)&{\text{ since }}\varepsilon (43)=0\\&=\left({\frac {14}{29}}\right)&{\text{ since }}[43]=[14]\\&=\left({\frac {2}{29}}\right)\cdot \left({\frac {7}{29}}\right)&{\text{ from being a group morphism }}\\&=-\left({\frac {7}{29}}\right)&{\text{ since }}29\equiv 5{\text{ }}({\text{mod }}8)\\&=-\left({\frac {29}{7}}\right)&{\text{ since }}\varepsilon (7)=0\\&=-\left({\frac {1}{7}}\right)=-1&\end{aligned}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/cb08cf747870414febab86d58c3ba0185710cc25)
关于二次互反律证明的深入讨论,可在 mathoverflow 上找到
这里汇集了数百个二次互反律证明
尝试阅读此证明 https://en.wikipedia.org/wiki/Proofs_of_quadratic_reciprocity#Proof_using_algebraic_number_theory 以激发对 **阿廷互反律** 的推广。