Satz von Lerch (Zahlentheorie)

Der Satz von Lerch ist ein Lehrsatz der elementaren Zahlentheorie, einem der Teilgebiete der Mathematik. Er geht auf den österreichisch-tschechischen Mathematiker Matyáš Lerch zurück und beinhaltet eine Formel über Kongruenzen gewisser Potenzsummen für ungerade Primzahlen. Man bezeichnet die Formel auch als lerchsche Formel der elementaren Zahlentheorie. Ihre Herleitung beruht auf dem Satz von Wilson und dem kleinen fermatschen Satz.