Satz von Wolstenholme

aus Wikipedia, der freien Enzyklopädie

Du hast neue Nachrichten auf deiner Diskussionsseite.

Der Satz von Wolstenholme (nach J. Wolstenholme) ist eine Aussage aus dem mathematischen Teilgebiet der Zahlentheorie. In einer möglichen Form besagt er: Ist $p\geq5$ eine Primzahl, so ist der Zähler der rationalen Zahl

$1+\frac12+\frac13+\frac14+\ldots+\frac1{p-1}$

durch $p 2$ teilbar.^[1]

Inhaltsverzeichnis

1 Andere Formulierungen, Folgerungen
2 Wolstenholme-Primzahlen
- 2.1 Verwandter Begriff
3 Geschichte
4 Literatur
5 Quellen
6 Weblink

[Bearbeiten] Andere Formulierungen, Folgerungen

Der Satz ist äquivalent zu der Aussage, dass der Zähler von

$1+\frac1{2^2}+\frac1{3^2}+\frac1{4^2}+\ldots+\frac1{(p-1)^2}$

durch $p$ teilbar ist.^[2]

Eine Folgerung aus dem Satz ist die Kongruenz

${2p\choose p}\equiv2\mod{p^3},$

die auch in der Form

${2p-1\choose p-1}\equiv1\mod{p^3}$

geschrieben werden kann.

[Bearbeiten] Wolstenholme-Primzahlen

Eine Wolstenholme-Primzahl p ist eine Primzahl, die eine stärkere Fassung des Satzes von Wolstenholme erfüllt, genauer: die eine der folgenden äquivalenten Bedingungen erfüllt:^[3]

Der Zähler von

$1+\frac12+\frac13+\dots+\frac1{p-1}$

ist durch

p 3

teilbar.

Der Zähler von

$1+\frac1{2^2}+\frac1{3^2}+\dots+\frac1{(p-1)^2}$

ist durch

p 2

teilbar.

Es gilt die Kongruenz

${2p\choose p}\equiv2\mod{p^4}$

bzw. die Kongruenz

${2p-1\choose p-1}\equiv1\mod{p^4}.$

Der Zähler der Bernoulli-Zahl $B p - 3$ ist durch $p$ teilbar.

Die beiden bisher einzigen bekannten Wolstenholme-Primzahlen sind 16843 und 2124679. Jede weitere Wolstenholme-Primzahl müsste größer als 6,4·10⁸ sein.

[Bearbeiten] Verwandter Begriff

Betrachtet man nur ungerade Nenner, also die Summe

$1+\frac13+\frac15+\dots+\frac1{p-2}$

für eine Primzahl $p\geq3$ , so ist der Zähler genau dann durch $p$ teilbar, wenn die stärkere Form

$2^{p-1}\equiv1\mod{p^2}$

des Satzes von Euler-Fermat gilt.^[4] Derartige Primzahlen heißen Wieferich-Primzahlen.

[Bearbeiten] Geschichte

Aus dem Satz von Wilson (p ist genau dann eine Primzahl, wenn $(p-1)! \equiv -1 \pmod p$ ist) folgt, dass für jede Primzahl p und jede natürliche Zahl n die Kongruenz

${{np-1}\choose{p-1}} \equiv 1 \pmod{p}$

erfüllt ist.

Charles Babbage bewies 1819, dass für jede Primzahl p>2 diese Kongruenz gilt:

${{2p-1}\choose{p-1}} \equiv 1 \pmod{p^2}$

Der Mathematiker Joseph Wolstenholme (1829-1891) bewies dann 1862, dass für jede Primzahl p>3 die folgende Kongruenz gilt:

${{2p-1}\choose{p-1}} \equiv 1 \pmod{p^3}$

[Bearbeiten] Literatur

G. H. Hardy, E. M. Wright, An Introduction to the Theory of Numbers, 4. Auflage, Oxford University Press, Oxford 1975. ISBN 0-19-853310-1
J. Wolstenholme, On certain properties of prime numbers, Quart. J. Math. Oxford Ser. 5 (1862) 35–39

[Bearbeiten] Quellen

↑ Hardy-Wright, a.a.O., Theorem 115, S. 88
↑ Hardy-Wright, a.a.O., Theorem 117, S. 90
↑ A. Gardiner, Four problems on prime power divisibility. Am. Math. Mon. 95, No. 10 (1988) 926–931
↑ Hardy-Wright, a.a.O., Theorem 132, S. 104