自然数の冪乗の和に関する定理の「フェルマーの大定理」あるいは「フェルマーの最終定理」とは異なります。

数論において、フェルマーの小定理（フェルマーのしょうていり、英: Fermat's little theorem）は、素数の性質についての定理であり、実用としてもRSA暗号に応用されている定理である。

${\displaystyle p}$ を素数とし、 ${\displaystyle a}$ を整数とすると、

${\displaystyle a^{p}\equiv a{\pmod {p}}}$

が成立すると言う定理である。また、 ${\displaystyle p}$ を素数とし、 ${\displaystyle a}$ を ${\displaystyle p}$ の倍数でない整数（ ${\displaystyle a}$ と ${\displaystyle p}$ は互いに素）とするときに、

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}}$

が成立する。すなわち、 ${\displaystyle a}$ の ${\displaystyle p-1}$ 乗を ${\displaystyle p}$ で割った余りは ${\displaystyle 1}$ である。有名なフェルマーの最終定理と区別するためにあえて「小」定理と称されている。

この定理はピエール・ド・フェルマーの名を冠するが、フェルマーの他の予想と同じく、フェルマー自身によって証明が与えられていたことが確認されているわけではない。この定理に対する証明はゴットフリート・ライプニッツによって初めて与えられた。

3通りの証明を示す。

二項定理から、数学的帰納法を用いて証明する方法が簡便である。

補題：「 ${\displaystyle \left(m+1\right)^{p}}$ を ${\displaystyle p}$ で割った余りは ${\displaystyle m^{p}+1}$ を ${\displaystyle p}$ で割った余りに等しい。」

（補題の証明）

${\displaystyle (m+1)^{p}=m^{p}+{}_{p}\mathrm {C} _{1}m^{p-1}+{}_{p}\mathrm {C} _{2}m^{p-2}+\dotsb +{}_{p}\mathrm {C} _{p-1}m+1}$（二項定理）

右辺の両端以外の二項係数 ${\displaystyle {}_{p}\mathrm {C} _{k}}$ はすべて ${\displaystyle p}$ の倍数である。なぜなら、

${\displaystyle {}_{p}\mathrm {C} _{k}={\frac {p(p-1)\dotsb (p-k+1)}{k(k-1)\dotsb 1}}}$

であり、 ${\displaystyle p}$ は素数であって ${\displaystyle k<p}$ なので、分子に含まれる ${\displaystyle p}$ が約分されることはないからである。

したがって、 ${\displaystyle \left(m+1\right)^{p}}$ を ${\displaystyle p}$ で割った余りは、両端の項 ${\displaystyle m^{p}+1}$ を ${\displaystyle p}$ で割った余りに等しい。（補題の証明終）

命題「 ${\displaystyle a^{p}\equiv a{\pmod {p}}}$ 」を、 ${\displaystyle a}$ についての数学的帰納法で証明する。

補題に ${\displaystyle m=1}$ を代入すると、 ${\displaystyle 2^{p}=\left(1+1\right)^{p}}$ を ${\displaystyle p}$ で割った余りは ${\displaystyle 1^{p}+1=2}$ となり、 ${\displaystyle a=2}$ のとき成り立つ。

命題が、 ${\displaystyle a=k}$ のとき成り立つと仮定する。

補題から、 ${\displaystyle \left(k+1\right)^{p}}$ を ${\displaystyle p}$ で割った余りは ${\displaystyle k^{p}+1}$ を ${\displaystyle p}$ で割った余りに等しい。帰納法の仮定によって ${\displaystyle k^{p}}$ を ${\displaystyle p}$ で割った余りは ${\displaystyle k}$ を ${\displaystyle p}$ で割った余りに等しいから、 ${\displaystyle \left(k+1\right)^{p}}$ を ${\displaystyle p}$ で割った余りは ${\displaystyle k+1}$ を ${\displaystyle p}$ で割った余りに等しい。

したがって、命題は ${\displaystyle a=k+1}$ のときも成り立つ。

数学的帰納法によって、命題は ${\displaystyle a\geqq 2}$ に対して成り立つ。また、 ${\displaystyle a=0,\ 1}$ のときは、代入してみると明らかに成り立つので、命題は ${\displaystyle a\geqq 0}$ に対して成り立つ。

（証明終）

上の補題と同様に、${\displaystyle (x+y)^{p}\equiv x^{p}+y^{p}{\pmod {p}}}$ が示せる。これより、

${\displaystyle {\begin{aligned}a^{p}&=[1+(a-1)]^{p}\\&\equiv 1^{p}+[1+(a-2)]^{p}\\&\equiv 1+1^{p}+[1+(a-3)]^{p}\\&\equiv a{\pmod {p}}\end{aligned}}}$

（証明終）

${\displaystyle p}$ を素数とし、 ${\displaystyle a}$ と ${\displaystyle p}$ が互いに素とするときに、

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}}$

が成立することを、ここで証明する。

集合 ${\displaystyle \left\{1,\ 2,\ 3,\ldots ,\ p-1\right\}}$ は、全体として法 ${\displaystyle p}$ の下で ${\displaystyle \left\{a,\ 2a,\ 3a,\ldots ,\ \left(p-1\right)a\right\}}$ と合同である。（背理法による証明）もし後者の集合内に

${\displaystyle ia\equiv ja{\pmod {p}}}$

となる ${\displaystyle i,\ j}$ (ただし、 ${\displaystyle i\neq j}$ )が存在したとする。すると、 ${\displaystyle a}$ と ${\displaystyle p}$ が互いに素なので、 ${\displaystyle i\equiv j{\pmod {p}}}$ となり、 ${\displaystyle 0<i,\ j<p}$ であることから、 ${\displaystyle i=j}$ となり、矛盾する。したがって、二つの集合は全体として合同であることが分かった。

それぞれの集合の要素をすべて掛け合わせると、

${\displaystyle (p-1)!\equiv (p-1)!\ a^{p-1}{\pmod {p}}}$

となる。 ${\displaystyle p}$ が素数であることから、 ${\displaystyle p}$ と ${\displaystyle \left(p-1\right)!}$ とは互いに素なので、

${\displaystyle a^{p-1}\equiv 1{\pmod {p}}}$

（証明終）

フェルマーの小定理は、乱数を発生する用途に使われることがある。しかし、このような場合、あらゆる（p と互いに素な）a について、

${\displaystyle b=a^{n}{\pmod {p}}}$

が、${\displaystyle n=1..p-1}$ に沿って

${\displaystyle 1\leq b<p}$

の全要素を順繰りに巡ることを保証しているわけではない点には注意すべきである。実際、次の各表では、${\displaystyle n=p-1}$ である右端の列が全てゼロになることは確かだが、それ以外にもゼロは出現している。

${\displaystyle p=3}$ の場合：

		${\displaystyle n}$
		${\displaystyle 1}$	${\displaystyle 2}$
${\displaystyle a}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
	${\displaystyle 2}$	${\displaystyle 2}$	${\displaystyle 1}$

${\displaystyle p=5}$ の場合：

		${\displaystyle n}$
		${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 4}$
${\displaystyle a}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
	${\displaystyle 2}$	${\displaystyle 2}$	${\displaystyle 4}$	${\displaystyle 3}$	${\displaystyle 1}$
	${\displaystyle 3}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 2}$	${\displaystyle 1}$
	${\displaystyle 4}$	${\displaystyle 4}$	${\displaystyle 1}$	${\displaystyle 4}$	${\displaystyle 1}$

${\displaystyle p=7}$ の場合：

		${\displaystyle n}$
		${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 6}$
${\displaystyle a}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
	${\displaystyle 2}$	${\displaystyle 2}$	${\displaystyle 4}$	${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 4}$	${\displaystyle 1}$
	${\displaystyle 3}$	${\displaystyle 3}$	${\displaystyle 2}$	${\displaystyle 6}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 1}$
	${\displaystyle 4}$	${\displaystyle 4}$	${\displaystyle 2}$	${\displaystyle 1}$	${\displaystyle 4}$	${\displaystyle 2}$	${\displaystyle 1}$
	${\displaystyle 5}$	${\displaystyle 5}$	${\displaystyle 4}$	${\displaystyle 6}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 1}$
	${\displaystyle 6}$	${\displaystyle 6}$	${\displaystyle 1}$	${\displaystyle 6}$	${\displaystyle 1}$	${\displaystyle 6}$	${\displaystyle 1}$

${\displaystyle p=11}$ の場合：

		${\displaystyle n}$
		${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 6}$	${\displaystyle 7}$	${\displaystyle 8}$	${\displaystyle 9}$	${\displaystyle 10}$
${\displaystyle a}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
	${\displaystyle 2}$	${\displaystyle 2}$	${\displaystyle 4}$	${\displaystyle 8}$	${\displaystyle 5}$	${\displaystyle 10}$	${\displaystyle 9}$	${\displaystyle 7}$	${\displaystyle 3}$	${\displaystyle 6}$	${\displaystyle 1}$
	${\displaystyle 3}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 5}$	${\displaystyle 4}$	${\displaystyle 1}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 5}$	${\displaystyle 4}$	${\displaystyle 1}$
	${\displaystyle 4}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$
	${\displaystyle 5}$	${\displaystyle 5}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 9}$	${\displaystyle 1}$	${\displaystyle 5}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 9}$	${\displaystyle 1}$
	${\displaystyle 6}$	${\displaystyle 6}$	${\displaystyle 3}$	${\displaystyle 7}$	${\displaystyle 9}$	${\displaystyle 10}$	${\displaystyle 5}$	${\displaystyle 8}$	${\displaystyle 4}$	${\displaystyle 2}$	${\displaystyle 1}$
	${\displaystyle 7}$	${\displaystyle 7}$	${\displaystyle 5}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 10}$	${\displaystyle 4}$	${\displaystyle 6}$	${\displaystyle 9}$	${\displaystyle 8}$	${\displaystyle 1}$
	${\displaystyle 8}$	${\displaystyle 8}$	${\displaystyle 9}$	${\displaystyle 6}$	${\displaystyle 4}$	${\displaystyle 10}$	${\displaystyle 3}$	${\displaystyle 2}$	${\displaystyle 5}$	${\displaystyle 7}$	${\displaystyle 1}$
	${\displaystyle 9}$	${\displaystyle 9}$	${\displaystyle 4}$	${\displaystyle 3}$	${\displaystyle 5}$	${\displaystyle 1}$	${\displaystyle 9}$	${\displaystyle 4}$	${\displaystyle 3}$	${\displaystyle 5}$	${\displaystyle 1}$
	${\displaystyle 10}$	${\displaystyle 10}$	${\displaystyle 1}$	${\displaystyle 10}$	${\displaystyle 1}$	${\displaystyle 10}$	${\displaystyle 1}$	${\displaystyle 10}$	${\displaystyle 1}$	${\displaystyle 10}$	${\displaystyle 1}$

${\displaystyle p=13}$ の場合：

		${\displaystyle n}$
		${\displaystyle 1}$	${\displaystyle 2}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 6}$	${\displaystyle 7}$	${\displaystyle 8}$	${\displaystyle 9}$	${\displaystyle 10}$	${\displaystyle 11}$	${\displaystyle 12}$
${\displaystyle a}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$	${\displaystyle 1}$
	${\displaystyle 2}$	${\displaystyle 2}$	${\displaystyle 4}$	${\displaystyle 8}$	${\displaystyle 3}$	${\displaystyle 6}$	${\displaystyle 12}$	${\displaystyle 11}$	${\displaystyle 9}$	${\displaystyle 5}$	${\displaystyle 10}$	${\displaystyle 7}$	${\displaystyle 1}$
	${\displaystyle 3}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 1}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 1}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 1}$	${\displaystyle 3}$	${\displaystyle 9}$	${\displaystyle 1}$
	${\displaystyle 4}$	${\displaystyle 4}$	${\displaystyle 3}$	${\displaystyle 12}$	${\displaystyle 9}$	${\displaystyle 10}$	${\displaystyle 1}$	${\displaystyle 4}$	${\displaystyle 3}$	${\displaystyle 12}$	${\displaystyle 9}$	${\displaystyle 10}$	${\displaystyle 1}$
	${\displaystyle 5}$	${\displaystyle 5}$	${\displaystyle 12}$	${\displaystyle 8}$	${\displaystyle 1}$	${\displaystyle 5}$	${\displaystyle 12}$	${\displaystyle 8}$	${\displaystyle 1}$	${\displaystyle 5}$	${\displaystyle 12}$	${\displaystyle 8}$	${\displaystyle 1}$
	${\displaystyle 6}$	${\displaystyle 6}$	${\displaystyle 10}$	${\displaystyle 8}$	${\displaystyle 9}$	${\displaystyle 2}$	${\displaystyle 12}$	${\displaystyle 7}$	${\displaystyle 3}$	${\displaystyle 5}$	${\displaystyle 4}$	${\displaystyle 11}$	${\displaystyle 1}$
	${\displaystyle 7}$	${\displaystyle 7}$	${\displaystyle 10}$	${\displaystyle 5}$	${\displaystyle 9}$	${\displaystyle 11}$	${\displaystyle 12}$	${\displaystyle 6}$	${\displaystyle 3}$	${\displaystyle 8}$	${\displaystyle 4}$	${\displaystyle 2}$	${\displaystyle 1}$
	${\displaystyle 8}$	${\displaystyle 8}$	${\displaystyle 12}$	${\displaystyle 5}$	${\displaystyle 1}$	${\displaystyle 8}$	${\displaystyle 12}$	${\displaystyle 5}$	${\displaystyle 1}$	${\displaystyle 8}$	${\displaystyle 12}$	${\displaystyle 5}$	${\displaystyle 1}$
	${\displaystyle 9}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$	${\displaystyle 9}$	${\displaystyle 3}$	${\displaystyle 1}$
	${\displaystyle 10}$	${\displaystyle 10}$	${\displaystyle 9}$	${\displaystyle 12}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 1}$	${\displaystyle 10}$	${\displaystyle 9}$	${\displaystyle 12}$	${\displaystyle 3}$	${\displaystyle 4}$	${\displaystyle 1}$
	${\displaystyle 11}$	${\displaystyle 11}$	${\displaystyle 4}$	${\displaystyle 5}$	${\displaystyle 3}$	${\displaystyle 7}$	${\displaystyle 12}$	${\displaystyle 2}$	${\displaystyle 9}$	${\displaystyle 8}$	${\displaystyle 10}$	${\displaystyle 6}$	${\displaystyle 1}$
	${\displaystyle 12}$	${\displaystyle 12}$	${\displaystyle 1}$	${\displaystyle 12}$	${\displaystyle 1}$	${\displaystyle 12}$	${\displaystyle 1}$	${\displaystyle 12}$	${\displaystyle 1}$	${\displaystyle 12}$	${\displaystyle 1}$	${\displaystyle 12}$	${\displaystyle 1}$

後になってレオンハルト・オイラーはこの定理を拡張し、 ${\displaystyle a}$ を ${\displaystyle n}$ と互いに素な整数とすると、

${\displaystyle a^{\varphi (n)}\equiv 1{\pmod {n}}}$

が成り立つことを示した。ここで、${\displaystyle \varphi (n)}$ は ${\displaystyle n}$ 以下の ${\displaystyle n}$ と互いに素な自然数の個数を表し、オイラー関数と呼ばれる。

特に ${\displaystyle n}$ が素数のときは、${\displaystyle \varphi (n)=n-1}$ より、フェルマーの小定理に一致する。

${\displaystyle m=\varphi (n)}$ とすれば、 ${\displaystyle a^{m}\equiv 1{\pmod {n}}}$ が ${\displaystyle n}$ と互いに素なすべての ${\displaystyle a}$ に対して成り立つが、 ${\displaystyle \varphi (n)}$ はこの性質を満たす ${\displaystyle m}$ の最小の数とは限らない。カーマイケルの定理はオイラーの定理を精緻化したもので、すべての ${\displaystyle a}$ に対して${\displaystyle a^{m}\equiv 1{\pmod {n}}}$が成立するような最小の ${\displaystyle m}$ を与える。ただし、${\displaystyle n}$ と互いに素な${\displaystyle a}$が与えられたときに、 ${\displaystyle a^{m}\equiv 1{\pmod {n}}}$ を満たす最小の${\displaystyle m}$は、${\displaystyle \lambda \left(n\right)}$ となるとは限らない。

たとえば、${\displaystyle n=10000}$ のとき、カーマイケルの定理によれば ${\displaystyle n}$ と互いに素なすべての ${\displaystyle a}$に対して ${\displaystyle a^{m}\equiv 1{\pmod {n}}}$ を満たす最小の ${\displaystyle m}$ は500であるが、特定の ${\displaystyle a=7}$ に対しては ${\displaystyle 7^{100}\equiv 1{\pmod {n}}}$　が成立する。

カーマイケル関数（英語版） ${\displaystyle \lambda \left(n\right)}$ を以下のように再帰的に定義する。

${\displaystyle n=2^{e}}$ なら、

${\displaystyle \lambda (2^{e})={\begin{cases}1&(e=1)\\2&(e=2)\\2^{e-2}&(e\geq 3)\end{cases}}}$

${\displaystyle n}$ が奇素数 ${\displaystyle p}$ を用いて ${\displaystyle n=p^{e}}$ と書けるなら、

${\displaystyle \lambda (p^{e})=p^{e-1}(p-1)}$

${\displaystyle n}$ が ${\displaystyle p_{1}^{e_{1}}\ldots p_{k}^{e_{k}}}$ と素因数分解できるなら、

${\displaystyle \lambda (p_{1}^{e_{1}}\dotsb p_{k}^{e_{k}})=\operatorname {lcm} \{\lambda (p_{1}^{e_{1}}),\dotsc ,\lambda (p_{k}^{e_{k}})\}}$

ここで ${\displaystyle \operatorname {lcm} }$ は最小公倍数。

カーマイケルの定理は、 ${\displaystyle a}$ と ${\displaystyle n}$ が互いに素なとき、

${\displaystyle a^{\lambda \left(n\right)}\equiv 1{\pmod {n}}}$

が成り立つという定理である。

${\displaystyle \lambda \left(n\right)}$ が ${\displaystyle n-1}$ の約数であるとき、 ${\displaystyle n}$ はカーマイケル数と呼ばれ、自身と互いに素であるようなすべての底でフェルマーテストを通過する絶対擬素数となる。

フェルマーテストは、フェルマーの小定理の対偶を用いて確率的素数判定を行うアルゴリズムである。

フェルマーの小定理の対偶をとると、これは次のように、自然数 n が合成数であるための十分条件を与える。

対偶

${\displaystyle n}$ と互いに素な整数 ${\displaystyle a}$ が

${\displaystyle a^{n-1}\not \equiv 1{\pmod {n}}}$

を満たせば、 ${\displaystyle n}$ は合成数である。

この十分条件を用いて、次のように自然数 ${\displaystyle n}$ の素数判定を行う。

1. パラメータとして、 ${\displaystyle 2}$ 以上 ${\displaystyle n}$ 未満の自然数 ${\displaystyle a}$ を1つ定める。
2. ${\displaystyle a}$ と ${\displaystyle n}$ が互いに素でなければ「 ${\displaystyle n}$ は合成数」と出力して終了。
3. ${\displaystyle a^{n-1}\not \equiv 1{\pmod {n}}}$ ならば「 ${\displaystyle n}$ は合成数」と出力して終了する。そうでないとき「 ${\displaystyle n}$ は確率的素数」と出力して終了する。

フェルマーテストが「合成数」と出力したとき、上のフェルマーの小定理の対偶によって ${\displaystyle n}$ は実際に合成数である。しかし、上の対偶は十分条件を与えるのみで必要条件を与えるものではないので、「確率的素数」と出力された場合でも ${\displaystyle n}$ は実際に素数であるとは限らない。素数ではないにもかかわらず「確率的素数」と判定されてしまう合成数は擬素数と呼ばれる。

疑わしければ、「確率的素数」と出力された場合にはまた異なる ${\displaystyle a}$ を用いて再びテストを行う。十分な回数だけ ${\displaystyle a}$ を取り替えて繰り返せば、フェルマーテストが「確率的素数」と判定した数は実際に素数である可能性が高い。

しかし、カーマイケル数または絶対擬素数と呼ばれる "反例" もある。カーマイケル数は合成数であるにもかかわらず、ほとんどいかなる ${\displaystyle a}$ を用いても「確率的素数」と判定されてしまう。従って、フェルマーテストは完全な素数判定法ではない。

フェルマーテストを改善するアルゴリズムとしては、ミラー–ラビン素数判定法やAKS素数判定法がある。

フェルマーの小定理・オイラーの定理は一般の有限群の定理に拡張できる。 ${\displaystyle G}$ を位数 ${\displaystyle m}$ の有限群とすると、 ${\displaystyle G}$ の任意の元 ${\displaystyle g}$ に対して ${\displaystyle g^{m}}$ は単位元に一致する。オイラーの定理は ${\displaystyle G}$ が乗法群 ${\displaystyle \left(\mathbb {Z} /n\mathbb {Z} \right)^{\times }}$ のときの場合であり、フェルマーの小定理はさらに ${\displaystyle n}$ が素数の場合である。

• 高木貞治『初等整数論講義』（第2版）共立出版、1971年、67,53-54頁。ISBN 4-320-01001-9。 
• G.H.ハーディ、E・M・ライト『数論入門I』示野信一・矢神毅 訳、シュプリンガー・フェアラーク東京〈シュプリンガー数学クラシックス8〉、2001年7月、82-107頁。ISBN 4-431-70848-0。 
  • G・H・ハーディ、E・M・ライト『数論入門I』示野信一・矢神毅 訳、丸善出版〈シュプリンガー数学クラシックス8〉、2001年7月、82-107頁。ISBN 978-4-621-06226-5。http://pub.maruzen.co.jp/book_magazine/book_data/search/9784621062265.html。 

• 『フェルマーの小定理の証明と例題』 - 高校数学の美しい物語
• Weisstein, Eric W. "Fermat's Little Theorem". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Euler's Totient Theorem". mathworld.wolfram.com (英語).
• Weisstein, Eric W. "Carmichael's Theorem". mathworld.wolfram.com (英語).