मॉड्यूलर गुणक व्युत्क्रम: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Concept in modular arithmetic}} गणित में, विशेष रूप से अंकगणित के क्षेत्र में,...")
 
No edit summary
 
(8 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Concept in modular arithmetic}}
{{Short description|Concept in modular arithmetic}}
गणित में, विशेष रूप से [[अंकगणित]] के क्षेत्र में, एक [[पूर्णांक]] का एक मॉड्यूलर गुणन व्युत्क्रम {{mvar|a}} एक पूर्णांक है {{mvar|x}} ऐसा कि उत्पाद {{mvar|ax}} मापांक के संबंध में 1 से सर्वांगसमता संबंध#बुनियादी उदाहरण है {{mvar|m}}.<ref name="Rosen132">{{harvnb|Rosen|1993|page=132}}.</ref> [[मॉड्यूलर अंकगणित]] के मानक अंकन में इस सर्वांगसमता को इस प्रकार लिखा जाता है
 
 
गणित में, विशेष रूप से अंकगणित के क्षेत्र में, एक पूर्णांक a का मॉड्यूलर गुणन व्युत्क्रम एक पूर्णांक {{mvar|x}} होता है, जिससे उत्पाद {{mvar|ax}} मापांक {{mvar|m}} के संबंध में 1 के सर्वांगसम हो।<ref name="Rosen132">{{harvnb|Rosen|1993|page=132}}.</ref> मॉड्यूलर अंकगणित के मानक अंकन में इस सर्वांगसमता को इस प्रकार लिखा जाता है                                                                                                                                                        
:<math>ax \equiv 1 \pmod{m},</math>
:<math>ax \equiv 1 \pmod{m},</math>
जो कि कथन लिखने का संक्षिप्त तरीका है {{mvar|m}} मात्रा को (समान रूप से) विभाजित करता है {{math|''ax'' − 1}}, या, दूसरे तरीके से कहें तो, विभाजित करने के बाद शेषफल {{mvar|ax}} पूर्णांक द्वारा {{mvar|m}} है 1. यदि {{mvar|a}} में एक व्युत्क्रम मॉड्यूलो है {{mvar|m}}, तो इस सर्वांगसमता के अनंत संख्या में समाधान हैं, जो इस मापांक के संबंध में एक मॉड्यूलर अंकगणित#सर्वांगसमता वर्ग बनाते हैं। इसके अलावा, कोई भी पूर्णांक जो सर्वांगसम हो {{mvar|a}} (अर्थात्, में {{mvar|a}}'सर्वांगसमता वर्ग) का कोई तत्व है {{mvar|x}} का सर्वांगसमता वर्ग एक मॉड्यूलर गुणक व्युत्क्रम के रूप में। के अंकन का उपयोग करना <math>\overline{w}</math> सर्वांगसमता वर्ग को इंगित करने के लिए {{mvar|w}}, इसे सर्वांगसमता वर्ग का मॉड्यूलो गुणात्मक व्युत्क्रम कहकर व्यक्त किया जा सकता है <math>\overline{a}</math> सर्वांगसमता वर्ग है <math>\overline{x}</math> ऐसा है कि:
यह कथन लिखने का संक्षिप्त विधि है कि m मात्रा ax - 1 को (समान रूप से) विभाजित करता है, या, दूसरे विधि से कहें तो, ax को पूर्णांक m से विभाजित करने के बाद शेषफल 1 होता है। यदि a में व्युत्क्रम मॉड्यूल m है, तो वहाँ इस सर्वांगसमता के अनंत संख्या में समाधान हैं, जो इस मापांक के संबंध में एक सर्वांगसमता वर्ग बनाते हैं। इसके अतिरिक्त , कोई भी पूर्णांक जो a के सर्वांगसम है (अर्थात्, a के सर्वांगसम वर्ग में) x के सर्वांगसम वर्ग का कोई भी तत्व मॉड्यूलर गुणक व्युत्क्रम के रूप में होता है। {{mvar|w}} युक्त सर्वांगसम वर्ग को इंगित करने के लिए <math>\overline{w}</math> के अंकन का उपयोग करते हुए, इसे यह कहकर व्यक्त किया जा सकता है कि सर्वांगसम वर्ग <math>\overline{a}</math> का मॉड्यूलो गुणात्मक व्युत्क्रम सर्वांगसम वर्ग <math>\overline{x}</math> है जैसे कि:
: <math>\overline{a} \cdot_m \overline{x} = \overline{1},</math>
: <math>\overline{a} \cdot_m \overline{x} = \overline{1},</math>
जहां प्रतीक <math>\cdot_m</math> तुल्यता वर्गों मॉड्यूलो के गुणन को दर्शाता है {{mvar|m}}.<ref name=":1">{{harvnb|Schumacher|1996|p=88}}.</ref>
जहां प्रतीक <math>\cdot_m</math> तुल्यता वर्ग मॉड्यूलो {{mvar|m}} के गुणन को दर्शाता है।.<ref name=":1">{{harvnb|Schumacher|1996|p=88}}.</ref> इस तरह से लिखे जाने पर, परिमेय संख्या या [[वास्तविक संख्या]]ओं के सेट में गुणात्मक व्युत्क्रम की सामान्य अवधारणा के साथ सादृश्य को स्पष्ट रूप से दर्शाया जाता है, संख्याओं को सर्वांगसम वर्गों द्वारा प्रतिस्थापित किया जाता है और [[बाइनरी ऑपरेशन]] को उचित रूप से बदल दिया जाता है।
इस तरह से लिखे जाने पर, परिमेय संख्या या [[वास्तविक संख्या]]ओं के सेट में गुणात्मक व्युत्क्रम की सामान्य अवधारणा के साथ सादृश्य को स्पष्ट रूप से दर्शाया जाता है, संख्याओं को सर्वांगसम वर्गों द्वारा प्रतिस्थापित किया जाता है और [[बाइनरी ऑपरेशन]] को उचित रूप से बदल दिया जाता है।


वास्तविक संख्याओं पर अनुरूप ऑपरेशन की तरह, इस ऑपरेशन का मौलिक उपयोग, जब संभव हो, फॉर्म की रैखिक सर्वांगसमताओं को हल करने में होता है
वास्तविक संख्याओं पर अनुरूप ऑपरेशन की तरह, इस ऑपरेशन का मौलिक उपयोग, जब संभव हो, फॉर्म की रैखिक सर्वांगसमताओं को हल करने में होता है
: <math>ax \equiv b \pmod{m}.</math>
: <math>ax \equiv b \pmod{m}.</math>
मॉड्यूलर गुणक व्युत्क्रम खोजने का [[क्रिप्टोग्राफी]], यानी [[सार्वजनिक-कुंजी क्रिप्टोग्राफी]] और [[आरएसए (क्रिप्टोसिस्टम)]] के क्षेत्र में व्यावहारिक अनुप्रयोग भी है।<ref>{{citation |first=Douglas R. |last=Stinson |title=Cryptography / Theory and Practice |year=1995 |publisher=CRC Press |isbn=0-8493-8521-0 |pages=124–128}}</ref><ref>{{harvnb|Trappe|Washington|2006|pp=164−169}}.</ref><ref>{{Cite web |url=https://tools.ietf.org/html/rfc8017#section-3 |title=PKCS #1: RSA Cryptography Specifications Version 2.2 |last=Moriarty |first=K. |last2=Kaliski |first2=B. |year=2016 |website=Internet Engineering Task Force RFC 8017 |publisher=Internet Engineering Task Force |access-date=January 21, 2017 |last3=Jonsson |first3=J. |last4=Rusch |first4=A.}}</ref> इन अनुप्रयोगों के कंप्यूटर कार्यान्वयन के लिए एक लाभ यह है कि एक बहुत तेज़ एल्गोरिदम (विस्तारित यूक्लिडियन एल्गोरिदम) मौजूद है जिसका उपयोग मॉड्यूलर गुणक व्युत्क्रमों की गणना के लिए किया जा सकता है।
मॉड्यूलर गुणक व्युत्क्रम खोजने का [[क्रिप्टोग्राफी]], अथार्त [[सार्वजनिक-कुंजी क्रिप्टोग्राफी]] और [[आरएसए (क्रिप्टोसिस्टम)]] के क्षेत्र में व्यावहारिक अनुप्रयोग भी है।<ref>{{citation |first=Douglas R. |last=Stinson |title=Cryptography / Theory and Practice |year=1995 |publisher=CRC Press |isbn=0-8493-8521-0 |pages=124–128}}</ref><ref>{{harvnb|Trappe|Washington|2006|pp=164−169}}.</ref><ref>{{Cite web |url=https://tools.ietf.org/html/rfc8017#section-3 |title=PKCS #1: RSA Cryptography Specifications Version 2.2 |last=Moriarty |first=K. |last2=Kaliski |first2=B. |year=2016 |website=Internet Engineering Task Force RFC 8017 |publisher=Internet Engineering Task Force |access-date=January 21, 2017 |last3=Jonsson |first3=J. |last4=Rusch |first4=A.}}</ref> इन अनुप्रयोगों के कंप्यूटर कार्यान्वयन के लिए एक लाभ यह है कि एक बहुत तेज़ एल्गोरिदम (विस्तारित यूक्लिडियन एल्गोरिदम) उपस्थित है जिसका उपयोग मॉड्यूलर गुणक व्युत्क्रमों की गणना के लिए किया जा सकता है।


==मॉड्यूलर अंकगणित==
==मॉड्यूलर अंकगणित==
{{main|Modular arithmetic}}
{{main|मॉड्यूलर अंकगणित}}
किसी दिए गए सकारात्मक पूर्णांक के लिए {{mvar|m}}, दो पूर्णांक, {{mvar|a}} और {{mvar|b}}, सर्वांगसम मॉड्यूलो कहलाते हैं {{mvar|m}} अगर {{mvar|m}} उनके अंतर को विभाजित करता है। इस [[द्विआधारी संबंध]] को निरूपित किया जाता है,
 
किसी दिए गए सकारात्मक पूर्णांक m के लिए, दो पूर्णांक, a और b, को सर्वांगसम मॉड्यूल m कहा जाता है यदि m उनके अंतर को विभाजित करता है। इस द्विआधारी संबंध को निरूपित किया जाता है,
:<math>a \equiv b \pmod{m}.</math>
:<math>a \equiv b \pmod{m}.</math>
यह पूर्णांकों के समुच्चय पर एक तुल्यता संबंध है, {{math|ℤ}}, और समतुल्य वर्गों को सर्वांगसम वर्ग मॉड्यूलो कहा जाता है {{mvar|m}} या अवशेष वर्ग मॉड्यूलो {{mvar|m}}. होने देना <math>\overline{a}</math> पूर्णांक वाले सर्वांगसम वर्ग को निरूपित करें {{mvar|a}},<ref>Other notations are often used, including {{math|[''a'']}} and {{math|[''a'']<sub>''m''</sub>}}.</ref> तब
यह पूर्णांकों, ℤ के सेट पर एक समतुल्य संबंध है, और समतुल्य वर्गों को सर्वांगसम वर्ग मॉड्यूलो {{mvar|m}} या अवशेष वर्ग मॉड्यूलो {{mvar|m}} कहा जाता है। मान लीजिए कि <math>\overline{a}</math> पूर्णांक a,<ref>Other notations are often used, including {{math|[''a'']}} and {{math|[''a'']<sub>''m''</sub>}}.</ref> वाले सर्वांगसम वर्ग को निरूपित करता है
:<math>\overline{a} = \{b \in \mathbb{Z} \mid a \equiv b \pmod{m} \}.</math>
:<math>\overline{a} = \{b \in \mathbb{Z} \mid a \equiv b \pmod{m} \}.</math>
एक रैखिक सर्वांगसमता प्रपत्र की एक मॉड्यूलर सर्वांगसमता है
एक रैखिक सर्वांगसमता प्रपत्र की एक मॉड्यूलर सर्वांगसमता है
:<math>ax \equiv b \pmod{m}.</math>
:<math>ax \equiv b \pmod{m}.</math>
वास्तविक पर रैखिक समीकरणों के विपरीत, रैखिक सर्वांगसमताओं में शून्य, एक या कई समाधान हो सकते हैं। अगर {{mvar|x}} प्रत्येक तत्व की तुलना में रैखिक सर्वांगसमता का एक समाधान है <math>\overline{x}</math> एक समाधान भी है, इसलिए, जब एक रैखिक सर्वांगसमता के समाधानों की संख्या के बारे में बात की जाती है तो हम विभिन्न सर्वांगसमता वर्गों की संख्या का उल्लेख कर रहे होते हैं जिनमें समाधान होते हैं।
वास्तविक पर रैखिक समीकरणों के विपरीत, रैखिक सर्वांगसमताओं में शून्य, एक या कई समाधान हो सकते हैं। यदि x एक रैखिक सर्वांगसमता का एक समाधान है तो <math>\overline{x}</math> में प्रत्येक तत्व भी एक समाधान है, इसलिए, एक रैखिक सर्वांगसमता के समाधानों की संख्या के बारे में बात करते समय हम विभिन्न सर्वांगसमता वर्गों की संख्या का उल्लेख कर रहे हैं जिनमें सम्मिलित हैं समाधान होते हैं।
 
यदि d, a और m का सबसे बड़ा सामान्य भाजक है तो रैखिक सर्वांगसमता ax ≡ b (mod m) का समाधान तभी होता है जब d, b को विभाजित करता है। यदि d, b को विभाजित करता है, तो वास्तव में d समाधान हैं।<ref>{{harvnb|Ireland|Rosen|1990|page=32}}</ref>


अगर {{mvar|d}} का सबसे बड़ा सामान्य भाजक है {{mvar|a}} और {{mvar|m}} फिर रैखिक सर्वांगसमता {{math|''ax'' ≡ ''b'' (mod ''m'')}} के पास समाधान हैं यदि और केवल यदि {{mvar|d}} बांटता है {{mvar|b}}. अगर {{mvar|d}} बांटता है {{mvar|b}}, तो बिल्कुल हैं {{mvar|d}} समाधान।<ref>{{harvnb|Ireland|Rosen|1990|page=32}}</ref>
एक पूर्णांक का एक मॉड्यूलर गुणन व्युत्क्रम {{mvar|a}} मापांक के संबंध में {{mvar|m}} रैखिक सर्वांगसमता का एक समाधान है
एक पूर्णांक का एक मॉड्यूलर गुणन व्युत्क्रम {{mvar|a}} मापांक के संबंध में {{mvar|m}} रैखिक सर्वांगसमता का एक समाधान है
:<math>ax \equiv 1 \pmod{m}.</math>
:<math>ax \equiv 1 \pmod{m}.</math>
पिछला परिणाम कहता है कि समाधान मौजूद है यदि और केवल यदि {{math|1=gcd(''a'', ''m'') = 1}}, वह है, {{mvar|a}} और {{mvar|m}} [[सहअभाज्य पूर्णांक]] होना चाहिए (अर्थात् सहअभाज्य)इसके अलावा, जब यह स्थिति कायम रहती है, तो वास्तव में एक ही समाधान होता है, यानी, जब यह मौजूद होता है, तो एक मॉड्यूलर गुणक व्युत्क्रम अद्वितीय होता है:<ref>{{citation|last=Shoup|first=Victor|title=A Computational Introduction to Number Theory and Algebra|url=https://books.google.com/books?id=-RzJs-mPfX0C&pg=PA15|year=2005|author-link=Victor Shoup|at=Theorem&nbsp;2.4, p.&nbsp;15|publisher=Cambridge University Press|isbn=9780521851541}}</ref> अगर {{mvar|b}} और {{mvar|b'}} दोनों मॉड्यूलर गुणात्मक व्युत्क्रम हैं {{mvar|a}} मापांक का सम्मान {{mvar|m}}, तब
पिछला परिणाम कहता है कि समाधान उपस्थित है यदि और केवल यदि {{math|1=gcd(''a'', ''m'') = 1}}, वह है, {{mvar|a}} और {{mvar|m}} [[सहअभाज्य पूर्णांक]] होना चाहिए (अर्थात् सहअभाज्य) इसके अतिरिक्त, जब यह स्थिति कायम रहती है, तो वास्तव में एक ही समाधान होता है, अथार्त जब यह उपस्थित होता है, तो एक मॉड्यूलर गुणक व्युत्क्रम अद्वितीय होता है:<ref>{{citation|last=Shoup|first=Victor|title=A Computational Introduction to Number Theory and Algebra|url=https://books.google.com/books?id=-RzJs-mPfX0C&pg=PA15|year=2005|author-link=Victor Shoup|at=Theorem&nbsp;2.4, p.&nbsp;15|publisher=Cambridge University Press|isbn=9780521851541}}</ref> यदि {{mvar|b}} और {{mvar|b'}} मापांक {{mvar|m}} के संबंध में दोनों मॉड्यूलर गुणक व्युत्क्रम हैं
:<math>ab \equiv ab' \equiv 1 \pmod{m} ,</math>
:<math>ab \equiv ab' \equiv 1 \pmod{m} ,</math>
इसलिए
इसलिए
:<math>a(b-b') \equiv 0 \pmod{m}.</math>
:<math>a(b-b') \equiv 0 \pmod{m}.</math>
अगर {{math|''a'' ≡ 0 (mod ''m'')}}, तब {{math|1=gcd(''a'', ''m'') = ''a''}}, और {{mvar|a}} में मॉड्यूलर गुणक व्युत्क्रम भी नहीं होगा। इसलिए, {{math|''b ≡ b''' (mod ''m'')}}.
यदि {{math|''a'' ≡ 0 (mod ''m'')}}, तब {{math|1=gcd(''a'', ''m'') = ''a''}}, और {{mvar|a}} में मॉड्यूलर गुणक व्युत्क्रम भी नहीं होगा। इसलिए, {{math|''b ≡ b''' (mod ''m'')}}.


कब {{math|''ax'' ≡ 1 (mod ''m'')}} का एक समाधान है इसे अक्सर इस तरह से दर्शाया जाता है -
जब {{math|''ax'' ≡ 1 (mod ''m'')}} का एक समाधान है इसे अधिकांशतः इस तरह से दर्शाया जाता है -
:<math>x \equiv a^{-1} \pmod{m},</math>
:<math>x \equiv a^{-1} \pmod{m},</math>
लेकिन इसे संकेतन का दुरुपयोग माना जा सकता है क्योंकि इसे गुणात्मक व्युत्क्रम के रूप में गलत समझा जा सकता है <math>a</math> (जो, मॉड्यूलर गुणक व्युत्क्रम के विपरीत, कब को छोड़कर पूर्णांक नहीं है {{mvar|a}} 1 या -1 है)। यदि अंकन उचित होगा {{mvar|a}} की व्याख्या सर्वांगसमता वर्ग के प्रतीक चिह्न के रूप में की गई है <math>\overline{a}</math>, क्योंकि सर्वांगसम वर्ग का गुणन व्युत्क्रम अगले भाग में परिभाषित गुणन के साथ एक सर्वांगसम वर्ग है।
किंतु इसे अंकन का दुरुपयोग माना जा सकता है क्योंकि इसे a के व्युत्क्रम के रूप में गलत समझा जा सकता है (जो, मॉड्यूलर गुणक व्युत्क्रम के विपरीत, एक पूर्णांक नहीं है अतिरिक्त इसके कि जब a 1 या -1 हो)। यदि a की व्याख्या सर्वांगसम वर्ग <math>\overline{a}</math> के लिए एक टोकन के रूप में की जाती है, तो अंकन उचित होगा, क्योंकि सर्वांगसम वर्ग का गुणक व्युत्क्रम अगले भाग में परिभाषित गुणन के साथ एक सर्वांगसम वर्ग है।


===पूर्णांक मॉड्यूलो {{mvar|m}}===
===पूर्णांक मॉड्यूलो {{mvar|m}}===
सर्वांगसमता संबंध, मॉड्यूलो {{mvar|m}}, पूर्णांकों के समुच्चय को विभाजित करता है {{mvar|m}} सर्वांगसमता कक्षाएं। इन पर जोड़ और गुणा की संक्रियाओं को परिभाषित किया जा सकता है {{mvar|m}} वस्तुओं को निम्नलिखित तरीके से: दो सर्वांगसमता वर्गों को जोड़ने या गुणा करने के लिए, पहले प्रत्येक वर्ग से एक प्रतिनिधि चुनें (किसी भी तरह से), फिर दो प्रतिनिधियों पर पूर्णांकों के लिए सामान्य ऑपरेशन करें और अंत में सर्वांगसमता वर्ग लें जिसका परिणाम होगा पूर्णांक संक्रिया सर्वांगसम वर्गों पर संक्रिया के परिणाम के रूप में निहित है। प्रतीकों में, साथ में <math>+_m</math> और <math>\cdot_m</math> सर्वांगसमता वर्गों पर संचालन का प्रतिनिधित्व करते हुए, ये परिभाषाएँ हैं
सर्वांगसम संबंध, मॉड्यूलो {{mvar|m}}, पूर्णांकों के समुच्चय को एम सर्वांगसम वर्गों में विभाजित करता है। इन m वस्तुओं पर जोड़ और गुणन की संक्रियाओं को निम्नलिखित विधि से परिभाषित किया जा सकता है: दो सर्वांगसम वर्गों को जोड़ने या गुणा करने के लिए, पहले प्रत्येक वर्ग से एक प्रतिनिधि (किसी भी तरह से) चुनें, फिर दोनों प्रतिनिधियों पर पूर्णांकों के लिए सामान्य संचालन करें। और अंत में सर्वांगसम वर्ग को लें जिसमें पूर्णांक संक्रिया का परिणाम सर्वांगसम वर्गों पर संक्रिया के परिणाम के रूप में निहित है। प्रतीकों में, सर्वांगसम वर्गों पर संक्रियाओं का प्रतिनिधित्व करने वाले <math>+_m</math> और <math>\cdot_m</math> के साथ, ये परिभाषाएँ हैं
:<math>\overline{a} +_m \overline{b} = \overline{a + b}</math>
:<math>\overline{a} +_m \overline{b} = \overline{a + b}</math>
और
और
:<math>\overline{a} \cdot_m \overline{b} = \overline{ab}.</math>
:<math>\overline{a} \cdot_m \overline{b} = \overline{ab}.</math>
ये ऑपरेशन [[अच्छी तरह से परिभाषित]] हैं, जिसका अर्थ है कि अंतिम परिणाम उन प्रतिनिधियों की पसंद पर निर्भर नहीं करता है जो परिणाम प्राप्त करने के लिए बनाए गए थे। {{mvar|m}|m}} इन दो परिभाषित संक्रियाओं के साथ सर्वांगसमता वर्ग एक रिंग (गणित) बनाते हैं, जिसे पूर्णांक मॉड्यूलो का रिंग कहा जाता है {{mvar|m}}. इन बीजगणितीय वस्तुओं के लिए अक्सर कई नोटेशन का उपयोग किया जाता है <math>\mathbb{Z}/m\mathbb{Z}</math> या <math>\mathbb{Z}/m</math>, लेकिन कई प्रारंभिक पाठ और अनुप्रयोग क्षेत्र एक सरलीकृत नोटेशन का उपयोग करते हैं <math>\mathbb{Z}_m</math> जब अन्य बीजगणितीय वस्तुओं के साथ भ्रम की संभावना नहीं होती है।
ये ऑपरेशन [[अच्छी तरह से परिभाषित]] हैं, जिसका अर्थ है कि अंतिम परिणाम उन प्रतिनिधियों की पसंद पर निर्भर नहीं करता है जो परिणाम प्राप्त करने के लिए बनाए गए थे।


पूर्णांक मॉड्यूलो की सर्वांगसमता कक्षाएं {{mvar|m}} को परंपरागत रूप से अवशेष वर्ग मॉड्यूलो एम के रूप में जाना जाता था, जो इस तथ्य को दर्शाता है कि सर्वांगसमता वर्ग के सभी तत्वों को विभाजित करने पर समान शेष (अर्थात् अवशेष) होता है। {{mvar|m}}. का कोई भी सेट {{mvar|m}} पूर्णांकों का चयन इस प्रकार किया जाता है कि प्रत्येक एक अलग सर्वांगसमता वर्ग मॉड्यूलो m से आता है जिसे पूर्ण अवशेष प्रणाली मॉड्यूलो m कहा जाता है|अवशेष मॉड्यूलो की पूर्ण प्रणाली {{mvar|m}}.<ref>{{harvnb|Rosen|1993|page=121}}</ref> [[पूर्णांकों के लिए विभाजन एल्गोरिथ्म]] दर्शाता है कि पूर्णांकों का समुच्चय, {{math|{0, 1, 2, ..., ''m'' − 1} }} अवशेष मॉड्यूलो की एक पूरी प्रणाली बनाएं {{mvar|m}}, जिसे कम से कम अवशेष प्रणाली मॉड्यूलो एम|कम से कम अवशेष प्रणाली मॉड्यूलो के रूप में जाना जाता है {{mvar|m}}. अंकगणितीय समस्याओं के साथ काम करने में कभी-कभी अवशेषों की पूरी प्रणाली के साथ काम करना और सर्वांगसमता की भाषा का उपयोग करना अधिक सुविधाजनक होता है, जबकि अन्य समय में रिंग के सर्वांगसम वर्गों के दृष्टिकोण का उपयोग करना अधिक सुविधाजनक होता है। <math>\mathbb{Z}/m\mathbb{Z}</math> अधिक उपयोगी है.<ref>{{harvnb|Ireland|Rosen|1990|page=31}}</ref>
इन दो परिभाषित संक्रियाओं के साथ m सर्वांगसमता वर्ग एक वलय बनाते हैं, जिसे पूर्णांक मॉड्यूलो m का वलय कहा जाता है। इन बीजगणितीय वस्तुओं के लिए कई नोटेशन का उपयोग किया जाता है, अधिकांशतः <math>\mathbb{Z}/m\mathbb{Z}</math> या <math>\mathbb{Z}/m</math> किंतु कई प्रारंभिक पाठ और अनुप्रयोग क्षेत्र एक सरलीकृत नोटेशन <math>\mathbb{Z}_m</math> का उपयोग करते हैं जब अन्य बीजगणितीय वस्तुओं के साथ अस्पष्ट की संभावना नहीं होती है।




पूर्णांक मॉड्यूलो {{mvar|m}}के सर्वांगसम वर्गों को परंपरागत रूप से अवशेष वर्ग मॉड्यूलो {{mvar|m}}के रूप में जाना जाता था, जो इस तथ्य को दर्शाता है कि सर्वांगसम वर्ग के सभी तत्वों का {{mvar|m}}से विभाजित होने पर समान शेषफल (यानी, "अवशेष") होता है। {{mvar|m}}पूर्णांकों का कोई भी सेट चुना गया है ताकि प्रत्येक एक अलग सर्वांगसमता वर्ग मॉड्यूलो {{mvar|m}}से आता है, अवशेषों मॉड्यूलो {{mvar|m}}की एक पूरी प्रणाली कहलाती है।<ref>{{harvnb|Rosen|1993|page=121}}</ref> विभाजन एल्गोरिथ्म से पता चलता है कि पूर्णांकों का सेट, {{math|{0, 1, 2, ..., ''m'' − 1} }} अवशेष मॉड्यूलो m की एक पूरी प्रणाली बनाता है, जिसे सबसे कम अवशेष प्रणाली मॉड्यूलो m के रूप में जाना जाता है। अंकगणितीय समस्याओं के साथ काम करने में कभी-कभी अवशेषों की पूरी प्रणाली के साथ काम करना और सर्वांगसमता की भाषा का उपयोग करना अधिक सुविधाजनक होता है, जबकि अन्य समय में वलय <math>\mathbb{Z}/m\mathbb{Z}</math> के सर्वांगसम वर्गों के दृष्टिकोण का उपयोग करना अधिक सुविधाजनक होता है। अधिक उपयोगी है.<ref>{{harvnb|Ireland|Rosen|1990|page=31}}</ref>
===पूर्णांकों का गुणक समूह {{mvar|m}}===
===पूर्णांकों का गुणक समूह {{mvar|m}}===
{{main|Multiplicative group of integers modulo n}}
{{main|पूर्णांकों का गुणक समूह मॉड्यूलो एन}}
संपूर्ण अवशेष प्रणाली मॉड्यूलो का प्रत्येक तत्व नहीं {{mvar|m}} में एक मॉड्यूलर गुणात्मक व्युत्क्रम होता है, उदाहरण के लिए, शून्य कभी नहीं होता है। एक पूर्ण अवशेष प्रणाली के उन तत्वों को हटाने के बाद जो अपेक्षाकृत प्रमुख नहीं हैं {{mvar|m}}, जो बचा है उसे [[कम अवशेष प्रणाली]] कहा जाता है, जिसके सभी तत्वों में मॉड्यूलर गुणक व्युत्क्रम होते हैं। कम अवशेष प्रणाली में तत्वों की संख्या होती है <math>\phi(m)</math>, कहाँ <math>\phi</math> यूलर का टोटिएंट फ़ंक्शन है, यानी, सकारात्मक पूर्णांकों की संख्या से कम {{mvar|m}} जो अपेक्षाकृत प्रमुख हैं {{mvar|m}}.


एक इकाई वाले सामान्य वलय में प्रत्येक तत्व का गुणात्मक व्युत्क्रम नहीं होता है और जो होता है उसे इकाई (रिंग सिद्धांत) कहा जाता है। चूँकि दो इकाइयों का गुणनफल एक इकाई है, रिंग की इकाइयाँ एक [[समूह (गणित)]] बनाती हैं, रिंग की इकाइयों का समूह और अक्सर इसे निरूपित किया जाता है {{math|''R''<sup>×</sup>}} अगर {{mvar|R}} अंगूठी का नाम है. पूर्णांक मॉड्यूलो के वलय की इकाइयों का समूह {{mvar|m}} को पूर्णांक मॉड्यूलो का गुणक समूह कहा जाता है {{mvar|m}}, और यह कम अवशेष प्रणाली के लिए समरूपता है। विशेष रूप से, इसमें ऑर्डर (समूह सिद्धांत) (आकार) है, <math>\phi(m)</math>.


उस मामले में {{mvar|m}मान लीजिए, } एक [[अभाज्य संख्या]] है {{mvar|p}}, तब <math>\phi(p) = p-1</math> और के सभी गैर-शून्य तत्व <math>\mathbb{Z}/p\mathbb{Z}</math> इस प्रकार गुणात्मक व्युत्क्रम होते हैं <math>\mathbb{Z}/p\mathbb{Z}</math> एक सीमित क्षेत्र है. इस मामले में, पूर्णांकों का गुणक समूह मॉड्यूलो है {{mvar|p}} क्रम का एक [[चक्रीय समूह]] बनाएं {{math|''p'' − 1}}.
पूर्ण अवशेष प्रणाली मॉड्यूलो {{mvar|m}} के प्रत्येक तत्व में मॉड्यूलर गुणक व्युत्क्रम नहीं होता है, उदाहरण के लिए, शून्य में कभी नहीं होता है। एक पूर्ण अवशेष प्रणाली के उन तत्वों को हटाने के बाद जो {{mvar|m}} के लिए अपेक्षाकृत अभाज्य नहीं हैं, जो बचता है उसे कम अवशेष प्रणाली कहा जाता है, जिसके सभी तत्वों में मॉड्यूलर गुणक व्युत्क्रम होते हैं। कम अवशेष प्रणाली में तत्वों की संख्या <math>\phi(m)</math> है, जहां <math>\phi</math> यूलर टोटिएंट फलन है, अर्थात, m से कम सकारात्मक पूर्णांकों की संख्या जो m के लिए अपेक्षाकृत अभाज्य हैं।
 
एकता वाले सामान्य वलय में प्रत्येक तत्व का गुणात्मक व्युत्क्रम नहीं होता है और जो होता है उसे इकाई कहा जाता है। चूँकि दो इकाइयों का गुणनफल एक इकाई है, वलय की इकाइयाँ एक समूह बनाती हैं, वलय की इकाइयों का समूह और अधिकांशतः {{math|''R''<sup>×</sup>}} द्वारा दर्शाया जाता है यदि R वलय का नाम है। पूर्णांक मॉड्यूलो m के वलय की इकाइयों के समूह को पूर्णांक मॉड्यूल m का गुणक समूह कहा जाता है, और यह एक कम अवशेष प्रणाली के लिए आइसोमोर्फिक है। विशेष रूप से, इसका क्रम (आकार), <math>\phi(m)</math> है।
 
इस स्थिति में कि m एक अभाज्य है, मान लीजिए p, तो <math>\phi(p) = p-1</math> और <math>\mathbb{Z}/p\mathbb{Z}</math> के सभी गैर-शून्य तत्वों में गुणात्मक व्युत्क्रम होते हैं, इस प्रकार <math>\mathbb{Z}/p\mathbb{Z}</math> एक सीमित क्षेत्र है। इस स्थिति में, पूर्णांक मॉड्यूल {{mvar|p}} का गुणक समूह क्रम {{mvar|p}} - 1 का एक चक्रीय समूह बनाता है।


==उदाहरण==
==उदाहरण==


किसी भी पूर्णांक के लिए <math>n>1</math>, हमेशा ऐसा ही होता है <math>n^2-n+1</math> का मॉड्यूलर गुणक व्युत्क्रम है <math>n+1</math> मापांक के संबंध में <math>n^2</math>, तब से <math>(n+1)(n^2-n+1)=n^3+1</math>. उदाहरण हैं <math>3\times3 \equiv 1 \pmod{4}</math>, <math>4\times7 \equiv 1 \pmod{9}</math>, <math>5\times13 \equiv 1 \pmod{16}</math> और इसी तरह।
किसी भी पूर्णांक <math>n>1</math> के लिए, यह सदैव स्थिति होता है कि <math>n^2-n+1</math> मापांक <math>n^2</math> के संबंध में <math>n+1</math> का मॉड्यूलर गुणक व्युत्क्रम है, क्योंकि <math>(n+1)(n^2-n+1)=n^3+1</math> उदाहरण हैं<math>3\times3 \equiv 1 \pmod{4}</math>, <math>4\times7 \equiv 1 \pmod{9}</math>, <math>5\times13 \equiv 1 \pmod{16}</math> इत्यादि।


निम्नलिखित उदाहरण मापांक 10 का उपयोग करता है: दो पूर्णांक सर्वांगसम मॉड 10 हैं यदि और केवल यदि उनका अंतर 10 से विभाज्य है, उदाहरण के लिए
निम्नलिखित उदाहरण मापांक 10 का उपयोग करता है: दो पूर्णांक सर्वांगसम मॉड 10 हैं यदि और केवल यदि उनका अंतर 10 से विभाज्य है, उदाहरण के लिए
Line 64: Line 70:
:<math>\overline{5} = \{ \cdots, -15, -5, 5, 15, 25, \cdots \}</math> और
:<math>\overline{5} = \{ \cdots, -15, -5, 5, 15, 25, \cdots \}</math> और
:<math>\overline{9} = \{ \cdots, -11, -1, 9, 19, 29, \cdots \}.</math>
:<math>\overline{9} = \{ \cdots, -11, -1, 9, 19, 29, \cdots \}.</math>
रैखिक सर्वांगसमता {{math|4''x'' ≡ 5 (mod 10)}} का कोई समाधान नहीं है क्योंकि पूर्णांक जो 5 के सर्वांगसम हैं (अर्थात, जो इसमें हैं)। <math>\overline{5}</math>) सभी विषम हैं {{math|4''x''}} सदैव सम होता है. हालाँकि, रैखिक सर्वांगसमता {{math|4''x'' ≡ 6 (mod 10)}} के दो समाधान हैं, अर्थात्, {{math|1=''x'' = 4}} और {{math|1=''x'' = 9}}. वह {{math|1=gcd(4, 10) = 2}} और 2, 5 को विभाजित नहीं करता है, लेकिन 6 को विभाजित करता है।
रैखिक सर्वांगसमता {{math|4''x'' ≡ 5 (mod 10)}} का कोई समाधान नहीं है क्योंकि पूर्णांक जो 5 के सर्वांगसम हैं (अर्थात, जो इसमें हैं)। <math>\overline{5}</math>) सभी विषम हैं {{math|4''x''}} सदैव सम होता है. चूँकि रैखिक सर्वांगसमता {{math|4''x'' ≡ 6 (mod 10)}} के दो समाधान हैं, अर्थात्, {{math|1=''x'' = 4}} और {{math|1=''x'' = 9}}. वह {{math|1=gcd(4, 10) = 2}} और 2, 5 को विभाजित नहीं करता है, किंतु 6 को विभाजित करता है।


तब से {{math|1=gcd(3, 10) = 1}}, रैखिक सर्वांगसमता {{math|3''x'' ≡ 1 (mod 10)}} समाधान होंगे, यानी, 3 मॉड्यूल 10 के मॉड्यूलर गुणक व्युत्क्रम मौजूद होंगे। वास्तव में, 7 इस सर्वांगसमता को संतुष्ट करता है (अर्थात्, 21 − 1 = 20)। हालाँकि, अन्य पूर्णांक भी सर्वांगसमता को संतुष्ट करते हैं, उदाहरण के लिए 17 और −3 (यानी, 3(17) − 1 = 50 और 3(−3) − 1 = −10)। विशेष रूप से, प्रत्येक पूर्णांक <math>\overline{7}</math> सर्वांगसमता को संतुष्ट करेगा क्योंकि इन पूर्णांकों का रूप है {{math|7 + 10''r''}} कुछ पूर्णांक के लिए {{mvar|r}} और
:<math>3(7 + 10 r) - 1 = 21 + 30 r -1 = 20 + 30 r = 10(2 + 3r), </math>
10 से विभाज्य है। इस सर्वांगसमता में समाधानों का केवल यही एक सर्वांगसमता वर्ग है। इस मामले में समाधान सभी संभावित मामलों की जाँच करके प्राप्त किया जा सकता था, लेकिन बड़े मॉड्यूल के लिए व्यवस्थित एल्गोरिदम की आवश्यकता होगी और इन्हें अगले भाग में दिया जाएगा।


सर्वांगसम वर्गों का उत्पाद <math>\overline{5}</math> और <math>\overline{8}</math> के एक तत्व का चयन करके प्राप्त किया जा सकता है <math>\overline{5}</math>, मान लीजिए 25, और का एक तत्व <math>\overline{8}</math>, मान लीजिए −2, और यह देखते हुए कि उनका उत्पाद (25)(−2) = −50 सर्वांगसमता वर्ग में है <math>\overline{0}</math>. इस प्रकार, <math>\overline{5} \cdot_{10} \overline{8} = \overline{0}</math>. जोड़ को इसी प्रकार परिभाषित किया गया है। दस सर्वांगसम वर्ग, सर्वांगसम वर्गों के जोड़ और गुणन की इन संक्रियाओं के साथ मिलकर पूर्णांक मॉड्यूल 10 का वलय बनाते हैं, अर्थात, <math>\mathbb{Z}/10\mathbb{Z}</math>.
चूँकि {{math|1=gcd(3, 10) = 1}} रैखिक सर्वांगसमता {{math|3''x'' ≡ 1 (mod 10)}} के समाधान होंगे, अर्थात, 3 मॉड्यूल 10 के मॉड्यूलर गुणक व्युत्क्रम मौजूद होंगे। वास्तव में, 7 इस सर्वांगसमता को संतुष्ट करता है (अर्थात्, 21 − 1 = 20)। चूँकि अन्य पूर्णांक भी सर्वांगसमता को संतुष्ट करते हैं, उदाहरण के लिए 17 और −3 (अथार्त , 3(17) − 1 = 50 और 3(−3) − 1 = −10)। विशेष रूप से, <math>\overline{7}</math> में प्रत्येक पूर्णांक सर्वांगसमता को संतुष्ट करेगा क्योंकि इन पूर्णांकों में कुछ पूर्णांक r और <math>3(7 + 10 r) - 1 = 21 + 30 r -1 = 20 + 30 r = 10(2 + 3r), </math> के लिए 7 + 10r का रूप होता है।
:
10 से विभाज्य है। इस सर्वांगसमता में समाधानों का केवल यही एक सर्वांगसमता वर्ग है। इस स्थिति में समाधान सभी संभावित मामलों की जाँच करके प्राप्त किया जा सकता था, किंतु बड़े मॉड्यूल के लिए व्यवस्थित एल्गोरिदम की आवश्यकता होगी और इन्हें अगले भाग में दिया जाएगा।


एक पूर्ण अवशेष प्रणाली मॉड्यूलो 10 सेट {10, −9, 2, 13, 24, −15, 26, 37, 8, 9} हो सकता है, जहां प्रत्येक पूर्णांक एक अलग सर्वांगसमता वर्ग मॉड्यूल 10 में है। अद्वितीय न्यूनतम अवशेष प्रणाली मॉड्यूलो 10 {0, 1, 2, ..., 9} है। एक कम अवशेष प्रणाली मॉड्यूलो 10 {1, 3, 7, 9} हो सकता है। इन संख्याओं द्वारा दर्शाए गए किन्हीं दो सर्वांगसम वर्गों का गुणनफल फिर से इन चार सर्वांगसम वर्गों में से एक है। इसका तात्पर्य यह है कि ये चार सर्वांगसम वर्ग एक समूह बनाते हैं, इस मामले में क्रम चार का चक्रीय समूह, जिसमें (गुणक) जनरेटर के रूप में 3 या 7 होता है। निरूपित सर्वांगसमता वर्ग वलय की इकाइयों का समूह बनाते हैं <math>\mathbb{Z}/10\mathbb{Z}</math>. ये सर्वांगसमता वर्ग बिल्कुल वही हैं जिनमें मॉड्यूलर गुणात्मक व्युत्क्रम होते हैं।
सर्वांगसमता वर्गों <math>\overline{5}</math> और <math>\overline{8}</math> का उत्पाद <math>\overline{5}</math> का एक तत्व, मान लीजिए 25, और <math>\overline{8}</math> का एक तत्व, मान लीजिए −2, का चयन करके और यह देखकर प्राप्त किया जा सकता है कि उनका उत्पाद (25)(−2) ) = −50 सर्वांगसमता वर्ग में है। इस प्रकार,<math>\overline{5} \cdot_{10} \overline{8} = \overline{0}</math> जोड़ को इसी प्रकार परिभाषित किया गया है। दस सर्वांगसम वर्ग, सर्वांगसम वर्गों के जोड़ और गुणन की इन संक्रियाओं के साथ मिलकर पूर्णांक मॉड्यूलो 10 का वलय बनाते हैं, अर्थात <math>\mathbb{Z}/10\mathbb{Z}</math>।
 
एक पूर्ण अवशेष प्रणाली मॉड्यूलो 10 सेट {10, −9, 2, 13, 24, −15, 26, 37, 8, 9} हो सकता है, जहां प्रत्येक पूर्णांक एक अलग सर्वांगसमता वर्ग मॉड्यूल 10 में है। अद्वितीय न्यूनतम अवशेष प्रणाली मॉड्यूलो 10 {0, 1, 2, ..., 9} है। एक कम अवशेष प्रणाली मॉड्यूलो 10 {1, 3, 7, 9} हो सकता है। इन संख्याओं द्वारा दर्शाए गए किन्हीं दो सर्वांगसम वर्गों का गुणनफल फिर से इन चार सर्वांगसम वर्गों में से एक है। इसका तात्पर्य यह है कि ये चार सर्वांगसम वर्ग एक समूह बनाते हैं, इस मामले में क्रम चार का चक्रीय समूह, जिसमें (गुणक) जनरेटर के रूप में 3 या 7 होता है। निरूपित सर्वांगसमता वर्ग वलय <math>\mathbb{Z}/10\mathbb{Z}</math> की इकाइयों का समूह बनाते हैं। ये सर्वांगसमता वर्ग बिल्कुल वही हैं जिनमें मॉड्यूलर गुणात्मक व्युत्क्रम होते हैं।


==गणना==
==गणना==


===विस्तारित यूक्लिडियन एल्गोरिथ्म===
===विस्तारित यूक्लिडियन एल्गोरिथ्म===
{{main|Extended Euclidean algorithm}}
{{main|विस्तारित यूक्लिडियन एल्गोरिथ्म}}
{{wikibooks|Algorithm Implementation|Mathematics/Extended Euclidean algorithm|Extended Euclidean algorithm}}
का एक मॉड्यूलर गुणक व्युत्क्रम {{mvar|a}} मापांक {{mvar|m}}विस्तारित [[यूक्लिडियन एल्गोरिथ्म]] का उपयोग करके पाया जा सकता है।


यूक्लिडियन एल्गोरिदम दो पूर्णांकों का सबसे बड़ा सामान्य भाजक (जीसीडी) निर्धारित करता है {{mvar|a}} और {{mvar|m}}. अगर {{mvar|a}} में गुणक व्युत्क्रम मापांक है {{mvar|m}}, यह जीसीडी 1 होनी चाहिए। एल्गोरिदम द्वारा निर्मित कई समीकरणों में से अंतिम को इस जीसीडी के लिए हल किया जा सकता है। फिर, बैक प्रतिस्थापन नामक विधि का उपयोग करके, मूल मापदंडों और इस जीसीडी को जोड़ने वाला एक अभिव्यक्ति प्राप्त किया जा सकता है। दूसरे शब्दों में, पूर्णांक {{mvar|x}} और {{mvar|y}} बेज़ौट की पहचान को संतुष्ट करने के लिए पाया जा सकता है,
विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग करके {{mvar|a}} मॉड्यूलो {{mvar|m}} का एक मॉड्यूलर गुणक व्युत्क्रम पाया जा सकता है।{{wikibooks|Algorithm Implementation|Mathematics/Extended Euclidean algorithm|Extended Euclidean algorithm}}
यूक्लिडियन एल्गोरिदम दो पूर्णांकों, जैसे {{mvar|a}} और {{mvar|m}}. का सबसे बड़ा सामान्य भाजक (gcd) निर्धारित करता है। यदि a में गुणात्मक व्युत्क्रम मापांक m है, तो यह gcd 1 होनी चाहिए। एल्गोरिथम द्वारा निर्मित कई समीकरणों में से अंतिम को इस gcd के लिए हल किया जा सकता है। फिर, "बैक प्रतिस्थापन" नामक विधि का उपयोग करके मूल मापदंडों और इस जीसीडी को जोड़ने वाली एक अभिव्यक्ति प्राप्त की जा सकती है। दूसरे शब्दों में, बेज़आउट की पहचान को संतुष्ट करने के लिए पूर्णांक x और y पाए जा सकते हैं,


:<math>ax + my = \gcd(a, m)= 1.</math>
:<math>ax + my = \gcd(a, m)= 1.</math>
Line 90: Line 96:


:<math>ax \equiv 1 \pmod{m},</math>
:<math>ax \equiv 1 \pmod{m},</math>
तो, एक मॉड्यूलर गुणात्मक व्युत्क्रम {{mvar|a}} की गणना की गई है. एल्गोरिथम का एक अधिक कुशल संस्करण विस्तारित यूक्लिडियन एल्गोरिथम है, जो सहायक समीकरणों का उपयोग करके, एल्गोरिथम के माध्यम से दो पासों को कम कर देता है (बैक प्रतिस्थापन को एल्गोरिथम के माध्यम से रिवर्स में गुजरने के रूप में सोचा जा सकता है) केवल एक तक।
तो, एक मॉड्यूलर गुणात्मक व्युत्क्रम {{mvar|a}} की गणना की गई है. एल्गोरिथम का एक अधिक कुशल संस्करण विस्तारित यूक्लिडियन एल्गोरिथम है, जो सहायक समीकरणों का उपयोग करके, एल्गोरिथम के माध्यम से दो पासों को कम कर देता है (बैक प्रतिस्थापन को एल्गोरिथम के माध्यम से व्युत्क्रम में गुजरने के रूप में सोचा जा सकता है) केवल एक तक है।


बड़े O नोटेशन में, यह एल्गोरिथम समय के अनुसार चलता है {{math|O(log<sup>2</sup>(''m''))}}, यह मानते हुए {{math|{{abs|''a''}} < ''m''}}, और इसे इसके विकल्प, घातांक की तुलना में बहुत तेज़ और आम तौर पर अधिक कुशल माना जाता है।
बड़े O नोटेशन में, यह एल्गोरिथम {{math|{{abs|''a''}} < ''m''}} मानकर समय {{math|O(log<sup>2</sup>(''m''))}} में चलता हैऔर इसे अपने वैकल्पिक, घातांक की तुलना में बहुत तेज़ और सामान्यतः अधिक कुशल माना जाता है।


===यूलर के प्रमेय का उपयोग करना===
===यूलर के प्रमेय का उपयोग करना===
विस्तारित यूक्लिडियन एल्गोरिथ्म के विकल्प के रूप में, यूलर के प्रमेय का उपयोग मॉड्यूलर व्युत्क्रमों की गणना के लिए किया जा सकता है।<ref>Thomas Koshy. [https://books.google.com/books?id=d5Z5I3gnFh0C&pg=PA346 Elementary number theory with applications], 2nd edition. {{isbn|978-0-12-372487-8}}. P. 346.</ref>
विस्तारित यूक्लिडियन एल्गोरिथ्म के विकल्प के रूप में, यूलर के प्रमेय का उपयोग मॉड्यूलर व्युत्क्रमों की गणना के लिए किया जा सकता है।<ref>Thomas Koshy. [https://books.google.com/books?id=d5Z5I3gnFh0C&pg=PA346 Elementary number theory with applications], 2nd edition. {{isbn|978-0-12-372487-8}}. P. 346.</ref>
यूलर के प्रमेय के अनुसार, यदि {{mvar|a}} सहअभाज्य है {{mvar|m}}, वह है, {{math|1=gcd(''a'', ''m'') = 1}}, तब
यूलर के प्रमेय के अनुसार, यदि {{mvar|a}} सहअभाज्य है {{mvar|m}}, वह है, {{math|1=gcd(''a'', ''m'') = 1}}, तब


:<math>a^{\phi(m)} \equiv 1 \pmod{m},</math>
:<math>a^{\phi(m)} \equiv 1 \pmod{m},</math>
कहाँ <math>\phi</math> यूलर का टोटिएंट फ़ंक्शन है। यह इस तथ्य से पता चलता है कि {{mvar|a}} गुणक समूह से संबंधित है <math>(\mathbb{Z}/m\mathbb{Z})</math><sup>×</sup> यदि और केवल यदि {{mvar|a}} सहअभाज्य है {{mvar|m}}. इसलिए, एक मॉड्यूलर गुणक व्युत्क्रम सीधे पाया जा सकता है:
जहां <math>\phi</math> यूलर का टोटिएंट फलन है। यह इस तथ्य से निकलता है कि a गुणक समूह <math>(\mathbb{Z}/m\mathbb{Z})</math><sup>×</sup> से संबंधित है यदि और केवल यदि a, m का सहअभाज्य है। इसलिए, एक मॉड्यूलर गुणक व्युत्क्रम सीधे पाया जा सकता है:


:<math>a^{\phi(m)-1} \equiv a^{-1} \pmod{m}.</math>
:<math>a^{\phi(m)-1} \equiv a^{-1} \pmod{m}.</math>
विशेष मामले में जहां {{mvar|m}} एक प्रधान है, <math>\phi (m) = m - 1</math> और एक मॉड्यूलर व्युत्क्रम दिया गया है
विशेष स्थिति में जहां m एक अभाज्य है, <math>\phi (m) = m - 1</math> और एक मॉड्यूलर व्युत्क्रम निम्न द्वारा दिया जाता है
: <math>a^{-1} \equiv a^{m-2} \pmod{m}.</math>
: <math>a^{-1} \equiv a^{m-2} \pmod{m}.</math>
यह विधि आम तौर पर विस्तारित यूक्लिडियन एल्गोरिदम की तुलना में धीमी है, लेकिन कभी-कभी इसका उपयोग तब किया जाता है जब मॉड्यूलर एक्सपोनेंटिएशन के लिए कार्यान्वयन पहले से ही उपलब्ध होता है। इस पद्धति के कुछ नुकसानों में शामिल हैं:
यह विधि सामान्यतः विस्तारित यूक्लिडियन एल्गोरिदम की तुलना में धीमी है, किंतु कभी-कभी इसका उपयोग तब किया जाता है जब मॉड्यूलर एक्सपोनेंटिएशन के लिए कार्यान्वयन पहले से ही उपलब्ध होता है। इस पद्धति के कुछ हानियों में सम्मिलित हैं:
*मूल्य <math>\phi (m)</math> ज्ञात होना चाहिए और सबसे कुशल ज्ञात गणना की आवश्यकता है {{mvar|m}} का [[गुणन]]खंडन. व्यापक रूप से माना जाता है कि गुणनखंडन एक कम्प्यूटेशनल रूप से कठिन समस्या है। हालाँकि, गणना <math>\phi (m)</math> का अभाज्य गुणनखंडन होने पर यह सीधा है {{mvar|m}} ज्ञात है।
*मान <math>\phi (m)</math> ज्ञात होना चाहिए और सबसे कुशल ज्ञात गणना के लिए {{mvar|m}} के गुणनखंड की आवश्यकता होती है। व्यापक रूप से माना जाता है कि गुणनखंडन एक कम्प्यूटेशनल रूप से कठिन समस्या है। चूँकि जब m का अभाज्य गुणनखंड ज्ञात हो तो <math>\phi (m)</math> की गणना करना सरल होता है।
*घातांक की सापेक्ष लागत. यद्यपि बड़े मान होने पर इसे [[मॉड्यूलर घातांक]] का उपयोग करके अधिक कुशलता से कार्यान्वित किया जा सकता है {{mvar|m}} इसमें शामिल हैं इसकी गणना मोंटगोमरी कटौती पद्धति से सबसे कुशलता से की जाती है। इस एल्गोरिदम को स्वयं एक मॉड्यूलर व्युत्क्रम मॉड की आवश्यकता होती है {{mvar|m}}, जिसकी गणना सबसे पहले की जानी थी। मोंटगोमरी विधि के बिना, मानक बाइनरी घातांक, जिसके लिए डिवीजन मॉड की आवश्यकता होती है {{mvar|m}} हर कदम पर, धीमी गति से काम करता है जब {{mvar|m}} बड़ी है।
*घातांक की सापेक्ष निवेश यद्यपि इसे मॉड्यूलर घातांक का उपयोग करके अधिक कुशलता से कार्यान्वित किया जा सकता है, जब {{mvar|m}} के बड़े मूल्य सम्मिलित होते हैं तो इसकी गणना मोंटगोमरी कमियों विधि के साथ सबसे कुशलता से की जाती है। इस एल्गोरिदम के लिए स्वयं एक मॉड्यूलर व्युत्क्रम मॉड m की आवश्यकता होती है, जिसकी गणना सबसे पहले की जानी थी। मोंटगोमरी विधि के बिना, मानक बाइनरी घातांक, जिसके लिए हर चरण पर विभाजन मॉड {{mvar|m}} की आवश्यकता होती है, {{mvar|m}} बड़ा होने पर एक धीमा संचालन होता है।


इस तकनीक का एक उल्लेखनीय लाभ यह है कि इसमें कोई सशर्त शाखाएँ नहीं होती हैं जो के मूल्य पर निर्भर करती हैं {{mvar|a}}, और इस प्रकार का मूल्य {{mvar|a}}, जो सार्वजनिक-कुंजी क्रिप्टोग्राफी में एक महत्वपूर्ण रहस्य हो सकता है, को साइड-चैनल हमलों से बचाया जा सकता है। इस कारण से, कर्व25519 का मानक कार्यान्वयन व्युत्क्रम की गणना करने के लिए इस तकनीक का उपयोग करता है।
इस तकनीक का एक उल्लेखनीय लाभ यह है कि इसमें कोई नियमित शाखाएँ नहीं हैं जो a के मूल्य पर निर्भर करती हैं, और इस प्रकार a का मूल्य, जो सार्वजनिक-कुंजी क्रिप्टोग्राफी में एक महत्वपूर्ण रहस्य हो सकता है, को साइड-चैनल हमलों से बचाया जा सकता है। इस कारण से, कर्व25519 का मानक कार्यान्वयन व्युत्क्रम की गणना करने के लिए इस तकनीक का उपयोग करता है।


===एकाधिक व्युत्क्रम===
===एकाधिक व्युत्क्रम===
अनेक संख्याओं के व्युत्क्रम की गणना करना संभव है {{mvar|a<sub>i</sub>}}, मॉड्यूलो एक सामान्य {{mvar|m}}, यूक्लिडियन एल्गोरिथम के एकल आह्वान और प्रति अतिरिक्त इनपुट के तीन गुणन के साथ।<ref>{{cite book |title=आधुनिक कंप्यूटर अंकगणित|first1=Richard P. |last1=Brent |author-link1=Richard P. Brent |first2=Paul |last2=Zimmermann |author-link2=Paul Zimmermann (mathematician) |chapter=§2.5.1 Several inversions at once |pages=67–68 |date=December 2010 |publisher=Cambridge University Press |series= Cambridge Monographs on Computational and Applied Mathematics |volume=18 |isbn=978-0-521-19469-3 |url=https://members.loria.fr/PZimmermann/mca/pub226.html |chapter-url=http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.9.pdf#page=83}}</ref> मूल विचार सभी का उत्पाद बनाना है {{mvar|a<sub>i</sub>}}, उसे उलटा करें, फिर से गुणा करें {{mvar|a<sub>j</sub>}} सभी के लिए {{math|''j'' ≠ ''i''}} केवल वांछित को छोड़ना {{math|''a''{{su|p=−1|b=''i''}}}}.
यूक्लिडियन एल्गोरिथम के एकल आह्वान और प्रति अतिरिक्त इनपुट के तीन गुणन के साथ, कई संख्याओं {{mvar|a<sub>i</sub>}} के व्युत्क्रम की गणना करना संभव है, मॉड्यूलो एक सामान्य m <ref>{{cite book |title=आधुनिक कंप्यूटर अंकगणित|first1=Richard P. |last1=Brent |author-link1=Richard P. Brent |first2=Paul |last2=Zimmermann |author-link2=Paul Zimmermann (mathematician) |chapter=§2.5.1 Several inversions at once |pages=67–68 |date=December 2010 |publisher=Cambridge University Press |series= Cambridge Monographs on Computational and Applied Mathematics |volume=18 |isbn=978-0-521-19469-3 |url=https://members.loria.fr/PZimmermann/mca/pub226.html |chapter-url=http://www.loria.fr/~zimmerma/mca/mca-cup-0.5.9.pdf#page=83}}</ref> मूल विचार यह है कि सभी {{mvar|a<sub>i</sub>}} का गुणनफल बनाएं, उसे उलटा करें, फिर सभी {{math|''j'' ≠ ''i''}} के लिए {{mvar|a<sub>j</sub>}} से गुणा करें ताकि केवल वांछित {{math|''a''{{su|p=−1|b=''i''}}}} बचे है ।


अधिक विशेष रूप से, एल्गोरिथ्म (सभी अंकगणित मॉड्यूलो द्वारा निष्पादित) है {{mvar|m}}):
अधिक विशेष रूप से, एल्गोरिथ्म है (सभी अंकगणित मॉड्यूलो {{mvar|m}} द्वारा निष्पादित):
# [[उपसर्ग योग]] की गणना करें <math display=inline>b_i = \prod_{j=1}^i a_j = a_i b_{i-1}</math> सभी के लिए {{math|''i'' ≤ ''n''}}.
#सभी {{math|''i'' ≤ ''n''}} के लिए उपसर्ग उत्पादों <math display="inline">b_i = \prod_{j=1}^i a_j = a_i b_{i-1}</math> की गणना करें।
# गणना करें {{math|''b''{{su|p=−1|b=''n''}}}} किसी भी उपलब्ध एल्गोरिदम का उपयोग करना।
# गणना करें {{math|''b''{{su|p=−1|b=''n''}}}} किसी भी उपलब्ध एल्गोरिदम का उपयोग करना।
# के लिए {{mvar|i}} से {{mvar|n}} 2 से नीचे, गणना करें
# के लिए {{mvar|i}} से {{mvar|n}} 2 से नीचे, गणना करें
Line 121: Line 128:
# आखिरकार, {{math|1=''a''{{su|p=−1|b=1}} = ''b''{{su|p=−1|b=1}}}}.
# आखिरकार, {{math|1=''a''{{su|p=−1|b=1}} = ''b''{{su|p=−1|b=1}}}}.


[[समानांतर कंप्यूटिंग]] का फायदा उठाने के लिए रैखिक रूप से बजाय पेड़ संरचना में गुणन करना संभव है।
[[समानांतर कंप्यूटिंग]] का लाभ उठाने के लिए रैखिक रूप से अतिरिक्त पेड़ संरचना में गुणन करना संभव है।


==अनुप्रयोग==
==अनुप्रयोग==


मॉड्यूलर गुणक व्युत्क्रम खोजने के एल्गोरिदम में कई अनुप्रयोग हैं जो मॉड्यूलर अंकगणित के सिद्धांत पर निर्भर करते हैं। उदाहरण के लिए, क्रिप्टोग्राफी में मॉड्यूलर अंकगणित का उपयोग कुछ कार्यों को अधिक तेज़ी से और कम भंडारण आवश्यकताओं के साथ पूरा करने की अनुमति देता है, जबकि अन्य ऑपरेशन अधिक कठिन हो जाते हैं।<ref>{{harvnb|Trappe|Washington|2006|loc=p. 167}}</ref> इन दोनों सुविधाओं का उपयोग लाभ के लिए किया जा सकता है। विशेष रूप से, आरएसए एल्गोरिथ्म में, किसी संदेश को एन्क्रिप्ट और डिक्रिप्ट करना संख्याओं की एक जोड़ी का उपयोग करके किया जाता है जो सावधानीपूर्वक चयनित मापांक के संबंध में गुणक व्युत्क्रम होते हैं। इनमें से एक नंबर को सार्वजनिक कर दिया गया है और इसे तीव्र एन्क्रिप्शन प्रक्रिया में उपयोग किया जा सकता है, जबकि डिक्रिप्शन प्रक्रिया में उपयोग किए जाने वाले दूसरे नंबर को छिपाकर रखा जाता है। सार्वजनिक नंबर से छिपे हुए नंबर को निर्धारित करना कम्प्यूटेशनल रूप से असंभव माना जाता है और यही सिस्टम गोपनीयता सुनिश्चित करने के लिए काम करता है।<ref>{{harvnb|Trappe|Washington|2006|loc=p. 165}}</ref>
मॉड्यूलर गुणक व्युत्क्रम खोजने के एल्गोरिदम में कई अनुप्रयोग हैं जो मॉड्यूलर अंकगणित के सिद्धांत पर निर्भर करते हैं। उदाहरण के लिए, क्रिप्टोग्राफी में मॉड्यूलर अंकगणित का उपयोग कुछ कार्यों को अधिक तेज़ी से और कम संचयन आवश्यकताओं के साथ पूरा करने की अनुमति देता है, जबकि अन्य ऑपरेशन अधिक कठिन हो जाते हैं।<ref>{{harvnb|Trappe|Washington|2006|loc=p. 167}}</ref> इन दोनों सुविधाओं का उपयोग लाभ के लिए किया जा सकता है। विशेष रूप से आरएसए एल्गोरिथ्म में, किसी संदेश को एन्क्रिप्ट और डिक्रिप्ट करना संख्याओं की एक जोड़ी का उपयोग करके किया जाता है जो सावधानीपूर्वक चयनित मापांक के संबंध में गुणक व्युत्क्रम होते हैं। इनमें से एक नंबर को सार्वजनिक कर दिया गया है और इसे तीव्र एन्क्रिप्शन प्रक्रिया में उपयोग किया जा सकता है, जबकि डिक्रिप्शन प्रक्रिया में उपयोग किए जाने वाले दूसरे नंबर को छिपाकर रखा जाता है। सार्वजनिक नंबर से छिपे हुए नंबर को निर्धारित करना कम्प्यूटेशनल रूप से असंभव माना जाता है और यही प्रणाली गोपनीयता सुनिश्चित करने के लिए काम करता है।<ref>{{harvnb|Trappe|Washington|2006|loc=p. 165}}</ref>
एक अलग संदर्भ में एक अन्य उदाहरण के रूप में, कंप्यूटर विज्ञान में सटीक विभाजन समस्या पर विचार करें जहां आपके पास विषम शब्द-आकार की संख्याओं की एक सूची है, जिनमें से प्रत्येक को विभाजित किया जा सकता है। {{math|''k''}} और आप उन सभी को विभाजित करना चाहते हैं {{math|''k''}}. एक समाधान इस प्रकार है:
# गणना करने के लिए विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग करें {{math|''k''<sup>−1</sup>}}, का मॉड्यूलर गुणक व्युत्क्रम {{math|''k'' mod 2<sup>''w''</sup>}}, कहाँ {{math|''w''}} एक शब्द में बिट्स की संख्या है। यह व्युत्क्रम मौजूद होगा क्योंकि संख्याएँ विषम हैं और मापांक में कोई विषम गुणनखंड नहीं है।
# सूची में प्रत्येक संख्या के लिए इसे गुणा करें {{math|''k''<sup>−1</sup>}} और परिणाम का सबसे कम महत्वपूर्ण शब्द लें।


कई मशीनों पर, विशेष रूप से विभाजन के लिए हार्डवेयर समर्थन के बिना, विभाजन गुणन की तुलना में धीमा ऑपरेशन है, इसलिए यह दृष्टिकोण काफी गति प्रदान कर सकता है। पहला चरण अपेक्षाकृत धीमा है लेकिन इसे केवल एक बार करने की आवश्यकता है।
एक अलग संदर्भ में एक अन्य उदाहरण के रूप में, कंप्यूटर विज्ञान में स्पष्ट विभाजन समस्या पर विचार करें जहां आपके पास k से विभाज्य विषम शब्द आकार की संख्याओं की एक सूची है और आप उन सभी को {{math|''k''}} से विभाजित करना चाहते हैं। एक समाधान इस प्रकार है:
#{{math|''k'' mod 2<sup>''w''</sup>}} के मॉड्यूलर गुणक व्युत्क्रम {{math|''k''<sup>−1</sup>}} की गणना करने के लिए विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग करें, जहां {{math|''w''}} एक शब्द में बिट्स की संख्या है। यह व्युत्क्रम उपस्थित होगा क्योंकि संख्याएँ विषम हैं और मापांक में कोई विषम गुणनखंड नहीं है।
#सूची में प्रत्येक संख्या के लिए, इसे {{math|''k''<sup>−1</sup>}} से गुणा करें और परिणाम का सबसे कम महत्वपूर्ण शब्द लें।


मॉड्यूलर गुणक व्युत्क्रमों का उपयोग रैखिक सर्वांगसमताओं की एक प्रणाली का समाधान प्राप्त करने के लिए किया जाता है जिसकी गारंटी [[चीनी शेष प्रमेय]] द्वारा दी जाती है।
कई मशीनों पर विशेष रूप से विभाजन के लिए हार्डवेयर समर्थन के बिना विभाजन गुणन की तुलना में धीमा ऑपरेशन है, इसलिए यह दृष्टिकोण अधिक गति प्रदान कर सकता है। पहला चरण अपेक्षाकृत धीमा है किंतु इसे केवल एक बार करने की आवश्यकता है।


उदाहरण के लिए, सिस्टम
मॉड्यूलर गुणक व्युत्क्रमों का उपयोग रैखिक सर्वांगसमताओं की एक प्रणाली का समाधान प्राप्त करने के लिए किया जाता है जिसकी आश्वासन [[चीनी शेष प्रमेय]] द्वारा दी जाती है।
 
उदाहरण के लिए, प्रणाली
::{{mvar|X}} ≡ 4 (मॉड 5)
::{{mvar|X}} ≡ 4 (मॉड 5)
::{{mvar|X}} ≡ 4 (मॉड 7)
::{{mvar|X}} ≡ 4 (मॉड 7)
Line 140: Line 148:
सामान्य समाधान हैं क्योंकि 5,7 और 11 जोड़ीवार सहअभाज्य हैं। द्वारा एक समाधान दिया गया है
सामान्य समाधान हैं क्योंकि 5,7 और 11 जोड़ीवार सहअभाज्य हैं। द्वारा एक समाधान दिया गया है
: {{mvar|X}} = {{math|''t''<sub>1</sub>}} (7 × 11) × 4 + {{math|''t''<sub>2</sub>}} (5 × 11) × 4 + {{math|''t''<sub>3</sub>}} (5 × 7) × 6
: {{mvar|X}} = {{math|''t''<sub>1</sub>}} (7 × 11) × 4 + {{math|''t''<sub>2</sub>}} (5 × 11) × 4 + {{math|''t''<sub>3</sub>}} (5 × 7) × 6
कहाँ
जहाँ
:{{math|''t''<sub>1</sub>}} = 3, 7 × 11 (मॉड 5) का मॉड्यूलर गुणक व्युत्क्रम है,
:{{math|''t''<sub>1</sub>}} = 3, 7 × 11 (मॉड 5) का मॉड्यूलर गुणक व्युत्क्रम है,
:{{math|''t''<sub>2</sub>}} = 6, 5 × 11 (मॉड 7) का मॉड्यूलर गुणक व्युत्क्रम है और
:{{math|''t''<sub>2</sub>}} = 6, 5 × 11 (मॉड 7) का मॉड्यूलर गुणक व्युत्क्रम है और
Line 150: Line 158:
चूँकि 385, 5,7 और 11 का लघुत्तम समापवर्तक है।
चूँकि 385, 5,7 और 11 का लघुत्तम समापवर्तक है।


इसके अलावा, मॉड्यूलर गुणक व्युत्क्रम [[क्लोस्टरमैन योग]] की परिभाषा में प्रमुखता से आता है।
इसके अतिरिक्त मॉड्यूलर गुणक व्युत्क्रम [[क्लोस्टरमैन योग]] की परिभाषा में प्रमुखता से आता है।


==यह भी देखें==
==यह भी देखें==
Line 170: Line 178:
*{{MathWorld |title=Modular Inverse |id=ModularInverse}}
*{{MathWorld |title=Modular Inverse |id=ModularInverse}}
* [http://www.math.utah.edu/~fguevara/ Guevara Vasquez, Fernando] provides a [https://www.math.utah.edu/~fguevara/ACCESS2013/Euclid.pdf solved example] of solving the modulo multiplicative inverse using Euclid's Algorithm
* [http://www.math.utah.edu/~fguevara/ Guevara Vasquez, Fernando] provides a [https://www.math.utah.edu/~fguevara/ACCESS2013/Euclid.pdf solved example] of solving the modulo multiplicative inverse using Euclid's Algorithm
{{DEFAULTSORT:Modular Multiplicative Inverse}}[[Category: मॉड्यूलर अंकगणित]] [[Category: बाइनरी ऑपरेशन]]
{{DEFAULTSORT:Modular Multiplicative Inverse}}
 
 


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page|Modular Multiplicative Inverse]]
[[Category:Created On 01/07/2023]]
[[Category:Created On 01/07/2023|Modular Multiplicative Inverse]]
[[Category:Lua-based templates|Modular Multiplicative Inverse]]
[[Category:Machine Translated Page|Modular Multiplicative Inverse]]
[[Category:Pages with script errors|Modular Multiplicative Inverse]]
[[Category:Templates Vigyan Ready|Modular Multiplicative Inverse]]
[[Category:Templates that add a tracking category|Modular Multiplicative Inverse]]
[[Category:Templates that generate short descriptions|Modular Multiplicative Inverse]]
[[Category:Templates using TemplateData|Modular Multiplicative Inverse]]
[[Category:बाइनरी ऑपरेशन|Modular Multiplicative Inverse]]
[[Category:मॉड्यूलर अंकगणित|Modular Multiplicative Inverse]]

Latest revision as of 19:16, 12 July 2023


गणित में, विशेष रूप से अंकगणित के क्षेत्र में, एक पूर्णांक a का मॉड्यूलर गुणन व्युत्क्रम एक पूर्णांक x होता है, जिससे उत्पाद ax मापांक m के संबंध में 1 के सर्वांगसम हो।[1] मॉड्यूलर अंकगणित के मानक अंकन में इस सर्वांगसमता को इस प्रकार लिखा जाता है

यह कथन लिखने का संक्षिप्त विधि है कि m मात्रा ax - 1 को (समान रूप से) विभाजित करता है, या, दूसरे विधि से कहें तो, ax को पूर्णांक m से विभाजित करने के बाद शेषफल 1 होता है। यदि a में व्युत्क्रम मॉड्यूल m है, तो वहाँ इस सर्वांगसमता के अनंत संख्या में समाधान हैं, जो इस मापांक के संबंध में एक सर्वांगसमता वर्ग बनाते हैं। इसके अतिरिक्त , कोई भी पूर्णांक जो a के सर्वांगसम है (अर्थात्, a के सर्वांगसम वर्ग में) x के सर्वांगसम वर्ग का कोई भी तत्व मॉड्यूलर गुणक व्युत्क्रम के रूप में होता है। w युक्त सर्वांगसम वर्ग को इंगित करने के लिए के अंकन का उपयोग करते हुए, इसे यह कहकर व्यक्त किया जा सकता है कि सर्वांगसम वर्ग का मॉड्यूलो गुणात्मक व्युत्क्रम सर्वांगसम वर्ग है जैसे कि:

जहां प्रतीक तुल्यता वर्ग मॉड्यूलो m के गुणन को दर्शाता है।.[2] इस तरह से लिखे जाने पर, परिमेय संख्या या वास्तविक संख्याओं के सेट में गुणात्मक व्युत्क्रम की सामान्य अवधारणा के साथ सादृश्य को स्पष्ट रूप से दर्शाया जाता है, संख्याओं को सर्वांगसम वर्गों द्वारा प्रतिस्थापित किया जाता है और बाइनरी ऑपरेशन को उचित रूप से बदल दिया जाता है।

वास्तविक संख्याओं पर अनुरूप ऑपरेशन की तरह, इस ऑपरेशन का मौलिक उपयोग, जब संभव हो, फॉर्म की रैखिक सर्वांगसमताओं को हल करने में होता है

मॉड्यूलर गुणक व्युत्क्रम खोजने का क्रिप्टोग्राफी, अथार्त सार्वजनिक-कुंजी क्रिप्टोग्राफी और आरएसए (क्रिप्टोसिस्टम) के क्षेत्र में व्यावहारिक अनुप्रयोग भी है।[3][4][5] इन अनुप्रयोगों के कंप्यूटर कार्यान्वयन के लिए एक लाभ यह है कि एक बहुत तेज़ एल्गोरिदम (विस्तारित यूक्लिडियन एल्गोरिदम) उपस्थित है जिसका उपयोग मॉड्यूलर गुणक व्युत्क्रमों की गणना के लिए किया जा सकता है।

मॉड्यूलर अंकगणित

किसी दिए गए सकारात्मक पूर्णांक m के लिए, दो पूर्णांक, a और b, को सर्वांगसम मॉड्यूल m कहा जाता है यदि m उनके अंतर को विभाजित करता है। इस द्विआधारी संबंध को निरूपित किया जाता है,

यह पूर्णांकों, ℤ के सेट पर एक समतुल्य संबंध है, और समतुल्य वर्गों को सर्वांगसम वर्ग मॉड्यूलो m या अवशेष वर्ग मॉड्यूलो m कहा जाता है। मान लीजिए कि पूर्णांक a,[6] वाले सर्वांगसम वर्ग को निरूपित करता है

एक रैखिक सर्वांगसमता प्रपत्र की एक मॉड्यूलर सर्वांगसमता है

वास्तविक पर रैखिक समीकरणों के विपरीत, रैखिक सर्वांगसमताओं में शून्य, एक या कई समाधान हो सकते हैं। यदि x एक रैखिक सर्वांगसमता का एक समाधान है तो में प्रत्येक तत्व भी एक समाधान है, इसलिए, एक रैखिक सर्वांगसमता के समाधानों की संख्या के बारे में बात करते समय हम विभिन्न सर्वांगसमता वर्गों की संख्या का उल्लेख कर रहे हैं जिनमें सम्मिलित हैं समाधान होते हैं।

यदि d, a और m का सबसे बड़ा सामान्य भाजक है तो रैखिक सर्वांगसमता ax ≡ b (mod m) का समाधान तभी होता है जब d, b को विभाजित करता है। यदि d, b को विभाजित करता है, तो वास्तव में d समाधान हैं।[7]

एक पूर्णांक का एक मॉड्यूलर गुणन व्युत्क्रम a मापांक के संबंध में m रैखिक सर्वांगसमता का एक समाधान है

पिछला परिणाम कहता है कि समाधान उपस्थित है यदि और केवल यदि gcd(a, m) = 1, वह है, a और m सहअभाज्य पूर्णांक होना चाहिए (अर्थात् सहअभाज्य) इसके अतिरिक्त, जब यह स्थिति कायम रहती है, तो वास्तव में एक ही समाधान होता है, अथार्त जब यह उपस्थित होता है, तो एक मॉड्यूलर गुणक व्युत्क्रम अद्वितीय होता है:[8] यदि b और b' मापांक m के संबंध में दोनों मॉड्यूलर गुणक व्युत्क्रम हैं

इसलिए

यदि a ≡ 0 (mod m), तब gcd(a, m) = a, और a में मॉड्यूलर गुणक व्युत्क्रम भी नहीं होगा। इसलिए, b ≡ b' (mod m).

जब ax ≡ 1 (mod m) का एक समाधान है इसे अधिकांशतः इस तरह से दर्शाया जाता है -

किंतु इसे अंकन का दुरुपयोग माना जा सकता है क्योंकि इसे a के व्युत्क्रम के रूप में गलत समझा जा सकता है (जो, मॉड्यूलर गुणक व्युत्क्रम के विपरीत, एक पूर्णांक नहीं है अतिरिक्त इसके कि जब a 1 या -1 हो)। यदि a की व्याख्या सर्वांगसम वर्ग के लिए एक टोकन के रूप में की जाती है, तो अंकन उचित होगा, क्योंकि सर्वांगसम वर्ग का गुणक व्युत्क्रम अगले भाग में परिभाषित गुणन के साथ एक सर्वांगसम वर्ग है।

पूर्णांक मॉड्यूलो m

सर्वांगसम संबंध, मॉड्यूलो m, पूर्णांकों के समुच्चय को एम सर्वांगसम वर्गों में विभाजित करता है। इन m वस्तुओं पर जोड़ और गुणन की संक्रियाओं को निम्नलिखित विधि से परिभाषित किया जा सकता है: दो सर्वांगसम वर्गों को जोड़ने या गुणा करने के लिए, पहले प्रत्येक वर्ग से एक प्रतिनिधि (किसी भी तरह से) चुनें, फिर दोनों प्रतिनिधियों पर पूर्णांकों के लिए सामान्य संचालन करें। और अंत में सर्वांगसम वर्ग को लें जिसमें पूर्णांक संक्रिया का परिणाम सर्वांगसम वर्गों पर संक्रिया के परिणाम के रूप में निहित है। प्रतीकों में, सर्वांगसम वर्गों पर संक्रियाओं का प्रतिनिधित्व करने वाले और के साथ, ये परिभाषाएँ हैं

और

ये ऑपरेशन अच्छी तरह से परिभाषित हैं, जिसका अर्थ है कि अंतिम परिणाम उन प्रतिनिधियों की पसंद पर निर्भर नहीं करता है जो परिणाम प्राप्त करने के लिए बनाए गए थे।

इन दो परिभाषित संक्रियाओं के साथ m सर्वांगसमता वर्ग एक वलय बनाते हैं, जिसे पूर्णांक मॉड्यूलो m का वलय कहा जाता है। इन बीजगणितीय वस्तुओं के लिए कई नोटेशन का उपयोग किया जाता है, अधिकांशतः या किंतु कई प्रारंभिक पाठ और अनुप्रयोग क्षेत्र एक सरलीकृत नोटेशन का उपयोग करते हैं जब अन्य बीजगणितीय वस्तुओं के साथ अस्पष्ट की संभावना नहीं होती है।


पूर्णांक मॉड्यूलो mके सर्वांगसम वर्गों को परंपरागत रूप से अवशेष वर्ग मॉड्यूलो mके रूप में जाना जाता था, जो इस तथ्य को दर्शाता है कि सर्वांगसम वर्ग के सभी तत्वों का mसे विभाजित होने पर समान शेषफल (यानी, "अवशेष") होता है। mपूर्णांकों का कोई भी सेट चुना गया है ताकि प्रत्येक एक अलग सर्वांगसमता वर्ग मॉड्यूलो mसे आता है, अवशेषों मॉड्यूलो mकी एक पूरी प्रणाली कहलाती है।[9] विभाजन एल्गोरिथ्म से पता चलता है कि पूर्णांकों का सेट, {0, 1, 2, ..., m − 1} अवशेष मॉड्यूलो m की एक पूरी प्रणाली बनाता है, जिसे सबसे कम अवशेष प्रणाली मॉड्यूलो m के रूप में जाना जाता है। अंकगणितीय समस्याओं के साथ काम करने में कभी-कभी अवशेषों की पूरी प्रणाली के साथ काम करना और सर्वांगसमता की भाषा का उपयोग करना अधिक सुविधाजनक होता है, जबकि अन्य समय में वलय के सर्वांगसम वर्गों के दृष्टिकोण का उपयोग करना अधिक सुविधाजनक होता है। अधिक उपयोगी है.[10]

पूर्णांकों का गुणक समूह m


पूर्ण अवशेष प्रणाली मॉड्यूलो m के प्रत्येक तत्व में मॉड्यूलर गुणक व्युत्क्रम नहीं होता है, उदाहरण के लिए, शून्य में कभी नहीं होता है। एक पूर्ण अवशेष प्रणाली के उन तत्वों को हटाने के बाद जो m के लिए अपेक्षाकृत अभाज्य नहीं हैं, जो बचता है उसे कम अवशेष प्रणाली कहा जाता है, जिसके सभी तत्वों में मॉड्यूलर गुणक व्युत्क्रम होते हैं। कम अवशेष प्रणाली में तत्वों की संख्या है, जहां यूलर टोटिएंट फलन है, अर्थात, m से कम सकारात्मक पूर्णांकों की संख्या जो m के लिए अपेक्षाकृत अभाज्य हैं।

एकता वाले सामान्य वलय में प्रत्येक तत्व का गुणात्मक व्युत्क्रम नहीं होता है और जो होता है उसे इकाई कहा जाता है। चूँकि दो इकाइयों का गुणनफल एक इकाई है, वलय की इकाइयाँ एक समूह बनाती हैं, वलय की इकाइयों का समूह और अधिकांशतः R× द्वारा दर्शाया जाता है यदि R वलय का नाम है। पूर्णांक मॉड्यूलो m के वलय की इकाइयों के समूह को पूर्णांक मॉड्यूल m का गुणक समूह कहा जाता है, और यह एक कम अवशेष प्रणाली के लिए आइसोमोर्फिक है। विशेष रूप से, इसका क्रम (आकार), है।

इस स्थिति में कि m एक अभाज्य है, मान लीजिए p, तो और के सभी गैर-शून्य तत्वों में गुणात्मक व्युत्क्रम होते हैं, इस प्रकार एक सीमित क्षेत्र है। इस स्थिति में, पूर्णांक मॉड्यूल p का गुणक समूह क्रम p - 1 का एक चक्रीय समूह बनाता है।

उदाहरण

किसी भी पूर्णांक के लिए, यह सदैव स्थिति होता है कि मापांक के संबंध में का मॉड्यूलर गुणक व्युत्क्रम है, क्योंकि उदाहरण हैं, , इत्यादि।

निम्नलिखित उदाहरण मापांक 10 का उपयोग करता है: दो पूर्णांक सर्वांगसम मॉड 10 हैं यदि और केवल यदि उनका अंतर 10 से विभाज्य है, उदाहरण के लिए

चूँकि 10, 32 - 2 = 30 को विभाजित करता है, और
चूँकि 10, 111 - 1 = 110 को विभाजित करता है।

इस मापांक के संबंध में दस सर्वांगसमता वर्गों में से कुछ हैं:

 :
और

रैखिक सर्वांगसमता 4x ≡ 5 (mod 10) का कोई समाधान नहीं है क्योंकि पूर्णांक जो 5 के सर्वांगसम हैं (अर्थात, जो इसमें हैं)। ) सभी विषम हैं 4x सदैव सम होता है. चूँकि रैखिक सर्वांगसमता 4x ≡ 6 (mod 10) के दो समाधान हैं, अर्थात्, x = 4 और x = 9. वह gcd(4, 10) = 2 और 2, 5 को विभाजित नहीं करता है, किंतु 6 को विभाजित करता है।


चूँकि gcd(3, 10) = 1 रैखिक सर्वांगसमता 3x ≡ 1 (mod 10) के समाधान होंगे, अर्थात, 3 मॉड्यूल 10 के मॉड्यूलर गुणक व्युत्क्रम मौजूद होंगे। वास्तव में, 7 इस सर्वांगसमता को संतुष्ट करता है (अर्थात्, 21 − 1 = 20)। चूँकि अन्य पूर्णांक भी सर्वांगसमता को संतुष्ट करते हैं, उदाहरण के लिए 17 और −3 (अथार्त , 3(17) − 1 = 50 और 3(−3) − 1 = −10)। विशेष रूप से, में प्रत्येक पूर्णांक सर्वांगसमता को संतुष्ट करेगा क्योंकि इन पूर्णांकों में कुछ पूर्णांक r और के लिए 7 + 10r का रूप होता है।

10 से विभाज्य है। इस सर्वांगसमता में समाधानों का केवल यही एक सर्वांगसमता वर्ग है। इस स्थिति में समाधान सभी संभावित मामलों की जाँच करके प्राप्त किया जा सकता था, किंतु बड़े मॉड्यूल के लिए व्यवस्थित एल्गोरिदम की आवश्यकता होगी और इन्हें अगले भाग में दिया जाएगा।

सर्वांगसमता वर्गों और का उत्पाद का एक तत्व, मान लीजिए 25, और का एक तत्व, मान लीजिए −2, का चयन करके और यह देखकर प्राप्त किया जा सकता है कि उनका उत्पाद (25)(−2) ) = −50 सर्वांगसमता वर्ग में है। इस प्रकार, जोड़ को इसी प्रकार परिभाषित किया गया है। दस सर्वांगसम वर्ग, सर्वांगसम वर्गों के जोड़ और गुणन की इन संक्रियाओं के साथ मिलकर पूर्णांक मॉड्यूलो 10 का वलय बनाते हैं, अर्थात

एक पूर्ण अवशेष प्रणाली मॉड्यूलो 10 सेट {10, −9, 2, 13, 24, −15, 26, 37, 8, 9} हो सकता है, जहां प्रत्येक पूर्णांक एक अलग सर्वांगसमता वर्ग मॉड्यूल 10 में है। अद्वितीय न्यूनतम अवशेष प्रणाली मॉड्यूलो 10 {0, 1, 2, ..., 9} है। एक कम अवशेष प्रणाली मॉड्यूलो 10 {1, 3, 7, 9} हो सकता है। इन संख्याओं द्वारा दर्शाए गए किन्हीं दो सर्वांगसम वर्गों का गुणनफल फिर से इन चार सर्वांगसम वर्गों में से एक है। इसका तात्पर्य यह है कि ये चार सर्वांगसम वर्ग एक समूह बनाते हैं, इस मामले में क्रम चार का चक्रीय समूह, जिसमें (गुणक) जनरेटर के रूप में 3 या 7 होता है। निरूपित सर्वांगसमता वर्ग वलय की इकाइयों का समूह बनाते हैं। ये सर्वांगसमता वर्ग बिल्कुल वही हैं जिनमें मॉड्यूलर गुणात्मक व्युत्क्रम होते हैं।

गणना

विस्तारित यूक्लिडियन एल्गोरिथ्म

विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग करके a मॉड्यूलो m का एक मॉड्यूलर गुणक व्युत्क्रम पाया जा सकता है।

यूक्लिडियन एल्गोरिदम दो पूर्णांकों, जैसे a और m. का सबसे बड़ा सामान्य भाजक (gcd) निर्धारित करता है। यदि a में गुणात्मक व्युत्क्रम मापांक m है, तो यह gcd 1 होनी चाहिए। एल्गोरिथम द्वारा निर्मित कई समीकरणों में से अंतिम को इस gcd के लिए हल किया जा सकता है। फिर, "बैक प्रतिस्थापन" नामक विधि का उपयोग करके मूल मापदंडों और इस जीसीडी को जोड़ने वाली एक अभिव्यक्ति प्राप्त की जा सकती है। दूसरे शब्दों में, बेज़आउट की पहचान को संतुष्ट करने के लिए पूर्णांक x और y पाए जा सकते हैं,

पुनः लिखा, यह है

वह है,

तो, एक मॉड्यूलर गुणात्मक व्युत्क्रम a की गणना की गई है. एल्गोरिथम का एक अधिक कुशल संस्करण विस्तारित यूक्लिडियन एल्गोरिथम है, जो सहायक समीकरणों का उपयोग करके, एल्गोरिथम के माध्यम से दो पासों को कम कर देता है (बैक प्रतिस्थापन को एल्गोरिथम के माध्यम से व्युत्क्रम में गुजरने के रूप में सोचा जा सकता है) केवल एक तक है।

बड़े O नोटेशन में, यह एल्गोरिथम |a| < m मानकर समय O(log2(m)) में चलता हैऔर इसे अपने वैकल्पिक, घातांक की तुलना में बहुत तेज़ और सामान्यतः अधिक कुशल माना जाता है।

यूलर के प्रमेय का उपयोग करना

विस्तारित यूक्लिडियन एल्गोरिथ्म के विकल्प के रूप में, यूलर के प्रमेय का उपयोग मॉड्यूलर व्युत्क्रमों की गणना के लिए किया जा सकता है।[11]

यूलर के प्रमेय के अनुसार, यदि a सहअभाज्य है m, वह है, gcd(a, m) = 1, तब

जहां यूलर का टोटिएंट फलन है। यह इस तथ्य से निकलता है कि a गुणक समूह × से संबंधित है यदि और केवल यदि a, m का सहअभाज्य है। इसलिए, एक मॉड्यूलर गुणक व्युत्क्रम सीधे पाया जा सकता है:

विशेष स्थिति में जहां m एक अभाज्य है, और एक मॉड्यूलर व्युत्क्रम निम्न द्वारा दिया जाता है

यह विधि सामान्यतः विस्तारित यूक्लिडियन एल्गोरिदम की तुलना में धीमी है, किंतु कभी-कभी इसका उपयोग तब किया जाता है जब मॉड्यूलर एक्सपोनेंटिएशन के लिए कार्यान्वयन पहले से ही उपलब्ध होता है। इस पद्धति के कुछ हानियों में सम्मिलित हैं:

  • मान ज्ञात होना चाहिए और सबसे कुशल ज्ञात गणना के लिए m के गुणनखंड की आवश्यकता होती है। व्यापक रूप से माना जाता है कि गुणनखंडन एक कम्प्यूटेशनल रूप से कठिन समस्या है। चूँकि जब m का अभाज्य गुणनखंड ज्ञात हो तो की गणना करना सरल होता है।
  • घातांक की सापेक्ष निवेश यद्यपि इसे मॉड्यूलर घातांक का उपयोग करके अधिक कुशलता से कार्यान्वित किया जा सकता है, जब m के बड़े मूल्य सम्मिलित होते हैं तो इसकी गणना मोंटगोमरी कमियों विधि के साथ सबसे कुशलता से की जाती है। इस एल्गोरिदम के लिए स्वयं एक मॉड्यूलर व्युत्क्रम मॉड m की आवश्यकता होती है, जिसकी गणना सबसे पहले की जानी थी। मोंटगोमरी विधि के बिना, मानक बाइनरी घातांक, जिसके लिए हर चरण पर विभाजन मॉड m की आवश्यकता होती है, m बड़ा होने पर एक धीमा संचालन होता है।

इस तकनीक का एक उल्लेखनीय लाभ यह है कि इसमें कोई नियमित शाखाएँ नहीं हैं जो a के मूल्य पर निर्भर करती हैं, और इस प्रकार a का मूल्य, जो सार्वजनिक-कुंजी क्रिप्टोग्राफी में एक महत्वपूर्ण रहस्य हो सकता है, को साइड-चैनल हमलों से बचाया जा सकता है। इस कारण से, कर्व25519 का मानक कार्यान्वयन व्युत्क्रम की गणना करने के लिए इस तकनीक का उपयोग करता है।

एकाधिक व्युत्क्रम

यूक्लिडियन एल्गोरिथम के एकल आह्वान और प्रति अतिरिक्त इनपुट के तीन गुणन के साथ, कई संख्याओं ai के व्युत्क्रम की गणना करना संभव है, मॉड्यूलो एक सामान्य m [12] मूल विचार यह है कि सभी ai का गुणनफल बनाएं, उसे उलटा करें, फिर सभी ji के लिए aj से गुणा करें ताकि केवल वांछित a−1
i
बचे है ।

अधिक विशेष रूप से, एल्गोरिथ्म है (सभी अंकगणित मॉड्यूलो m द्वारा निष्पादित):

  1. सभी in के लिए उपसर्ग उत्पादों की गणना करें।
  2. गणना करें b−1
    n
    किसी भी उपलब्ध एल्गोरिदम का उपयोग करना।
  3. के लिए i से n 2 से नीचे, गणना करें
    • a−1
      i
      = b−1
      i
      bi−1
      और
    • b−1
      i−1
      = b−1
      i
      ai
      .
  4. आखिरकार, a−1
    1
    = b−1
    1
    .

समानांतर कंप्यूटिंग का लाभ उठाने के लिए रैखिक रूप से अतिरिक्त पेड़ संरचना में गुणन करना संभव है।

अनुप्रयोग

मॉड्यूलर गुणक व्युत्क्रम खोजने के एल्गोरिदम में कई अनुप्रयोग हैं जो मॉड्यूलर अंकगणित के सिद्धांत पर निर्भर करते हैं। उदाहरण के लिए, क्रिप्टोग्राफी में मॉड्यूलर अंकगणित का उपयोग कुछ कार्यों को अधिक तेज़ी से और कम संचयन आवश्यकताओं के साथ पूरा करने की अनुमति देता है, जबकि अन्य ऑपरेशन अधिक कठिन हो जाते हैं।[13] इन दोनों सुविधाओं का उपयोग लाभ के लिए किया जा सकता है। विशेष रूप से आरएसए एल्गोरिथ्म में, किसी संदेश को एन्क्रिप्ट और डिक्रिप्ट करना संख्याओं की एक जोड़ी का उपयोग करके किया जाता है जो सावधानीपूर्वक चयनित मापांक के संबंध में गुणक व्युत्क्रम होते हैं। इनमें से एक नंबर को सार्वजनिक कर दिया गया है और इसे तीव्र एन्क्रिप्शन प्रक्रिया में उपयोग किया जा सकता है, जबकि डिक्रिप्शन प्रक्रिया में उपयोग किए जाने वाले दूसरे नंबर को छिपाकर रखा जाता है। सार्वजनिक नंबर से छिपे हुए नंबर को निर्धारित करना कम्प्यूटेशनल रूप से असंभव माना जाता है और यही प्रणाली गोपनीयता सुनिश्चित करने के लिए काम करता है।[14]

एक अलग संदर्भ में एक अन्य उदाहरण के रूप में, कंप्यूटर विज्ञान में स्पष्ट विभाजन समस्या पर विचार करें जहां आपके पास k से विभाज्य विषम शब्द आकार की संख्याओं की एक सूची है और आप उन सभी को k से विभाजित करना चाहते हैं। एक समाधान इस प्रकार है:

  1. k mod 2w के मॉड्यूलर गुणक व्युत्क्रम k−1 की गणना करने के लिए विस्तारित यूक्लिडियन एल्गोरिदम का उपयोग करें, जहां w एक शब्द में बिट्स की संख्या है। यह व्युत्क्रम उपस्थित होगा क्योंकि संख्याएँ विषम हैं और मापांक में कोई विषम गुणनखंड नहीं है।
  2. सूची में प्रत्येक संख्या के लिए, इसे k−1 से गुणा करें और परिणाम का सबसे कम महत्वपूर्ण शब्द लें।

कई मशीनों पर विशेष रूप से विभाजन के लिए हार्डवेयर समर्थन के बिना विभाजन गुणन की तुलना में धीमा ऑपरेशन है, इसलिए यह दृष्टिकोण अधिक गति प्रदान कर सकता है। पहला चरण अपेक्षाकृत धीमा है किंतु इसे केवल एक बार करने की आवश्यकता है।

मॉड्यूलर गुणक व्युत्क्रमों का उपयोग रैखिक सर्वांगसमताओं की एक प्रणाली का समाधान प्राप्त करने के लिए किया जाता है जिसकी आश्वासन चीनी शेष प्रमेय द्वारा दी जाती है।

उदाहरण के लिए, प्रणाली

X ≡ 4 (मॉड 5)
X ≡ 4 (मॉड 7)
X ≡ 6 (मॉड 11)

सामान्य समाधान हैं क्योंकि 5,7 और 11 जोड़ीवार सहअभाज्य हैं। द्वारा एक समाधान दिया गया है

X = t1 (7 × 11) × 4 + t2 (5 × 11) × 4 + t3 (5 × 7) × 6

जहाँ

t1 = 3, 7 × 11 (मॉड 5) का मॉड्यूलर गुणक व्युत्क्रम है,
t2 = 6, 5 × 11 (मॉड 7) का मॉड्यूलर गुणक व्युत्क्रम है और
t3 = 6, 5 × 7 (मॉड 11) का मॉड्यूलर गुणक व्युत्क्रम है।

इस प्रकार,

X = 3 × (7 × 11) × 4 + 6 × (5 × 11) × 4 + 6 × (5 × 7) × 6 = 3504

और अपने अनूठे संक्षिप्त रूप में

X ≡ 3504 ≡ 39 (मॉड 385)

चूँकि 385, 5,7 और 11 का लघुत्तम समापवर्तक है।

इसके अतिरिक्त मॉड्यूलर गुणक व्युत्क्रम क्लोस्टरमैन योग की परिभाषा में प्रमुखता से आता है।

यह भी देखें

टिप्पणियाँ

  1. Rosen 1993, p. 132.
  2. Schumacher 1996, p. 88.
  3. Stinson, Douglas R. (1995), Cryptography / Theory and Practice, CRC Press, pp. 124–128, ISBN 0-8493-8521-0
  4. Trappe & Washington 2006, pp. 164−169.
  5. Moriarty, K.; Kaliski, B.; Jonsson, J.; Rusch, A. (2016). "PKCS #1: RSA Cryptography Specifications Version 2.2". Internet Engineering Task Force RFC 8017. Internet Engineering Task Force. Retrieved January 21, 2017.
  6. Other notations are often used, including [a] and [a]m.
  7. Ireland & Rosen 1990, p. 32
  8. Shoup, Victor (2005), A Computational Introduction to Number Theory and Algebra, Cambridge University Press, Theorem 2.4, p. 15, ISBN 9780521851541
  9. Rosen 1993, p. 121
  10. Ireland & Rosen 1990, p. 31
  11. Thomas Koshy. Elementary number theory with applications, 2nd edition. ISBN 978-0-12-372487-8. P. 346.
  12. Brent, Richard P.; Zimmermann, Paul (December 2010). "§2.5.1 Several inversions at once" (PDF). आधुनिक कंप्यूटर अंकगणित. Cambridge Monographs on Computational and Applied Mathematics. Vol. 18. Cambridge University Press. pp. 67–68. ISBN 978-0-521-19469-3.
  13. Trappe & Washington 2006, p. 167
  14. Trappe & Washington 2006, p. 165


संदर्भ

  • Ireland, Kenneth; Rosen, Michael (1990), A Classical Introduction to Modern Number Theory (2nd ed.), Springer-Verlag, ISBN 0-387-97329-X
  • Rosen, Kenneth H. (1993), Elementary Number Theory and its Applications (3rd ed.), Addison-Wesley, ISBN 978-0-201-57889-8
  • Schumacher, Carol (1996). Chapter Zero: Fundamental Notions of Abstract Mathematics. Addison-Wesley. ISBN 0-201-82653-4.
  • Trappe, Wade; Washington, Lawrence C. (2006), Introduction to Cryptography with Coding Theory (2nd ed.), Prentice-Hall, ISBN 978-0-13-186239-5


बाहरी संबंध