MathLabs
定理証明済み

フェルマーの小定理

内容

pp が素数で aa が pp で割り切れない整数ならば、ap−1≡1(modp)a^{p-1}\equiv 1 \pmod{p} が成り立つ。

なぜ正しいのか?

1,2,…,p−11,2,\dots,p-1 に aa を掛けて pp で割った余りを取ると、aa は pp を法として可逆なので、これらは単に置換されるだけである。したがって置換後のリストの積は元のリストの積と等しく、共通因子 (p−1)!(p-1)! を消去すると ap−1≡1a^{p-1}\equiv 1 が残る。

証明の概略

写像 k↦ak mod pk\mapsto ak\bmod p は {1,…,p−1}\{1,\dots,p-1\} を置換する。なぜなら aa は pp を法として可逆だからである(p∤ap\nmid a より)。すべての剰余を掛け合わせると ∏k=1p−1(ak)≡∏k=1p−1k(modp)\prod_{k=1}^{p-1}(ak) \equiv \prod_{k=1}^{p-1} k \pmod p、すなわち ap−1(p−1)!≡(p−1)!(modp)a^{p-1}(p-1)! \equiv (p-1)! \pmod p が得られる。gcd⁡((p−1)!,p)=1\gcd((p-1)!,p)=1 なので消去して ap−1≡1(modp)a^{p-1}\equiv 1\pmod p を得る。

提示者

証明者

この定理を使うトピック

関連する定理

ステップごとの証明

この定理のステップごとの証明はまだありません。

参考文献

  1. Leonhard Euler (1736). Theorematum quorundam ad numeros primos spectantium demonstratio
  2. G. H. Hardy, E. M. Wright (2008). An Introduction to the Theory of Numbers · DOI:10.1093/oso/9780199219858.001.0001