Prove Wilson's theorem: (p−1)!(p-1)! ≡ -1 (mod p) for prime p.

Answer: (p−1)!≡−1(modp)(p-1)! \equiv -1 \pmod p

Step-by-step solution

Step 1: परिचय और आधार स्थिति

विल्सन का प्रमेय कहता है कि यदि pp एक अभाज्य संख्या है, तो (p−1)!+1(p-1)! + 1 संख्या pp से विभाज्य है। हम इस प्रमेय को सिद्ध करेंगे। सबसे पहले, हम p=2p=2 के लिए आधार स्थिति की जाँच करते हैं।

Step 2: p=2p=2 के लिए जाँच

जब p=2p=2 होता है, तो (p−1)!=(2−1)!=1!=1(p-1)! = (2-1)! = 1! = 1 होता है। साथ ही, −1(mod2)-1 \pmod 2 का अर्थ है −1-1 को 22 से विभाजित करने पर शेषफल, जो 11 होता है। इसलिए, 1≡−1(mod2)1 \equiv -1 \pmod 2 सत्य है।

Step 3: p > 2 के लिए विचार

अब हम p>2p > 2 के लिए विचार करते हैं। इस स्थिति में, pp एक विषम अभाज्य संख्या है। हम जानते हैं कि a2≡1(modp)a^2 \equiv 1 \pmod p का अर्थ है a2−1≡0(modp)a^2 - 1 \equiv 0 \pmod p, जिसका मतलब है (a−1)(a+1)(a-1)(a+1) pp से विभाज्य है। चूंकि pp एक अभाज्य संख्या है, इसलिए pp या तो (a−1)(a-1) को विभाजित करता है या (a+1)(a+1) को। इससे a≡1(modp)a \equiv 1 \pmod p या a≡p−1(modp)a \equiv p-1 \pmod p प्राप्त होता है।

Step 4: गुणनफल का निर्माण

हम (p−1)!(p-1)! के गुणनफल पर विचार करते हैं। pp एक अभाज्य संख्या होने के कारण, 1,2,…,p−11, 2, \ldots, p-1 में से प्रत्येक पूर्णांक pp के सापेक्ष सह-अभाज्य है। इसका मतलब है कि प्रत्येक पूर्णांक aa के लिए 1≤a≤p−11 \le a \le p-1, एक अद्वितीय पूर्णांक a′a' मौजूद है जैसे कि a⋅a′≡1(modp)a \cdot a' \equiv 1 \pmod p और 1≤a′≤p−11 \le a' \le p-1 ।

Step 5: प्रतिलोम युग्मों का उपयोग

केवल 11 और p−1p-1 ही ऐसे पूर्णांक हैं जो अपने स्वयं के प्रतिलोम हैं मॉड्यूलो pp । अन्य सभी पूर्णांक aa के लिए, a≢a′(modp)a \not\equiv a' \pmod p । इसलिए, गुणनफल (p−1)!(p-1)! में, हम 11 और p−1p-1 को छोड़कर सभी पदों को युग्मों में समूहित कर सकते हैं, जहाँ प्रत्येक युग्म का गुणनफल 1(modp)1 \pmod p के सर्वांगसम होता है।

Step 6: अंतिम परिणाम

चूंकि सभी युग्मों का गुणनफल 1(modp)1 \pmod p के सर्वांगसम होता है, और 11 तथा p−1p-1 अपने स्वयं के प्रतिलोम हैं, तो (p−1)!(p-1)! का गुणनफल 1⋅(p−1)(modp)1 \cdot (p-1) \pmod p के सर्वांगसम होगा। चूंकि p−1≡−1(modp)p-1 \equiv -1 \pmod p, हमें (p−1)!≡−1(modp)(p-1)! \equiv -1 \pmod p प्राप्त होता है।

Solve your own maths question free →