Fermat's little theorem
有限体 を考える。フェルマーの小定理により、 のすべての元 は、 を満たす。同じことだが、多項式 の根である。したがって、 の元は、この多項式の 個の根を決定し、この多項式は次数 なので、どんなに体を拡大しても 個よりも多くの根を持つことはない。特に、 が の代数拡大（代数的閉包、または他の有限体のような）であれば、 のフロベニウス写像に関する不変体は である。