Wolstenholmes sats

Inom matematiken är Wolstenholmes sats ett resultat som säger att för alla primtal p > 3 gäller kongruensen:

$(\genfrac{}{}{0ex}{}{2p-1}{p-1})\equiv 1(\mathrm{mod}{p}^3).$

En ekvivalent formulering är kongruensen:

$(\genfrac{}{}{0ex}{}{ap}{bp})\equiv (\genfrac{}{}{0ex}{}{a}{b})(\mathrm{mod}{p}^3).$

Satsen bevisades av Joseph Wolstenholme 1862.

Referenser

• Mall:Enwp

Källor

• Mall:Citation
• Mall:Citation
• Mall:Citation
• Mall:Citation
• Mall:Citation
• R. Mestrovic, Wolstenholme's theorem: Its Generalizations and Extensions in the last hundred and fifty years (1862—2012).