सहअभाज्य पूर्णांक: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Two numbers without shared prime factors}}
{{Short description|Two numbers without shared prime factors}}


[[संख्या सिद्धांत]] में, दो [[पूर्णांक]] {{mvar|a}} और {{mvar|b}} सहअभाज्य, अपेक्षाकृत अभाज्य या परस्पर अभाज्य हैं यदि एकमात्र धनात्मक पूर्णांक जो उन दोनों का वि[[भाजक]] है 1 है।<ref>{{cite book |last1=Eaton |first1=James S. |title=अंकगणित पर एक ग्रंथ|date=1872 |publisher=Thompson, Bigelow & Brown |location=Boston |page=49 |url=https://archive.org/details/atreatiseonarit05eatogoog |access-date=10 January 2022 |quote=Two numbers are ''mutually'' prime when no whole number but ''one'' will divide each of them}}</ref> परिणामस्वरूप, कोई भी [[अभाज्य संख्या]] जो विभाजित होती है {{mvar|a}} विभाजित नहीं होता {{mvar|b}}, और इसके विपरीत। यह उनके सबसे बड़े सामान्य भाजक (जीसीडी) 1 के बराबर है।<ref>{{harvnb|Hardy|Wright|2008|loc=p. 6}}</ref> यह भी कहता है {{mvar|a}} प्रमुख है {{mvar|b}} या {{mvar|a}} सहअभाज्य है {{mvar|b}}.
[[संख्या सिद्धांत]] में, दो [[पूर्णांक]] {{mvar|a}} और {{mvar|b}} सहअभाज्य, अपेक्षाकृत अभाज्य या परस्पर अभाज्य हैं यदि एकमात्र धनात्मक पूर्णांक जो उन दोनों का [[भाजक|विभाजक]] है, 1 है।<ref>{{cite book |last1=Eaton |first1=James S. |title=अंकगणित पर एक ग्रंथ|date=1872 |publisher=Thompson, Bigelow & Brown |location=Boston |page=49 |url=https://archive.org/details/atreatiseonarit05eatogoog |access-date=10 January 2022 |quote=Two numbers are ''mutually'' prime when no whole number but ''one'' will divide each of them}}</ref> परिणामस्वरूप, कोई भी [[अभाज्य संख्या]] जो {{mvar|a}} को विभाजित करती है वह {{mvar|b}} को विभाजित नहीं करती है, और इसके विपरीत भी। यह उनके सबसे बड़े सामान्य भाजक (जीसीडी) 1 के बराबर है।<ref>{{harvnb|Hardy|Wright|2008|loc=p. 6}}</ref> कोई यह भी कहता है कि {{mvar|a}}, {{mvar|b}} से अभाज्य है या {{mvar|a}}, {{mvar|b}} से सहअभाज्य है।


संख्या 8 और 9 सहअभाज्य हैं, इस तथ्य के बावजूद कि इनमें से किसी को भी व्यक्तिगत रूप से अभाज्य संख्या नहीं माना जाता है, क्योंकि 1 उनका एकमात्र सामान्य भाजक है। दूसरी ओर, 6 और 9 सहअभाज्य नहीं हैं, क्योंकि वे दोनों 3 से विभाज्य हैं। परिभाषा के अनुसार, घटे हुए अंश के अंश और हर सहअभाज्य हैं।
संख्या 8 और 9 सहअभाज्य हैं, इस तथ्य के अतिरिक्त कि इनमें से किसी को भी व्यक्तिगत रूप से अभाज्य संख्या नहीं माना जाता है, क्योंकि 1 उनका एकमात्र सामान्य भाजक है। दूसरी ओर, 6 और 9 सहअभाज्य नहीं हैं, क्योंकि वे दोनों 3 से विभाज्य हैं। परिभाषा के अनुसार, घटे हुए भिन्न के अंश और हर सहअभाज्य होते हैं।


== संकेतन और परीक्षण ==
== संकेतन और परीक्षण ==
जब पूर्णांक {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं, इस तथ्य को गणितीय संकेतन में व्यक्त करने का मानक तरीका यह इंगित करना है कि उनका सबसे बड़ा सामान्य भाजक है, सूत्र द्वारा {{math|1=gcd(''a'', ''b'') = 1}} या {{math|1=(''a'', ''b'') = 1}}. अपनी 1989 की पाठ्यपुस्तक कंक्रीट गणित में, [[रोनाल्ड ग्राहम]], [[डोनाल्ड नुथ]] और [[ोरें पाताशनिक]] ने वैकल्पिक संकेतन का प्रस्ताव रखा <math>a\perp b</math> यह इंगित करने के लिए {{mvar|a}} और {{mvar|b}} अपेक्षाकृत अभाज्य हैं और अभाज्य शब्द का प्रयोग सहअभाज्य के स्थान पर किया जाना चाहिए (जैसे कि)। {{mvar|a}} प्रमुख है {{mvar|b}}).<ref>{{citation|first1=R. L.|last1=Graham|first2=D. E.|last2=Knuth|first3=O.|last3=Patashnik|title=[[Concrete Mathematics]] / A Foundation for Computer Science|publisher=Addison-Wesley|year=1989|page=115|isbn=0-201-14236-8}}</ref>
जब पूर्णांक {{mvar|a}} और {{mvar|b}} सहअभाज्य होते हैं, तो गणितीय संकेतन में इस तथ्य को व्यक्त करने की मानक विधि सूत्र {{math|1=gcd(''a'', ''b'') = 1}} या {{math|1=(''a'', ''b'') = 1}} द्वारा यह इंगित करना है कि उनका सबसे बड़ा सामान्य भाजक एक है। अपनी 1989 की पाठ्यपुस्तक कंक्रीट गणित में, [[रोनाल्ड ग्राहम]], [[डोनाल्ड नुथ]] और [[ोरें पाताशनिक|ओरेन पाटश्निक]] ने यह इंगित करने के लिए एक वैकल्पिक संकेतन <math>a\perp b</math> का प्रस्ताव दिया कि {{mvar|a}} और {{mvar|b}} अपेक्षाकृत अभाज्य हैं और सहअभाज्य ( (जैसा कि {{mvar|a}}, {{mvar|b}} से अभाज्य है) के अतिरिक्त "अभाज्य" शब्द का उपयोग किया जाना चाहिए।<ref>{{citation|first1=R. L.|last1=Graham|first2=D. E.|last2=Knuth|first3=O.|last3=Patashnik|title=[[Concrete Mathematics]] / A Foundation for Computer Science|publisher=Addison-Wesley|year=1989|page=115|isbn=0-201-14236-8}}</ref>
यह निर्धारित करने का तेज़ तरीका कि क्या दो संख्याएँ सहअभाज्य हैं, [[यूक्लिडियन एल्गोरिथ्म]] और इसके तेज़ वेरिएंट जैसे [[बाइनरी जीसीडी एल्गोरिदम]] या लेहमर के जीसीडी एल्गोरिदम द्वारा दिया गया है।


पूर्णांकों की संख्या धनात्मक पूर्णांक के साथ सहअभाज्य होती है {{mvar|n}}, 1 और के बीच {{mvar|n}}, यूलर के टोटिएंट फ़ंक्शन द्वारा दिया जाता है, जिसे यूलर के फाई फ़ंक्शन के रूप में भी जाना जाता है, {{math|''φ''(''n'')}}.
यह निर्धारित करने की तीव्र विधि है कि क्या दो संख्याएँ सहअभाज्य हैं, [[यूक्लिडियन एल्गोरिथ्म]] और इसके तीव्र प्रकार जैसे [[बाइनरी जीसीडी एल्गोरिदम]] या लेहमर के जीसीडी एल्गोरिदम द्वारा दिया गया है।


पूर्णांकों के समुच्चय (गणित) को सहअभाज्य भी कहा जा सकता है यदि इसके तत्वों में 1 को छोड़कर कोई सामान्य सकारात्मक कारक नहीं है। पूर्णांकों के समुच्चय पर मजबूत स्थिति जोड़ीदार सहअभाज्य है, जिसका अर्थ है कि {{mvar|a}} और {{mvar|b}} प्रत्येक जोड़े के लिए सहअभाज्य हैं {{math|(''a'', ''b'')}} सेट में विभिन्न पूर्णांकों का। सेट {{math|{2, 3, 4} }} सहअभाज्य है, लेकिन यह जोड़ीवार सहअभाज्य नहीं है क्योंकि 2 और 4 अपेक्षाकृत अभाज्य नहीं हैं।
1 और {{mvar|n}} के बीच, एक धनात्मक पूर्णांक {{mvar|n}} के साथ सहअभाज्य पूर्णांकों की संख्या, यूलर के टोटिएंट फलन द्वारा दी जाती है, जिसे यूलर के फाई फलन, {{math|''φ''(''n'')}} के रूप में भी जाना जाता है।
 
पूर्णांकों के समुच्चय (गणित) को सहअभाज्य भी कहा जा सकता है यदि इसके अवयवों में 1 को छोड़कर कोई सामान्य धनात्मक कारक नहीं है। पूर्णांकों के समुच्चय पर दृढ स्थिति युग्‍मानूसार सहअभाज्य है, जिसका अर्थ है कि समुच्चय में विभिन्न पूर्णांकों के प्रत्येक युग्म {{math|(''a'', ''b'')}} के लिए {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं। समुच्चय {{math|{2, 3, 4} }} सहअभाज्य है, परन्तु यह युग्‍मानूसार सहअभाज्य नहीं है क्योंकि 2 और 4 अपेक्षाकृत अभाज्य नहीं हैं।


== गुण ==
== गुण ==
संख्याएँ 1 और −1 प्रत्येक पूर्णांक के साथ सहअभाज्य एकमात्र पूर्णांक हैं, और वे एकमात्र पूर्णांक हैं जो 0 के साथ सहअभाज्य हैं।
संख्याएँ 1 और −1 प्रत्येक पूर्णांक के साथ सहअभाज्य एकमात्र पूर्णांक हैं, और वे एकमात्र पूर्णांक हैं जो 0 के साथ सहअभाज्य हैं।


कई स्थितियाँ समतुल्य हैं {{mvar|a}} और {{mvar|b}} सहप्रधान होना:
कई स्थितियाँ हैं {{mvar|a}} और {{mvar|b}} के सहअभाज्य होने के समतुल्य हैं:
*कोई भी अभाज्य संख्या दोनों को विभाजित नहीं करती {{mvar|a}} और {{mvar|b}}.
*कोई भी अभाज्य संख्या {{mvar|a}} और {{mvar|b}} दोनों को विभाजित नहीं करती है।
*पूर्णांक मौजूद हैं {{mvar|x, y}} ऐसा है कि {{math|1=''ax'' + ''by'' = 1}} (बेज़आउट की पहचान देखें)।
*ऐसे पूर्णांक {{mvar|x, y}} स्थित हैं कि {{math|1=''ax'' + ''by'' = 1}} (बेज़आउट की पहचान देखें)।
*पूर्णांक {{mvar|b}} में [[मॉड्यूलर गुणक व्युत्क्रम]] मॉड्यूलो है {{mvar|a}}, जिसका अर्थ है कि पूर्णांक मौजूद है {{mvar|y}} ऐसा है कि {{math|''by'' ≡ 1 (mod ''a'')}}. रिंग-सैद्धांतिक भाषा में, {{mvar|b}} रिंग (गणित) में [[इकाई (रिंग सिद्धांत)]] है {{tmath|\Z/a\Z}} [[मॉड्यूलर अंकगणित]] का {{mvar|a}}.
*पूर्णांक {{mvar|b}} में [[मॉड्यूलर गुणक व्युत्क्रम]] मॉड्यूल {{mvar|a}} है, जिसका अर्थ है कि पूर्णांक {{mvar|y}} स्थित है जैसे कि {{math|''by'' ≡ 1 (mod ''a'')}} द्वारा। वलय-सैद्धांतिक भाषा में, {{mvar|b}} पूर्णांक [[मॉड्यूलर अंकगणित]] {{mvar|a}} के वलय (गणित) {{tmath|\Z/a\Z}} में एक [[इकाई (रिंग सिद्धांत)|इकाई (वलय सिद्धांत)]] है।
*किसी अज्ञात पूर्णांक के लिए [[सर्वांगसम संबंध]]ों का प्रत्येक युग्म {{mvar|x}}, रूप का {{math|''x'' &equiv; ''k'' (mod ''a'')}} और {{math|''x'' &equiv; ''m'' (mod ''b'')}}, समाधान है ([[चीनी शेषफल प्रमेय]]); वास्तव में समाधानों का वर्णन एकल सर्वांगसमता संबंध मॉड्यूलो द्वारा किया जाता है {{mvar|ab}}.
*{{math|''x'' &equiv; ''k'' (mod ''a'')}} और {{math|''x'' &equiv; ''m'' (mod ''b'')}} के रूप के किसी अज्ञात पूर्णांक {{mvar|x}} के लिए [[सर्वांगसम संबंध|सर्वांगसम संबंधों]] के प्रत्येक युग्म का हल होता है ([[चीनी शेषफल प्रमेय]]); वस्तुतः हलों का वर्णन एकल सर्वांगसम संबंध मॉड्यूलो {{mvar|ab}} द्वारा किया जाता है।
*का लघुत्तम समापवर्त्य {{mvar|a}} और {{mvar|b}} उनके उत्पाद के बराबर है {{mvar|ab}}, अर्थात। {{math|1=lcm(''a'', ''b'') = ''ab''}}.<ref>{{harvnb|Ore|1988|loc=p. 47}}</ref>
*{{mvar|a}} और {{mvar|b}} का लघुत्तम समापवर्त्य उनके गुणनफल {{mvar|ab}} के बराबर है, अर्थात {{math|1=lcm(''a'', ''b'') = ''ab''}}<ref>{{harvnb|Ore|1988|loc=p. 47}}</ref>
तीसरे बिंदु के परिणामस्वरूप, यदि {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं और {{math|''br'' &equiv; ''bs'' (mod ''a'')}}, तब {{math|''r'' &equiv; ''s'' (mod ''a'')}}.<ref>{{harvnb|Niven|Zuckerman|1966|loc=p. 22, Theorem 2.3(b)}}</ref> अर्थात्, हम विभाजित कर सकते हैं {{mvar|b}} मॉड्यूलो काम करते समय {{mvar|a}}. इसके अलावा, यदि {{math|''b''<sub>1</sub>, ''b''<sub>2</sub>}} दोनों सहअभाज्य हैं {{mvar|a}}, तो उनका उत्पाद भी वैसा ही है {{math|''b''<sub>1</sub>''b''<sub>2</sub>}} (अर्थात्, प्रपत्र {{mvar|a}} यह व्युत्क्रमणीय तत्वों का उत्पाद है, और इसलिए व्युत्क्रमणीय है);<ref>{{harvnb|Niven|Zuckerman|1966|loc=p. 6, Theorem 1.8}}</ref> यह यूक्लिड के लेम्मा के पहले बिंदु से भी अनुसरण करता है, जो बताता है कि यदि अभाज्य संख्या है {{mvar|p}} किसी उत्पाद को विभाजित करता है {{mvar|bc}}, तब {{mvar|p}} कम से कम कारक को विभाजित करता है {{mvar|b, c}}.
तीसरे बिंदु के परिणामस्वरूप, यदि {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं और {{math|''br'' &equiv; ''bs'' (mod ''a'')}}, तब {{math|''r'' &equiv; ''s'' (mod ''a'')}}.<ref>{{harvnb|Niven|Zuckerman|1966|loc=p. 22, Theorem 2.3(b)}}</ref> अर्थात्, हम विभाजित कर सकते हैं {{mvar|b}} मॉड्यूलो काम करते समय {{mvar|a}}. इसके अलावा, यदि {{math|''b''<sub>1</sub>, ''b''<sub>2</sub>}} दोनों सहअभाज्य हैं {{mvar|a}}, तो उनका गुणनफल भी वैसा ही है {{math|''b''<sub>1</sub>''b''<sub>2</sub>}} (अर्थात्, प्रपत्र {{mvar|a}} यह व्युत्क्रमणीय अवयवों का गुणनफल है, और इसलिए व्युत्क्रमणीय है);<ref>{{harvnb|Niven|Zuckerman|1966|loc=p. 6, Theorem 1.8}}</ref> यह यूक्लिड के लेम्मा के पहले बिंदु से भी अनुसरण करता है, जो बताता है कि यदि अभाज्य संख्या है {{mvar|p}} किसी गुणनफल को विभाजित करता है {{mvar|bc}}, तब {{mvar|p}} कम से कम कारक को विभाजित करता है {{mvar|b, c}}.


पहले बिंदु के परिणामस्वरूप, यदि {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं, तो कोई भी शक्तियाँ भी हैं {{mvar|a<sup>k</sup>}} और {{mvar|b<sup>m</sup>}}.
पहले बिंदु के परिणामस्वरूप, यदि {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं, तो कोई भी शक्तियाँ भी हैं {{mvar|a<sup>k</sup>}} और {{mvar|b<sup>m</sup>}}.


अगर {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं और {{mvar|a}} उत्पाद को विभाजित करता है {{mvar|bc}}, तब {{mvar|a}} बांटता है {{mvar|c}}.<ref>{{harvnb|Niven|Zuckerman|1966|loc=p.7, Theorem 1.10}}</ref> इसे यूक्लिड की प्रमेयिका के सामान्यीकरण के रूप में देखा जा सकता है।
अगर {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं और {{mvar|a}} गुणनफल को विभाजित करता है {{mvar|bc}}, तब {{mvar|a}} बांटता है {{mvar|c}}.<ref>{{harvnb|Niven|Zuckerman|1966|loc=p.7, Theorem 1.10}}</ref> इसे यूक्लिड की प्रमेयिका के सामान्यीकरण के रूप में देखा जा सकता है।


[[Image:coprime-lattice.svg|thumb|right|300px|चित्र 1. संख्याएँ 4 और 9 सहअभाज्य हैं। इसलिए, 4 × 9 जाली का विकर्ण किसी अन्य वर्गाकार जाली को नहीं काटता है]]दो पूर्णांक {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं यदि और केवल यदि निर्देशांक वाला बिंदु {{math|(''a'', ''b'')}} कार्टेशियन समन्वय प्रणाली में मूल से दृष्टि की अबाधित रेखा के माध्यम से दिखाई देगा {{math|(0, 0)}}, इस अर्थ में कि मूल और के बीच के रेखा खंड पर कहीं भी पूर्णांक निर्देशांक वाला कोई बिंदु नहीं है {{math|(''a'', ''b'')}}. (चित्र 1 देखें)
[[Image:coprime-lattice.svg|thumb|right|300px|चित्र 1. संख्याएँ 4 और 9 सहअभाज्य हैं। इसलिए, 4 × 9 जाली का विकर्ण किसी अन्य वर्गाकार जाली को नहीं काटता है]]दो पूर्णांक {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं यदि और केवल यदि निर्देशांक वाला बिंदु {{math|(''a'', ''b'')}} कार्टेशियन समन्वय प्रणाली में मूल से दृष्टि की अबाधित रेखा के माध्यम से दिखाई देगा {{math|(0, 0)}}, इस अर्थ में कि मूल और के बीच के रेखा खंड पर कहीं भी पूर्णांक निर्देशांक वाला कोई बिंदु नहीं है {{math|(''a'', ''b'')}}. (चित्र 1 देखें)
Line 36: Line 37:
: <math>\gcd\left(n^a - 1, n^b - 1\right) = n^{\gcd(a, b)} - 1.</math>
: <math>\gcd\left(n^a - 1, n^b - 1\right) = n^{\gcd(a, b)} - 1.</math>
== समुच्चयों में सहप्रधानता ==
== समुच्चयों में सहप्रधानता ==
पूर्णांकों का सेट (गणित)। <math>S=\{a_1,a_2, \dots a_n\}</math> इसे सहअभाज्य या सेटवार सहअभाज्य भी कहा जा सकता है यदि समुच्चय के सभी तत्वों का सबसे बड़ा सामान्य भाजक 1 है। उदाहरण के लिए, पूर्णांक 6, 10, 15 सहअभाज्य हैं क्योंकि 1 एकमात्र धनात्मक पूर्णांक है जो उन सभी को विभाजित करता है।
पूर्णांकों का समुच्चय (गणित)। <math>S=\{a_1,a_2, \dots a_n\}</math> इसे सहअभाज्य या समुच्चयवार सहअभाज्य भी कहा जा सकता है यदि समुच्चय के सभी अवयवों का सबसे बड़ा सामान्य भाजक 1 है। उदाहरण के लिए, पूर्णांक 6, 10, 15 सहअभाज्य हैं क्योंकि 1 एकमात्र धनात्मक पूर्णांक है जो उन सभी को विभाजित करता है।


यदि पूर्णांकों के समुच्चय में प्रत्येक युग्म सहअभाज्य है, तो समुच्चय को जोड़ीवार सहअभाज्य (या जोड़ीवार अपेक्षाकृत अभाज्य, परस्पर सहअभाज्य या परस्पर अपेक्षाकृत अभाज्य) कहा जाता है। जोड़ीवार सह-प्रधानता, समुच्चयवार सह-प्रधानता की तुलना में अधिक मजबूत स्थिति है; प्रत्येक जोड़ीवार सहअभाज्य परिमित सेट भी सेटवार सहअभाज्य है, लेकिन इसका विपरीत सत्य नहीं है। उदाहरण के लिए, पूर्णांक 4, 5, 6 (सेटवार) सहअभाज्य हैं (क्योंकि उन सभी को विभाजित करने वाला एकमात्र धनात्मक पूर्णांक 1 है), लेकिन वे जोड़ीवार सहअभाज्य नहीं हैं (क्योंकि {{math|1=gcd(4, 6) = 2}}).
यदि पूर्णांकों के समुच्चय में प्रत्येक युग्म सहअभाज्य है, तो समुच्चय को युग्‍मानूसार सहअभाज्य (या युग्‍मानूसार अपेक्षाकृत अभाज्य, परस्पर सहअभाज्य या परस्पर अपेक्षाकृत अभाज्य) कहा जाता है। युग्‍मानूसार सह-प्रधानता, समुच्चयवार सह-प्रधानता की तुलना में अधिक दृढ स्थिति है; प्रत्येक युग्‍मानूसार सहअभाज्य परिमित समुच्चय भी समुच्चयवार सहअभाज्य है, परन्तु इसका विपरीत सत्य नहीं है। उदाहरण के लिए, पूर्णांक 4, 5, 6 (समुच्चयवार) सहअभाज्य हैं (क्योंकि उन सभी को विभाजित करने वाला एकमात्र धनात्मक पूर्णांक 1 है), परन्तु वे युग्‍मानूसार सहअभाज्य नहीं हैं (क्योंकि {{math|1=gcd(4, 6) = 2}}).


चीनी शेषफल प्रमेय जैसे संख्या सिद्धांत में कई परिणामों में जोड़ीदार सह-प्राथमिकता की अवधारणा परिकल्पना के रूप में महत्वपूर्ण है।
चीनी शेषफल प्रमेय जैसे संख्या सिद्धांत में कई परिणामों में जोड़ीदार सह-प्राथमिकता की अवधारणा परिकल्पना के रूप में महत्वपूर्ण है।


पूर्णांकों के अनंत समुच्चय का जोड़ीवार सहअभाज्य होना संभव है। उल्लेखनीय उदाहरणों में सभी अभाज्य संख्याओं का सेट, सिल्वेस्टर के अनुक्रम में तत्वों का सेट और सभी फ़र्मेट संख्याओं का सेट शामिल हैं।
पूर्णांकों के अनंत समुच्चय का युग्‍मानूसार सहअभाज्य होना संभव है। उल्लेखनीय उदाहरणों में सभी अभाज्य संख्याओं का समुच्चय, सिल्वेस्टर के अनुक्रम में अवयवों का समुच्चय और सभी फ़र्मेट संख्याओं का समुच्चय शामिल हैं।


== वलय आदर्शों में सहप्रधानता ==
== वलय आदर्शों में सहप्रधानता ==
Line 52: Line 53:
दो यादृच्छिक रूप से चुने गए पूर्णांक दिए गए हैं {{mvar|a}} और {{mvar|b}}, यह पूछना उचित है कि इसकी कितनी संभावना है {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं। इस निर्धारण में, उस लक्षण वर्णन का उपयोग करना सुविधाजनक है {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं यदि और केवल यदि कोई अभाज्य संख्या उन दोनों को विभाजित नहीं करती है ([[अंकगणित का मौलिक प्रमेय]] देखें)।
दो यादृच्छिक रूप से चुने गए पूर्णांक दिए गए हैं {{mvar|a}} और {{mvar|b}}, यह पूछना उचित है कि इसकी कितनी संभावना है {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं। इस निर्धारण में, उस लक्षण वर्णन का उपयोग करना सुविधाजनक है {{mvar|a}} और {{mvar|b}} सहअभाज्य हैं यदि और केवल यदि कोई अभाज्य संख्या उन दोनों को विभाजित नहीं करती है ([[अंकगणित का मौलिक प्रमेय]] देखें)।


अनौपचारिक रूप से, संभावना है कि कोई संख्या अभाज्य (या वास्तव में किसी पूर्णांक) से विभाज्य है {{mvar|p}} है {{tmath|\tfrac{1}{p};}} उदाहरण के लिए, प्रत्येक 7वाँ पूर्णांक 7 से विभाज्य है। इसलिए संभावना है कि दो संख्याएँ दोनों से विभाज्य हैं {{mvar|p}} है {{tmath|\tfrac{1}{p^2},}} और संभावना है कि उनमें से कम से कम नहीं है {{tmath|1-\tfrac{1}{p^2}.}} अलग-अलग अभाज्य संख्याओं से जुड़ी विभाज्यता घटनाओं का कोई भी सीमित संग्रह परस्पर स्वतंत्र है। उदाहरण के लिए, दो घटनाओं के मामले में, संख्या अभाज्य संख्याओं से विभाज्य होती है {{mvar|p}} और {{mvar|q}} यदि और केवल यदि यह विभाज्य है {{mvar|pq}}; बाद वाली घटना की संभावना है {{tmath|\tfrac{1}{pq}.}} यदि कोई अनुमानी धारणा बनाता है कि इस तरह के तर्क को अनंत रूप से कई विभाज्यता घटनाओं तक बढ़ाया जा सकता है, तो उसे अनुमान लगाया जाता है कि दो संख्याओं के सहअभाज्य होने की संभावना सभी अभाज्यों पर उत्पाद द्वारा दी गई है,
अनौपचारिक रूप से, संभावना है कि कोई संख्या अभाज्य (या वस्तुतः किसी पूर्णांक) से विभाज्य है {{mvar|p}} है {{tmath|\tfrac{1}{p};}} उदाहरण के लिए, प्रत्येक 7वाँ पूर्णांक 7 से विभाज्य है। इसलिए संभावना है कि दो संख्याएँ दोनों से विभाज्य हैं {{mvar|p}} है {{tmath|\tfrac{1}{p^2},}} और संभावना है कि उनमें से कम से कम नहीं है {{tmath|1-\tfrac{1}{p^2}.}} अलग-अलग अभाज्य संख्याओं से जुड़ी विभाज्यता घटनाओं का कोई भी सीमित संग्रह परस्पर स्वतंत्र है। उदाहरण के लिए, दो घटनाओं के मामले में, संख्या अभाज्य संख्याओं से विभाज्य होती है {{mvar|p}} और {{mvar|q}} यदि और केवल यदि यह विभाज्य है {{mvar|pq}}; बाद वाली घटना की संभावना है {{tmath|\tfrac{1}{pq}.}} यदि कोई अनुमानी धारणा बनाता है कि इस तरह के तर्क को अनंत रूप से कई विभाज्यता घटनाओं तक बढ़ाया जा सकता है, तो उसे अनुमान लगाया जाता है कि दो संख्याओं के सहअभाज्य होने की संभावना सभी अभाज्यों पर गुणनफल द्वारा दी गई है,


: <math>\prod_{\text{prime } p} \left(1-\frac{1}{p^2}\right) = \left( \prod_{\text{prime } p} \frac{1}{1-p^{-2}} \right)^{-1} = \frac{1}{\zeta(2)} = \frac{6}{\pi^2} \approx 0.607927102 \approx 61\%.</math>
: <math>\prod_{\text{prime } p} \left(1-\frac{1}{p^2}\right) = \left( \prod_{\text{prime } p} \frac{1}{1-p^{-2}} \right)^{-1} = \frac{1}{\zeta(2)} = \frac{6}{\pi^2} \approx 0.607927102 \approx 61\%.</math>
यहाँ {{mvar|&zeta;}} [[रीमैन ज़ेटा फ़ंक्शन]] को संदर्भित करता है, अभाज्य से अधिक उत्पाद से संबंधित पहचान {{math|''&zeta;''(2)}} [[यूलर उत्पाद]] का उदाहरण है, और इसका मूल्यांकन {{math|''&zeta;''(2)}} जैसा {{math|''π''<sup>2</sup>/6}} [[बेसल समस्या]] है, जिसे 1735 में [[लियोनहार्ड यूलर]] ने हल किया था।
यहाँ {{mvar|&zeta;}} [[रीमैन ज़ेटा फ़ंक्शन|रीमैन ज़ेटा फलन]] को संदर्भित करता है, अभाज्य से अधिक गुणनफल से संबंधित पहचान {{math|''&zeta;''(2)}} [[यूलर उत्पाद|यूलर गुणनफल]] का उदाहरण है, और इसका मूल्यांकन {{math|''&zeta;''(2)}} जैसा {{math|''π''<sup>2</sup>/6}} [[बेसल समस्या]] है, जिसे 1735 में [[लियोनहार्ड यूलर]] ने हल किया था।


यादृच्छिक रूप से सकारात्मक पूर्णांक चुनने का कोई तरीका नहीं है ताकि प्रत्येक सकारात्मक पूर्णांक समान संभावना के साथ हो, लेकिन ऊपर दिए गए जैसे यादृच्छिक रूप से चुने गए पूर्णांकों के बारे में कथनों को [[प्राकृतिक घनत्व]] की धारणा का उपयोग करके औपचारिक रूप दिया जा सकता है। प्रत्येक धनात्मक पूर्णांक के लिए {{mvar|N}}, होने देना {{mvar|P{{sub|N}}}}दो यादृच्छिक रूप से चुनी गई संख्याओं के होने की प्रायिकता है <math>\{1,2,\ldots,N\}</math> सहअभाज्य हैं. यद्यपि {{mvar|P{{sub|N}}}} कभी बराबर नहीं होगा {{math|6/''π''<sup>2</sup>}} बिल्कुल, काम के साथ<ref>This theorem was proved by [[Ernesto Cesàro]] in 1881. For a proof, see {{harvnb|Hardy|Wright|2008|loc=Theorem 332}}</ref> कोई इसे सीमा के रूप में दिखा सकता है <math>N \to \infty,</math> संभावना {{mvar|P{{sub|N}}}} दृष्टिकोण {{math|6/''π''<sup>2</sup>}}.
यादृच्छिक रूप से धनात्मक पूर्णांक चुनने का कोई तरीका नहीं है ताकि प्रत्येक धनात्मक पूर्णांक समान संभावना के साथ हो, परन्तु ऊपर दिए गए जैसे यादृच्छिक रूप से चुने गए पूर्णांकों के बारे में कथनों को [[प्राकृतिक घनत्व]] की धारणा का उपयोग करके औपचारिक रूप दिया जा सकता है। प्रत्येक धनात्मक पूर्णांक के लिए {{mvar|N}}, होने देना {{mvar|P{{sub|N}}}}दो यादृच्छिक रूप से चुनी गई संख्याओं के होने की प्रायिकता है <math>\{1,2,\ldots,N\}</math> सहअभाज्य हैं. यद्यपि {{mvar|P{{sub|N}}}} कभी बराबर नहीं होगा {{math|6/''π''<sup>2</sup>}} बिल्कुल, काम के साथ<ref>This theorem was proved by [[Ernesto Cesàro]] in 1881. For a proof, see {{harvnb|Hardy|Wright|2008|loc=Theorem 332}}</ref> कोई इसे सीमा के रूप में दिखा सकता है <math>N \to \infty,</math> संभावना {{mvar|P{{sub|N}}}} दृष्टिकोण {{math|6/''π''<sup>2</sup>}}.


अधिक सामान्यतः, की संभावना {{mvar|k}} यादृच्छिक रूप से चुने गए पूर्णांक सहअभाज्य हैं {{tmath|\tfrac{1}{\zeta(k)}.}}
अधिक सामान्यतः, की संभावना {{mvar|k}} यादृच्छिक रूप से चुने गए पूर्णांक सहअभाज्य हैं {{tmath|\tfrac{1}{\zeta(k)}.}}
Line 75: Line 76:
मशीन डिज़ाइन में, समान, समान [[गियर]] घिसाव को अपेक्षाकृत प्रमुख होने के लिए साथ जुड़ने वाले दो गियर के दांतों की संख्या का चयन करके प्राप्त किया जाता है। जब 1:1 [[गियर ट्रेन]] की आवश्यकता होती है, तो उनके बीच दो समान आकार के गियर के लिए अपेक्षाकृत प्राइम गियर डाला जा सकता है।
मशीन डिज़ाइन में, समान, समान [[गियर]] घिसाव को अपेक्षाकृत प्रमुख होने के लिए साथ जुड़ने वाले दो गियर के दांतों की संख्या का चयन करके प्राप्त किया जाता है। जब 1:1 [[गियर ट्रेन]] की आवश्यकता होती है, तो उनके बीच दो समान आकार के गियर के लिए अपेक्षाकृत प्राइम गियर डाला जा सकता है।


प्री-कंप्यूटर [[क्रिप्टोग्राफी]] में, कुछ [[वर्नाम सिफर]] मशीनों ने विभिन्न लंबाई के कुंजी टेप के कई लूपों को संयोजित किया। कई [[रोटर मशीन]]ें अलग-अलग संख्या में दांतों के रोटरों को जोड़ती हैं। ऐसे संयोजन तब सबसे अच्छा काम करते हैं जब लंबाई का पूरा सेट जोड़ीवार सहअभाज्य हो।<ref>
प्री-कंप्यूटर [[क्रिप्टोग्राफी]] में, कुछ [[वर्नाम सिफर]] मशीनों ने विभिन्न लंबाई के कुंजी टेप के कई लूपों को संयोजित किया। कई [[रोटर मशीन]]ें अलग-अलग संख्या में दांतों के रोटरों को जोड़ती हैं। ऐसे संयोजन तब सबसे अच्छा काम करते हैं जब लंबाई का पूरा समुच्चय युग्‍मानूसार सहअभाज्य हो।<ref>
Klaus Pommerening.
Klaus Pommerening.
[https://www.staff.uni-mainz.de/pommeren/Cryptology/Classic/4_Cylinder/LongPeriods.html "Cryptology: Key Generators with Long Periods"].
[https://www.staff.uni-mainz.de/pommeren/Cryptology/Classic/4_Cylinder/LongPeriods.html "Cryptology: Key Generators with Long Periods"].

Revision as of 10:31, 6 July 2023

संख्या सिद्धांत में, दो पूर्णांक a और b सहअभाज्य, अपेक्षाकृत अभाज्य या परस्पर अभाज्य हैं यदि एकमात्र धनात्मक पूर्णांक जो उन दोनों का विभाजक है, 1 है।[1] परिणामस्वरूप, कोई भी अभाज्य संख्या जो a को विभाजित करती है वह b को विभाजित नहीं करती है, और इसके विपरीत भी। यह उनके सबसे बड़े सामान्य भाजक (जीसीडी) 1 के बराबर है।[2] कोई यह भी कहता है कि a, b से अभाज्य है या a, b से सहअभाज्य है।

संख्या 8 और 9 सहअभाज्य हैं, इस तथ्य के अतिरिक्त कि इनमें से किसी को भी व्यक्तिगत रूप से अभाज्य संख्या नहीं माना जाता है, क्योंकि 1 उनका एकमात्र सामान्य भाजक है। दूसरी ओर, 6 और 9 सहअभाज्य नहीं हैं, क्योंकि वे दोनों 3 से विभाज्य हैं। परिभाषा के अनुसार, घटे हुए भिन्न के अंश और हर सहअभाज्य होते हैं।

संकेतन और परीक्षण

जब पूर्णांक a और b सहअभाज्य होते हैं, तो गणितीय संकेतन में इस तथ्य को व्यक्त करने की मानक विधि सूत्र gcd(a, b) = 1 या (a, b) = 1 द्वारा यह इंगित करना है कि उनका सबसे बड़ा सामान्य भाजक एक है। अपनी 1989 की पाठ्यपुस्तक कंक्रीट गणित में, रोनाल्ड ग्राहम, डोनाल्ड नुथ और ओरेन पाटश्निक ने यह इंगित करने के लिए एक वैकल्पिक संकेतन का प्रस्ताव दिया कि a और b अपेक्षाकृत अभाज्य हैं और सहअभाज्य ( (जैसा कि a, b से अभाज्य है) के अतिरिक्त "अभाज्य" शब्द का उपयोग किया जाना चाहिए।[3]

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

1 और n के बीच, एक धनात्मक पूर्णांक n के साथ सहअभाज्य पूर्णांकों की संख्या, यूलर के टोटिएंट फलन द्वारा दी जाती है, जिसे यूलर के फाई फलन, φ(n) के रूप में भी जाना जाता है।

पूर्णांकों के समुच्चय (गणित) को सहअभाज्य भी कहा जा सकता है यदि इसके अवयवों में 1 को छोड़कर कोई सामान्य धनात्मक कारक नहीं है। पूर्णांकों के समुच्चय पर दृढ स्थिति युग्‍मानूसार सहअभाज्य है, जिसका अर्थ है कि समुच्चय में विभिन्न पूर्णांकों के प्रत्येक युग्म (a, b) के लिए a और b सहअभाज्य हैं। समुच्चय {2, 3, 4} सहअभाज्य है, परन्तु यह युग्‍मानूसार सहअभाज्य नहीं है क्योंकि 2 और 4 अपेक्षाकृत अभाज्य नहीं हैं।

गुण

संख्याएँ 1 और −1 प्रत्येक पूर्णांक के साथ सहअभाज्य एकमात्र पूर्णांक हैं, और वे एकमात्र पूर्णांक हैं जो 0 के साथ सहअभाज्य हैं।

कई स्थितियाँ हैं a और b के सहअभाज्य होने के समतुल्य हैं:

  • कोई भी अभाज्य संख्या a और b दोनों को विभाजित नहीं करती है।
  • ऐसे पूर्णांक x, y स्थित हैं कि ax + by = 1 (बेज़आउट की पहचान देखें)।
  • पूर्णांक b में मॉड्यूलर गुणक व्युत्क्रम मॉड्यूल a है, जिसका अर्थ है कि पूर्णांक y स्थित है जैसे कि by ≡ 1 (mod a) द्वारा। वलय-सैद्धांतिक भाषा में, b पूर्णांक मॉड्यूलर अंकगणित a के वलय (गणित) में एक इकाई (वलय सिद्धांत) है।
  • xk (mod a) और xm (mod b) के रूप के किसी अज्ञात पूर्णांक x के लिए सर्वांगसम संबंधों के प्रत्येक युग्म का हल होता है (चीनी शेषफल प्रमेय); वस्तुतः हलों का वर्णन एकल सर्वांगसम संबंध मॉड्यूलो ab द्वारा किया जाता है।
  • a और b का लघुत्तम समापवर्त्य उनके गुणनफल ab के बराबर है, अर्थात lcm(a, b) = ab[4]

तीसरे बिंदु के परिणामस्वरूप, यदि a और b सहअभाज्य हैं और brbs (mod a), तब rs (mod a).[5] अर्थात्, हम विभाजित कर सकते हैं b मॉड्यूलो काम करते समय a. इसके अलावा, यदि b1, b2 दोनों सहअभाज्य हैं a, तो उनका गुणनफल भी वैसा ही है b1b2 (अर्थात्, प्रपत्र a यह व्युत्क्रमणीय अवयवों का गुणनफल है, और इसलिए व्युत्क्रमणीय है);[6] यह यूक्लिड के लेम्मा के पहले बिंदु से भी अनुसरण करता है, जो बताता है कि यदि अभाज्य संख्या है p किसी गुणनफल को विभाजित करता है bc, तब p कम से कम कारक को विभाजित करता है b, c.

पहले बिंदु के परिणामस्वरूप, यदि a और b सहअभाज्य हैं, तो कोई भी शक्तियाँ भी हैं ak और bm.

अगर a और b सहअभाज्य हैं और a गुणनफल को विभाजित करता है bc, तब a बांटता है c.[7] इसे यूक्लिड की प्रमेयिका के सामान्यीकरण के रूप में देखा जा सकता है।

चित्र 1. संख्याएँ 4 और 9 सहअभाज्य हैं। इसलिए, 4 × 9 जाली का विकर्ण किसी अन्य वर्गाकार जाली को नहीं काटता है

दो पूर्णांक a और b सहअभाज्य हैं यदि और केवल यदि निर्देशांक वाला बिंदु (a, b) कार्टेशियन समन्वय प्रणाली में मूल से दृष्टि की अबाधित रेखा के माध्यम से दिखाई देगा (0, 0), इस अर्थ में कि मूल और के बीच के रेखा खंड पर कहीं भी पूर्णांक निर्देशांक वाला कोई बिंदु नहीं है (a, b). (चित्र 1 देखें)

एक अर्थ में जिसे सटीक बनाया जा सकता है, संभावना है कि दो यादृच्छिक रूप से चुने गए पूर्णांक सहअभाज्य हैं 6/π2, जो लगभग 61% है (देखें § Probability of coprimality, नीचे)।

दो प्राकृतिक संख्याएँ a और b सहअभाज्य हैं यदि और केवल यदि संख्याएँ 2a – 1 और 2b – 1 सहअभाज्य हैं।[8] इसके सामान्यीकरण के रूप में, सूत्र में यूक्लिडियन एल्गोरिथम का आसानी से अनुसरण किया जा सकता है n > 1:

समुच्चयों में सहप्रधानता

पूर्णांकों का समुच्चय (गणित)। इसे सहअभाज्य या समुच्चयवार सहअभाज्य भी कहा जा सकता है यदि समुच्चय के सभी अवयवों का सबसे बड़ा सामान्य भाजक 1 है। उदाहरण के लिए, पूर्णांक 6, 10, 15 सहअभाज्य हैं क्योंकि 1 एकमात्र धनात्मक पूर्णांक है जो उन सभी को विभाजित करता है।

यदि पूर्णांकों के समुच्चय में प्रत्येक युग्म सहअभाज्य है, तो समुच्चय को युग्‍मानूसार सहअभाज्य (या युग्‍मानूसार अपेक्षाकृत अभाज्य, परस्पर सहअभाज्य या परस्पर अपेक्षाकृत अभाज्य) कहा जाता है। युग्‍मानूसार सह-प्रधानता, समुच्चयवार सह-प्रधानता की तुलना में अधिक दृढ स्थिति है; प्रत्येक युग्‍मानूसार सहअभाज्य परिमित समुच्चय भी समुच्चयवार सहअभाज्य है, परन्तु इसका विपरीत सत्य नहीं है। उदाहरण के लिए, पूर्णांक 4, 5, 6 (समुच्चयवार) सहअभाज्य हैं (क्योंकि उन सभी को विभाजित करने वाला एकमात्र धनात्मक पूर्णांक 1 है), परन्तु वे युग्‍मानूसार सहअभाज्य नहीं हैं (क्योंकि gcd(4, 6) = 2).

चीनी शेषफल प्रमेय जैसे संख्या सिद्धांत में कई परिणामों में जोड़ीदार सह-प्राथमिकता की अवधारणा परिकल्पना के रूप में महत्वपूर्ण है।

पूर्णांकों के अनंत समुच्चय का युग्‍मानूसार सहअभाज्य होना संभव है। उल्लेखनीय उदाहरणों में सभी अभाज्य संख्याओं का समुच्चय, सिल्वेस्टर के अनुक्रम में अवयवों का समुच्चय और सभी फ़र्मेट संख्याओं का समुच्चय शामिल हैं।

वलय आदर्शों में सहप्रधानता

दो अंगूठी आदर्श A और B क्रमविनिमेय वलय में R को कोप्राइम (या कोमैक्सिमल) कहा जाता है यदि यह बेज़ाउट की पहचान को सामान्यीकृत करता है: इस परिभाषा के साथ, दो प्रमुख आदर्श (a) और (b) पूर्णांकों के वलय में सहअभाज्य हैं यदि और केवल यदि a और b सहअभाज्य हैं। यदि आदर्श A और B का R तो सहअभाज्य हैं इसके अलावा, यदि C तीसरा आदर्श ऐसा है A रोकना BC, तब A रोकना C. चीनी शेषफल प्रमेय को सहअभाज्य आदर्शों का उपयोग करके किसी भी क्रमविनिमेय वलय के लिए सामान्यीकृत किया जा सकता है।

सहप्राथमिकता की संभावना

दो यादृच्छिक रूप से चुने गए पूर्णांक दिए गए हैं a और b, यह पूछना उचित है कि इसकी कितनी संभावना है a और b सहअभाज्य हैं। इस निर्धारण में, उस लक्षण वर्णन का उपयोग करना सुविधाजनक है a और b सहअभाज्य हैं यदि और केवल यदि कोई अभाज्य संख्या उन दोनों को विभाजित नहीं करती है (अंकगणित का मौलिक प्रमेय देखें)।

अनौपचारिक रूप से, संभावना है कि कोई संख्या अभाज्य (या वस्तुतः किसी पूर्णांक) से विभाज्य है p है उदाहरण के लिए, प्रत्येक 7वाँ पूर्णांक 7 से विभाज्य है। इसलिए संभावना है कि दो संख्याएँ दोनों से विभाज्य हैं p है और संभावना है कि उनमें से कम से कम नहीं है अलग-अलग अभाज्य संख्याओं से जुड़ी विभाज्यता घटनाओं का कोई भी सीमित संग्रह परस्पर स्वतंत्र है। उदाहरण के लिए, दो घटनाओं के मामले में, संख्या अभाज्य संख्याओं से विभाज्य होती है p और q यदि और केवल यदि यह विभाज्य है pq; बाद वाली घटना की संभावना है यदि कोई अनुमानी धारणा बनाता है कि इस तरह के तर्क को अनंत रूप से कई विभाज्यता घटनाओं तक बढ़ाया जा सकता है, तो उसे अनुमान लगाया जाता है कि दो संख्याओं के सहअभाज्य होने की संभावना सभी अभाज्यों पर गुणनफल द्वारा दी गई है,

यहाँ ζ रीमैन ज़ेटा फलन को संदर्भित करता है, अभाज्य से अधिक गुणनफल से संबंधित पहचान ζ(2) यूलर गुणनफल का उदाहरण है, और इसका मूल्यांकन ζ(2) जैसा π2/6 बेसल समस्या है, जिसे 1735 में लियोनहार्ड यूलर ने हल किया था।

यादृच्छिक रूप से धनात्मक पूर्णांक चुनने का कोई तरीका नहीं है ताकि प्रत्येक धनात्मक पूर्णांक समान संभावना के साथ हो, परन्तु ऊपर दिए गए जैसे यादृच्छिक रूप से चुने गए पूर्णांकों के बारे में कथनों को प्राकृतिक घनत्व की धारणा का उपयोग करके औपचारिक रूप दिया जा सकता है। प्रत्येक धनात्मक पूर्णांक के लिए N, होने देना PNदो यादृच्छिक रूप से चुनी गई संख्याओं के होने की प्रायिकता है सहअभाज्य हैं. यद्यपि PN कभी बराबर नहीं होगा 6/π2 बिल्कुल, काम के साथ[9] कोई इसे सीमा के रूप में दिखा सकता है संभावना PN दृष्टिकोण 6/π2.

अधिक सामान्यतः, की संभावना k यादृच्छिक रूप से चुने गए पूर्णांक सहअभाज्य हैं

सभी सहअभाज्य जोड़े उत्पन्न करना

(2,1) पर जड़ित वृक्ष। जड़ (2,1) को लाल रंग में दर्शाया गया है, इसके तीन बच्चों को नारंगी रंग में दिखाया गया है, तीसरी पीढ़ी को पीले रंग में दिखाया गया है, और इसी तरह इंद्रधनुष क्रम में। एक्स-अक्ष के निकट और अन्य अंतरालों में सहअभाज्य जोड़े हैं जो नहीं दिखाए गए हैं क्योंकि बिंदु देखने में बहुत छोटे हैं।

धनात्मक सहअभाज्य संख्याओं के सभी जोड़े (m, n) (साथ m > n) को दो असंयुक्त पूर्ण टर्नरी वृक्षों में व्यवस्थित किया जा सकता है, वृक्ष से प्रारंभ करके (2, 1) (सम-विषम और विषम-सम जोड़ियों के लिए),[10] और दूसरा पेड़ से शुरू होता है (3, 1) (विषम-विषम जोड़ियों के लिए)।[11] प्रत्येक शिखर के बच्चे (m, n) इस प्रकार उत्पन्न होते हैं:

  • शाखा 1:
  • शाखा 2:
  • शाखा 3:

यह योजना संपूर्ण और अनावश्यक है, इसमें कोई अमान्य सदस्य नहीं है। यह टिप्पणी करके सिद्ध किया जा सकता है कि, यदि के साथ सहअभाज्य युग्म है तब

  • अगर तब का बच्चा है शाखा 3 के साथ;
  • अगर तब का बच्चा है शाखा 2 के साथ;
  • अगर तब का बच्चा है शाखा 1 के साथ.

सभी मामलों में के साथ छोटा सहअभाज्य युग्म है पिता की गणना की यह प्रक्रिया तभी रुक सकती है जब दोनों में से कोई हो या इन मामलों में, सहप्रधानता का तात्पर्य यह है कि जोड़ी या तो है या

अनुप्रयोग

मशीन डिज़ाइन में, समान, समान गियर घिसाव को अपेक्षाकृत प्रमुख होने के लिए साथ जुड़ने वाले दो गियर के दांतों की संख्या का चयन करके प्राप्त किया जाता है। जब 1:1 गियर ट्रेन की आवश्यकता होती है, तो उनके बीच दो समान आकार के गियर के लिए अपेक्षाकृत प्राइम गियर डाला जा सकता है।

प्री-कंप्यूटर क्रिप्टोग्राफी में, कुछ वर्नाम सिफर मशीनों ने विभिन्न लंबाई के कुंजी टेप के कई लूपों को संयोजित किया। कई रोटर मशीनें अलग-अलग संख्या में दांतों के रोटरों को जोड़ती हैं। ऐसे संयोजन तब सबसे अच्छा काम करते हैं जब लंबाई का पूरा समुच्चय युग्‍मानूसार सहअभाज्य हो।[12][13][14][15]

सामान्यीकरण

इस अवधारणा को अन्य बीजगणितीय संरचनाओं तक बढ़ाया जा सकता है उदाहरण के लिए, ऐसे बहुपद जिनका बहुपद सबसे बड़ा सामान्य भाजक 1 है, सहअभाज्य बहुपद कहलाते हैं।

यह भी देखें

टिप्पणियाँ

  1. Eaton, James S. (1872). अंकगणित पर एक ग्रंथ. Boston: Thompson, Bigelow & Brown. p. 49. Retrieved 10 January 2022. Two numbers are mutually prime when no whole number but one will divide each of them
  2. Hardy & Wright 2008, p. 6
  3. Graham, R. L.; Knuth, D. E.; Patashnik, O. (1989), Concrete Mathematics / A Foundation for Computer Science, Addison-Wesley, p. 115, ISBN 0-201-14236-8
  4. Ore 1988, p. 47
  5. Niven & Zuckerman 1966, p. 22, Theorem 2.3(b)
  6. Niven & Zuckerman 1966, p. 6, Theorem 1.8
  7. Niven & Zuckerman 1966, p.7, Theorem 1.10
  8. Rosen 1992, p. 140
  9. This theorem was proved by Ernesto Cesàro in 1881. For a proof, see Hardy & Wright 2008, Theorem 332
  10. Saunders, Robert & Randall, Trevor (July 1994), "The family tree of the Pythagorean triplets revisited", Mathematical Gazette, 78: 190–193, doi:10.2307/3618576.
  11. Mitchell, Douglas W. (July 2001), "An alternative characterisation of all primitive Pythagorean triples", Mathematical Gazette, 85: 273–275, doi:10.2307/3622017.
  12. Klaus Pommerening. "Cryptology: Key Generators with Long Periods".
  13. David Mowry. "German Cipher Machines of World War II". 2014. p. 16; p. 22.
  14. Dirk Rijmenants. "Origins of One-time pad".
  15. Gustavus J. Simmons. "Vernam-Vigenère cipher".

संदर्भ

अग्रिम पठन

  • Lord, Nick (March 2008), "A uniform construction of some infinite coprime sequences", Mathematical Gazette, 92: 66–70.