Satz von Rédei
# Satz von Rédei

Der Satz von Rédei ist ein Lehrsatz der Elementaren Zahlentheorie, eines Teilgebiets der Mathematik. Er geht auf den ungarischen Mathematiker László Rédei zurück und ist eng verwandt mit dem Satz von Euler-Fermat, welchen er sogar nach sich zieht.

## Formulierung des Satzes

Der rédeische Satz besagt folgendes:

Für jede natürliche Zahl $m\geq 2$ und jede ganze Zahl $a$ ist

    $a^{m}-a^{m-\phi (m)}$

durch $m$ teilbar, wobei $\phi (m)$ für die Anzahl der natürlichen Zahlen unterhalb von $m$ steht, welche zu $m$ teilerfremd sind.

Es ist damit stets die Kongruenz

    $a^{m}\equiv a^{m-\phi (m)}\mod {m}$

gültig.

