同余的定义以及基本性质学习笔记

来自潘承洞、潘承彪《初等数论》，有删改。一、定义定义 1（同余）设 $m\ne 0$。若 $m\mid a-b$，即 $a-b=km$，则称 $m$ 为模，$a$ 同余于 $b$ 模 $m$ 以及 $b$ 是 $a$ 对模 $m$ 的剩余，记作 $$a\equiv b\pmod m(1)$$ 否