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

From Vigyanwiki
No edit summary
 
(18 intermediate revisions by 5 users not shown)
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|''(mod {{mvar|n}})'' अंकन|द्विआधारी संक्रिया ''mod({{mvar|a,n}})|मोडुलो ऑपरेशन}}
[[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>
कोष्ठक का अर्थ है {{math|(mod ''n'')}} पूरे समीकरण न कि केवल दाहिनी ओर (यहाँ, {{mvar|b}}) पर लागू होता  है। इस संकेतन को संकेतन के साथ भ्रमित नहीं होना है {{math|''b'' mod ''n''}} (कोष्ठक के बिना), जो मॉडुलो ऑपरेशन को संदर्भित करता है। वास्तव में, {{math|''b'' mod ''n''}} अद्वितीय पूर्णांक को दर्शाता है {{mvar|a}} ऐसा है कि {{math|0 ≤ ''a'' < ''n''}} तथा <math>a \equiv b \; (\text{mod}\; n)</math> (अर्थात, <math>b</math> का शेष भाग <math>n</math> से विभाजित किया जाता है।).
कोष्ठक का अर्थ है {{math|(mod ''n'')}} पूरे समीकरण न कि केवल दाहिनी ओर(यहाँ, {{mvar|b}}) पर लागू होता  है। इस टिप्पणी को अस्पष्ट नहीं होना है {{math|''b'' mod ''n''}} (कोष्ठक के बिना), जो मापांक संक्रिया को संदर्भित करता है। वास्तव में, {{math|''b'' mod ''n''}} अद्वितीय पूर्णांक को दर्शाता है {{mvar|a}} ताकि {{math|0 ≤ ''a'' < ''n''}} तथा <math>a \equiv b \; (\text{mod}\; n)</math>(अर्थात, <math>b</math> का शेष भाग <math>n</math> से विभाजित किया जाता है।).


सर्वांगसमता संबंध को इस रूप में फिर से लिखा जा सकता है
सर्वांगसमता संबंध को इस रूप में फिर से लिखा जा सकता है
:<math>a = kn + b,</math>
:<math>a = kn + b,</math>
स्पष्ट रूप से [[यूक्लिडियन विभाजन]] के साथ अपना संबंध दिखा रहा है। हालांकि यहाँ {{math|''b''}} को {{math|''n''.}} द्वारा {{math|''a''}} के विभाजन का शेष होना आवश्यक नहीं है। इसके बजाय, कथन {{math|''a'' ≡ ''b'' (mod ''n'')}} क्या दावा करता है कि {{math|''a''}} तथा {{math|''b''}} को {{math|''n''}} से विभाजित करने पर समान शेषफल प्राप्त होता है . वह है,
स्पष्ट रूप से [[यूक्लिडियन विभाजन]] के साथ अपना संबंध प्रदर्शित करता है। हालांकि यहाँ {{math|''b''}} को {{math|''n''.}} द्वारा {{math|''a''}} के विभाजन का शेष होना आवश्यक नहीं है। इसके अतिरिक्त, कथन {{math|''a'' ≡ ''b'' (mod ''n'')}} क्या दावा करता है कि {{math|''a''}} तथा {{math|''b''}} को {{math|''n''}} से विभाजित करने पर समान शेषफल प्राप्त होता है, वह है
:<math>a = pn + r,</math>
:<math>a = pn + r,</math>
:<math>b = qn + r,</math>
:<math>b = qn + r,</math>
Line 40: Line 40:
* संक्रामकता: यदि {{math|''a'' ≡ ''b'' (mod ''n'')}} तथा {{math|''b'' ≡ ''c'' (mod ''n'')}}, फिर {{math|''a'' ≡ ''c'' (mod ''n'')}}
* संक्रामकता: यदि {{math|''a'' ≡ ''b'' (mod ''n'')}} तथा {{math|''b'' ≡ ''c'' (mod ''n'')}}, फिर {{math|''a'' ≡ ''c'' (mod ''n'')}}
यदि {{math|''a''<sub>1</sub> ≡ ''b''<sub>1</sub> (mod ''n'')}} तथा {{math|''a''<sub>2</sub> ≡ ''b''<sub>2</sub> (mod ''n''),}} या अगर {{math|''a'' ≡ ''b'' (mod ''n''),}} फिर:<ref>{{cite book |author1=Sandor Lehoczky |author2=Richard Rusczky |editor=David Patrick |title=समस्या समाधान की कला|year=2006 |isbn=0977304566 |pages=44 |edition=7 |language=en| volume=1}}</ref>
यदि {{math|''a''<sub>1</sub> ≡ ''b''<sub>1</sub> (mod ''n'')}} तथा {{math|''a''<sub>2</sub> ≡ ''b''<sub>2</sub> (mod ''n''),}} या अगर {{math|''a'' ≡ ''b'' (mod ''n''),}} फिर:<ref>{{cite book |author1=Sandor Lehoczky |author2=Richard Rusczky |editor=David Patrick |title=समस्या समाधान की कला|year=2006 |isbn=0977304566 |pages=44 |edition=7 |language=en| volume=1}}</ref>
* {{math|''a'' + ''k'' ≡ ''b'' + ''k'' (mod ''n'')}} किसी भी पूर्णांक {{math|''k''}} के लिए (अनुवाद के साथ अनुकूलता)
* {{math|''a'' + ''k'' ≡ ''b'' + ''k'' (mod ''n'')}} किसी भी पूर्णांक {{math|''k''}} के लिए(अनुवाद के साथ अनुकूलता)
* {{math|''k a'' ≡ ''k b'' (mod ''n'')}} किसी भी पूर्णांक {{math|''k''}} के लिए (प्रवर्धन के साथ अनुकूलता)
* {{math|''k a'' ≡ ''k b'' (mod ''n'')}} किसी भी पूर्णांक {{math|''k''}} के लिए(प्रवर्धन के साथ अनुकूलता)
* {{math|''k a'' ≡ ''k b'' (mod ''kn'')}} किसी भी पूर्णांक {{math|''k''}} के लिए  
* {{math|''k a'' ≡ ''k b'' (mod ''kn'')}} किसी भी पूर्णांक {{math|''k''}} के लिए  
* {{math|''a''<sub>1</sub> + ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> + ''b''<sub>2</sub> (mod ''n'')}} (जोड़ के साथ अनुकूलता)
* {{math|''a''<sub>1</sub> + ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> + ''b''<sub>2</sub> (mod ''n'')}} (जोड़ के साथ अनुकूलता)
* {{math|''a''<sub>1</sub> – ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> – ''b''<sub>2</sub> (mod ''n'')}} (घटाव के साथ संगतता)
* {{math|''a''<sub>1</sub> – ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> – ''b''<sub>2</sub> (mod ''n'')}}(घटाव के साथ संगतता)
* {{math|''a''<sub>1</sub> ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> ''b''<sub>2</sub> (mod ''n'')}} (गुणन के साथ अनुकूलता)
* {{math|''a''<sub>1</sub> ''a''<sub>2</sub> ≡ ''b''<sub>1</sub> ''b''<sub>2</sub> (mod ''n'')}} (गुणन के साथ अनुकूलता)
* {{math|''a''<sup>''k''</sup> ≡ ''b''<sup>''k''</sup> (mod ''n'')}} किसी भी ऋणेतर पूर्णांक {{math|''k''}} के लिए (घातांक के साथ संगतता)
* {{math|''a''<sup>''k''</sup> ≡ ''b''<sup>''k''</sup> (mod ''n'')}} किसी भी ऋणेतर पूर्णांक {{math|''k''}} के लिए(घातांक के साथ संगतता)
* {{math|''p''(''a'') ≡ ''p''(''b'') (mod ''n'')}}, किसी भी [[बहुपद]] के लिए {{math|''p''(''x'')}} पूर्णांक गुणांक के साथ (बहुपद मूल्यांकन के साथ अनुकूलता)
* {{math|''p''(''a'') ≡ ''p''(''b'') (mod ''n'')}}, किसी भी [[बहुपद]] के लिए {{math|''p''(''x'')}} पूर्णांक गुणांक के साथ(बहुपद मूल्यांकन के साथ अनुकूलता)


यदि {{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 57: Line 57:
* यदि {{math|''k a'' ≡ ''k b'' (mod ''n'')}} तथा {{math|''k''}} के साथ {{math|''n''}} सह अभाज्य है , फिर {{math|''a'' ≡ ''b'' (mod ''n'')}}
* यदि {{math|''k a'' ≡ ''k b'' (mod ''n'')}} तथा {{math|''k''}} के साथ {{math|''n''}} सह अभाज्य है , फिर {{math|''a'' ≡ ''b'' (mod ''n'')}}
* यदि {{math|''k a'' ≡ ''k b'' (mod ''kn'')}} तथा {{math|''k ≠ 0''}}, फिर {{math|''a'' ≡ ''b'' (mod ''n'')}}
* यदि {{math|''k a'' ≡ ''k b'' (mod ''kn'')}} तथा {{math|''k ≠ 0''}}, फिर {{math|''a'' ≡ ''b'' (mod ''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''<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>- विस्तारित यूक्लिडियन कलन विधि का उपयोग करना।


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


सर्वांगसमता संबंधों के कुछ अधिक उन्नत गुण निम्नलिखित हैं:
सर्वांगसमता संबंधों के कुछ अधिक उन्नत गुण निम्नलिखित हैं:
* फर्मेट की छोटी प्रमेय: यदि {{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''}} Coprime हैं, तो {{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''}} Coprime हैं, तो {{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''}} इसके किसी सदस्य द्वारा प्रतिनिधित्व किया जा सकता है, हालांकि हम सामान्यतः प्रत्येक अवशेष वर्ग को उस वर्ग से संबंधित सबसे छोटे गैर-ऋणात्मक पूर्णांक द्वारा दर्शाते हैं<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>


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


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


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


*{−5, 0, 6, 22}, क्योंकि 6 22 मॉड्यूल 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, 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''}} का वलय कहा जाता है ,<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|#अनुप्रयोग}} नीचे)।
यूलर के कुल कार्य को देखते हुए {{math|φ(''n'')}}, का कोई भी सेट {{math|φ(''n'')}} पूर्णांक जो Coprime पूर्णांक हैं {{math|''n''}} और मॉड्यूलस के तहत परस्पर असंगत {{math|''n''}} एक कम अवशेष प्रणाली मोडुलो कहा जाता है {{math|''n''}}.<ref>{{harvtxt|Long|1972|p=85}}</ref> ऊपर से सेट {5,15}, उदाहरण के लिए, एक कम अवशेष प्रणाली मोडुलो 4 का एक उदाहरण है।


== पूर्णांक मॉड्यूल एन ==
समुच्चय को n > 0 के रूप में परिभाषित किया गया है:
एक मापांक के लिए पूर्णांकों के सभी #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}} नीचे)।
 
सेट को 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 118: 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>\mathbb{Z}/n\mathbb{Z}</math>, [[चक्रीय समूह]] का समूह सहसमुच्चय {{math|''a''}} है।।<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>.
पूर्णांक मापांक {{math|''n''}} के [[गुणक समूह|गुणात्मक उपसमूह]] को निरूपित किया जाता है <math>(\mathbb Z/n\mathbb Z)^\times</math>को निरूपित किया जाता है। इसमें <math>\overline a_n</math>(जहाँ a, n का सह-अभाज्य है) सम्मिलित है, जो वास्तव में गुणक रखने वाले वर्ग हैं। यह गुणन के अंतर्गत एक क्रमविनिमेय [[समूह (गणित)]] बनाता है, जिसका क्रम <math>\varphi(n)</math> होता है।


== वास्तविक संख्या में विस्तार ==
== वास्तविक संख्या में विस्तार ==
{{See also|Modulo operation}}
{{See also|मोडुलो ऑपरेशन}}
{{empty section|date=July 2022}}
 
 
== अनुप्रयोग ==
== अनुप्रयोग ==
सैद्धांतिक गणित में, मॉड्यूलर अंकगणित [[संख्या सिद्धांत]] की नींव में से एक है, जो इसके अध्ययन के लगभग हर पहलू को छूता है, और इसका उपयोग [[समूह सिद्धांत]], रिंग सिद्धांत, गांठ सिद्धांत और अमूर्त बीजगणित में भी व्यापक रूप से किया जाता है। अनुप्रयुक्त गणित में, इसका उपयोग [[कंप्यूटर बीजगणित]][[सार्वजनिक कुंजी [[क्रिप्टोग्राफी]]]], [[कंप्यूटर विज्ञान]], [[रसायन विज्ञान]] और [[दृश्य कला]] और [[संगीत]] कला में किया जाता है।
सैद्धांतिक गणित में, मापांक अंकगणित [[संख्या सिद्धांत]] की नींव में से एक है, जो इसके अध्ययन के लगभग हर पहलू को छूता है, और इसका उपयोग [[समूह सिद्धांत]], वलय सिद्धांत, गांठ सिद्धांत और अमूर्त बीजगणित में भी व्यापक रूप से किया जाता है। अनुप्रयुक्त गणित में, इसका उपयोग [[कंप्यूटर बीजगणित]] [[सार्वजनिक कुंजी [[क्रिप्टोग्राफी|बीजलेखिकी]]]], [[कंप्यूटर विज्ञान]], [[रसायन विज्ञान]] और [[दृश्य कला]] और [[संगीत]] कला में किया जाता है।


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


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


कंप्यूटर बीजगणित में, मॉड्यूलर अंकगणित आमतौर पर मध्यवर्ती गणना और डेटा में पूर्णांक गुणांक के आकार को सीमित करने के लिए उपयोग किया जाता है। इसका उपयोग [[बहुपद गुणनखंडन]] में किया जाता है, एक ऐसी समस्या जिसके लिए सभी ज्ञात कुशल एल्गोरिदम मॉड्यूलर अंकगणित का उपयोग करते हैं। इसका उपयोग पूर्णांकों और परिमेय संख्याओं पर बहुपद महानतम सामान्य भाजक, सटीक रैखिक बीजगणित और ग्रोबनेर आधार एल्गोरिदम के सबसे कुशल कार्यान्वयन द्वारा किया जाता है। जैसा कि 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''}}, बड़ी संख्या में कुशलता से प्रदर्शन करने के लिए उपस्थित हैं।
 
कुछ ऑपरेशन, जैसे [[असतत लघुगणक]] या [[द्विघात सर्वांगसमता]] [[पूर्णांक गुणनखंडन]] के समान कठिन प्रतीत होते हैं और इस प्रकार क्रिप्टोग्राफी और [[कूटलेखन]] के लिए एक प्रारंभिक बिंदु हैं। ये समस्याएं [[एनपी-मध्यवर्ती]] हो सकती हैं।
 
गैर-रैखिक मॉड्यूलर अंकगणितीय समीकरणों की एक प्रणाली को हल करना एनपी-पूर्ण है।<ref>{{cite book |first1=M. R. |last1=Garey |first2=D. S. |last2=Johnson |title=कंप्यूटर और इंट्रेक्टेबिलिटी, एनपी-पूर्णता के सिद्धांत के लिए एक गाइड|url=https://archive.org/details/computersintract0000gare |url-access=registration |publisher=W. H. Freeman |year=1979 |isbn=0716710447 }}</ref>


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


गैर-रैखिक मापांक अंकगणितीय समीकरणों की एक प्रणाली को हल करना एनपी-पूर्ण है।<ref>{{cite book |first1=M. R. |last1=Garey |first2=D. S. |last2=Johnson |title=कंप्यूटर और इंट्रेक्टेबिलिटी, एनपी-पूर्णता के सिद्धांत के लिए एक गाइड|url=https://archive.org/details/computersintract0000gare |url-access=registration |publisher=W. H. Freeman |year=1979 |isbn=0716710447 }}</ref>
== उदाहरण कार्यान्वयन ==
== उदाहरण कार्यान्वयन ==
{{Original research|section|date=May 2020}}
नीचे तीन यथोचित तेज़ C अभिलक्षक हैं, दो मापांक गुणन करने के लिए और अहस्ताक्षरित पूर्णांकों पर मापांक घातांक के लिए जो 63 बिट्स से, क्षणिक संक्रिया के अतिप्रवाह के बिना बड़े नहीं हैं।
नीचे तीन यथोचित तेज़ C फ़ंक्शंस हैं, दो मॉड्यूलर गुणन करने के लिए और एक अहस्ताक्षरित पूर्णांकों पर मॉड्यूलर एक्सपोनेंटिएशन के लिए जो 63 बिट्स से बड़े नहीं हैं, क्षणिक संचालन के अतिप्रवाह के बिना।


गणना करने का एक एल्गोरिथम तरीका <math>a \cdot b \pmod m</math>:<ref>This code uses the C literal notation for unsigned long long hexadecimal numbers, which end with <code>ULL</code>. See also section 6.4.4 of the language specification [http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf n1570].</ref>
गणना करने का कलन विधि तरीका <math>a \cdot b \pmod m</math>:<ref>This code uses the C literal notation for unsigned long long hexadecimal numbers, which end with <code>ULL</code>. See also section 6.4.4 of the language specification [http://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf n1570].</ref>
<वाक्यविन्यास प्रकाश लैंग = सी>
     if(!((a | b) &(0xFFFFFFFFFULL << 32))) a * b % m लौटाएं,
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;
     uint64_t d = 0, mp2 = m >> 1,
     int मैं;
     int मैं,
     अगर (ए> = एम) ए% = एम;
     अगर(ए> = एम) ए% = एम,
     अगर (बी> = एम) बी% = एम;
     अगर(बी> = एम) बी% = एम,
     के लिए (i = 0; i <64; ++i) {
     के लिए(i = 0, i <64, ++i) {
         डी = (डी> एमपी 2)? (डी << 1) - एम: डी << 1;
         डी =(डी> एमपी 2)?(डी << 1) - एम: डी << 1,
         अगर (ए और 0x8000000000000000ULL) डी + = बी;
         अगर(ए और 0x8000000000000000ULL) डी + = बी,
         अगर (डी> = एम) डी - = एम;
         अगर(डी> = एम) डी - = एम,
         ए <<= 1;
         ए <<= 1,
     }
     }
     वापसी घ;
     वापसी घ,
}
कंप्यूटर आर्किटेक्चर पर जहां न्यूनतम 64 बिट्स मंटिसा के साथ विस्तारित सटीक प्रारूप उपलब्ध है(जैसे कि अधिकांश 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) {
     लंबा डबल एक्स;
     लंबा डबल एक्स,
     uint64_t सी;
     uint64_t सी,
     int64_t आर;
     int64_t आर,
     अगर (ए> = एम) ए% = एम;
     अगर(ए> = एम) ए% = एम,
     अगर (बी> = एम) बी% = एम;
     अगर(बी> = एम) बी% = एम,
     एक्स = ए;
     एक्स = ए,
     सी = एक्स * बी / एम;
     सी = एक्स * बी / एम,
     आर = (int64_t) (ए * बी - सी * एम)% (int64_t) एम;
     आर =(int64_t)(ए * बी - सी * एम)%(int64_t) एम,
     वापसी आर <0? आर + एम : आर;
     वापसी आर <0? आर + एम+: आर,
}
}


Line 205: Line 193:


<!-- Should be moved to the "Modular exponentiation" article. -->
<!-- Should be moved to the "Modular exponentiation" article. -->
मॉड्यूलर एक्सपोनेंटिएशन करने के लिए नीचे एक सी फ़ंक्शन है, जो इसका उपयोग करता है {{math|''mul_mod''}} समारोह ऊपर लागू किया गया।
मापांक घातांक करने के लिए नीचे C अभिलक्षक है, जो इसका उपयोग करता है {{math|''mul_mod''}} अभिलक्षक ऊपर लागू किया गया।


गणना करने का एक एल्गोरिथम तरीका <math>a^b \pmod m</math>:
गणना करने का कलन विधि तरीका <math>a^b \pmod m</math>:


<वाक्यविन्यास प्रकाश लैंग = सी>
<वाक्यविन्यास प्रकाश लैंग = सी>
uint64_t pow_mod (uint64_t a, uint64_t b, uint64_t m) {
uint64_t pow_mod(uint64_t a, uint64_t b, uint64_t m) {
     uint64_t आर = एम == 1? 0 : 1;
     uint64_t आर = एम == 1? 0 : 1,
     जबकि (बी > 0) {
     जबकि(बी > 0) {
         अगर (बी और 1) आर = mul_mod (आर, ए, एम);
         अगर(बी और 1) आर = mul_mod(आर, ए, एम),
         बी = बी >> 1;
         बी = बी >> 1,
         ए = mul_mod (ए, ए, एम);
         ए = mul_mod(ए, ए, एम),
     }
     }
     वापसी आर;
     वापसी आर,
}
}</वाक्यविन्यास हाइलाइट>
</वाक्यविन्यास हाइलाइट>


हालाँकि, उपरोक्त सभी दिनचर्या के काम करने के लिए, {{math|''m''}} 63 बिट से अधिक नहीं होना चाहिए।
हालाँकि, उपरोक्त सभी दिनचर्या के काम करने के लिए, {{math|''m''}} 63 बिट से अधिक नहीं होना चाहिए।
Line 227: Line 214:
* [[बूलियन रिंग]]
* [[बूलियन रिंग]]
* [[गोलाकार बफर]]
* [[गोलाकार बफर]]
* डिवीजन (गणित)
* प्रभाग (गणित)
* परिमित क्षेत्र
* परिमित क्षेत्र
* लीजेंड्रे प्रतीक
* लीजेंड्रे प्रतीक
* मॉड्यूलर घातांक
* मापांक घातांक
* मोडुलो (गणित)
* मापांक (गणित)
* [[पूर्णांक मॉड्यूलो n का गुणक समूह]]
* [[पूर्णांक मापांक n का गुणक समूह]]
* पिसानो अवधि (फाइबोनैचि अनुक्रम मॉड्यूलो एन)
* पिसानो अवधि (फाइबोनैचि अनुक्रम मापांक एन)
* [[आदिम रूट मॉड्यूलो एन]]
* [[आदिम रूट मापांक n]]
* [[द्विघात पारस्परिकता]]
* [[द्विघात पारस्परिकता]]
* द्विघात अवशेष
* द्विघात अवशेष
* [[तर्कसंगत पुनर्निर्माण (गणित)]]
* [[तर्कसंगत पुनर्निर्माण (गणित)]]
* [[कम अवशेष प्रणाली]]
* [[कम अवशेष प्रणाली]]
* [[सीरियल नंबर अंकगणित]] (मॉड्यूलर अंकगणित का एक विशेष मामला)
* [[क्रम संख्या अंकगणित]] (मापांक अंकगणित का एक विशेष मामला)
* [[दो-तत्व बूलियन बीजगणित]]
* [[दो-तत्व बूलियन बीजगणित]]
* मॉड्यूलर अंकगणित के पीछे समूह सिद्धांत से संबंधित विषय:
* मापांक अंकगणित के पीछे समूह सिद्धांत से संबंधित विषय:
** चक्रीय समूह
** चक्रीय समूह
** पूर्णांक मॉड्यूलो n का गुणक समूह
** पूर्णांक मापांक n का गुणक समूह
* मॉड्यूलर अंकगणित से संबंधित अन्य महत्वपूर्ण प्रमेय:
* मॉड्यूलर अंकगणित से संबंधित अन्य महत्वपूर्ण प्रमेय:
** कारमाइकल फंक्शन | कारमाइकल की प्रमेय
** कारमाइकल फंक्शन | कारमाइकल की प्रमेय
Line 263: Line 250:
* Maarten Bullynck "[https://web.archive.org/web/20131102014013/http://www.kuttaka.org/Gauss_Modular.pdf Modular Arithmetic before C.F. Gauss. Systematisations and discussions on remainder problems in 18th-century Germany]"
* Maarten Bullynck "[https://web.archive.org/web/20131102014013/http://www.kuttaka.org/Gauss_Modular.pdf Modular Arithmetic before C.F. Gauss. Systematisations and discussions on remainder problems in 18th-century Germany]"
* [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[Ronald L. Rivest]], and [[Clifford Stein]]. ''[[Introduction to Algorithms]]'', Second Edition. MIT Press and McGraw-Hill, 2001. {{isbn|0-262-03293-7}}. Section 31.3: Modular arithmetic, pp.&nbsp;862–868.
* [[Thomas H. Cormen]], [[Charles E. Leiserson]], [[Ronald L. Rivest]], and [[Clifford Stein]]. ''[[Introduction to Algorithms]]'', Second Edition. MIT Press and McGraw-Hill, 2001. {{isbn|0-262-03293-7}}. Section 31.3: Modular arithmetic, pp.&nbsp;862–868.
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=3545 Anthony Gioia], ''Number Theory, an Introduction'' Reprint (2001) Dover. {{isbn|0-486-41449-3}}.
* [http://genealogy.math.ndsu.nodak.edu/id.php?id=3545 Anthony Gioia], ''Number Theory, an Introduction'' Reprint(2001) Dover. {{isbn|0-486-41449-3}}.
* {{cite book |last=Long |first=Calvin T. |year=1972 |title=Elementary Introduction to Number Theory |edition=2nd |publisher=[[D. C. Heath and Company]] |location=Lexington |lccn=77171950}}
* {{cite book |last=Long |first=Calvin T. |year=1972 |title=Elementary Introduction to Number Theory |edition=2nd |publisher=[[D. C. Heath and Company]] |location=Lexington |lccn=77171950}}
* {{cite book |last1=Pettofrezzo |first1=Anthony J. |last2=Byrkit |first2=Donald R. |year=1970 |title=Elements of Number Theory |url=https://archive.org/details/elementsofnumber0000pett |url-access=registration |publisher=[[Prentice Hall]] |location=Englewood Cliffs |isbn=9780132683005 |lccn=71081766}}
* {{cite book |last1=Pettofrezzo |first1=Anthony J. |last2=Byrkit |first2=Donald R. |year=1970 |title=Elements of Number Theory |url=https://archive.org/details/elementsofnumber0000pett |url-access=registration |publisher=[[Prentice Hall]] |location=Englewood Cliffs |isbn=9780132683005 |lccn=71081766}}
Line 276: Line 263:


{{Number theory}}
{{Number theory}}
[[Category:मॉड्यूलर अंकगणित| ]]
[[Category:परिमित छल्ले]]
[[Category: समूह सिद्धांत]]
[[Category: उदाहरण सी कोड वाले लेख]]


 
[[Category:All articles with unsourced statements]]
[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Articles with short description]]
[[Category:Articles with unsourced statements from May 2020]]
[[Category:CS1 English-language sources (en)]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 26/11/2022]]
[[Category:Created On 26/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Multi-column templates]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages using div col with small parameter]]
[[Category:Pages with script errors]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Templates using under-protected Lua modules]]
[[Category:Wikipedia fully protected templates|Div col]]
[[Category:Wikipedia metatemplates]]
[[Category:उदाहरण सी कोड वाले लेख]]
[[Category:परिमित छल्ले]]
[[Category:मॉड्यूलर अंकगणित| ]]
[[Category:समूह सिद्धांत]]

Latest revision as of 10:00, 17 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 के गुणात्मक उपसमूह को निरूपित किया जाता है को निरूपित किया जाता है। इसमें (जहाँ a, n का सह-अभाज्य है) सम्मिलित है, जो वास्तव में गुणक रखने वाले वर्ग हैं। यह गुणन के अंतर्गत एक क्रमविनिमेय समूह (गणित) बनाता है, जिसका क्रम होता है।

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

अनुप्रयोग

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

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

बीजलेखिकी में, मापांक अंकगणित सीधे सार्वजनिक कुंजी प्रणाली जैसे आरएसए(कलन विधि) और डिफी-हेलमैन को रेखांकित करता है, और परिमित क्षेत्र प्रदान करता है जो अण्डाकार वक्र को रेखांकित करता है, और उन्नत एन्क्रिप्शन मानक(एईएस),अंतर्राष्ट्रीय डेटा एन्क्रिप्शन कलन विधि(आईडीईए), और आरसी4 सहित विभिन्न सममित कुंजी कलन विधि में उपयोग किया जाता है। आरएसए और डिफी-हेलमैन मापांक घातांक का उपयोग करते हैं।

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

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

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

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

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

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

अभिकलनात्मक जटिलता

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

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

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

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

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

गणना करने का कलन विधि तरीका :[11]

   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 सी संकलनकर्ता का लंबा डबल प्रकार),निम्नलिखित दिनचर्या लूप का उपयोग करके समाधान से तेज है, चाल को नियोजित करके हार्डवेयर, फ़्लोटिंग-पॉइंट गुणन परिणाम उत्पाद के सबसे महत्वपूर्ण बिट्स में रखा जाता है, जबकि पूर्णांक गुणन के परिणामस्वरूप कम से कम महत्वपूर्ण बिट्स रखे जाते हैं:[citation needed] <वाक्यविन्यास प्रकाश लैंग = सी> uint64_t mul_mod(uint64_t a, uint64_t b, uint64_t m) {

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

}

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

मापांक घातांक करने के लिए नीचे C अभिलक्षक है, जो इसका उपयोग करता है 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.


संदर्भ


बाहरी संबंध