补充章节 — 素数和模算术 — 逻辑
数学证明 — 集合论和无穷过程 — 计数和生成函数 — 离散概率
矩阵 — 进一步模算术 — 数学规划 — 马尔可夫链
1. 假设在模 m 算术中我们知道 x ≠ y 并且
找到 m 的至少 2 个因数。
2. 推导出卡迈克尔函数的公式，λ(m) = 使 aλ(m) ≡ 1 (mod m) 成立的最小数。
3. 令 p 为素数，使得 p = 2s + 1 对于某个正整数 s。证明如果 g 在模 p 中不是平方，即不存在 h 使得 h2 ≡ g，那么 g 是模 p 的生成元。也就是说 gq ≠ 1 对于所有 q < p - 1。
