पूर्णांक मॉड्यूलो n का गुणक समूह: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
{{DISPLAYTITLE:Multiplicative group of integers modulo ''n''}} | {{DISPLAYTITLE:Multiplicative group of integers modulo ''n''}} | ||
{{Short description|Group of units of the ring of integers modulo n}} | {{Short description|Group of units of the ring of integers modulo n}} | ||
[[मॉड्यूलर अंकगणित]] में, [[पूर्णांक]] | [[मॉड्यूलर अंकगणित]] में, गैर-नकारात्मक [[पूर्णांक]] के समुच्चय<math>\{0,1,\dots,n-1\}</math> से n तक पूर्णांक सहप्रमुख (अपेक्षाकृत प्रधान) गुणा मॉड्यूल n के अनुसार एक [[समूह (गणित)]] बनाते हैं । जिसे गुणक कहा जाता है । पूर्णांक मॉड्यूलो n का समूह है। समतुल्य रूप से, इस समूह के तत्वों को सर्वांगसमता वर्गों के रूप में माना जा सकता है । जिन्हें अवशेष मॉडुलो n के रूप में भी जाना जाता है जो कि n के लिए कोप्राइम हैं। इसलिए एक अन्य नाम आदिम अवशेष वर्गों के समूह मॉड्यूलो n है। छल्लों के सिद्धांत में अमूर्त बीजगणित की एक शाखा को पूर्णांक मॉड्यूलो n की रिंग की इकाइयों के समूह के रूप में वर्णित किया गया है। यहां इकाइयां गुणक व्युत्क्रम वाले तत्वों को संदर्भित करती हैं । जो इस वलय में वास्तव में n के समान सहअभाज्य हैं। | ||
इसलिए | |||
{{Group theory sidebar|Finite}} | {{Group theory sidebar|Finite}} | ||
यह [[भागफल समूह]] | यह [[भागफल समूह]] सामान्यतः निरूपित किया जाता है । <math>(\mathbb{Z}/n\mathbb{Z})^\times</math>, [[संख्या सिद्धांत]] में मौलिक है। इसका उपयोग [[क्रिप्टोग्राफी]], [[पूर्णांक गुणनखंडन]] और [[प्रारंभिक परीक्षण]] में किया जाता है। यह [[एबेलियन समूह]] है । [[परिमित समूह]] समूह जिसका क्रम यूलर के टोटेंट फलन <math>|(\mathbb{Z}/n\mathbb{Z})^\times|=\varphi(n).</math> द्वारा दिया गया है । प्राइम n के लिए समूह [[चक्रीय समूह]] है और सामान्य रूप से संरचना का वर्णन करना सरल है । चूंकि प्राइम n के लिए भी समूह के जनरेटिंग समुच्चय को खोजने के लिए कोई सामान्य सूत्र ज्ञात नहीं है। | ||
'''n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s<sup>560 </sup> 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है;''' | '''n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s<sup>560 </sup> 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है;''' | ||
== समूह स्वयंसिद्ध == | == समूह स्वयंसिद्ध == | ||
यह दिखाने के लिए सीधा अभ्यास है कि, गुणन के | यह दिखाने के लिए सीधा अभ्यास है कि, गुणन के अनुसार, सर्वांगसमता वर्ग मॉड्यूलो n का समुच्चय है जो एबेलियन समूह के स्वयंसिद्धों को संतुष्ट करने के लिए n के सहअभाज्य हैं। | ||
वास्तव में | वास्तव में a, n का सहअभाज्य है । यदि और केवल यदि {{nowrap|1= [[greatest common divisor|gcd]](''a'', ''n'') = 1}} समान सर्वांगसमता वर्ग {{nowrap|''a'' ≡ ''b'' (mod ''n'')}} में पूर्णांक {{nowrap|1= gcd(''a'', ''n'') = gcd(''b'', ''n'')}} को संतुष्ट करते हैं इसलिए एक सहअभाज्य है । n को यदि और केवल यदि दूसरा है। इस प्रकार सर्वांगसमता वर्ग मॉड्यूलो n की धारणा जो n के लिए सहअभाज्य है, अच्छी तरह से परिभाषित है। | ||
तब से {{nowrap|1=gcd(''a'', ''n'') = 1}} और {{nowrap|1=gcd(''b'', ''n'') = 1}} तात्पर्य {{nowrap|1=gcd(''ab'', ''n'') = 1}}, कोप्राइम से n तक की कक्षाओं का | तब से {{nowrap|1=gcd(''a'', ''n'') = 1}} और {{nowrap|1=gcd(''b'', ''n'') = 1}} तात्पर्य {{nowrap|1=gcd(''ab'', ''n'') = 1}}, कोप्राइम से n तक की कक्षाओं का समुच्चय गुणन के अनुसार बंद है। | ||
पूर्णांक गुणन सर्वांगसमता वर्गों का सम्मान करता है, अर्थात, {{nowrap|''a'' ≡ ''a' ''}} और {{nowrap|''b'' ≡ ''b' '' (mod ''n'')}} तात्पर्य {{nowrap|''ab'' ≡ ''a'b' '' (mod ''n'')}}. | पूर्णांक गुणन सर्वांगसमता वर्गों का सम्मान करता है, अर्थात, {{nowrap|''a'' ≡ ''a' ''}} और {{nowrap|''b'' ≡ ''b' '' (mod ''n'')}} तात्पर्य {{nowrap|''ab'' ≡ ''a'b' '' (mod ''n'')}}. है । इसका तात्पर्य है कि गुणन साहचर्य, क्रमविनिमेय है, और यह कि 1 का वर्ग अद्वितीय गुणक पहचान है। | ||
इसका तात्पर्य है कि गुणन साहचर्य, क्रमविनिमेय है, और यह कि 1 का वर्ग अद्वितीय गुणक पहचान है। | |||
अंत में | अंत में एक मापांक n का गुणात्मक व्युत्क्रम एक पूर्णांक x संतोषजनक {{nowrap|''ax'' ≡ 1 (mod ''n'')}} है। यह तब उपस्थित होता है । जब a, n के साथ सहअभाज्य होता है । क्योंकि उस स्थिति में {{nowrap|1=gcd(''a'', ''n'') = 1}} और बेज़ाउट लेम्मा द्वारा पूर्णांक x और y संतोषजनक {{nowrap|1=''ax'' + ''ny'' = 1}} होते हैं। ध्यान दें कि समीकरण {{nowrap|1=''ax'' + ''ny'' = 1}} का अर्थ है कि x n के लिए सहअभाज्य है इसलिए गुणनात्मक व्युत्क्रम समूह से संबंधित है। | ||
यह | |||
== | == टिप्पणी == | ||
जोड़ और गुणन के संचालन के साथ पूर्णांक मॉड्यूलो n का (सर्वांगसमता वर्ग) का | जोड़ और गुणन के संचालन के साथ पूर्णांक मॉड्यूलो n का (सर्वांगसमता वर्ग) का समुच्चय रिंग (गणित) है। | ||
यह निरूपित है <math>\mathbb{Z}/n\mathbb{Z}</math>या <math>\mathbb{Z}/(n)</math>(संकेतन का तात्पर्य पूर्णांक मॉडुलो द [[ आदर्श (अंगूठी सिद्धांत) ]] के भागफल वलय को लेने से है। <math>n\mathbb{Z}</math> या <math>(n)</math> n के गुणकों से मिलकर)। | यह निरूपित है <math>\mathbb{Z}/n\mathbb{Z}</math>या <math>\mathbb{Z}/(n)</math>(संकेतन का तात्पर्य पूर्णांक मॉडुलो द [[ आदर्श (अंगूठी सिद्धांत) | आदर्श (रिंग सिद्धांत)]] के भागफल वलय को लेने से है। <math>n\mathbb{Z}</math> या <math>(n)</math> n के गुणकों से मिलकर)। | ||
संख्या सिद्धांत के बाहर सरल अंकन <math>\mathbb{Z}_n</math> अक्सर प्रयोग किया जाता है, | संख्या सिद्धांत के बाहर सरल अंकन <math>\mathbb{Z}_n</math> अक्सर प्रयोग किया जाता है, चूंकि इसे पी-एडिक संख्या के साथ भ्रमित किया जा सकता है{{math|<var>p</var>}}-adic पूर्णांक जब n अभाज्य संख्या है। | ||
पूर्णांक मॉड्यूलो n का गुणात्मक समूह, जो इस रिंग में इकाइयों का समूह है, को (लेखक के आधार पर) लिखा जा सकता है। <math>(\mathbb{Z}/n\mathbb{Z})^\times,</math> <math>(\mathbb{Z}/n\mathbb{Z})^*,</math> <math>\mathrm{U}(\mathbb{Z}/n\mathbb{Z}),</math> <math>\mathrm{E}(\mathbb{Z}/n\mathbb{Z})</math> (जर्मन इनहाइट के लिए, जो इकाई के रूप में अनुवादित है), <math>\mathbb{Z}_n^*</math>, या समान अंकन। यह लेख उपयोग करता है <math>(\mathbb{Z}/n\mathbb{Z})^\times.</math> | पूर्णांक मॉड्यूलो n का गुणात्मक समूह, जो इस रिंग में इकाइयों का समूह है, को (लेखक के आधार पर) लिखा जा सकता है। <math>(\mathbb{Z}/n\mathbb{Z})^\times,</math> <math>(\mathbb{Z}/n\mathbb{Z})^*,</math> <math>\mathrm{U}(\mathbb{Z}/n\mathbb{Z}),</math> <math>\mathrm{E}(\mathbb{Z}/n\mathbb{Z})</math> (जर्मन इनहाइट के लिए, जो इकाई के रूप में अनुवादित है), <math>\mathbb{Z}_n^*</math>, या समान अंकन। यह लेख उपयोग करता है <math>(\mathbb{Z}/n\mathbb{Z})^\times.</math> | ||
अंकन <math>\mathrm{C}_n</math> क्रम n के चक्रीय समूह को संदर्भित करता है। | अंकन <math>\mathrm{C}_n</math> क्रम n के चक्रीय समूह को संदर्भित करता है। | ||
यह योग के | यह योग के अनुसार पूर्णांक मॉड्यूलो n के समूह के लिए [[समूह समरूपता]] है। | ||
ध्यान दें कि <math>\mathbb{Z}/n\mathbb{Z}</math> या <math>\mathbb{Z}_n</math> अतिरिक्त के | ध्यान दें कि <math>\mathbb{Z}/n\mathbb{Z}</math> या <math>\mathbb{Z}_n</math> अतिरिक्त के अनुसार समूह को भी संदर्भित कर सकते हैं। | ||
उदाहरण के लिए, गुणक समूह <math>(\mathbb{Z}/p\mathbb{Z})^\times</math> अभाज्य p के लिए चक्रीय है और इसलिए योज्य समूह के लिए आइसोमोर्फिक है <math>\mathbb{Z}/(p-1)\mathbb{Z}</math>, लेकिन समरूपता स्पष्ट नहीं है। | उदाहरण के लिए, गुणक समूह <math>(\mathbb{Z}/p\mathbb{Z})^\times</math> अभाज्य p के लिए चक्रीय है और इसलिए योज्य समूह के लिए आइसोमोर्फिक है <math>\mathbb{Z}/(p-1)\mathbb{Z}</math>, लेकिन समरूपता स्पष्ट नहीं है। | ||
Line 47: | Line 43: | ||
इसका मतलब है कि इन n के लिए: | इसका मतलब है कि इन n के लिए: | ||
:<math> (\mathbb{Z}/n\mathbb{Z})^\times \cong \mathrm{C}_{\varphi(n)},</math> कहाँ <math>\varphi(p^k)=\varphi(2 p^k)=p^k - p^{k-1}.</math> | :<math> (\mathbb{Z}/n\mathbb{Z})^\times \cong \mathrm{C}_{\varphi(n)},</math> कहाँ <math>\varphi(p^k)=\varphi(2 p^k)=p^k - p^{k-1}.</math> | ||
परिभाषा के अनुसार, समूह चक्रीय है अगर और केवल अगर उसके पास समूह जी का जनरेटिंग | परिभाषा के अनुसार, समूह चक्रीय है अगर और केवल अगर उसके पास समूह जी का जनरेटिंग समुच्चय है (आकार एक के समूह {जी} का एक जनरेटिंग समुच्चय), यानी शक्तियां <math>g^0,g^1,g^2,\dots,</math> n को सभी संभावित अवशेष मॉड्यूलो n coprime दें (पहला <math>\varphi(n)</math> पॉवर्स <math>g^0,\dots,g^{\varphi(n)-1}</math> प्रत्येक को एक बार दें)। | ||
का जनरेटर <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> प्रिमिटिव रूट मोडुलो n|प्रिमिटिव रूट मॉड्यूलो ''n'' कहलाता है।<ref>{{Harv|Vinogradov|2003|p=106}}</ref> | का जनरेटर <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> प्रिमिटिव रूट मोडुलो n|प्रिमिटिव रूट मॉड्यूलो ''n'' कहलाता है।<ref>{{Harv|Vinogradov|2003|p=106}}</ref> | ||
जनरेटर है तो हैं <math>\varphi(\varphi(n))</math> उनमें से। | जनरेटर है तो हैं <math>\varphi(\varphi(n))</math> उनमें से। | ||
Line 67: | Line 63: | ||
परिमित एबेलियन समूहों के मौलिक प्रमेय द्वारा, समूह <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> प्राइम पावर ऑर्डर के चक्रीय समूहों के समूहों के प्रत्यक्ष उत्पाद के लिए आइसोमोर्फिक है। | परिमित एबेलियन समूहों के मौलिक प्रमेय द्वारा, समूह <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> प्राइम पावर ऑर्डर के चक्रीय समूहों के समूहों के प्रत्यक्ष उत्पाद के लिए आइसोमोर्फिक है। | ||
अधिक विशेष रूप से, [[चीनी शेष प्रमेय]]<ref>Riesel covers all of this. {{Harv|Riesel|1994|pp=267–275}}</ref> कहते हैं कि अगर <math>\;\;n=p_1^{k_1}p_2^{k_2}p_3^{k_3}\dots, \;</math> फिर | अधिक विशेष रूप से, [[चीनी शेष प्रमेय]]<ref>Riesel covers all of this. {{Harv|Riesel|1994|pp=267–275}}</ref> कहते हैं कि अगर <math>\;\;n=p_1^{k_1}p_2^{k_2}p_3^{k_3}\dots, \;</math> फिर रिंग <math>\mathbb{Z}/n\mathbb{Z}</math> इसके प्रत्येक प्रमुख शक्ति कारकों के अनुरूप छल्लों के छल्लों का उत्पाद है: | ||
:<math>\mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}/{p_1^{k_1}}\mathbb{Z}\; \times \;\mathbb{Z}/{p_2^{k_2}}\mathbb{Z} \;\times\; \mathbb{Z}/{p_3^{k_3}}\mathbb{Z}\dots\;\;</math> | :<math>\mathbb{Z}/n\mathbb{Z} \cong \mathbb{Z}/{p_1^{k_1}}\mathbb{Z}\; \times \;\mathbb{Z}/{p_2^{k_2}}\mathbb{Z} \;\times\; \mathbb{Z}/{p_3^{k_3}}\mathbb{Z}\dots\;\;</math> | ||
Line 82: | Line 78: | ||
== झूठे गवाहों का उपसमूह == | == झूठे गवाहों का उपसमूह == | ||
यदि n संमिश्र है, तो गुणात्मक समूह का उपसमूह | यदि n संमिश्र है, तो गुणात्मक समूह का उपसमूह उपस्थित होता है, जिसे झूठे गवाहों का समूह कहा जाता है, जिसमें तत्व, जब सत्ता में आ जाते हैं {{nowrap|''n'' − 1}}, 1 मॉड्यूलो n के सर्वांगसम हैं। (चूंकि अवशेष 1 जब किसी भी शक्ति के लिए उठाया जाता है तो 1 मॉड्यूलो n के अनुरूप होता है, ऐसे तत्वों का समुच्चय खाली नहीं होता है।)<ref>{{cite journal | zbl=0586.10003 | last1=Erdős | first1=Paul | author1-link=Paul Erdős | last2=Pomerance | first2=Carl | author2-link=Carl Pomerance | title=समग्र संख्या के लिए झूठे गवाहों की संख्या पर| journal=Math. Comput. | volume=46 | issue=173 | pages=259–279 | year=1986 | doi=10.1090/s0025-5718-1986-0815848-x| doi-access=free }}</ref> फर्मेट के लिटिल प्रमेय के कारण कोई कह सकता है कि इस तरह के अवशेष झूठे सकारात्मक हैं या n की प्रारंभिकता के लिए झूठे गवाह हैं। नंबर 2 इस मूल प्रारंभिक जाँच में सबसे अधिक उपयोग किया जाने वाला अवशेष है, इसलिए {{nowrap|1=341 = 11 × 31}} 2 से प्रसिद्ध है<sup>340</sup> 1 मॉड्यूल 341 के अनुरूप है, और 341 सबसे छोटी ऐसी समग्र संख्या है (2 के संबंध में)। 341 के लिए, झूठे गवाहों के उपसमूह में 100 अवशेष होते हैं और ऐसा ही 300 तत्व गुणात्मक समूह मॉड 341 के अंदर इंडेक्स 3 का होता है। | ||
=== उदाहरण === | === उदाहरण === | ||
==== | ====n = 9==== | ||
झूठे गवाहों के गैर-तुच्छ उपसमूह के साथ सबसे छोटा उदाहरण है {{nowrap|1=9 = 3 × 3}}. 9: 1, 2, 4, 5, 7, 8 के लिए 6 अवशेष सहअभाज्य हैं। चूँकि 8 सर्वांगसम है {{nowrap|−1 modulo 9}}, यह 8 का अनुसरण करता है<sup>8</sup> 1 सापेक्ष 9 के अनुरूप है। इसलिए 1 और 8 9 की प्राथमिकता के लिए गलत सकारात्मक हैं (चूंकि 9 वास्तव में अभाज्य नहीं है)। वास्तव में ये केवल एक ही हैं, इसलिए उपसमूह {1,8} झूठे गवाहों का उपसमूह है। वही तर्क यह दर्शाता है {{nowrap|''n'' − 1}} किसी भी विषम सम्मिश्र n के लिए झूठा गवाह है। | झूठे गवाहों के गैर-तुच्छ उपसमूह के साथ सबसे छोटा उदाहरण है {{nowrap|1=9 = 3 × 3}}. 9: 1, 2, 4, 5, 7, 8 के लिए 6 अवशेष सहअभाज्य हैं। चूँकि 8 सर्वांगसम है {{nowrap|−1 modulo 9}}, यह 8 का अनुसरण करता है<sup>8</sup> 1 सापेक्ष 9 के अनुरूप है। इसलिए 1 और 8 9 की प्राथमिकता के लिए गलत सकारात्मक हैं (चूंकि 9 वास्तव में अभाज्य नहीं है)। वास्तव में ये केवल एक ही हैं, इसलिए उपसमूह {1,8} झूठे गवाहों का उपसमूह है। वही तर्क यह दर्शाता है {{nowrap|''n'' − 1}} किसी भी विषम सम्मिश्र n के लिए झूठा गवाह है। | ||
==== | ====n = 91==== | ||
n = 91 (= 7 × 13) के लिए, हैं <math>\varphi(91)=72</math> अवशेष 91 के अनुरूप हैं, उनमें से आधे (यानी, उनमें से 36) 91 के झूठे गवाह हैं, अर्थात् 1, 3, 4, 9, 10, 12, 16, 17, 22, 23, 25, 27, 29, 30, 36, 38, 40, 43, 48, 51, 53, 55, 61, 62, 64, 66, 68, 69, 74, 75, 79, 81, 82, 87, 88, और 90, क्योंकि इन मूल्यों के लिए एक्स, एक्स<sup>90</sup> 1 मॉड 91 के अनुरूप है। | n = 91 (= 7 × 13) के लिए, हैं <math>\varphi(91)=72</math> अवशेष 91 के अनुरूप हैं, उनमें से आधे (यानी, उनमें से 36) 91 के झूठे गवाह हैं, अर्थात् 1, 3, 4, 9, 10, 12, 16, 17, 22, 23, 25, 27, 29, 30, 36, 38, 40, 43, 48, 51, 53, 55, 61, 62, 64, 66, 68, 69, 74, 75, 79, 81, 82, 87, 88, और 90, क्योंकि इन मूल्यों के लिए एक्स, एक्स<sup>90</sup> 1 मॉड 91 के अनुरूप है। | ||
==== | ====n = 561==== | ||
n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s<sup>560 </sup> 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है; यह गुणनात्मक इकाइयों मॉड्यूलो 561 का संपूर्ण समूह है, जिसमें 320 अवशेष शामिल हैं। | n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s<sup>560 </sup> 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है; यह गुणनात्मक इकाइयों मॉड्यूलो 561 का संपूर्ण समूह है, जिसमें 320 अवशेष शामिल हैं। | ||
== उदाहरण == | == उदाहरण == | ||
यह तालिका चक्रीय अपघटन को दर्शाती है <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> और n ≤ 128 के लिए समूह का जनरेटिंग | यह तालिका चक्रीय अपघटन को दर्शाती है <math>(\mathbb{Z}/n\mathbb{Z})^\times</math> और n ≤ 128 के लिए समूह का जनरेटिंग समुच्चय। अपघटन और जनरेटिंग समुच्चय अद्वितीय नहीं हैं; उदाहरण के लिए, | ||
<math> \displaystyle \begin{align}(\mathbb{Z}/35\mathbb{Z})^\times & \cong (\mathbb{Z}/5\mathbb{Z})^\times \times (\mathbb{Z}/7\mathbb{Z})^\times \cong \mathrm{C}_4 \times \mathrm{C}_6 \cong \mathrm{C}_4 \times \mathrm{C}_2 \times \mathrm{C}_3 \cong \mathrm{C}_2 \times \mathrm{C}_{12} \cong (\mathbb{Z}/4\mathbb{Z})^\times \times (\mathbb{Z}/13\mathbb{Z})^\times \\ & \cong (\mathbb{Z}/52\mathbb{Z})^\times \end{align} </math> (लेकिन <math>\not\cong \mathrm{C}_{24} \cong \mathrm{C}_8 \times \mathrm{C}_3</math>). नीचे दी गई तालिका सबसे छोटी अपघटन सूचीबद्ध करती है (उनमें से, लेक्सिकोग्राफ़िक रूप से पहले चुना जाता है - यह गारंटी देता है कि आइसोमोर्फिक समूह समान अपघटन के साथ सूचीबद्ध हैं)। जनरेटिंग | <math> \displaystyle \begin{align}(\mathbb{Z}/35\mathbb{Z})^\times & \cong (\mathbb{Z}/5\mathbb{Z})^\times \times (\mathbb{Z}/7\mathbb{Z})^\times \cong \mathrm{C}_4 \times \mathrm{C}_6 \cong \mathrm{C}_4 \times \mathrm{C}_2 \times \mathrm{C}_3 \cong \mathrm{C}_2 \times \mathrm{C}_{12} \cong (\mathbb{Z}/4\mathbb{Z})^\times \times (\mathbb{Z}/13\mathbb{Z})^\times \\ & \cong (\mathbb{Z}/52\mathbb{Z})^\times \end{align} </math> (लेकिन <math>\not\cong \mathrm{C}_{24} \cong \mathrm{C}_8 \times \mathrm{C}_3</math>). नीचे दी गई तालिका सबसे छोटी अपघटन सूचीबद्ध करती है (उनमें से, लेक्सिकोग्राफ़िक रूप से पहले चुना जाता है - यह गारंटी देता है कि आइसोमोर्फिक समूह समान अपघटन के साथ सूचीबद्ध हैं)। जनरेटिंग समुच्चय को जितना संभव हो उतना छोटा चुना जाता है, और n के लिए आदिम रूट के साथ, सबसे छोटा आदिम रूट मॉड्यूलो n सूचीबद्ध होता है। | ||
उदाहरण के लिए, ले लो <math>(\mathbb{Z}/20\mathbb{Z})^\times</math>. तब <math>\varphi(20)=8</math> इसका अर्थ है कि समूह का क्रम 8 है (अर्थात, 20 से कम 8 संख्याएँ हैं और इसका सहअभाज्य है); <math>\lambda(20)=4</math> इसका मतलब है कि प्रत्येक तत्व का क्रम 4 को विभाजित करता है, अर्थात, 20 से किसी भी संख्या की चौथी शक्ति 1 (मॉड 20) के अनुरूप है। | उदाहरण के लिए, ले लो <math>(\mathbb{Z}/20\mathbb{Z})^\times</math>. तब <math>\varphi(20)=8</math> इसका अर्थ है कि समूह का क्रम 8 है (अर्थात, 20 से कम 8 संख्याएँ हैं और इसका सहअभाज्य है); <math>\lambda(20)=4</math> इसका मतलब है कि प्रत्येक तत्व का क्रम 4 को विभाजित करता है, अर्थात, 20 से किसी भी संख्या की चौथी शक्ति 1 (मॉड 20) के अनुरूप है। समुच्चय {3,19} समूह उत्पन्न करता है, जिसका अर्थ है कि प्रत्येक तत्व <math>(\mathbb{Z}/20\mathbb{Z})^\times</math> स्वरूप का है {{nowrap|3<sup>''a''</sup> × 19<sup>''b''</sup>}} (जहाँ a 0, 1, 2, या 3 है, क्योंकि तत्व 3 का क्रम 4 है, और इसी तरह b 0 या 1 है, क्योंकि तत्व 19 का क्रम 2 है)। | ||
सबसे छोटा प्रिमिटिव रूट मॉड n हैं (0 यदि कोई रूट | सबसे छोटा प्रिमिटिव रूट मॉड n हैं (0 यदि कोई रूट उपस्थित नहीं है) | ||
: 0, 1, 2, 3, 2, 5, 3, 0, 2, 3, 2, 0, 2, 3, 0, 0, 3, 5, 2, 0, 0, 7, 5, 0, 2 , 7, 2, 0, 2, 0, 3, 0, 0, 3, 0, 0, 2, 3, 0, 0, 6, 0, 3, 0, 0, 5, 5, 0, 3, 3 , 0, 0, 2, 5, 0, 0, 0, 3, 2, 0, 2, 3, 0, 0, 0, 0, 2, 0, 0, 0, 7, 0, 5, 5, 0 , 0, 0, 0, 3, 0, 2, 7, 2, 0, 0, 3, 0, 0, 3, 0, ... {{OEIS|id=A046145}} | : 0, 1, 2, 3, 2, 5, 3, 0, 2, 3, 2, 0, 2, 3, 0, 0, 3, 5, 2, 0, 0, 7, 5, 0, 2 , 7, 2, 0, 2, 0, 3, 0, 0, 3, 0, 0, 2, 3, 0, 0, 6, 0, 3, 0, 0, 5, 5, 0, 3, 3 , 0, 0, 2, 5, 0, 0, 0, 3, 2, 0, 2, 3, 0, 0, 0, 0, 2, 0, 0, 0, 7, 0, 5, 5, 0 , 0, 0, 0, 3, 0, 2, 7, 2, 0, 0, 3, 0, 0, 3, 0, ... {{OEIS|id=A046145}} | ||
मॉड | मॉड n के न्यूनतम जनरेटिंग समुच्चय में तत्वों की संख्या है | ||
: 0, 0, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1, 1, 3, 1 , 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 3, 1, 2, 1, 2, 2, 1, 1, 3, 1, 1 , 2, 2, 1, 1, 2, 3, 2, 1, 1, 3, 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 1, 3, 1, 1, 2 , 2, 2, 2, 1, 3, 1, 1, 1, 3, 2, 1, 2, 3, 1, 2, ... {{OEIS|id=A046072}} | : 0, 0, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1, 1, 3, 1 , 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 3, 1, 2, 1, 2, 2, 1, 1, 3, 1, 1 , 2, 2, 1, 1, 2, 3, 2, 1, 1, 3, 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 1, 3, 1, 1, 2 , 2, 2, 2, 1, 3, 1, 1, 1, 3, 2, 1, 2, 3, 1, 2, ... {{OEIS|id=A046072}} | ||
Revision as of 10:17, 1 May 2023
मॉड्यूलर अंकगणित में, गैर-नकारात्मक पूर्णांक के समुच्चय से n तक पूर्णांक सहप्रमुख (अपेक्षाकृत प्रधान) गुणा मॉड्यूल n के अनुसार एक समूह (गणित) बनाते हैं । जिसे गुणक कहा जाता है । पूर्णांक मॉड्यूलो n का समूह है। समतुल्य रूप से, इस समूह के तत्वों को सर्वांगसमता वर्गों के रूप में माना जा सकता है । जिन्हें अवशेष मॉडुलो n के रूप में भी जाना जाता है जो कि n के लिए कोप्राइम हैं। इसलिए एक अन्य नाम आदिम अवशेष वर्गों के समूह मॉड्यूलो n है। छल्लों के सिद्धांत में अमूर्त बीजगणित की एक शाखा को पूर्णांक मॉड्यूलो n की रिंग की इकाइयों के समूह के रूप में वर्णित किया गया है। यहां इकाइयां गुणक व्युत्क्रम वाले तत्वों को संदर्भित करती हैं । जो इस वलय में वास्तव में n के समान सहअभाज्य हैं।
बीजगणितीय संरचना → 'समूह सिद्धांत' समूह सिद्धांत |
---|
यह भागफल समूह सामान्यतः निरूपित किया जाता है । , संख्या सिद्धांत में मौलिक है। इसका उपयोग क्रिप्टोग्राफी, पूर्णांक गुणनखंडन और प्रारंभिक परीक्षण में किया जाता है। यह एबेलियन समूह है । परिमित समूह समूह जिसका क्रम यूलर के टोटेंट फलन द्वारा दिया गया है । प्राइम n के लिए समूह चक्रीय समूह है और सामान्य रूप से संरचना का वर्णन करना सरल है । चूंकि प्राइम n के लिए भी समूह के जनरेटिंग समुच्चय को खोजने के लिए कोई सामान्य सूत्र ज्ञात नहीं है।
n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s560 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है;
समूह स्वयंसिद्ध
यह दिखाने के लिए सीधा अभ्यास है कि, गुणन के अनुसार, सर्वांगसमता वर्ग मॉड्यूलो n का समुच्चय है जो एबेलियन समूह के स्वयंसिद्धों को संतुष्ट करने के लिए n के सहअभाज्य हैं।
वास्तव में a, n का सहअभाज्य है । यदि और केवल यदि gcd(a, n) = 1 समान सर्वांगसमता वर्ग a ≡ b (mod n) में पूर्णांक gcd(a, n) = gcd(b, n) को संतुष्ट करते हैं इसलिए एक सहअभाज्य है । n को यदि और केवल यदि दूसरा है। इस प्रकार सर्वांगसमता वर्ग मॉड्यूलो n की धारणा जो n के लिए सहअभाज्य है, अच्छी तरह से परिभाषित है।
तब से gcd(a, n) = 1 और gcd(b, n) = 1 तात्पर्य gcd(ab, n) = 1, कोप्राइम से n तक की कक्षाओं का समुच्चय गुणन के अनुसार बंद है।
पूर्णांक गुणन सर्वांगसमता वर्गों का सम्मान करता है, अर्थात, a ≡ a' और b ≡ b' (mod n) तात्पर्य ab ≡ a'b' (mod n). है । इसका तात्पर्य है कि गुणन साहचर्य, क्रमविनिमेय है, और यह कि 1 का वर्ग अद्वितीय गुणक पहचान है।
अंत में एक मापांक n का गुणात्मक व्युत्क्रम एक पूर्णांक x संतोषजनक ax ≡ 1 (mod n) है। यह तब उपस्थित होता है । जब a, n के साथ सहअभाज्य होता है । क्योंकि उस स्थिति में gcd(a, n) = 1 और बेज़ाउट लेम्मा द्वारा पूर्णांक x और y संतोषजनक ax + ny = 1 होते हैं। ध्यान दें कि समीकरण ax + ny = 1 का अर्थ है कि x n के लिए सहअभाज्य है इसलिए गुणनात्मक व्युत्क्रम समूह से संबंधित है।
टिप्पणी
जोड़ और गुणन के संचालन के साथ पूर्णांक मॉड्यूलो n का (सर्वांगसमता वर्ग) का समुच्चय रिंग (गणित) है। यह निरूपित है या (संकेतन का तात्पर्य पूर्णांक मॉडुलो द आदर्श (रिंग सिद्धांत) के भागफल वलय को लेने से है। या n के गुणकों से मिलकर)। संख्या सिद्धांत के बाहर सरल अंकन अक्सर प्रयोग किया जाता है, चूंकि इसे पी-एडिक संख्या के साथ भ्रमित किया जा सकता हैp-adic पूर्णांक जब n अभाज्य संख्या है।
पूर्णांक मॉड्यूलो n का गुणात्मक समूह, जो इस रिंग में इकाइयों का समूह है, को (लेखक के आधार पर) लिखा जा सकता है। (जर्मन इनहाइट के लिए, जो इकाई के रूप में अनुवादित है), , या समान अंकन। यह लेख उपयोग करता है अंकन क्रम n के चक्रीय समूह को संदर्भित करता है। यह योग के अनुसार पूर्णांक मॉड्यूलो n के समूह के लिए समूह समरूपता है। ध्यान दें कि या अतिरिक्त के अनुसार समूह को भी संदर्भित कर सकते हैं। उदाहरण के लिए, गुणक समूह अभाज्य p के लिए चक्रीय है और इसलिए योज्य समूह के लिए आइसोमोर्फिक है , लेकिन समरूपता स्पष्ट नहीं है।
संरचना
पूर्णांक मॉड्यूलो n के गुणक समूह का क्रम पूर्णांकों की संख्या है कोप्राइम से n. यह यूलर के कुल कार्य द्वारा दिया गया है: (sequence A000010 in the OEIS). प्राइम पी के लिए, .
चक्रीय मामला
समूह चक्रीय समूह है यदि और केवल यदि n 1, 2, 4, p हैकश्मीर या 2pk, जहाँ p विषम अभाज्य संख्या है और k > 0. n के अन्य सभी मानों के लिए समूह चक्रीय नहीं है।[1][2][3] यह सर्वप्रथम कार्ल फ्रेडरिक गॉस द्वारा सिद्ध किया गया था।[4] इसका मतलब है कि इन n के लिए:
- कहाँ
परिभाषा के अनुसार, समूह चक्रीय है अगर और केवल अगर उसके पास समूह जी का जनरेटिंग समुच्चय है (आकार एक के समूह {जी} का एक जनरेटिंग समुच्चय), यानी शक्तियां n को सभी संभावित अवशेष मॉड्यूलो n coprime दें (पहला पॉवर्स प्रत्येक को एक बार दें)। का जनरेटर प्रिमिटिव रूट मोडुलो n|प्रिमिटिव रूट मॉड्यूलो n कहलाता है।[5] जनरेटर है तो हैं उनमें से।
===2 === की शक्तियाँ मोडुलो 1 कोई भी दो पूर्णांक सर्वांगसम हैं, यानी, केवल सर्वांगसमता वर्ग है, [0], कोप्राइम टू 1. इसलिए, के साथ तुच्छ समूह है φ(1) = 1 तत्व। इसकी तुच्छ प्रकृति के कारण, सर्वांगसमता मॉडुलो 1 के मामले को आम तौर पर अनदेखा कर दिया जाता है और कुछ लेखक प्रमेय बयानों में n = 1 के मामले को शामिल नहीं करना चुनते हैं।
मॉडुलो 2 केवल सहप्रमुख सर्वांगसमता वर्ग है, [1], इसलिए तुच्छ समूह है।
मॉडुलो 4 में दो परस्पर सर्वांगसमता वर्ग हैं, [1] और [3], इसलिए दो तत्वों के साथ चक्रीय समूह।
मॉडुलो 8 में चार सहप्रमुख सर्वांगसमता वर्ग हैं, [1], [3], [5] और [7]। इनमें से प्रत्येक का वर्ग 1 है, इसलिए क्लेन चार-समूह।
मोडुलो 16 में आठ सहप्रमुख सर्वांगसमता वर्ग हैं [1], [3], [5], [7], [9], [11], [13] और [15]। 2-मरोड़ उपसमूह है (यानी, प्रत्येक तत्व का वर्ग 1 है), इसलिए चक्रीय नहीं है। 3 की शक्तियां, क्रम 4 का उपसमूह है, जैसा कि 5 की शक्तियाँ हैं, इस प्रकार 8 और 16 द्वारा दिखाया गया पैटर्न धारण करता है[6] उच्च शक्तियों के लिए 2क</सुप>, k > 2: 2-मरोड़ उपसमूह है (इसलिए चक्रीय नहीं है) और 3 की शक्तियाँ क्रम के चक्रीय उपसमूह हैं 2k − 2, इसलिए
सामान्य समग्र संख्या
परिमित एबेलियन समूहों के मौलिक प्रमेय द्वारा, समूह प्राइम पावर ऑर्डर के चक्रीय समूहों के समूहों के प्रत्यक्ष उत्पाद के लिए आइसोमोर्फिक है।
अधिक विशेष रूप से, चीनी शेष प्रमेय[7] कहते हैं कि अगर फिर रिंग इसके प्रत्येक प्रमुख शक्ति कारकों के अनुरूप छल्लों के छल्लों का उत्पाद है:
इसी प्रकार, इकाइयों का समूह प्रत्येक प्रमुख शक्ति कारकों के अनुरूप समूहों का प्रत्यक्ष उत्पाद है:
प्रत्येक विषम प्रधान शक्ति के लिए संबंधित कारक क्रम का चक्रीय समूह है , जो प्राइम-पावर ऑर्डर के चक्रीय समूहों में आगे बढ़ सकता है। 2 कारक की शक्तियों के लिए k = 0, 1, 2 तक चक्रीय नहीं है, लेकिन ऊपर वर्णित अनुसार चक्रीय समूहों में कारक हैं।
समूह का क्रम प्रत्यक्ष उत्पाद में चक्रीय समूहों के आदेशों का उत्पाद है। समूह के समूह का प्रतिपादक, जो कि चक्रीय समूहों में आदेशों का सबसे कम सामान्य गुणक है, कारमाइकल समारोह द्वारा दिया जाता है (sequence A002322 in the OEIS). दूसरे शब्दों में, सबसे छोटी संख्या है जैसे प्रत्येक के लिए n के लिए एक coprime, रखती है। यह बांटता है और इसके बराबर है अगर और केवल अगर समूह चक्रीय है।
झूठे गवाहों का उपसमूह
यदि n संमिश्र है, तो गुणात्मक समूह का उपसमूह उपस्थित होता है, जिसे झूठे गवाहों का समूह कहा जाता है, जिसमें तत्व, जब सत्ता में आ जाते हैं n − 1, 1 मॉड्यूलो n के सर्वांगसम हैं। (चूंकि अवशेष 1 जब किसी भी शक्ति के लिए उठाया जाता है तो 1 मॉड्यूलो n के अनुरूप होता है, ऐसे तत्वों का समुच्चय खाली नहीं होता है।)[8] फर्मेट के लिटिल प्रमेय के कारण कोई कह सकता है कि इस तरह के अवशेष झूठे सकारात्मक हैं या n की प्रारंभिकता के लिए झूठे गवाह हैं। नंबर 2 इस मूल प्रारंभिक जाँच में सबसे अधिक उपयोग किया जाने वाला अवशेष है, इसलिए 341 = 11 × 31 2 से प्रसिद्ध है340 1 मॉड्यूल 341 के अनुरूप है, और 341 सबसे छोटी ऐसी समग्र संख्या है (2 के संबंध में)। 341 के लिए, झूठे गवाहों के उपसमूह में 100 अवशेष होते हैं और ऐसा ही 300 तत्व गुणात्मक समूह मॉड 341 के अंदर इंडेक्स 3 का होता है।
उदाहरण
n = 9
झूठे गवाहों के गैर-तुच्छ उपसमूह के साथ सबसे छोटा उदाहरण है 9 = 3 × 3. 9: 1, 2, 4, 5, 7, 8 के लिए 6 अवशेष सहअभाज्य हैं। चूँकि 8 सर्वांगसम है −1 modulo 9, यह 8 का अनुसरण करता है8 1 सापेक्ष 9 के अनुरूप है। इसलिए 1 और 8 9 की प्राथमिकता के लिए गलत सकारात्मक हैं (चूंकि 9 वास्तव में अभाज्य नहीं है)। वास्तव में ये केवल एक ही हैं, इसलिए उपसमूह {1,8} झूठे गवाहों का उपसमूह है। वही तर्क यह दर्शाता है n − 1 किसी भी विषम सम्मिश्र n के लिए झूठा गवाह है।
n = 91
n = 91 (= 7 × 13) के लिए, हैं अवशेष 91 के अनुरूप हैं, उनमें से आधे (यानी, उनमें से 36) 91 के झूठे गवाह हैं, अर्थात् 1, 3, 4, 9, 10, 12, 16, 17, 22, 23, 25, 27, 29, 30, 36, 38, 40, 43, 48, 51, 53, 55, 61, 62, 64, 66, 68, 69, 74, 75, 79, 81, 82, 87, 88, और 90, क्योंकि इन मूल्यों के लिए एक्स, एक्स90 1 मॉड 91 के अनुरूप है।
n = 561
n = 561 (= 3 × 11 × 17) कार्मिकेल संख्या है, इस प्रकार s560 561 के किसी भी पूर्णांक सह अभाज्य के लिए 1 मॉड्यूल 561 के अनुरूप है। झूठे गवाहों का उपसमूह इस मामले में उचित नहीं है; यह गुणनात्मक इकाइयों मॉड्यूलो 561 का संपूर्ण समूह है, जिसमें 320 अवशेष शामिल हैं।
उदाहरण
यह तालिका चक्रीय अपघटन को दर्शाती है और n ≤ 128 के लिए समूह का जनरेटिंग समुच्चय। अपघटन और जनरेटिंग समुच्चय अद्वितीय नहीं हैं; उदाहरण के लिए,
(लेकिन ). नीचे दी गई तालिका सबसे छोटी अपघटन सूचीबद्ध करती है (उनमें से, लेक्सिकोग्राफ़िक रूप से पहले चुना जाता है - यह गारंटी देता है कि आइसोमोर्फिक समूह समान अपघटन के साथ सूचीबद्ध हैं)। जनरेटिंग समुच्चय को जितना संभव हो उतना छोटा चुना जाता है, और n के लिए आदिम रूट के साथ, सबसे छोटा आदिम रूट मॉड्यूलो n सूचीबद्ध होता है।
उदाहरण के लिए, ले लो . तब इसका अर्थ है कि समूह का क्रम 8 है (अर्थात, 20 से कम 8 संख्याएँ हैं और इसका सहअभाज्य है); इसका मतलब है कि प्रत्येक तत्व का क्रम 4 को विभाजित करता है, अर्थात, 20 से किसी भी संख्या की चौथी शक्ति 1 (मॉड 20) के अनुरूप है। समुच्चय {3,19} समूह उत्पन्न करता है, जिसका अर्थ है कि प्रत्येक तत्व स्वरूप का है 3a × 19b (जहाँ a 0, 1, 2, या 3 है, क्योंकि तत्व 3 का क्रम 4 है, और इसी तरह b 0 या 1 है, क्योंकि तत्व 19 का क्रम 2 है)।
सबसे छोटा प्रिमिटिव रूट मॉड n हैं (0 यदि कोई रूट उपस्थित नहीं है)
- 0, 1, 2, 3, 2, 5, 3, 0, 2, 3, 2, 0, 2, 3, 0, 0, 3, 5, 2, 0, 0, 7, 5, 0, 2 , 7, 2, 0, 2, 0, 3, 0, 0, 3, 0, 0, 2, 3, 0, 0, 6, 0, 3, 0, 0, 5, 5, 0, 3, 3 , 0, 0, 2, 5, 0, 0, 0, 3, 2, 0, 2, 3, 0, 0, 0, 0, 2, 0, 0, 0, 7, 0, 5, 5, 0 , 0, 0, 0, 3, 0, 2, 7, 2, 0, 0, 3, 0, 0, 3, 0, ... (sequence A046145 in the OEIS)
मॉड n के न्यूनतम जनरेटिंग समुच्चय में तत्वों की संख्या है
- 0, 0, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 1, 2, 2, 1, 1, 1, 2, 2, 1, 1, 3, 1 , 1, 1, 2, 1, 2, 1, 2, 2, 1, 2, 2, 1, 1, 2, 3, 1, 2, 1, 2, 2, 1, 1, 3, 1, 1 , 2, 2, 1, 1, 2, 3, 2, 1, 1, 3, 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 1, 3, 1, 1, 2 , 2, 2, 2, 1, 3, 1, 1, 1, 3, 2, 1, 2, 3, 1, 2, ... (sequence A046072 in the OEIS)
Generating set | Generating set | Generating set | Generating set | |||||||||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
1 | C1 | 1 | 1 | 0 | 33 | C2×C10 | 20 | 10 | 2, 10 | 65 | C4×C12 | 48 | 12 | 2, 12 | 97 | C96 | 96 | 96 | 5 | |||
2 | C1 | 1 | 1 | 1 | 34 | C16 | 16 | 16 | 3 | 66 | C2×C10 | 20 | 10 | 5, 7 | 98 | C42 | 42 | 42 | 3 | |||
3 | C2 | 2 | 2 | 2 | 35 | C2×C12 | 24 | 12 | 2, 6 | 67 | C66 | 66 | 66 | 2 | 99 | C2×C30 | 60 | 30 | 2, 5 | |||
4 | C2 | 2 | 2 | 3 | 36 | C2×C6 | 12 | 6 | 5, 19 | 68 | C2×C16 | 32 | 16 | 3, 67 | 100 | C2×C20 | 40 | 20 | 3, 99 | |||
5 | C4 | 4 | 4 | 2 | 37 | C36 | 36 | 36 | 2 | 69 | C2×C22 | 44 | 22 | 2, 68 | 101 | C100 | 100 | 100 | 2 | |||
6 | C2 | 2 | 2 | 5 | 38 | C18 | 18 | 18 | 3 | 70 | C2×C12 | 24 | 12 | 3, 69 | 102 | C2×C16 | 32 | 16 | 5, 101 | |||
7 | C6 | 6 | 6 | 3 | 39 | C2×C12 | 24 | 12 | 2, 38 | 71 | C70 | 70 | 70 | 7 | 103 | C102 | 102 | 102 | 5 | |||
8 | C2×C2 | 4 | 2 | 3, 5 | 40 | C2×C2×C4 | 16 | 4 | 3, 11, 39 | 72 | C2×C2×C6 | 24 | 6 | 5, 17, 19 | 104 | C2×C2×C12 | 48 | 12 | 3, 5, 103 | |||
9 | C6 | 6 | 6 | 2 | 41 | C40 | 40 | 40 | 6 | 73 | C72 | 72 | 72 | 5 | 105 | C2×C2×C12 | 48 | 12 | 2, 29, 41 | |||
10 | C4 | 4 | 4 | 3 | 42 | C2×C6 | 12 | 6 | 5, 13 | 74 | C36 | 36 | 36 | 5 | 106 | C52 | 52 | 52 | 3 | |||
11 | C10 | 10 | 10 | 2 | 43 | C42 | 42 | 42 | 3 | 75 | C2×C20 | 40 | 20 | 2, 74 | 107 | C106 | 106 | 106 | 2 | |||
12 | C2×C2 | 4 | 2 | 5, 7 | 44 | C2×C10 | 20 | 10 | 3, 43 | 76 | C2×C18 | 36 | 18 | 3, 37 | 108 | C2×C18 | 36 | 18 | 5, 107 | |||
13 | C12 | 12 | 12 | 2 | 45 | C2×C12 | 24 | 12 | 2, 44 | 77 | C2×C30 | 60 | 30 | 2, 76 | 109 | C108 | 108 | 108 | 6 | |||
14 | C6 | 6 | 6 | 3 | 46 | C22 | 22 | 22 | 5 | 78 | C2×C12 | 24 | 12 | 5, 7 | 110 | C2×C20 | 40 | 20 | 3, 109 | |||
15 | C2×C4 | 8 | 4 | 2, 14 | 47 | C46 | 46 | 46 | 5 | 79 | C78 | 78 | 78 | 3 | 111 | C2×C36 | 72 | 36 | 2, 110 | |||
16 | C2×C4 | 8 | 4 | 3, 15 | 48 | C2×C2×C4 | 16 | 4 | 5, 7, 47 | 80 | C2×C4×C4 | 32 | 4 | 3, 7, 79 | 112 | C2×C2×C12 | 48 | 12 | 3, 5, 111 | |||
17 | C16 | 16 | 16 | 3 | 49 | C42 | 42 | 42 | 3 | 81 | C54 | 54 | 54 | 2 | 113 | C112 | 112 | 112 | 3 | |||
18 | C6 | 6 | 6 | 5 | 50 | C20 | 20 | 20 | 3 | 82 | C40 | 40 | 40 | 7 | 114 | C2×C18 | 36 | 18 | 5, 37 | |||
19 | C18 | 18 | 18 | 2 | 51 | C2×C16 | 32 | 16 | 5, 50 | 83 | C82 | 82 | 82 | 2 | 115 | C2×C44 | 88 | 44 | 2, 114 | |||
20 | C2×C4 | 8 | 4 | 3, 19 | 52 | C2×C12 | 24 | 12 | 7, 51 | 84 | C2×C2×C6 | 24 | 6 | 5, 11, 13 | 116 | C2×C28 | 56 | 28 | 3, 115 | |||
21 | C2×C6 | 12 | 6 | 2, 20 | 53 | C52 | 52 | 52 | 2 | 85 | C4×C16 | 64 | 16 | 2, 3 | 117 | C6×C12 | 72 | 12 | 2, 17 | |||
22 | C10 | 10 | 10 | 7 | 54 | C18 | 18 | 18 | 5 | 86 | C42 | 42 | 42 | 3 | 118 | C58 | 58 | 58 | 11 | |||
23 | C22 | 22 | 22 | 5 | 55 | C2×C20 | 40 | 20 | 2, 21 | 87 | C2×C28 | 56 | 28 | 2, 86 | 119 | C2×C48 | 96 | 48 | 3, 118 | |||
24 | C2×C2×C2 | 8 | 2 | 5, 7, 13 | 56 | C2×C2×C6 | 24 | 6 | 3, 13, 29 | 88 | C2×C2×C10 | 40 | 10 | 3, 5, 7 | 120 | C2×C2×C2×C4 | 32 | 4 | 7, 11, 19, 29 | |||
25 | C20 | 20 | 20 | 2 | 57 | C2×C18 | 36 | 18 | 2, 20 | 89 | C88 | 88 | 88 | 3 | 121 | C110 | 110 | 110 | 2 | |||
26 | C12 | 12 | 12 | 7 | 58 | C28 | 28 | 28 | 3 | 90 | C2×C12 | 24 | 12 | 7, 11 | 122 | C60 | 60 | 60 | 7 | |||
27 | C18 | 18 | 18 | 2 | 59 | C58 | 58 | 58 | 2 | 91 | C6×C12 | 72 | 12 | 2, 3 | 123 | C2×C40 | 80 | 40 | 7, 83 | |||
28 | C2×C6 | 12 | 6 | 3, 13 | 60 | C2×C2×C4 | 16 | 4 | 7, 11, 19 | 92 | C2×C22 | 44 | 22 | 3, 91 | 124 | C2×C30 | 60 | 30 | 3, 61 | |||
29 | C28 | 28 | 28 | 2 | 61 | C60 | 60 | 60 | 2 | 93 | C2×C30 | 60 | 30 | 11, 61 | 125 | C100 | 100 | 100 | 2 | |||
30 | C2×C4 | 8 | 4 | 7, 11 | 62 | C30 | 30 | 30 | 3 | 94 | C46 | 46 | 46 | 5 | 126 | C6×C6 | 36 | 6 | 5, 13 | |||
31 | C30 | 30 | 30 | 3 | 63 | C6×C6 | 36 | 6 | 2, 5 | 95 | C2×C36 | 72 | 36 | 2, 94 | 127 | C126 | 126 | 126 | 3 | |||
32 | C2×C8 | 16 | 8 | 3, 31 | 64 | C2×C16 | 32 | 16 | 3, 63 | 96 | C2×C2×C8 | 32 | 8 | 5, 17, 31 | 128 | C2×C32 | 64 | 32 | 3, 127 |
यह भी देखें
टिप्पणियाँ
- ↑ Weisstein, Eric W. "Modulo Multiplication Group". MathWorld.
- ↑ Primitive root, Encyclopedia of Mathematics
- ↑ (Vinogradov 2003, pp. 105–121, § VI PRIMITIVE ROOTS AND INDICES)
- ↑ (Gauss & Clarke 1986, arts. 52–56, 82–891)
- ↑ (Vinogradov 2003, p. 106)
- ↑ (Gauss & Clarke 1986, arts. 90–91)
- ↑ Riesel covers all of this. (Riesel 1994, pp. 267–275)
- ↑ Erdős, Paul; Pomerance, Carl (1986). "समग्र संख्या के लिए झूठे गवाहों की संख्या पर". Math. Comput. 46 (173): 259–279. doi:10.1090/s0025-5718-1986-0815848-x. Zbl 0586.10003.
संदर्भ
The Disquisitiones Arithmeticae has been translated from Gauss's Ciceronian Latin into English and German. The German edition includes all of his papers on number theory: all the proofs of quadratic reciprocity, the determination of the sign of the Gauss sum, the investigations into biquadratic reciprocity, and unpublished notes.
- Gauss, Carl Friedrich (1986), Disquisitiones Arithmeticae (English translation, Second, corrected edition), translated by Clarke, Arthur A., New York: Springer, ISBN 978-0-387-96254-2
- Gauss, Carl Friedrich (1965), Untersuchungen uber hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (German translation, Second edition), translated by Maser, H., New York: Chelsea, ISBN 978-0-8284-0191-3
- Riesel, Hans (1994), Prime Numbers and Computer Methods for Factorization (second edition), Boston: Birkhäuser, ISBN 978-0-8176-3743-9
- Vinogradov, I. M. (2003), "§ VI PRIMITIVE ROOTS AND INDICES", Elements of Number Theory, Mineola, NY: Dover Publications, pp. 105–121, ISBN 978-0-486-49530-9