灯下 登录
数学 / 高斯算术研究 / 同余成为一种可运算的关系

第一章 · 概览

书架 上一节 下一节

Von der Congruenz der Zahlen im Allgemeinen.

论数字同余的一般概念。

本章据高斯 1801 年拉丁本 `disquisitionesa00gaus` 和 Maser 1889 德译 `carlfriedrichga00gausgoog` 校读。站内正文采用现代记号 `a ≡ b (mod m)`;中文导读和例题为灯下原创。

第一章先把“除以同一个数后余数相同”变成正式关系,再说明这种关系能加、能乘、能代入整系数多项式。读者要抓住一个转折:同余不是算完余数就结束,而是把整数分成若干可计算的类。

unit

主题

高斯动作

1-2同余、模数、剩余类给关系命名并引入记号
3-4代表元与最小剩余每个类选一个好用代表
5-8加减乘除的可用边界说明同余可像等式一样参与计算
9-10多项式与周期把同余变成方程和整除检验工具

本章 10 个学习 unit 对应原书第一节前部的核心步骤。

高斯同余记号在数论史长卷 math-meta/topic-number-theory-history 中处在丢番图 diophantus-arithmetica/overview、费马之后,也是秦九韶大衍术 shushu-jiuzhang/overview 的现代对读点。

哥德巴赫猜想的首次通信和欧拉回信,见 letters-selection/euler-goldbach-overview;那组信件可作为高斯《算术研究》之前的十八世纪数论共同体背景。