قضیه ولستن‌هولم

در ریاضیات، قضیۀ ولستن‌هولم بیان می‌کند که به ازای عدد اول $p\ge 5$ ، هم‌نهشتی

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

برقرار است، به طوری که پرانتز نشان‌دهنده‌ی یک ضریب دوجمله‌ا‌ی است. به عنوان مثال برای p = 7، این یعنی ۱۷۱۶ یک واحد از مضرب ۳۴۳ بیشتر است. این قضیه برای اولین بار توسط جوزف ولستن‌هولم در سال ۱۸۶۲ اثبات شد. در سال ۱۸۱۹، چارلز ببیج هم‌نهشتی مشابه را به پیمانۀ p² ثابت کرد که برای $p\ge 3$ برقرار است. یک فرمول معادل، هم‌نهشتیِ

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

برای $p\ge 5$ است که به ویلهلم لیونگرن مربوط می‌شود (و در حالت خاص $b=1$، به جی. دابلیو. گلایشرالگو:مدرک) و از قضیه لوکاس الهام گرفته است.

هیچ عدد مرکب شناخته شده‌ای قضیۀ ولستن‌هولم را برآورده نمی‌کند و حدس زده می‌شود که تعداد چنین اعدادی صفر باشد. عدد اولی که این هم‌نهشتی را به پیمانۀ p⁴ برآورده می‌کند، عدد اول ولستن‌هولم نامیده می‌شود.

همانطور که خود ولستن‌هولم اثبات کرده است، این قضیه می‌تواند به صورت یک جفت هم‌نهشتی برای اعداد هارمونیک (تعمیم یافته) نیز بیان شود:

$1+\frac{1}{2}+\frac{1}{3}+\dots +\frac{1}{p-1}\equiv 0(\mathrm{mod}{p}^2)\text{, and}$

$1+\frac{1}{2^2}+\frac{1}{3^2}+\dots +\frac{1}{(p-1{)}^2}\equiv 0(\mathrm{mod}p).$

(هم‌نهشتی برای این کسرها منطقی است، چرا که مخرج‌ها نسبت به پیمانه‌ها اول‌اند.) به عنوان مثال برای p =7، معادله‌ی اول می‌گوید که صورت کسر ۴۹/۲۰ مضرب ۴۹ است، در حالی که دومی می‌گوید صورت کسر ۵۳۶۹/۳۶۰۰ مضرب ۷ است.

اعداد اول ولستن‌هولم

عدد اول p عدد اول ولستن‌هولم نامیده می‌شود اگر و تنها اگر شرط زیر برقرار باشد:

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

اگر p یک عدد اول ولستن‌هولم باشد، آنگاه قضیۀ گلایشر به پیمانۀ p⁴ صادق است. تنها اعداد اول ولستن‌هولم شناخته شده تا کنون ۱۶۸۴۳ و ۲۱۲۴۶۷۹ هستند. هر عدد اول ولستن‌هولم دیگر باید بزرگتر از 10⁹ باشد.

تعمیم‌ها

لودِسدورف ثابت کرده است که برای عدد صحیح مثبت n که نسبت به ۶ اول باشد، هم‌نهشتی زیر برقرار است:

$\sum _{\genfrac{}{}{0ex}{}{i=1}{(i,n)=1}}^{n-1}\frac{1}{i}\equiv 0(\mathrm{mod}{n}^2).$

جستارهای وابسته

• قضیه کوچک فرما
• قضیه ویلسون
• اعداد اول ویلسون
• فهرست اعداد اول

منابع

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

پیوند به بیرون

• The Prime Glossary: Wolstenholme prime
• Status of the search for Wolstenholme primes