この定理の名前を教えてください

質問

aとpは互いに素とする
aとpは共に整数とする
pは素数とする

このときに

a^(p-1)≡1 (mod p)が成立

これは定理として名前がついているのですか？
証明は簡単にできました。

回答No.2

neta

これを一般化したものに、「オイラーの定理」があります。
整数aとｎは互いに素とする。

このときに
a^(Φ(n))≡1 (mod ｎ)が成りたつ
Φ(n)は「ｎ以下のｎと互いに素な数の個数」を表します。
素数ｐならΦ(ｐ)＝ｐ－１になり、これがフェルマーの小定理になります。

回答No.1

Segenswind

一般に「フェルマーの小定理」と呼ばれているものですね。

参考URL：

http://ja.wikipedia.org/wiki/%E3%83%95%E3%82%A7%E3%83%AB%E3%83%9E%E3%83%BC%E3%81%AE%E5%B0%8F%E5%AE%9A%E7%90%86