मॉड्यूलर अंकगणित: Difference between revisions

From Vigyanwiki
Line 1: Line 1:
{{short description|Computation modulo a fixed integer}}
{{short description|Computation modulo a fixed integer}}
{{About|the ''(mod {{mvar|n}})'' notation|the binary operation ''mod({{mvar|a,n}})'' |modulo operation}}
{{About|the ''(mod {{mvar|n}})'' notation|the binary operation ''mod({{mvar|a,n}})'' |modulo operation}}
[[File:Clock group.svg|thumb|upright=1.1|right|इस घड़ी पर टाइम-कीपिंग अंकगणित मॉड्यूल 12 का उपयोग करता है। 4 घंटे को 9 बजे जोड़ने से 1 बजे होता है, क्योंकि 13 1 मॉड्यूलो 12 के अनुरूप है।]]गणित में, मॉड्यूलर [[अंकगणित]] [[पूर्णांक]] के लिए एक प्रणाली है, जहां एक निश्चित मूल्य तक पहुंचने पर संख्याएं "परिवेष्टन हैं", जिसे मापांक कहा जाता है। मॉड्यूलर अंकगणित के लिए आधुनिक दृष्टिकोण [[कार्ल फ्रेडरिक गॉस]] द्वारा 1801 में प्रकाशित अपनी पुस्तक [[अंकगणितीय शोध]]' में विकसित किया गया था।
[[File:Clock group.svg|thumb|upright=1.1|right|इस घड़ी पर टाइम-कीपिंग अंकगणित मापांक 12 का उपयोग करता है। 4 घंटे को 9 बजे जोड़ने से 1 बजे होता है, क्योंकि 13 1 मापांक 12 के अनुरूप है।]]गणित में, मॉड्यूलर [[अंकगणित]] [[पूर्णांक]] के लिए एक प्रणाली है, जहां एक निश्चित मूल्य तक पहुंचने पर संख्याएं "परिवेष्टन हैं", जिसे मापांक कहा जाता है। मॉड्यूलर अंकगणित के लिए आधुनिक दृष्टिकोण [[कार्ल फ्रेडरिक गॉस]] द्वारा 1801 में प्रकाशित अपनी पुस्तक [[अंकगणितीय शोध]]' में विकसित किया गया था।


मॉड्यूलर अंकगणित का परिचित उपयोग[[12 घंटे की घड़ी]] में होता है, जिसमें दिन को दो 12 घंटे की अवधि में विभाजित किया जाता है। यदि समय अभी 7:00 है, तो 8 घंटे बाद 3:00 बजे होंगे। सरल जोड़ का परिणाम 7 + 8 = 15 होगा, लेकिन घड़ियाँ हर 12 घंटे में "परिवेष्टन हैं"। चूंकि घंटे की संख्या 12 तक पहुंचने पर शून्य से शुरू होती है, यह अंकगणित मॉड्यूल 12 है। नीचे दी गई परिभाषा के संदर्भ में 15, 3 मॉड्यूलो 12 के अनुरूप है, इसलिए [[24 घंटे की घड़ी]]पर "15:00" प्रदर्शित होता है "3 : 00" 12 घंटे की घड़ी पर।
मॉड्यूलर अंकगणित का परिचित उपयोग[[12 घंटे की घड़ी]] में होता है, जिसमें दिन को दो 12 घंटे की अवधि में विभाजित किया जाता है। यदि समय अभी 7:00 है, तो 8 घंटे बाद 3:00 बजे होंगे। सरल जोड़ का परिणाम 7 + 8 = 15 होगा, लेकिन घड़ियाँ हर 12 घंटे में "परिवेष्टन हैं"। चूंकि घंटे की संख्या 12 तक पहुंचने पर शून्य से शुरू होती है, यह अंकगणित मापांक 12 है। नीचे दी गई परिभाषा के संदर्भ में 15, 3 मापांक 12 के अनुरूप है, इसलिए [[24 घंटे की घड़ी]]पर "15:00" प्रदर्शित होता है "3 : 00" 12 घंटे की घड़ी पर।


== सर्वांगसमता ==
== सर्वांगसमता ==
एक पूर्णांक दिया {{math|''n'' > 1}}, जिसे मापांक कहा जाता है, दो पूर्णांक {{mvar|a}} तथा {{mvar|b}} सर्वांगसम मोडुलो कहलाते हैं {{mvar|n}}, यदि {{mvar|n}} उनके अंतर का वि[[भाजक]] है (अर्थात, यदि कोई पूर्णांक है {{math|''k''}} ऐसा है कि {{math|1=''a'' − ''b'' = ''kn''}}).
एक पूर्णांक दिया {{math|''n'' > 1}}, जिसे मापांक कहा जाता है, दो पूर्णांक {{mvar|a}} तथा {{mvar|b}} सर्वांगसम मापांक कहलाते हैं {{mvar|n}}, यदि {{mvar|n}} उनके अंतर का वि[[भाजक]] है (अर्थात, यदि कोई पूर्णांक है {{math|''k''}} ऐसा है कि {{math|1=''a'' − ''b'' = ''kn''}}).


सर्वांगसमता मॉड्यूल {{mvar|n}} सर्वांगसम संबंध है, जिसका अर्थ है कि यह [[तुल्यता संबंध]] है जो जोड़, [[घटाव]] और [[गुणा]] के संचालन के साथ संगत है। सर्वांगसमता मॉड्यूल {{mvar|n}} निरूपित किया जाता है:
सर्वांगसमता मापांक {{mvar|n}} सर्वांगसम संबंध है, जिसका अर्थ है कि यह [[तुल्यता संबंध]] है जो जोड़, [[घटाव]] और [[गुणा]] के संचालन के साथ संगत है। सर्वांगसमता मापांक {{mvar|n}} निरूपित किया जाता है:


:<math>a \equiv b \pmod n.</math>
:<math>a \equiv b \pmod n.</math>
Line 50: Line 50:


यदि {{math|''a'' ≡ ''b'' (mod ''n'')}}, तो यह सामान्यतः आभासी है कि {{math|''k<sup>a</sup>'' ≡ ''k<sup>b</sup>'' (mod ''n'')}}. हालाँकि, निम्नलिखित सत्य है:
यदि {{math|''a'' ≡ ''b'' (mod ''n'')}}, तो यह सामान्यतः आभासी है कि {{math|''k<sup>a</sup>'' ≡ ''k<sup>b</sup>'' (mod ''n'')}}. हालाँकि, निम्नलिखित सत्य है:
* यदि {{math|''c'' ≡ ''d'' (mod ''φ''(''n'')),}} जहाँ पे {{math|''φ''}} तब यूलर का कुल कार्य है {{math|''a''<sup>''c''</sup> ≡ ''a''<sup>''d''</sup> (mod ''n'')}}- बशर्ते कि {{math|''a''}}, {{math|''n''}} के साथ [[सह अभाज्य]] हो।
* यदि {{math|''c'' ≡ ''d'' (mod ''φ''(''n'')),}} जहाँ पे {{math|''φ''}} तब यूलर का कुल फलनहै {{math|''a''<sup>''c''</sup> ≡ ''a''<sup>''d''</sup> (mod ''n'')}}- बशर्ते कि {{math|''a''}}, {{math|''n''}} के साथ [[सह अभाज्य]] हो।


सामान्य शर्तों को रद्द करने के लिए, हमारे पास निम्नलिखित नियम हैं:
सामान्य शर्तों को रद्द करने के लिए, हमारे पास निम्नलिखित नियम हैं:
Line 60: Line 60:
   
   
* अस्तित्व: निरूपित पूर्णांक उपस्थित है {{math|''a''<sup>–1</sup>}} ऐसा है कि {{math|''aa''<sup>–1</sup> ≡ 1 (mod ''n'')}} अगर और केवल अगर {{math|''a''}} के साथ {{math|''n''}} सह अभाज्य है। यह पूर्णांक {{math|''a''<sup>–1</sup>}} का मॉड्यूलर गुणक व्युत्क्रम कहा जाता है {{mvar|a}} मापांक {{math|''n''}}।
* अस्तित्व: निरूपित पूर्णांक उपस्थित है {{math|''a''<sup>–1</sup>}} ऐसा है कि {{math|''aa''<sup>–1</sup> ≡ 1 (mod ''n'')}} अगर और केवल अगर {{math|''a''}} के साथ {{math|''n''}} सह अभाज्य है। यह पूर्णांक {{math|''a''<sup>–1</sup>}} का मॉड्यूलर गुणक व्युत्क्रम कहा जाता है {{mvar|a}} मापांक {{math|''n''}}।
* यदि {{math|''a'' ≡ ''b'' (mod ''n'')}} तथा {{math|''a''<sup>–1</sup>}} उपस्थित है, तो {{math|''a''<sup>–1</sup> ≡ ''b''<sup>–1</sup> (mod ''n'')}} (गुणात्मक व्युत्क्रम के साथ अनुकूलता, और, यदि {{math|1=''a'' = ''b''}}, विशिष्टता मॉड्यूलो {{math|''n''}})
* यदि {{math|''a'' ≡ ''b'' (mod ''n'')}} तथा {{math|''a''<sup>–1</sup>}} उपस्थित है, तो {{math|''a''<sup>–1</sup> ≡ ''b''<sup>–1</sup> (mod ''n'')}} (गुणात्मक व्युत्क्रम के साथ अनुकूलता, और, यदि {{math|1=''a'' = ''b''}}, विशिष्टता मापांक {{math|''n''}})
* यदि {{math|''a x'' ≡ ''b'' (mod ''n'')}} तथा {{math|''a''}} सह अभाज्य है {{math|''n''}}, तो इस रैखिक सर्वांगसमता का हल निम्न द्वारा दिया जाता है {{math|''x'' ≡ ''a''<sup>–1</sup>''b'' (mod ''n'')}}
* यदि {{math|''a x'' ≡ ''b'' (mod ''n'')}} तथा {{math|''a''}} सह अभाज्य है {{math|''n''}}, तो इस रैखिक सर्वांगसमता का हल निम्न द्वारा दिया जाता है {{math|''x'' ≡ ''a''<sup>–1</sup>''b'' (mod ''n'')}}
गुणात्मक व्युत्क्रम {{math|''x'' ≡ ''a''<sup>–1</sup> (mod ''n'')}} बेज़ाउट के समीकरण को हल करके कुशलतापूर्वक गणना की जा सकती है <math>ax + ny = 1</math> के लिये <math>x,y</math>- विस्तारित यूक्लिडियन एल्गोरिथम का उपयोग करना।
गुणात्मक व्युत्क्रम {{math|''x'' ≡ ''a''<sup>–1</sup> (mod ''n'')}} बेज़ाउट के समीकरण को हल करके कुशलतापूर्वक गणना की जा सकती है <math>ax + ny = 1</math> के लिये <math>x,y</math>- विस्तारित यूक्लिडियन एल्गोरिथम का उपयोग करना।
Line 68: Line 68:
सर्वांगसमता संबंधों के कुछ अधिक उन्नत गुण निम्नलिखित हैं:
सर्वांगसमता संबंधों के कुछ अधिक उन्नत गुण निम्नलिखित हैं:
* फर्मेट की छोटी प्रमेय: यदि {{math|''p''}} अभाज्य है और विभाजित नहीं करता है {{math|''a''}}, फिर {{math|''a'' <sup>''p'' – 1</sup> ≡ 1 (mod ''p'')}}.
* फर्मेट की छोटी प्रमेय: यदि {{math|''p''}} अभाज्य है और विभाजित नहीं करता है {{math|''a''}}, फिर {{math|''a'' <sup>''p'' – 1</sup> ≡ 1 (mod ''p'')}}.
* यूलर प्रमेय: यदि {{math|''a''}} तथा {{math|''n''}} सह अभाज्य हैं, तो {{math|''a'' <sup>''φ''(''n'')</sup> ≡ 1 (mod ''n'')}}, जहाँ पे {{math|''φ''}} यूलर का कुल कार्य है
* यूलर प्रमेय: यदि {{math|''a''}} तथा {{math|''n''}} सह अभाज्य हैं, तो {{math|''a'' <sup>''φ''(''n'')</sup> ≡ 1 (mod ''n'')}}, जहाँ पे {{math|''φ''}} यूलर का कुल फलनहै
* फ़र्मेट की छोटी प्रमेय का सरल परिणाम यह है कि अगर {{math|''p''}} अभाज्य है, तो {{math|''a''<sup>−1</sup> ≡ ''a'' <sup>''p'' − 2</sup> (mod ''p'')}} का गुणक व्युत्क्रम है {{math|0 < ''a'' < ''p''}}. अधिक सामान्यतः, यूलर के प्रमेय से, यदि {{math|''a''}} तथा {{math|''n''}} सह अभाज्य हैं, तो {{math|''a''<sup>−1</sup> ≡ ''a'' <sup>''φ''(''n'') − 1</sup> (mod ''n'')}}.
* फ़र्मेट की छोटी प्रमेय का सरल परिणाम यह है कि अगर {{math|''p''}} अभाज्य है, तो {{math|''a''<sup>−1</sup> ≡ ''a'' <sup>''p'' − 2</sup> (mod ''p'')}} का गुणक व्युत्क्रम है {{math|0 < ''a'' < ''p''}}. अधिक सामान्यतः, यूलर के प्रमेय से, यदि {{math|''a''}} तथा {{math|''n''}} सह अभाज्य हैं, तो {{math|''a''<sup>−1</sup> ≡ ''a'' <sup>''φ''(''n'') − 1</sup> (mod ''n'')}}.
* एक और सरल परिणाम यह है कि यदि {{math|''a'' ≡ ''b'' (mod ''φ''(''n'')),}} जहाँ पे {{math|''φ''}} तब यूलर का कुल कार्य है {{math|''k''<sup>''a''</sup> ≡ ''k''<sup>''b''</sup> (mod ''n'')}} बशर्ते {{math|''k''}} के साथ {{math|''n''}} सह अभाज्य है .
* एक और सरल परिणाम यह है कि यदि {{math|''a'' ≡ ''b'' (mod ''φ''(''n'')),}} जहाँ पे {{math|''φ''}} तब यूलर का कुल फलनहै {{math|''k''<sup>''a''</sup> ≡ ''k''<sup>''b''</sup> (mod ''n'')}} बशर्ते {{math|''k''}} के साथ {{math|''n''}} सह अभाज्य है .
* विल्सन प्रमेय: {{math|''p''}} अभाज्य है अगर और केवल अगर {{math|(''p'' − 1)! ≡ −1 (mod ''p'')}}.
* विल्सन प्रमेय: {{math|''p''}} अभाज्य है अगर और केवल अगर {{math|(''p'' − 1)! ≡ −1 (mod ''p'')}}.
* [[चीनी शेष प्रमेय|चीनी शेषफल प्रमेय]]: किसी के लिए {{math|''a''}}, {{math|''b''}} और सह अभाज्य {{math|''m''}}, {{math|''n''}}, वहाँ अनूठा उपस्थित है {{math|''x'' (mod ''mn'')}} ऐसा है कि {{math|''x'' ≡ ''a'' (mod ''m'')}} तथा {{math|''x'' ≡ ''b'' (mod ''n'')}}. वास्तव में,  {{math|''x'' ≡ ''b m''<sub>''n''</sub><sup>–1</sup> ''m'' + ''a n''<sub>''m''</sub><sup>–1</sup> ''n'' (mod ''mn'')}} जहाँ पे {{math|''m''<sub>''n''</sub><sup>−1</sup>}}, {{math|''m''}} मापांक {{math|''n''}} का व्युत्क्रम है  मापांक  तथा {{math|''n''<sub>''m''</sub><sup>−1</sup>}}, {{math|''n''}} मापांक {{math|''m''}} का व्युत्क्रम है   
* [[चीनी शेष प्रमेय|चीनी शेषफल प्रमेय]]: किसी के लिए {{math|''a''}}, {{math|''b''}} और सह अभाज्य {{math|''m''}}, {{math|''n''}}, वहाँ अनूठा उपस्थित है {{math|''x'' (mod ''mn'')}} ऐसा है कि {{math|''x'' ≡ ''a'' (mod ''m'')}} तथा {{math|''x'' ≡ ''b'' (mod ''n'')}}. वास्तव में,  {{math|''x'' ≡ ''b m''<sub>''n''</sub><sup>–1</sup> ''m'' + ''a n''<sub>''m''</sub><sup>–1</sup> ''n'' (mod ''mn'')}} जहाँ पे {{math|''m''<sub>''n''</sub><sup>−1</sup>}}, {{math|''m''}} मापांक {{math|''n''}} का व्युत्क्रम है  मापांक  तथा {{math|''n''<sub>''m''</sub><sup>−1</sup>}}, {{math|''n''}} मापांक {{math|''m''}} का व्युत्क्रम है   
* लैग्रेंज का प्रमेय: सर्वांगसमता {{math|''f'' (''x'') ≡ 0 (mod ''p'')}}, जहाँ पे {{math|''p''}} अभाज्य है, और {{math|''f'' (''x'') {{=}} ''a''<sub>0</sub> ''x''<sup>''n''</sup> + ... + ''a''<sub>''n''</sub>}} पूर्णांक गुणांकों वाला एक बहुपद है जैसे कि {{math|''a''<sub>0</sub> &ne; 0 (mod ''p'')}}, अधिक से अधिक है {{math|''n''}} जड़ें।
* लैग्रेंज का प्रमेय: सर्वांगसमता {{math|''f'' (''x'') ≡ 0 (mod ''p'')}}, जहाँ पे {{math|''p''}} अभाज्य है, और {{math|''f'' (''x'') {{=}} ''a''<sub>0</sub> ''x''<sup>''n''</sup> + ... + ''a''<sub>''n''</sub>}} पूर्णांक गुणांकों वाला एक बहुपद है जैसे कि {{math|''a''<sub>0</sub> &ne; 0 (mod ''p'')}}, अधिक से अधिक है {{math|''n''}} मूल ।
* प्रिमिटिव रूट मोडुलो {{math|''n''}}: संख्या {{math|''g''}} एक आदिम रूट मॉड्यूलो है {{math|''n''}} अगर, हर पूर्णांक के लिए {{math|''a''}} सह अभाज्य टू {{math|''n''}}, एक पूर्णांक है {{math|''k''}} ऐसा है कि {{math|''g''<sup>''k''</sup> ≡ ''a'' (mod ''n'')}}. एक आदिम रूट मॉड्यूलो {{math|''n''}} उपस्थित है अगर और केवल अगर {{math|''n''}} के बराबर है {{math|2, 4, ''p''<sup>''k''</sup>}} या {{math| 2''p''<sup>''k''</sup>}}, जहाँ पे {{math|''p''}} एक विषम अभाज्य संख्या है और {{math|''k''}} एक सकारात्मक पूर्णांक है। यदि एक आदिम रूट मॉड्यूलो {{math|''n''}} उपस्थित है, तो बिल्कुल हैं {{math|''φ''(''φ''(''n''))}} ऐसी आदिम जड़ें, जहाँ {{math|''φ''}} यूलर का कुल कार्य है।
* प्रिमिटिव मूल  मापांक {{math|''n''}}: संख्या {{math|''g''}} आदिम मूल  मापांक {{math|''n''}} है यदि प्रत्येक पूर्णांक {{math|''a''}} के लिए {{math|''n''}} के लिए सह अभाज्य है, तो एक पूर्णांक है {{math|''k''}} ऐसा है कि {{math|''g''<sup>''k''</sup> ≡ ''a'' (mod ''n'')}}. एक आदिम मूल मापांक {{math|''n''}} उपस्थित है अगर और केवल अगर {{math|''n''}} के बराबर {{math|2, 4, ''p''<sup>''k''</sup>}} या {{math| 2''p''<sup>''k''</sup>}} है, जहाँ पे {{math|''p''}} विषम अभाज्य संख्या है और {{math|''k''}} धनात्मक पूर्णांक है। यदि आदिम मूल  मापांक {{math|''n''}} उपस्थित है, तो बिल्कुल हैं {{math|''φ''(''φ''(''n''))}} ऐसी आदिम मूल , जहाँ {{math|''φ''}} यूलर का कुल फलन है।
* [[द्विघात अवशेष]]: एक पूर्णांक {{math|''a''}} एक द्विघात अवशेष मॉड्यूल है {{math|''n''}}, यदि कोई पूर्णांक उपस्थित है {{math|''x''}} ऐसा है कि {{math|''x''<sup>2</sup> ≡ ''a'' (mod ''n'')}}. यूलर की कसौटी का दावा है कि, अगर {{math|''p''}} एक विषम अभाज्य है, और {{mvar|a}} का गुणज नहीं है {{mvar|p}}, फिर {{math|''a''}} एक द्विघात अवशेष मॉड्यूल है {{math|''p''}} अगर और केवल अगर
* [[द्विघात अवशेष]]: पूर्णांक {{math|''a''}} एक द्विघात अवशेष मापांक है {{math|''n''}}, यदि कोई पूर्णांक {{math|''x''}} उपस्थित है  ऐसा है कि {{math|''x''<sup>2</sup> ≡ ''a'' (mod ''n'')}} यूलर की कसौटी का दावा है कि, अगर {{math|''p''}} विषम अभाज्य है, और {{mvar|a}} का गुणज {{mvar|p}} नहीं है, फिर {{math|''a''}} द्विघात अवशेष मापांक {{math|''p''}} है अगर और केवल अगर
::<math>a^{(p-1)/2} \equiv 1 \pmod p.</math>
::<math>a^{(p-1)/2} \equiv 1 \pmod p.</math>
== सर्वांगसमता वर्ग ==
== सर्वांगसमता वर्ग ==
किसी भी सर्वांगसम संबंध की तरह, सर्वांगसमता सापेक्ष {{math|''n''}} एक तुल्यता संबंध है, और पूर्णांक का [[तुल्यता वर्ग]] है {{math|''a''}}, द्वारा चिह्नित {{math|{{overline|''a''}}{{sub|''n''}}}}, समुच्चय है {{math|{... , ''a'' − 2''n'', ''a'' − ''n'', ''a'', ''a'' + ''n'', ''a'' + 2''n'', ...}}}. यह समुच्चय सर्वांगसम सभी पूर्णांकों से मिलकर बना है {{math|''a''}}मापांक{{math|''n''}}, को सर्वांगसमता वर्ग, अवशेष वर्ग, या केवल पूर्णांक का अवशेष कहा जाता है {{math|''a''}} मापांक{{math|''n''}}. जब मापांक {{math|''n''}} संदर्भ से ज्ञात होता है कि अवशेषों को भी निरूपित किया जा सकता है {{math|[''a'']}}.
किसी भी सर्वांगसम संबंध की तरह, सर्वांगसमता सापेक्ष {{math|''n''}} तुल्यता संबंध है, और पूर्णांक {{math|''a''}} का [[तुल्यता वर्ग]] है, द्वारा चिह्नित {{math|{{overline|''a''}}{{sub|''n''}}}}, समुच्चय है {{math|{... , ''a'' − 2''n'', ''a'' − ''n'', ''a'', ''a'' + ''n'', ''a'' + 2''n'', ...}}}. यह समुच्चय सर्वांगसम सभी पूर्णांकों से मिलकर बना है {{math|''a''}} मापांक {{math|''n''}}, को सर्वांगसमता वर्ग, अवशेष वर्ग, या केवल पूर्णांक {{math|''a''}} मापांक {{math|''n''}} का अवशेष कहा जाता है। जब मापांक {{math|''n''}} संदर्भ से ज्ञात होता है कि अवशेषों को भी निरूपित {{math|[''a'']}} किया जा सकता है।


== अवशेष प्रणाली ==
== अवशेष प्रणाली ==
प्रत्येक अवशेष वर्ग मॉड्यूलो {{math|''n''}} इसके किसी एक सदस्य द्वारा प्रतिनिधित्व किया जा सकता है, हालांकि हम सामान्यतः प्रत्येक अवशेष वर्ग को उस वर्ग से संबंधित सबसे छोटे गैर-नकारात्मक पूर्णांक द्वारा दर्शाते हैं<ref>{{Cite web|last=Weisstein|first=Eric W.|title=मॉड्यूलर अंकगणित| url=https://mathworld.wolfram.com/ModularArithmetic.html|access-date=2020-08-12| website=mathworld.wolfram.com| language=en}}</ref> (चूंकि यह उचित शेषफल है जो विभाजन का परिणाम है)। विभिन्न अवशेष वर्ग मॉड्यूलो के कोई दो सदस्य {{math|''n''}} मॉड्यूल के साथ असंगत हैं {{math|''n''}}. इसके अलावा, प्रत्येक पूर्णांक एक और केवल एक अवशेष वर्ग मॉड्यूलो से संबंधित है {{math|''n''}}.<ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=90}}</ref>
प्रत्येक अवशेष वर्ग मापांक {{math|''n''}} इसके किसी सदस्य द्वारा प्रतिनिधित्व किया जा सकता है, हालांकि हम सामान्यतः प्रत्येक अवशेष वर्ग को उस वर्ग से संबंधित सबसे छोटे गैर-ऋणात्मक पूर्णांक द्वारा दर्शाते हैं<ref>{{Cite web|last=Weisstein|first=Eric W.|title=मॉड्यूलर अंकगणित| url=https://mathworld.wolfram.com/ModularArithmetic.html|access-date=2020-08-12| website=mathworld.wolfram.com| language=en}}</ref> (चूंकि यह उचित शेषफल है जो विभाजन का परिणाम है)। विभिन्न अवशेष वर्ग मापांक {{math|''n''}} के कोई दो सदस्य मापांक {{math|''n''}} के साथ असंगत हैं। इसके अलावा, प्रत्येक पूर्णांक एक और केवल एक अवशेष वर्ग मापांक {{math|''n''}} से संबंधित है।<ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=90}}</ref>
पूर्णांकों का समुच्चय {{math|{0, 1, 2, ..., ''n'' − 1}}} को सबसे कम अवशेष प्रणाली मोडुलो कहा जाता है {{math|''n''}}. का कोई भी सेट {{math|''n''}} पूर्णांक, जिनमें से कोई भी दो सर्वांगसम मॉड्यूल नहीं हैं {{math|''n''}}, एक पूर्ण अवशेष प्रणाली मोडुलो कहा जाता है {{math|''n''}}.


कम से कम अवशेष प्रणाली एक पूर्ण अवशेष प्रणाली है, और एक पूर्ण अवशेष प्रणाली बस एक सेट है जिसमें प्रत्येक अवशेष वर्ग मॉड्यूलो का ठीक एक [[प्रतिनिधि (गणित)]] होता है। {{math|''n''}}.<ref>{{harvtxt|Long|1972|p=78}}</ref> उदाहरण के लिए। कम से कम अवशेष प्रणाली मॉड्यूलो 4 {0, 1, 2, 3} है। कुछ अन्य पूर्ण अवशेष प्रणाली मॉड्यूलो 4 में शामिल हैं:
पूर्णांकों का समुच्चय {{math|{0, 1, 2, ..., ''n'' − 1}}} को सबसे लघुकृत अवशेष प्रणाली मापांक {{math|''n''}} कहा जाता है। कोई भी समुच्चय {{math|''n''}} पूर्णांक, जिनमें से कोई भी दो सर्वांगसम मापांक {{math|''n''}} नहीं हैं , पूर्ण अवशेष प्रणाली मापांक {{math|''n''}} कहा जाता है।
 
न्यूनतम अवशेष प्रणाली पूर्ण अवशेष प्रणाली है, और पूर्ण अवशेष प्रणाली बस एक समुच्चय है जिसमें प्रत्येक अवशेष वर्ग मापांक {{math|''n''}} का ठीक [[प्रतिनिधि (गणित)]] होता है।<ref>{{harvtxt|Long|1972|p=78}}</ref> उदाहरण के लिए न्यूनतम अवशेष प्रणाली मापांक 4{0, 1, 2, 3} है। कुछ अन्य पूर्ण अवशेष प्रणाली मापांक 4 में शामिल हैं:


*{1, 2, 3, 4}
*{1, 2, 3, 4}
Line 93: Line 94:
*{27, 32, 37, 42}
*{27, 32, 37, 42}


कुछ सेट जो पूर्ण अवशेष प्रणाली मॉड्यूलो 4 नहीं हैं:
कुछ समुच्चय जो पूर्ण अवशेष प्रणाली मापांक 4 नहीं हैं:
 
*{−5, 0, 6, 22}, क्योंकि 6 22 मॉड्यूल 4 के सर्वांगसम है।
*{5, 15}, चूंकि एक पूर्ण अवशेष प्रणाली मोडुलो 4 में ठीक 4 असंगत अवशेष वर्ग होने चाहिए।<!-- This example is used in the following subsection so please do not alter it. -->


*{−5, 0, 6, 22}, क्योंकि 6 22 मापांक 4 के सर्वांगसम है।
*{5, 15}, चूंकि एक पूर्ण अवशेष प्रणाली मापांक 4 में ठीक 4 असंगत अवशेष वर्ग होने चाहिए।
=== लघुकृत अवशेष प्रणाली ===
{{Main|लघुकृत अवशेष प्रणाली}}


=== कम अवशेष प्रणाली ===
यूलर के कुल फलन को देखते हुए {{math|φ(''n'')}}, का कोई भी समुच्चय {{math|φ(''n'')}} पूर्णांक {{math|''n''}} जो सह अभाज्य पूर्णांक हैं और मापांक {{math|''n''}} के तहत परस्पर असंगत लघुकृत अवशेष प्रणाली मापांक {{math|''n''}} कहा जाता है।<ref>{{harvtxt|Long|1972|p=85}}</ref> ऊपर से समुच्चय {5,15}, उदाहरण के लिए, लघुकृत अवशेष प्रणाली मापांक 4 का एक उदाहरण है।
{{Main|Reduced residue system}}
यूलर के कुल कार्य को देखते हुए {{math|φ(''n'')}}, का कोई भी सेट {{math|φ(''n'')}} पूर्णांक जो सह अभाज्य पूर्णांक हैं {{math|''n''}} और मॉड्यूलस के तहत परस्पर असंगत {{math|''n''}} एक कम अवशेष प्रणाली मोडुलो कहा जाता है {{math|''n''}}.<ref>{{harvtxt|Long|1972|p=85}}</ref> ऊपर से सेट {5,15}, उदाहरण के लिए, एक कम अवशेष प्रणाली मोडुलो 4 का एक उदाहरण है।


== पूर्णांक मॉड्यूल एन ==
== पूर्णांक मापांक एन ==
एक मापांक के लिए पूर्णांकों के सभी #Congruence वर्गों का समुच्चय {{math|''n''}} पूर्णांक मॉड्यूलो का वलय कहा जाता है {{math|''n''}},<ref>It is a [[ring (mathematics)|ring]], as shown below.</ref> और निरूपित किया जाता है <math display=inline>\mathbb{Z}/n\mathbb{Z}</math>, <math>\mathbb{Z}/n</math>, या <math>\mathbb{Z}_n</math>.<ref>{{Cite web|date=2013-11-16|title=2.3: पूर्णांक मॉडुलो एन| url=https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Book%3A_Introduction_to_Algebraic_Structures_(Denton)/02%3A_Groups_I/2.03%3A_Integers_Modulo_n|access-date=2020-08-12| website=Mathematics LibreTexts|language=en}}</ref> अंकन <math>\mathbb{Z}_n</math> हालांकि, इसकी अनुशंसा नहीं की जाती है क्योंकि इसे P-adic#Algebraic approach| के सेट के साथ भ्रमित किया जा सकता है{{math|''n''}}-एडिक पूर्णांक। [[अंगूठी (गणित)]] <math>\mathbb{Z}/n\mathbb{Z}</math> गणित की विभिन्न शाखाओं के लिए मौलिक है (देखें {{section link|#Applications}} नीचे)।
मापांक {{math|''n''}} के लिए पूर्णांकों के सभी सर्वांगसम वर्गों के सेट को पूर्णांक मापांक {{math|''n''}} का वलय कहा जाता है ,<ref>It is a [[ring (mathematics)|ring]], as shown below.</ref> और इसे <math display=inline>\mathbb{Z}/n\mathbb{Z}</math>, <math>\mathbb{Z}/n</math>, या <math>\mathbb{Z}_n</math>के रूप में दर्शाया जाता है।<ref>{{Cite web|date=2013-11-16|title=2.3: पूर्णांक मॉडुलो एन| url=https://math.libretexts.org/Bookshelves/Abstract_and_Geometric_Algebra/Book%3A_Introduction_to_Algebraic_Structures_(Denton)/02%3A_Groups_I/2.03%3A_Integers_Modulo_n|access-date=2020-08-12| website=Mathematics LibreTexts|language=en}}</ref> हालांकि, संकेतन <math>\mathbb{Z}_n</math> अनुशंसित नहीं है, क्योंकि इसे {{math|''n''}}-एडिक पूर्णांकों के समुच्चयके साथ भ्रमित किया जा सकता है। वलय  <math>\mathbb{Z}/n\mathbb{Z}</math> गणित की विभिन्न शाखाओं के लिए मौलिक है (देखें {{section link|#अनुप्रयोग}} नीचे)।


सेट को n > 0 के रूप में परिभाषित किया गया है:
समुच्चय को n > 0 के रूप में परिभाषित किया गया है:


:<math>\mathbb{Z}/n\mathbb{Z} = \left\{ \overline{a}_n \mid a \in \mathbb{Z}\right\} = \left\{ \overline{0}_n, \overline{1}_n, \overline{2}_n,\ldots, \overline{n{-}1}_n \right\}.</math>
:<math>\mathbb{Z}/n\mathbb{Z} = \left\{ \overline{a}_n \mid a \in \mathbb{Z}\right\} = \left\{ \overline{0}_n, \overline{1}_n, \overline{2}_n,\ldots, \overline{n{-}1}_n \right\}.</math>
(कब {{math|''n'' {{=}} 0}}, <math>\mathbb{Z}/n\mathbb{Z}</math> खाली समुच्चय नहीं है, बल्कि, यह समरूपतावाद है <math>\mathbb{Z}</math>, जबसे {{math|{{overline|''a''}}{{sub|0}} {{=}} {''a''}}}.)
(जब {{math|''n'' {{=}} 0}}, <math>\mathbb{Z}/n\mathbb{Z}</math> खाली समुच्चय नहीं है, बल्कि, यह समरूपतावाद है <math>\mathbb{Z}</math>, जबसे {{math|{{overline|''a''}}{{sub|0}} {{=}} {''a''}}}.)


हम जोड़, घटाव और गुणा को परिभाषित करते हैं <math>\mathbb{Z}/n\mathbb{Z}</math> निम्नलिखित नियमों द्वारा:
हम जोड़, घटाव और गुणा को परिभाषित करते हैं <math>\mathbb{Z}/n\mathbb{Z}</math> निम्नलिखित नियमों द्वारा:
Line 116: Line 116:
* <math>\overline{a}_n - \overline{b}_n = \overline{(a - b)}_n</math>
* <math>\overline{a}_n - \overline{b}_n = \overline{(a - b)}_n</math>
* <math>\overline{a}_n \overline{b}_n = \overline{(ab)}_n.</math>
* <math>\overline{a}_n \overline{b}_n = \overline{(ab)}_n.</math>
यह सत्यापन कि यह एक उचित परिभाषा है, पहले दिए गए गुणों का उपयोग करता है।
यह सत्यापन कि यह उचित परिभाषा है, पहले दिए गए गुणों का उपयोग करता है।


इस तरह, <math>\mathbb{Z}/n\mathbb{Z}</math> क्रमविनिमेय वलय बन जाता है। उदाहरण के लिए, रिंग में <math>\mathbb{Z}/24\mathbb{Z}</math>, अपने पास
इस तरह, <math>\mathbb{Z}/n\mathbb{Z}</math> क्रमविनिमेय वलय बन जाता है। उदाहरण के लिए, वलय में <math>\mathbb{Z}/24\mathbb{Z}</math>, अपने पास
:<math>\overline{12}_{24} + \overline{21}_{24} = \overline{33}_{24}= \overline{9}_{24}</math>
:<math>\overline{12}_{24} + \overline{21}_{24} = \overline{33}_{24}= \overline{9}_{24}</math>
24 घंटे की घड़ी के लिए अंकगणित के रूप में।
24 घंटे की घड़ी के लिए अंकगणित के रूप में।


हम संकेतन का उपयोग करते हैं <math>\mathbb{Z}/n\mathbb{Z}</math> क्योंकि यह का भागफल वलय है <math>\mathbb{Z}</math> रिंग आदर्श द्वारा <math>n\mathbb{Z}</math>, एक सेट जिसमें सभी पूर्णांक विभाज्य हैं {{math|''n''}}, जहाँ पे <math>0\mathbb{Z}</math> [[सिंगलटन सेट]] है {{math|{0}}}. इस प्रकार <math>\mathbb{Z}/n\mathbb{Z}</math> एक [[क्षेत्र (गणित)]] है जब <math>n\mathbb{Z}</math> एक [[अधिकतम आदर्श]] है (यानी, कब {{math|''n''}} अभाज्य है)।
हम संकेतन का उपयोग करते हैं <math>\mathbb{Z}/n\mathbb{Z}</math> क्योंकि यह का भागफल वलय है <math>\mathbb{Z}</math> वलय आदर्श द्वारा <math>n\mathbb{Z}</math>, समुच्चय जिसमें सभी पूर्णांक विभाज्य {{math|''n''}} हैं , जहाँ पे <math>0\mathbb{Z}</math> [[सिंगलटन सेट|सिंगलटन समुच्चय]] {{math|{0}} है } इस प्रकार <math>\mathbb{Z}/n\mathbb{Z}</math> [[क्षेत्र (गणित)]] है जब <math>n\mathbb{Z}</math> [[अधिकतम आदर्श]] है (यानी, जब {{math|''n''}} अभाज्य है)।


इसे समूह से भी बनाया जा सकता है <math>\mathbb Z</math> अकेले अतिरिक्त ऑपरेशन के तहत। अवशेष वर्ग {{math|{{overline|''a''}}{{sub|''n''}}}} का समूह सहसमुच्चय है {{math|''a''}} [[भागफल समूह]] में <math>\mathbb{Z}/n\mathbb{Z}</math>, एक [[चक्रीय समूह]]।<ref>Sengadir T., {{Google books|id=nglisrt9IewC|page=293|text=Zn is generated by 1|title=Discrete Mathematics and Combinatorics}}</ref>
इसे समूह <math>\mathbb Z</math> से भी बनाया जा सकता है अकेले अतिरिक्त ऑपरेशन के तहत। अवशेष वर्ग {{math|{{overline|''a''}}{{sub|''n''}}}} का समूह सहसमुच्चय है {{math|''a''}} [[भागफल समूह]] में <math>\mathbb{Z}/n\mathbb{Z}</math>, एक [[चक्रीय समूह]]।<ref>Sengadir T., {{Google books|id=nglisrt9IewC|page=293|text=Zn is generated by 1|title=Discrete Mathematics and Combinatorics}}</ref>
विशेष मामले को बाहर करने के बजाय {{math|''n'' {{=}} 0}}शामिल करना अधिक उपयोगी है <math>\mathbb{Z}/0\mathbb{Z}</math> (जो, जैसा कि पहले उल्लेख किया गया है, रिंग के लिए आइसोमोर्फिक है <math>\mathbb{Z}</math> पूर्णांकों का)। वास्तव में, यह समावेशन एक अंगूठी (गणित) की [[विशेषता (बीजगणित)]] पर चर्चा करते समय उपयोगी होता है।
विशेष मामले को बाहर करने के बजाय {{math|''n'' {{=}} 0}}शामिल करना अधिक उपयोगी है <math>\mathbb{Z}/0\mathbb{Z}</math> (जो, जैसा कि पहले उल्लेख किया गया है, वलय के लिए आइसोमोर्फिक है <math>\mathbb{Z}</math> पूर्णांकों का)। वास्तव में, यह समावेशन एक अंगूठी (गणित) की [[विशेषता (बीजगणित)]] पर चर्चा करते समय उपयोगी होता है।


पूर्णांक मॉड्यूलो की अंगूठी {{math|''n''}} एक [[परिमित क्षेत्र]] है अगर और केवल अगर {{math|''n''}} [[प्रधान|अभाज्य]] है (यह सुनिश्चित करता है कि प्रत्येक अशून्य तत्व में एक मॉड्यूलर गुणात्मक व्युत्क्रम होता है)। यदि <math>n=p^k</math> k > 1 के साथ एक अभाज्य शक्ति है, वहाँ एक अद्वितीय (समरूपता तक) परिमित क्षेत्र उपस्थित है <math>\mathrm{GF}(n) =\mathbb F_n</math> साथ {{math|''n''}} तत्व, लेकिन यह नहीं है <math>\mathbb Z/n\mathbb Z</math>, जो एक क्षेत्र होने में विफल रहता है क्योंकि इसमें शून्य-भाजक हैं।
पूर्णांक मापांक की अंगूठी {{math|''n''}} एक [[परिमित क्षेत्र]] है अगर और केवल अगर {{math|''n''}} [[प्रधान|अभाज्य]] है (यह सुनिश्चित करता है कि प्रत्येक अशून्य तत्व में एक मॉड्यूलर गुणात्मक व्युत्क्रम होता है)। यदि <math>n=p^k</math> k > 1 के साथ एक अभाज्य शक्ति है, वहाँ एक अद्वितीय (समरूपता तक) परिमित क्षेत्र उपस्थित है <math>\mathrm{GF}(n) =\mathbb F_n</math> साथ {{math|''n''}} तत्व, लेकिन यह नहीं है <math>\mathbb Z/n\mathbb Z</math>, जो एक क्षेत्र होने में विफल रहता है क्योंकि इसमें शून्य-भाजक हैं।


पूर्णांकों के [[गुणक समूह]] n को निरूपित किया जाता है <math>(\mathbb Z/n\mathbb Z)^\times</math>. इसमें शामिल है <math>\overline a_n</math> (जहाँ एक सह अभाज्य पूर्णांक से n), जो वास्तव में गुणक व्युत्क्रम रखने वाले वर्ग हैं। यह क्रम के साथ गुणन के तहत एक क्रमविनिमेय [[समूह (गणित)]] बनाता है <math>\varphi(n)</math>.
पूर्णांकों के [[गुणक समूह]] n को निरूपित किया जाता है <math>(\mathbb Z/n\mathbb Z)^\times</math>. इसमें शामिल है <math>\overline a_n</math> (जहाँ एक सह अभाज्य पूर्णांक से n), जो वास्तव में गुणक व्युत्क्रम रखने वाले वर्ग हैं। यह क्रम के साथ गुणन के तहत एक क्रमविनिमेय [[समूह (गणित)]] बनाता है <math>\varphi(n)</math>.
Line 137: Line 137:


== अनुप्रयोग ==
== अनुप्रयोग ==
सैद्धांतिक गणित में, मॉड्यूलर अंकगणित [[संख्या सिद्धांत]] की नींव में से एक है, जो इसके अध्ययन के लगभग हर पहलू को छूता है, और इसका उपयोग [[समूह सिद्धांत]], रिंग सिद्धांत, गांठ सिद्धांत और अमूर्त बीजगणित में भी व्यापक रूप से किया जाता है। अनुप्रयुक्त गणित में, इसका उपयोग [[कंप्यूटर बीजगणित]][[सार्वजनिक कुंजी [[क्रिप्टोग्राफी]]]], [[कंप्यूटर विज्ञान]], [[रसायन विज्ञान]] और [[दृश्य कला]] और [[संगीत]] कला में किया जाता है।
सैद्धांतिक गणित में, मॉड्यूलर अंकगणित [[संख्या सिद्धांत]] की नींव में से एक है, जो इसके अध्ययन के लगभग हर पहलू को छूता है, और इसका उपयोग [[समूह सिद्धांत]], वलय सिद्धांत, गांठ सिद्धांत और अमूर्त बीजगणित में भी व्यापक रूप से किया जाता है। अनुप्रयुक्त गणित में, इसका उपयोग [[कंप्यूटर बीजगणित]][[सार्वजनिक कुंजी [[क्रिप्टोग्राफी]]]], [[कंप्यूटर विज्ञान]], [[रसायन विज्ञान]] और [[दृश्य कला]] और [[संगीत]] कला में किया जाता है।


सीरियल नंबर पहचानकर्ताओं के भीतर चेकसम की गणना करना एक बहुत ही व्यावहारिक अनुप्रयोग है। उदाहरण के लिए, [[अंतर्राष्ट्रीय मानक पुस्तक संख्या]] (आईएसबीएन) त्रुटि का पता लगाने के लिए मॉडुलो 11 (10 अंकों के आईएसबीएन के लिए) या मॉड्यूलो 10 (13 अंकों के आईएसबीएन के लिए) अंकगणित का उपयोग करता है। इसी तरह, अंतर्राष्ट्रीय बैंक खाता संख्या (आईबीएएन), उदाहरण के लिए, बैंक खाता संख्या में उपयोगकर्ता इनपुट त्रुटियों को खोजने के लिए मॉडुलो 97 अंकगणितीय का उपयोग करें। रसायन विज्ञान में, CAS रजिस्ट्री संख्या का अंतिम अंक (प्रत्येक रासायनिक यौगिक के लिए एक विशिष्ट पहचान संख्या) एक चेक अंक है, जिसकी गणना CAS रजिस्ट्री संख्या के पहले दो भागों के अंतिम अंक को 1 से गुणा करके की जाती है, पिछला अंक गुणा 2, पिछला अंक 3 गुना आदि, इन सभी को जोड़कर और योग मॉड्यूलो 10 की गणना करना।
सीरियल नंबर पहचानकर्ताओं के भीतर चेकसम की गणना करना एक बहुत ही व्यावहारिक अनुप्रयोग है। उदाहरण के लिए, [[अंतर्राष्ट्रीय मानक पुस्तक संख्या]] (आईएसबीएन) त्रुटि का पता लगाने के लिए मॉडुलो 11 (10 अंकों के आईएसबीएन के लिए) या मापांक 10 (13 अंकों के आईएसबीएन के लिए) अंकगणित का उपयोग करता है। इसी तरह, अंतर्राष्ट्रीय बैंक खाता संख्या (आईबीएएन), उदाहरण के लिए, बैंक खाता संख्या में उपयोगकर्ता इनपुट त्रुटियों को खोजने के लिए मॉडुलो 97 अंकगणितीय का उपयोग करें। रसायन विज्ञान में, CAS रजिस्ट्री संख्या का अंतिम अंक (प्रत्येक रासायनिक यौगिक के लिए एक विशिष्ट पहचान संख्या) एक चेक अंक है, जिसकी गणना CAS रजिस्ट्री संख्या के पहले दो भागों के अंतिम अंक को 1 से गुणा करके की जाती है, पिछला अंक गुणा 2, पिछला अंक 3 गुना आदि, इन सभी को जोड़कर और योग मापांक 10 की गणना करना।


क्रिप्टोग्राफी में, मॉड्यूलर अंकगणित सार्वजनिक-कुंजी क्रिप्टोग्राफी सिस्टम जैसे [[आरएसए (एल्गोरिदम)]] और डिफी-हेलमैन कुंजी एक्सचेंज | डिफी-हेलमैन को सीधे आधार देता है, और परिमित क्षेत्र प्रदान करता है जो [[अण्डाकार वक्र]]ों को रेखांकित करता है, और उन्नत सहित विभिन्न सममित कुंजी एल्गोरिदम में उपयोग किया जाता है। एन्क्रिप्शन मानक (AES), [[अंतर्राष्ट्रीय डेटा एन्क्रिप्शन एल्गोरिथम]] (IDEA), और [[RC4]]। आरएसए और डिफी-हेलमैन [[मॉड्यूलर घातांक]] का उपयोग करते हैं।
क्रिप्टोग्राफी में, मॉड्यूलर अंकगणित सार्वजनिक-कुंजी क्रिप्टोग्राफी सिस्टम जैसे [[आरएसए (एल्गोरिदम)]] और डिफी-हेलमैन कुंजी एक्सचेंज | डिफी-हेलमैन को सीधे आधार देता है, और परिमित क्षेत्र प्रदान करता है जो [[अण्डाकार वक्र]]ों को रेखांकित करता है, और उन्नत सहित विभिन्न सममित कुंजी एल्गोरिदम में उपयोग किया जाता है। एन्क्रिप्शन मानक (AES), [[अंतर्राष्ट्रीय डेटा एन्क्रिप्शन एल्गोरिथम]] (IDEA), और [[RC4]]। आरएसए और डिफी-हेलमैन [[मॉड्यूलर घातांक]] का उपयोग करते हैं।
Line 145: Line 145:
कंप्यूटर बीजगणित में, मॉड्यूलर अंकगणित आमतौर पर मध्यवर्ती गणना और डेटा में पूर्णांक गुणांक के आकार को सीमित करने के लिए उपयोग किया जाता है। इसका उपयोग [[बहुपद गुणनखंडन]] में किया जाता है, एक ऐसी समस्या जिसके लिए सभी ज्ञात कुशल एल्गोरिदम मॉड्यूलर अंकगणित का उपयोग करते हैं। इसका उपयोग पूर्णांकों और परिमेय संख्याओं पर बहुपद महानतम सामान्य भाजक, सटीक रैखिक बीजगणित और ग्रोबनेर आधार एल्गोरिदम के सबसे कुशल कार्यान्वयन द्वारा किया जाता है। जैसा कि 1980 के दशक में [[फिडोनेट]] पर पोस्ट किया गया था और [[रोसेटा कोड]] में संग्रहीत किया गया था, मॉड्यूलर अंकगणित का उपयोग एक [[सीडीसी 6600]] [[सुपर कंप्यूटर]] द्वारा उपयोग किए गए पूर्णांक परिशुद्धता के केवल एक-चौथाई का उपयोग करके दो दशक पहले इसे अस्वीकार करने के लिए एक [[सिंक्लेयर क्यूएल]] [[माइक्रो]] कंप्यूटर पर यूलर की शक्तियों के योग का खंडन करने के लिए किया गया था। [[क्रूर बल खोज]] के माध्यम से।<ref>{{Cite web|title=यूलर की शक्तियों का योग अनुमान|url=https://rosettacode.org/wiki/Euler%27s_sum_of_powers_conjecture#QL_SuperBASIC|access-date=2020-11-11|website=rosettacode.org|language=en}}</ref>
कंप्यूटर बीजगणित में, मॉड्यूलर अंकगणित आमतौर पर मध्यवर्ती गणना और डेटा में पूर्णांक गुणांक के आकार को सीमित करने के लिए उपयोग किया जाता है। इसका उपयोग [[बहुपद गुणनखंडन]] में किया जाता है, एक ऐसी समस्या जिसके लिए सभी ज्ञात कुशल एल्गोरिदम मॉड्यूलर अंकगणित का उपयोग करते हैं। इसका उपयोग पूर्णांकों और परिमेय संख्याओं पर बहुपद महानतम सामान्य भाजक, सटीक रैखिक बीजगणित और ग्रोबनेर आधार एल्गोरिदम के सबसे कुशल कार्यान्वयन द्वारा किया जाता है। जैसा कि 1980 के दशक में [[फिडोनेट]] पर पोस्ट किया गया था और [[रोसेटा कोड]] में संग्रहीत किया गया था, मॉड्यूलर अंकगणित का उपयोग एक [[सीडीसी 6600]] [[सुपर कंप्यूटर]] द्वारा उपयोग किए गए पूर्णांक परिशुद्धता के केवल एक-चौथाई का उपयोग करके दो दशक पहले इसे अस्वीकार करने के लिए एक [[सिंक्लेयर क्यूएल]] [[माइक्रो]] कंप्यूटर पर यूलर की शक्तियों के योग का खंडन करने के लिए किया गया था। [[क्रूर बल खोज]] के माध्यम से।<ref>{{Cite web|title=यूलर की शक्तियों का योग अनुमान|url=https://rosettacode.org/wiki/Euler%27s_sum_of_powers_conjecture#QL_SuperBASIC|access-date=2020-11-11|website=rosettacode.org|language=en}}</ref>


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


संगीत में, अंकगणित मोडुलो 12 का उपयोग बारह-स्वर समान स्वभाव की प्रणाली के विचार में किया जाता है, जहां [[सप्टक]] और [[सुरीले]] समतुल्यता होती है (अर्थात, 1:2 या 2:1 अनुपात में पिच समकक्ष हैं, और सी-शार्प ( संगीत) को डी-[[फ्लैट (संगीत)]] के समान माना जाता है)।
संगीत में, अंकगणित मापांक 12 का उपयोग बारह-स्वर समान स्वभाव की प्रणाली के विचार में किया जाता है, जहां [[सप्टक]] और [[सुरीले]] समतुल्यता होती है (अर्थात, 1:2 या 2:1 अनुपात में पिच समकक्ष हैं, और सी-शार्प ( संगीत) को डी-[[फ्लैट (संगीत)]] के समान माना जाता है)।


नाइन निकालने की विधि हाथ से निष्पादित दशमलव अंकगणितीय गणनाओं की त्वरित जांच प्रदान करती है। यह मॉड्यूलर अंकगणित मॉड्यूल 9 पर आधारित है, और विशेष रूप से 10 ≡ 1 (मॉड 9) की महत्वपूर्ण संपत्ति पर आधारित है।
नाइन निकालने की विधि हाथ से निष्पादित दशमलव अंकगणितीय गणनाओं की त्वरित जांच प्रदान करती है। यह मॉड्यूलर अंकगणित मापांक 9 पर आधारित है, और विशेष रूप से 10 ≡ 1 (मॉड 9) की महत्वपूर्ण संपत्ति पर आधारित है।


अंकगणित मोडुलो 7 का उपयोग एल्गोरिदम में किया जाता है जो किसी निश्चित तिथि के लिए सप्ताह का दिन निर्धारित करता है। विशेष रूप से, ज़ेलर की सर्वांगसमता और प्रलय का दिन एल्गोरिथम मॉड्यूल -7 अंकगणित का भारी उपयोग करते हैं।
अंकगणित मापांक 7 का उपयोग एल्गोरिदम में किया जाता है जो किसी निश्चित तिथि के लिए सप्ताह का दिन निर्धारित करता है। विशेष रूप से, ज़ेलर की सर्वांगसमता और प्रलय का दिन एल्गोरिथम मापांक -7 अंकगणित का भारी उपयोग करते हैं।


सामान्यतः, मॉड्यूलर अंकगणित में [[कानून]] (जैसे, [[विभाजन (राजनीति)]]), [[अर्थशास्त्र]] (जैसे, [[खेल सिद्धांत]]) और [[सामाजिक विज्ञान]] के अन्य क्षेत्रों जैसे विषयों में भी आवेदन होता है, जहां [[आनुपातिक (निष्पक्ष विभाजन)]] विभाजन और संसाधनों का आवंटन एक भूमिका निभाता है। विश्लेषण का मध्य भाग।
सामान्यतः, मॉड्यूलर अंकगणित में [[कानून]] (जैसे, [[विभाजन (राजनीति)]]), [[अर्थशास्त्र]] (जैसे, [[खेल सिद्धांत]]) और [[सामाजिक विज्ञान]] के अन्य क्षेत्रों जैसे विषयों में भी आवेदन होता है, जहां [[आनुपातिक (निष्पक्ष विभाजन)]] विभाजन और संसाधनों का आवंटन एक भूमिका निभाता है। विश्लेषण का मध्य भाग।


== कम्प्यूटेशनल जटिलता ==
== कम्प्यूटेशनल जटिलता ==
चूंकि मॉड्यूलर अंकगणित में अनुप्रयोगों की इतनी विस्तृत श्रृंखला है, इसलिए यह जानना महत्वपूर्ण है कि सर्वांगसमता की प्रणाली को हल करना कितना कठिन है। गॉसियन विलोपन के एक रूप के साथ बहुपद समय में सर्वांगसमताओं की एक रैखिक प्रणाली को हल किया जा सकता है, विवरण के लिए [[रैखिक सर्वांगसमता प्रमेय]] देखें। [[मोंटगोमरी कमी]] जैसे एल्गोरिदम भी सरल अंकगणितीय संचालन की अनुमति देने के लिए उपस्थित हैं, जैसे गुणन और मॉड्यूलर एक्सपोनेंटिएशन|एक्सपोनेंटिएशन मोडुलो{{math|''n''}}, बड़ी संख्या में कुशलता से प्रदर्शन करने के लिए।
चूंकि मॉड्यूलर अंकगणित में अनुप्रयोगों की इतनी विस्तृत श्रृंखला है, इसलिए यह जानना महत्वपूर्ण है कि सर्वांगसमता की प्रणाली को हल करना कितना कठिन है। गॉसियन विलोपन के एक रूप के साथ बहुपद समय में सर्वांगसमताओं की एक रैखिक प्रणाली को हल किया जा सकता है, विवरण के लिए [[रैखिक सर्वांगसमता प्रमेय]] देखें। [[मोंटगोमरी कमी]] जैसे एल्गोरिदम भी सरल अंकगणितीय संचालन की अनुमति देने के लिए उपस्थित हैं, जैसे गुणन और मॉड्यूलर एक्सपोनेंटिएशन|एक्सपोनेंटिएशन मापांक{{math|''n''}}, बड़ी संख्या में कुशलता से प्रदर्शन करने के लिए।


कुछ ऑपरेशन, जैसे [[असतत लघुगणक]] या [[द्विघात सर्वांगसमता]] [[पूर्णांक गुणनखंडन]] के समान कठिन प्रतीत होते हैं और इस प्रकार क्रिप्टोग्राफी और [[कूटलेखन]] के लिए एक प्रारंभिक बिंदु हैं। ये समस्याएं [[एनपी-मध्यवर्ती]] हो सकती हैं।
कुछ ऑपरेशन, जैसे [[असतत लघुगणक]] या [[द्विघात सर्वांगसमता]] [[पूर्णांक गुणनखंडन]] के समान कठिन प्रतीत होते हैं और इस प्रकार क्रिप्टोग्राफी और [[कूटलेखन]] के लिए एक प्रारंभिक बिंदु हैं। ये समस्याएं [[एनपी-मध्यवर्ती]] हो सकती हैं।
Line 186: Line 186:
</वाक्यविन्यास हाइलाइट>
</वाक्यविन्यास हाइलाइट>


कंप्यूटर आर्किटेक्चर पर जहां कम से कम 64 बिट्स मंटिसा के साथ एक विस्तारित परिशुद्धता # x86 विस्तारित प्रेसिजन प्रारूप प्रारूप उपलब्ध है (जैसे कि अधिकांश x86 सी कंपाइलर्स का [[लंबा डबल]] प्रकार), निम्न दिनचर्या लूप का उपयोग करके समाधान से तेज़ है, नियोजित करके चाल है कि, हार्डवेयर द्वारा, [[तैरनेवाला स्थल]] गुणन परिणाम उत्पाद के सबसे महत्वपूर्ण बिट्स में रखा जाता है, जबकि पूर्णांक गुणन परिणाम कम से कम महत्वपूर्ण बिट्स में रखा जाता है:{{citation needed|date=May 2020}}
कंप्यूटर आर्किटेक्चर पर जहां न्यूनतम 64 बिट्स मंटिसा के साथ एक विस्तारित परिशुद्धता # x86 विस्तारित प्रेसिजन प्रारूप प्रारूप उपलब्ध है (जैसे कि अधिकांश x86 सी कंपाइलर्स का [[लंबा डबल]] प्रकार), निम्न दिनचर्या लूप का उपयोग करके समाधान से तेज़ है, नियोजित करके चाल है कि, हार्डवेयर द्वारा, [[तैरनेवाला स्थल]] गुणन परिणाम उत्पाद के सबसे महत्वपूर्ण बिट्स में रखा जाता है, जबकि पूर्णांक गुणन परिणाम न्यूनतम महत्वपूर्ण बिट्स में रखा जाता है:{{citation needed|date=May 2020}}
<वाक्यविन्यास प्रकाश लैंग = सी>
<वाक्यविन्यास प्रकाश लैंग = सी>
uint64_t mul_mod (uint64_t a, uint64_t b, uint64_t m) {
uint64_t mul_mod (uint64_t a, uint64_t b, uint64_t m) {

Revision as of 13:32, 7 December 2022

इस घड़ी पर टाइम-कीपिंग अंकगणित मापांक 12 का उपयोग करता है। 4 घंटे को 9 बजे जोड़ने से 1 बजे होता है, क्योंकि 13 1 मापांक 12 के अनुरूप है।

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

मॉड्यूलर अंकगणित का परिचित उपयोग12 घंटे की घड़ी में होता है, जिसमें दिन को दो 12 घंटे की अवधि में विभाजित किया जाता है। यदि समय अभी 7:00 है, तो 8 घंटे बाद 3:00 बजे होंगे। सरल जोड़ का परिणाम 7 + 8 = 15 होगा, लेकिन घड़ियाँ हर 12 घंटे में "परिवेष्टन हैं"। चूंकि घंटे की संख्या 12 तक पहुंचने पर शून्य से शुरू होती है, यह अंकगणित मापांक 12 है। नीचे दी गई परिभाषा के संदर्भ में 15, 3 मापांक 12 के अनुरूप है, इसलिए 24 घंटे की घड़ीपर "15:00" प्रदर्शित होता है "3 : 00" 12 घंटे की घड़ी पर।

सर्वांगसमता

एक पूर्णांक दिया n > 1, जिसे मापांक कहा जाता है, दो पूर्णांक a तथा b सर्वांगसम मापांक कहलाते हैं n, यदि n उनके अंतर का विभाजक है (अर्थात, यदि कोई पूर्णांक है k ऐसा है कि ab = kn).

सर्वांगसमता मापांक n सर्वांगसम संबंध है, जिसका अर्थ है कि यह तुल्यता संबंध है जो जोड़, घटाव और गुणा के संचालन के साथ संगत है। सर्वांगसमता मापांक n निरूपित किया जाता है:

कोष्ठक का अर्थ है (mod n) पूरे समीकरण न कि केवल दाहिनी ओर (यहाँ, b) पर लागू होता है। इस संकेतन को संकेतन के साथ भ्रमित नहीं होना है b mod n (कोष्ठक के बिना), जो मॉडुलो ऑपरेशन को संदर्भित करता है। वास्तव में, b mod n अद्वितीय पूर्णांक को दर्शाता है a ऐसा है कि 0 ≤ a < n तथा (अर्थात, का शेष भाग से विभाजित किया जाता है।).

सर्वांगसमता संबंध को इस रूप में फिर से लिखा जा सकता है

स्पष्ट रूप से यूक्लिडियन विभाजन के साथ अपना संबंध दिखा रहा है। हालांकि यहाँ b को n. द्वारा a के विभाजन का शेष होना आवश्यक नहीं है। इसके बजाय, कथन ab (mod n) क्या दावा करता है कि a तथा b को n से विभाजित करने पर समान शेषफल प्राप्त होता है . वह है,

जहाँ पे 0 ≤ r < n सामान्य शेषफल है। इन दो व्यंजक को घटाकर, हम पिछले संबंध को पुनः प्राप्त करते हैं:

व्यवस्थित करके k = pq.

उदाहरण

मापांक 12 में, कोई यह दावा कर सकता है कि:

इसलिये 38 − 14 = 24, जो कि 12 का गुणज है। इसे व्यक्त करने का दूसरा तरीका यह है कि 38 और 14 दोनों को 12 से विभाजित करने पर समान शेषफल 2 प्राप्त होता है।

सर्वांगसमता की परिभाषा ऋणात्मक मानों पर भी लागू होती है। उदाहरण के लिए:

गुण

सर्वांगसमता संबंध तुल्यता संबंध की सभी शर्तों को संतुष्ट करता है:

  • प्रतिवर्तता: aa (mod n) *
  • समरूपता: ab (mod n) यदि ba (mod n) सभी के लिए a, b, तथा n.
  • संक्रामकता: यदि ab (mod n) तथा bc (mod n), फिर ac (mod n)

यदि a1b1 (mod n) तथा a2b2 (mod n), या अगर ab (mod n), फिर:[1]

  • a + kb + k (mod n) किसी भी पूर्णांक k के लिए (अनुवाद के साथ अनुकूलता)
  • k ak b (mod n) किसी भी पूर्णांक k के लिए (प्रवर्धन के साथ अनुकूलता)
  • k ak b (mod kn) किसी भी पूर्णांक k के लिए
  • a1 + a2b1 + b2 (mod n) (जोड़ के साथ अनुकूलता)
  • a1a2b1b2 (mod n) (घटाव के साथ संगतता)
  • a1 a2b1 b2 (mod n) (गुणन के साथ अनुकूलता)
  • akbk (mod n) किसी भी ऋणेतर पूर्णांक k के लिए (घातांक के साथ संगतता)
  • p(a) ≡ p(b) (mod n), किसी भी बहुपद के लिए p(x) पूर्णांक गुणांक के साथ (बहुपद मूल्यांकन के साथ अनुकूलता)

यदि ab (mod n), तो यह सामान्यतः आभासी है कि kakb (mod n). हालाँकि, निम्नलिखित सत्य है:

  • यदि cd (mod φ(n)), जहाँ पे φ तब यूलर का कुल फलनहै acad (mod n)- बशर्ते कि a, n के साथ सह अभाज्य हो।

सामान्य शर्तों को रद्द करने के लिए, हमारे पास निम्नलिखित नियम हैं:

  • यदि a + kb + k (mod n), जहाँ पे k कोई पूर्णांक है, तो ab (mod n)
  • यदि k ak b (mod n) तथा k के साथ n सह अभाज्य है , फिर ab (mod n)
  • यदि k ak b (mod kn) तथा k ≠ 0, फिर ab (mod n)

मॉड्यूलर गुणात्मक व्युत्क्रम निम्नलिखित नियमों द्वारा परिभाषित किया गया है:

  • अस्तित्व: निरूपित पूर्णांक उपस्थित है a–1 ऐसा है कि aa–1 ≡ 1 (mod n) अगर और केवल अगर a के साथ n सह अभाज्य है। यह पूर्णांक a–1 का मॉड्यूलर गुणक व्युत्क्रम कहा जाता है a मापांक n
  • यदि ab (mod n) तथा a–1 उपस्थित है, तो a–1b–1 (mod n) (गुणात्मक व्युत्क्रम के साथ अनुकूलता, और, यदि a = b, विशिष्टता मापांक n)
  • यदि a xb (mod n) तथा a सह अभाज्य है n, तो इस रैखिक सर्वांगसमता का हल निम्न द्वारा दिया जाता है xa–1b (mod n)

गुणात्मक व्युत्क्रम xa–1 (mod n) बेज़ाउट के समीकरण को हल करके कुशलतापूर्वक गणना की जा सकती है के लिये - विस्तारित यूक्लिडियन एल्गोरिथम का उपयोग करना।

विशेष रूप से, अगर p अभाज्य संख्या है, तो a के साथ सह अभाज्य है p हरएक के लिए a ऐसा है कि 0 < a < p, इस प्रकार सभी के लिए गुणक व्युत्क्रम उपस्थित है a जो शून्य सापेक्ष p के अनुरूप नहीं है .

सर्वांगसमता संबंधों के कुछ अधिक उन्नत गुण निम्नलिखित हैं:

  • फर्मेट की छोटी प्रमेय: यदि p अभाज्य है और विभाजित नहीं करता है a, फिर a p – 1 ≡ 1 (mod p).
  • यूलर प्रमेय: यदि a तथा n सह अभाज्य हैं, तो a φ(n) ≡ 1 (mod n), जहाँ पे φ यूलर का कुल फलनहै
  • फ़र्मेट की छोटी प्रमेय का सरल परिणाम यह है कि अगर p अभाज्य है, तो a−1a p − 2 (mod p) का गुणक व्युत्क्रम है 0 < a < p. अधिक सामान्यतः, यूलर के प्रमेय से, यदि a तथा n सह अभाज्य हैं, तो a−1a φ(n) − 1 (mod n).
  • एक और सरल परिणाम यह है कि यदि ab (mod φ(n)), जहाँ पे φ तब यूलर का कुल फलनहै kakb (mod n) बशर्ते k के साथ n सह अभाज्य है .
  • विल्सन प्रमेय: p अभाज्य है अगर और केवल अगर (p − 1)! ≡ −1 (mod p).
  • चीनी शेषफल प्रमेय: किसी के लिए a, b और सह अभाज्य m, n, वहाँ अनूठा उपस्थित है x (mod mn) ऐसा है कि xa (mod m) तथा xb (mod n). वास्तव में, xb mn–1 m + a nm–1 n (mod mn) जहाँ पे mn−1, m मापांक n का व्युत्क्रम है मापांक तथा nm−1, n मापांक m का व्युत्क्रम है
  • लैग्रेंज का प्रमेय: सर्वांगसमता f (x) ≡ 0 (mod p), जहाँ पे p अभाज्य है, और f (x) = a0 xn + ... + an पूर्णांक गुणांकों वाला एक बहुपद है जैसे कि a0 ≠ 0 (mod p), अधिक से अधिक है n मूल ।
  • प्रिमिटिव मूल मापांक n: संख्या g आदिम मूल मापांक n है यदि प्रत्येक पूर्णांक a के लिए n के लिए सह अभाज्य है, तो एक पूर्णांक है k ऐसा है कि gka (mod n). एक आदिम मूल मापांक n उपस्थित है अगर और केवल अगर n के बराबर 2, 4, pk या 2pk है, जहाँ पे p विषम अभाज्य संख्या है और k धनात्मक पूर्णांक है। यदि आदिम मूल मापांक n उपस्थित है, तो बिल्कुल हैं φ(φ(n)) ऐसी आदिम मूल , जहाँ φ यूलर का कुल फलन है।
  • द्विघात अवशेष: पूर्णांक a एक द्विघात अवशेष मापांक है n, यदि कोई पूर्णांक x उपस्थित है ऐसा है कि x2a (mod n) यूलर की कसौटी का दावा है कि, अगर p विषम अभाज्य है, और a का गुणज p नहीं है, फिर a द्विघात अवशेष मापांक p है अगर और केवल अगर

सर्वांगसमता वर्ग

किसी भी सर्वांगसम संबंध की तरह, सर्वांगसमता सापेक्ष n तुल्यता संबंध है, और पूर्णांक a का तुल्यता वर्ग है, द्वारा चिह्नित an, समुच्चय है {... , a − 2n, an, a, a + n, a + 2n, ...}. यह समुच्चय सर्वांगसम सभी पूर्णांकों से मिलकर बना है a मापांक n, को सर्वांगसमता वर्ग, अवशेष वर्ग, या केवल पूर्णांक a मापांक n का अवशेष कहा जाता है। जब मापांक n संदर्भ से ज्ञात होता है कि अवशेषों को भी निरूपित [a] किया जा सकता है।

अवशेष प्रणाली

प्रत्येक अवशेष वर्ग मापांक n इसके किसी सदस्य द्वारा प्रतिनिधित्व किया जा सकता है, हालांकि हम सामान्यतः प्रत्येक अवशेष वर्ग को उस वर्ग से संबंधित सबसे छोटे गैर-ऋणात्मक पूर्णांक द्वारा दर्शाते हैं[2] (चूंकि यह उचित शेषफल है जो विभाजन का परिणाम है)। विभिन्न अवशेष वर्ग मापांक n के कोई दो सदस्य मापांक n के साथ असंगत हैं। इसके अलावा, प्रत्येक पूर्णांक एक और केवल एक अवशेष वर्ग मापांक n से संबंधित है।[3]

पूर्णांकों का समुच्चय {0, 1, 2, ..., n − 1} को सबसे लघुकृत अवशेष प्रणाली मापांक n कहा जाता है। कोई भी समुच्चय n पूर्णांक, जिनमें से कोई भी दो सर्वांगसम मापांक n नहीं हैं , पूर्ण अवशेष प्रणाली मापांक n कहा जाता है।

न्यूनतम अवशेष प्रणाली पूर्ण अवशेष प्रणाली है, और पूर्ण अवशेष प्रणाली बस एक समुच्चय है जिसमें प्रत्येक अवशेष वर्ग मापांक n का ठीक प्रतिनिधि (गणित) होता है।[4] उदाहरण के लिए न्यूनतम अवशेष प्रणाली मापांक 4, {0, 1, 2, 3} है। कुछ अन्य पूर्ण अवशेष प्रणाली मापांक 4 में शामिल हैं:

  • {1, 2, 3, 4}
  • {13, 14, 15, 16}
  • {−2, -1, 0, 1}
  • {−13, 4, 17, 18}
  • {−5, 0, 6, 21}
  • {27, 32, 37, 42}

कुछ समुच्चय जो पूर्ण अवशेष प्रणाली मापांक 4 नहीं हैं:

  • {−5, 0, 6, 22}, क्योंकि 6 22 मापांक 4 के सर्वांगसम है।
  • {5, 15}, चूंकि एक पूर्ण अवशेष प्रणाली मापांक 4 में ठीक 4 असंगत अवशेष वर्ग होने चाहिए।

लघुकृत अवशेष प्रणाली

यूलर के कुल फलन को देखते हुए φ(n), का कोई भी समुच्चय φ(n) पूर्णांक n जो सह अभाज्य पूर्णांक हैं और मापांक n के तहत परस्पर असंगत लघुकृत अवशेष प्रणाली मापांक n कहा जाता है।[5] ऊपर से समुच्चय {5,15}, उदाहरण के लिए, लघुकृत अवशेष प्रणाली मापांक 4 का एक उदाहरण है।

पूर्णांक मापांक एन

मापांक n के लिए पूर्णांकों के सभी सर्वांगसम वर्गों के सेट को पूर्णांक मापांक n का वलय कहा जाता है ,[6] और इसे , , या के रूप में दर्शाया जाता है।[7] हालांकि, संकेतन अनुशंसित नहीं है, क्योंकि इसे n-एडिक पूर्णांकों के समुच्चयके साथ भ्रमित किया जा सकता है। वलय गणित की विभिन्न शाखाओं के लिए मौलिक है (देखें § अनुप्रयोग नीचे)।

समुच्चय को n > 0 के रूप में परिभाषित किया गया है:

(जब n = 0, खाली समुच्चय नहीं है, बल्कि, यह समरूपतावाद है , जबसे a0 = {a}.)

हम जोड़, घटाव और गुणा को परिभाषित करते हैं निम्नलिखित नियमों द्वारा:

यह सत्यापन कि यह उचित परिभाषा है, पहले दिए गए गुणों का उपयोग करता है।

इस तरह, क्रमविनिमेय वलय बन जाता है। उदाहरण के लिए, वलय में , अपने पास

24 घंटे की घड़ी के लिए अंकगणित के रूप में।

हम संकेतन का उपयोग करते हैं क्योंकि यह का भागफल वलय है वलय आदर्श द्वारा , समुच्चय जिसमें सभी पूर्णांक विभाज्य n हैं , जहाँ पे सिंगलटन समुच्चय {0 है } इस प्रकार क्षेत्र (गणित) है जब अधिकतम आदर्श है (यानी, जब n अभाज्य है)।

इसे समूह से भी बनाया जा सकता है अकेले अतिरिक्त ऑपरेशन के तहत। अवशेष वर्ग an का समूह सहसमुच्चय है a भागफल समूह में , एक चक्रीय समूह[8] विशेष मामले को बाहर करने के बजाय n = 0शामिल करना अधिक उपयोगी है (जो, जैसा कि पहले उल्लेख किया गया है, वलय के लिए आइसोमोर्फिक है पूर्णांकों का)। वास्तव में, यह समावेशन एक अंगूठी (गणित) की विशेषता (बीजगणित) पर चर्चा करते समय उपयोगी होता है।

पूर्णांक मापांक की अंगूठी n एक परिमित क्षेत्र है अगर और केवल अगर n अभाज्य है (यह सुनिश्चित करता है कि प्रत्येक अशून्य तत्व में एक मॉड्यूलर गुणात्मक व्युत्क्रम होता है)। यदि k > 1 के साथ एक अभाज्य शक्ति है, वहाँ एक अद्वितीय (समरूपता तक) परिमित क्षेत्र उपस्थित है साथ n तत्व, लेकिन यह नहीं है , जो एक क्षेत्र होने में विफल रहता है क्योंकि इसमें शून्य-भाजक हैं।

पूर्णांकों के गुणक समूह n को निरूपित किया जाता है . इसमें शामिल है (जहाँ एक सह अभाज्य पूर्णांक से n), जो वास्तव में गुणक व्युत्क्रम रखने वाले वर्ग हैं। यह क्रम के साथ गुणन के तहत एक क्रमविनिमेय समूह (गणित) बनाता है .

वास्तविक संख्या में विस्तार


अनुप्रयोग

सैद्धांतिक गणित में, मॉड्यूलर अंकगणित संख्या सिद्धांत की नींव में से एक है, जो इसके अध्ययन के लगभग हर पहलू को छूता है, और इसका उपयोग समूह सिद्धांत, वलय सिद्धांत, गांठ सिद्धांत और अमूर्त बीजगणित में भी व्यापक रूप से किया जाता है। अनुप्रयुक्त गणित में, इसका उपयोग कंप्यूटर बीजगणित[[सार्वजनिक कुंजी क्रिप्टोग्राफी]], कंप्यूटर विज्ञान, रसायन विज्ञान और दृश्य कला और संगीत कला में किया जाता है।

सीरियल नंबर पहचानकर्ताओं के भीतर चेकसम की गणना करना एक बहुत ही व्यावहारिक अनुप्रयोग है। उदाहरण के लिए, अंतर्राष्ट्रीय मानक पुस्तक संख्या (आईएसबीएन) त्रुटि का पता लगाने के लिए मॉडुलो 11 (10 अंकों के आईएसबीएन के लिए) या मापांक 10 (13 अंकों के आईएसबीएन के लिए) अंकगणित का उपयोग करता है। इसी तरह, अंतर्राष्ट्रीय बैंक खाता संख्या (आईबीएएन), उदाहरण के लिए, बैंक खाता संख्या में उपयोगकर्ता इनपुट त्रुटियों को खोजने के लिए मॉडुलो 97 अंकगणितीय का उपयोग करें। रसायन विज्ञान में, CAS रजिस्ट्री संख्या का अंतिम अंक (प्रत्येक रासायनिक यौगिक के लिए एक विशिष्ट पहचान संख्या) एक चेक अंक है, जिसकी गणना CAS रजिस्ट्री संख्या के पहले दो भागों के अंतिम अंक को 1 से गुणा करके की जाती है, पिछला अंक गुणा 2, पिछला अंक 3 गुना आदि, इन सभी को जोड़कर और योग मापांक 10 की गणना करना।

क्रिप्टोग्राफी में, मॉड्यूलर अंकगणित सार्वजनिक-कुंजी क्रिप्टोग्राफी सिस्टम जैसे आरएसए (एल्गोरिदम) और डिफी-हेलमैन कुंजी एक्सचेंज | डिफी-हेलमैन को सीधे आधार देता है, और परिमित क्षेत्र प्रदान करता है जो अण्डाकार वक्रों को रेखांकित करता है, और उन्नत सहित विभिन्न सममित कुंजी एल्गोरिदम में उपयोग किया जाता है। एन्क्रिप्शन मानक (AES), अंतर्राष्ट्रीय डेटा एन्क्रिप्शन एल्गोरिथम (IDEA), और RC4। आरएसए और डिफी-हेलमैन मॉड्यूलर घातांक का उपयोग करते हैं।

कंप्यूटर बीजगणित में, मॉड्यूलर अंकगणित आमतौर पर मध्यवर्ती गणना और डेटा में पूर्णांक गुणांक के आकार को सीमित करने के लिए उपयोग किया जाता है। इसका उपयोग बहुपद गुणनखंडन में किया जाता है, एक ऐसी समस्या जिसके लिए सभी ज्ञात कुशल एल्गोरिदम मॉड्यूलर अंकगणित का उपयोग करते हैं। इसका उपयोग पूर्णांकों और परिमेय संख्याओं पर बहुपद महानतम सामान्य भाजक, सटीक रैखिक बीजगणित और ग्रोबनेर आधार एल्गोरिदम के सबसे कुशल कार्यान्वयन द्वारा किया जाता है। जैसा कि 1980 के दशक में फिडोनेट पर पोस्ट किया गया था और रोसेटा कोड में संग्रहीत किया गया था, मॉड्यूलर अंकगणित का उपयोग एक सीडीसी 6600 सुपर कंप्यूटर द्वारा उपयोग किए गए पूर्णांक परिशुद्धता के केवल एक-चौथाई का उपयोग करके दो दशक पहले इसे अस्वीकार करने के लिए एक सिंक्लेयर क्यूएल माइक्रो कंप्यूटर पर यूलर की शक्तियों के योग का खंडन करने के लिए किया गया था। क्रूर बल खोज के माध्यम से।[9]

कंप्यूटर विज्ञान में, मॉड्यूलर अंकगणित नि: शुल्क बिटवाइज़ संचालन और निश्चित-चौड़ाई, चक्रीय डेटा संरचनाओं से जुड़े अन्य कार्यों में लागू होता है। मॉडुलो ऑपरेशन, जैसा कि कई प्रोग्रामिंग भाषाओं और कैलकुलेटरों में लागू किया गया है, मॉड्यूलर अंकगणित का एक अनुप्रयोग है जो अक्सर इस संदर्भ में उपयोग किया जाता है। लॉजिकल ऑपरेटर एक्सओआर 2 बिट्स, मापांक 2 का योग करता है।

संगीत में, अंकगणित मापांक 12 का उपयोग बारह-स्वर समान स्वभाव की प्रणाली के विचार में किया जाता है, जहां सप्टक और सुरीले समतुल्यता होती है (अर्थात, 1:2 या 2:1 अनुपात में पिच समकक्ष हैं, और सी-शार्प ( संगीत) को डी-फ्लैट (संगीत) के समान माना जाता है)।

नाइन निकालने की विधि हाथ से निष्पादित दशमलव अंकगणितीय गणनाओं की त्वरित जांच प्रदान करती है। यह मॉड्यूलर अंकगणित मापांक 9 पर आधारित है, और विशेष रूप से 10 ≡ 1 (मॉड 9) की महत्वपूर्ण संपत्ति पर आधारित है।

अंकगणित मापांक 7 का उपयोग एल्गोरिदम में किया जाता है जो किसी निश्चित तिथि के लिए सप्ताह का दिन निर्धारित करता है। विशेष रूप से, ज़ेलर की सर्वांगसमता और प्रलय का दिन एल्गोरिथम मापांक -7 अंकगणित का भारी उपयोग करते हैं।

सामान्यतः, मॉड्यूलर अंकगणित में कानून (जैसे, विभाजन (राजनीति)), अर्थशास्त्र (जैसे, खेल सिद्धांत) और सामाजिक विज्ञान के अन्य क्षेत्रों जैसे विषयों में भी आवेदन होता है, जहां आनुपातिक (निष्पक्ष विभाजन) विभाजन और संसाधनों का आवंटन एक भूमिका निभाता है। विश्लेषण का मध्य भाग।

कम्प्यूटेशनल जटिलता

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

कुछ ऑपरेशन, जैसे असतत लघुगणक या द्विघात सर्वांगसमता पूर्णांक गुणनखंडन के समान कठिन प्रतीत होते हैं और इस प्रकार क्रिप्टोग्राफी और कूटलेखन के लिए एक प्रारंभिक बिंदु हैं। ये समस्याएं एनपी-मध्यवर्ती हो सकती हैं।

गैर-रैखिक मॉड्यूलर अंकगणितीय समीकरणों की एक प्रणाली को हल करना एनपी-पूर्ण है।[10]


उदाहरण कार्यान्वयन

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

गणना करने का एक एल्गोरिथम तरीका :[11] <वाक्यविन्यास प्रकाश लैंग = सी> uint64_t mul_mod (uint64_t a, uint64_t b, uint64_t m) {

   if (!((a | b) & (0xFFFFFFFFFULL << 32))) a * b % m लौटाएं,
   uint64_t d = 0, mp2 = m >> 1,
   int मैं,
   अगर (ए> = एम) ए% = एम,
   अगर (बी> = एम) बी% = एम,
   के लिए (i = 0, i <64, ++i) {
       डी = (डी> एमपी 2)? (डी << 1) - एम: डी << 1,
       अगर (ए और 0x8000000000000000ULL) डी + = बी,
       अगर (डी> = एम) डी - = एम,
       ए <<= 1,
   }
   वापसी घ,

} </वाक्यविन्यास हाइलाइट>

कंप्यूटर आर्किटेक्चर पर जहां न्यूनतम 64 बिट्स मंटिसा के साथ एक विस्तारित परिशुद्धता # x86 विस्तारित प्रेसिजन प्रारूप प्रारूप उपलब्ध है (जैसे कि अधिकांश x86 सी कंपाइलर्स का लंबा डबल प्रकार), निम्न दिनचर्या लूप का उपयोग करके समाधान से तेज़ है, नियोजित करके चाल है कि, हार्डवेयर द्वारा, तैरनेवाला स्थल गुणन परिणाम उत्पाद के सबसे महत्वपूर्ण बिट्स में रखा जाता है, जबकि पूर्णांक गुणन परिणाम न्यूनतम महत्वपूर्ण बिट्स में रखा जाता है:[citation needed] <वाक्यविन्यास प्रकाश लैंग = सी> uint64_t mul_mod (uint64_t a, uint64_t b, uint64_t m) {

   लंबा डबल एक्स,
   uint64_t सी,
   int64_t आर,
   अगर (ए> = एम) ए% = एम,
   अगर (बी> = एम) बी% = एम,
   एक्स = ए,
   सी = एक्स * बी / एम,
   आर = (int64_t) (ए * बी - सी * एम)% (int64_t) एम,
   वापसी आर <0? आर + एम+: आर,

}

</वाक्यविन्यास हाइलाइट>

मॉड्यूलर एक्सपोनेंटिएशन करने के लिए नीचे एक सी फ़ंक्शन है, जो इसका उपयोग करता है mul_mod समारोह ऊपर लागू किया गया।

गणना करने का एक एल्गोरिथम तरीका :

<वाक्यविन्यास प्रकाश लैंग = सी> uint64_t pow_mod (uint64_t a, uint64_t b, uint64_t m) {

   uint64_t आर = एम == 1? 0 : 1,
   जबकि (बी > 0) {
       अगर (बी और 1) आर = mul_mod (आर, ए, एम),
       बी = बी >> 1,
       ए = mul_mod (ए, ए, एम),
   }
   वापसी आर,

} </वाक्यविन्यास हाइलाइट>

हालाँकि, उपरोक्त सभी दिनचर्या के काम करने के लिए, m 63 बिट से अधिक नहीं होना चाहिए।

यह भी देखें


टिप्पणियाँ

  1. Sandor Lehoczky; Richard Rusczky (2006). David Patrick (ed.). समस्या समाधान की कला (in English). Vol. 1 (7 ed.). p. 44. ISBN 0977304566.
  2. Weisstein, Eric W. "मॉड्यूलर अंकगणित". mathworld.wolfram.com (in English). Retrieved 2020-08-12.
  3. Pettofrezzo & Byrkit (1970, p. 90)
  4. Long (1972, p. 78)
  5. Long (1972, p. 85)
  6. It is a ring, as shown below.
  7. "2.3: पूर्णांक मॉडुलो एन". Mathematics LibreTexts (in English). 2013-11-16. Retrieved 2020-08-12.
  8. Sengadir T., Discrete Mathematics and Combinatorics, p. 293, at Google Books
  9. "यूलर की शक्तियों का योग अनुमान". rosettacode.org (in English). Retrieved 2020-11-11.
  10. Garey, M. R.; Johnson, D. S. (1979). कंप्यूटर और इंट्रेक्टेबिलिटी, एनपी-पूर्णता के सिद्धांत के लिए एक गाइड. W. H. Freeman. ISBN 0716710447.
  11. This code uses the C literal notation for unsigned long long hexadecimal numbers, which end with ULL. See also section 6.4.4 of the language specification n1570.


संदर्भ


बाहरी संबंध