数论那些事儿之高斯和《数论探究》 .pdfVIP

数论那些事儿之高斯和《数论探究》 今天给读者朋友们介绍一下大数学家 Gauss 和他的专著《数论探 究》的内容 , 希望读者能喜欢 . 更多精彩内容请关注： 从 19 世纪开始 , 数论逐渐成为现代数学中的主流且同时产生了代 数数论和解析数论两大分支 , 原因就在于理论上的系统化和研究方法上 的创新 , 这就不得不提及大数学家 Gauss 和他的《数论探究》一书 . 而 《数论探究》的前言里写道 , Euclid 和 Diophantine 都研究了数论中 的许多特殊的规律 , 但数论需要由一般原则 , 这些原则已经由 Fermat , Euler , Lagrange 和 Legendre 开始研究 . 《数论探究》一书共有七 章 , 前四章分别是同余 , 一次同余 , 幂剩余和原根指数 , 二次同余和二 次互反律 , 首先在这一部分 Gauss 采用了同余式符号 , 系统地阐述了 同余式运算法则和模 同余类的概念 , 并严格地证明了一系列关于同余 性质的重要定理(如 Fermat 小定理 , Euler 定理等) . 其次 Gauss 在这 一部分论述了原根和指数的概念和性质 , 用现代数学的语言来说就是研 究有限 Abel 加法群 和乘法群 的结构 , Gauss 严格证明了乘法群 是循 环群 , 其 中 是素数 , 而该群的生成元是模 的原根 , 事实上原根存在定 理是由 Euler 提出来的 , 只不过 Gauss 利用指数理论计算出模 的原根 共有 个 , 其中模 的原根就是 阶乘法循环群 的生成元 . 然后 Gauss 还 给出了一次和二次同余方程的解法并用来求一次和二次不定方程的整 数解 , 即 Gauss 叙述了一次不定方程求整数解的完整理论 , 对于一元 二次同余方程 , 则采用配方法把问题归结为最基本的情形 , 由此建立了 二次剩余的概念和性质 , 二次剩余理论的核心部分是二次互反律 , 而二 次互反律的建立是 Gauss 的一项伟大的工作 , 它为代数数论的发展提 供了源泉 . 《数论探究》的第五章和第六章则论述了二次不定方程 的整数解 问题和具体应用 , 其中 , 如果上面的二元二次不定方程有整数解 , 那么 称二元二次型 表示整数 . 于是 Gauss 研究下面的一般问题 , 即一个固 定的二元二次型 可以表示哪些整数 ？ 对于这个问题 , Gauss 并不是对二元二次型逐个进行研究 , 而是对 所有的二元二次型加以分类 , 他继续使用 Lagrange 的方法 , 用行列式 为 的二阶整数方阵群的作用 , 把二元二次型分成不同的等价类 , 而判别 式 是等价不变量且等价的二元二次型表示相同的整数 . Gauss 还发展 了 Lagrange 的约化方法 , 证明了对每个非零整数 , 判别式为 的二元二 次型只有有限个等价类 . 当 时 , 即 是正定二次型 , 其中 , 证明是比较容 易的且由 Lagrange 给出 . 而当 时 , 即 是不定二次型 , Gauss 重新定 义了约化二元二次型的定义 , 证明需要克服很多困难 . 如果用 表示判别 式为 的二元二次型的等价类的个数 , 那么 Gauss 对很多 计算了 的值 . 之前 Lagrange 给出了 , 而 Gauss 计算出当 时 且猜想对于其他负整数 均有 . 这个猜想直到 1967 年才由英国数学家 Baker 和美国数学家 Stark 分别独立证明 , 只不过 Baker 使用超越方法而 Stark 采用模形式 理论 . 另外 Gauss 还作出如下猜想 , 即存在无限多个正整数 使得 , 这 个猜想至今未解决 . Gauss 还把 Lagrange 关于二元二次型的合成运算的定义进行了 修改 , 并证明这是二元二次型等价类的运算且这个运算满足结合律和交 换律 . 用现代数学的语言来叙述就是所有判别式为 的二元二次型的等 价类似于合成运算形成 阶 Abel 群 , 同时他不但给出计算 的解析公式 , 而且还建立了二元二次型的 genus 理论 . 根据这个理论可以证明 , 如 果 有 个不同的素因子 , 那么 . 直到 19 世纪后期 Dedekind 建立了理 想论后 , 上述这些 Gauss 给出的结果直接转化为二次域理想分解和理 想类群作为经典代数数论的结果 . 事实上根据 Gauss 关于二元二