अंकगणित का मौलिक प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
Line 1: Line 1:
{{short description|Integers have unique prime factorizations}}
{{short description|Integers have unique prime factorizations}}
{{Distinguish|Fundamental theorem of algebra}}
{{Distinguish|Fundamental theorem of algebra}}
[[File:Disqvisitiones-800.jpg|thumb|[[अंकगणितीय शोध]] (1801) में [[कार्ल फ्रेडरिक गॉस]] ने अद्वितीय कारककरण प्रमेय साबित किया <ref name="Gauss1801.loc=16">{{Harvtxt|Gauss|Clarke|1986|loc=Art. 16}}</ref> और इसका उपयोग द्विघात पारस्परिकता के नियम को सिद्ध करने के लिए किया।<ref>{{Harvtxt|Gauss|Clarke|1986|loc=Art. 131}}</ref>]]गणित में, अंकगणित के मौलिक प्रमेय को अद्वितीय गुणनखंड प्रमेय और अभाज्य गुणनखंड प्रमेय भी कहा जाता है, और यह भी बताता है कि 1 से अधिक प्रत्येक [[पूर्णांक]] को [[अभाज्य संख्या]]ओं के गुणनफल के रूप में कारकों के क्रम [[तक]] दर्शाया जा सकता है।<ref>{{harvtxt|Long|1972|p=44}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=53}}</ref><ref>{{Harvtxt|Hardy|Wright|2008|loc=Thm 2}}</ref> उदाहरण के लिए,
[[File:Disqvisitiones-800.jpg|thumb|[[अंकगणितीय शोध]] (1801) में [[कार्ल फ्रेडरिक गॉस]] ने अद्वितीय कारककरण प्रमेय साबित किया <ref name="Gauss1801.loc=16">{{Harvtxt|Gauss|Clarke|1986|loc=Art. 16}}</ref> और इसका उपयोग द्विघात पारस्परिकता के नियम को सिद्ध करने के लिए किया।<ref>{{Harvtxt|Gauss|Clarke|1986|loc=Art. 131}}</ref>]]गणित में, अंकगणित के मौलिक प्रमेय को अद्वितीय गुणनखंड प्रमेय और अभाज्य गुणनखंड प्रमेय भी कहा जाता है, और यह भी बताता है कि 1 से अधिक प्रत्येक [[पूर्णांक]] को [[अभाज्य संख्या]]ओं के गुणनफल के रूप में गुणकों  के क्रम [[तक]] दर्शाया जा सकता है।<ref>{{harvtxt|Long|1972|p=44}}</ref><ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=53}}</ref><ref>{{Harvtxt|Hardy|Wright|2008|loc=Thm 2}}</ref> उदाहरण के लिए,


:<math>
:<math>
Line 8: Line 8:
प्रमेय इस उदाहरण के विषय में दो बातें बताता है: पहला यह कि 1200 को अभाज्य संख्याओं के गुणनफल के रूप में प्रदर्शित किया जा सकता है और दूसरा यह की कोई फर्क नहीं पड़ता कि यह कैसे किया जाता है,गुणनफल में हमेशा चार 2s, एक 3s ,दो 5s और कोई अन्य अभाज्य संख्याएँ नहीं होंगी।
प्रमेय इस उदाहरण के विषय में दो बातें बताता है: पहला यह कि 1200 को अभाज्य संख्याओं के गुणनफल के रूप में प्रदर्शित किया जा सकता है और दूसरा यह की कोई फर्क नहीं पड़ता कि यह कैसे किया जाता है,गुणनफल में हमेशा चार 2s, एक 3s ,दो 5s और कोई अन्य अभाज्य संख्याएँ नहीं होंगी।


कारकों का अभाज्य होना आवश्यक है:: [[समग्र संख्या|सम्पूर्ण संख्या]] वाले गुणनखंड अद्वितीय नहीं हो सकते हैं
गुणकों का अभाज्य होना आवश्यक है:: [[समग्र संख्या|सम्पूर्ण संख्या]] वाले गुणनखंड अद्वितीय नहीं हो सकते हैं
(उदाहरण के लिए, <math>12 = 2 \cdot 6 = 3 \cdot 4</math>).
(उदाहरण के लिए, <math>12 = 2 \cdot 6 = 3 \cdot 4</math>).


Line 17: Line 17:
== इतिहास ==
== इतिहास ==


मौलिक प्रमेय को यूक्लिड की पुस्तक VII, प्रस्ताव 30, 31 और 32, और पुस्तक IX, प्रस्ताव 14 से प्राप्त किया जा सकता है।
मौलिक प्रमेय को यूक्लिड की पुस्तक में  VII, प्रस्ताव 30, 31 और 32, और पुस्तक IX, प्रस्ताव 14 से प्राप्त किया जा सकता है।
{{Quotation|
{{Quotation|
If two numbers by multiplying one another make some
If two numbers by multiplying one another make some
Line 23: Line 23:
also measure one of the original numbers.
also measure one of the original numbers.
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book VII]], Proposition 30}}
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book VII]], Proposition 30}}
(आधुनिक शब्दावली में: यदि एक अभाज्य संख्या p गुणनफल ab को विभाजित करता है, या तो संख्या p अलग-अलग  a या b या दोनों को विभाजित करता है।) तो  प्रस्ताव 30 को "यूक्लिड की लेम्मा" कहा जाता है, और यह अंकगणित के मूलभूत प्रमेय के प्रमाण की कुंजी है।
(आधुनिक शब्दावली में: यदि एक अभाज्य संख्या p गुणनफल ab को विभाजित करता हैऔर या तो संख्या p अलग-अलग  a या b या दोनों को विभाजित करता है।) तो  प्रस्ताव 30 को "यूक्लिड की लेम्मा" कहा जाता है, और यह अंकगणित के मूलभूत प्रमेय के प्रमाण की कुंजी है।


{{Quotation|
{{Quotation|
Line 39: Line 39:
other prime number except those originally measuring it.
other prime number except those originally measuring it.
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book IX]], Proposition 14}}
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book IX]], Proposition 14}}
(आधुनिक शब्दावली में: कई अभाज्य संख्याओं का लघुत्तम समापवर्त्य किसी अन्य अभाज्य संख्या का गुणज नहीं होता है।) जो पुस्तक IX, प्रस्ताव 14 को पुस्तक VII, प्रस्ताव 30 से लिया गया है, और यह आंशिक रूप से साबित करता है कि गुणनखंड  अद्वितीय है - इस बिंदु को गणितज्ञ आंद्रे वेल द्वारा अपने पुस्तक में लिखा गया।<ref>{{Harvtxt|Weil|2007|p=5}}: "Even in Euclid, we fail to find a general statement about the uniqueness of the factorization of an integer into primes; surely he may have been aware of it, but all he has is a statement (Eucl.IX.I4) about the l.c.m. of any number of given primes."</ref> वास्तव में, इस प्रस्ताव के सभी घातांक एक के बराबर हैं, इसलिए सामान्य समस्यों के लिए कुछ नहीं कहा गया है।
(आधुनिक शब्दावली में: कई अभाज्य संख्याओं का लघुत्तम समापवर्त्य किसी अन्य अभाज्य संख्या का गुणज नहीं होता है।) जो पुस्तक IX, प्रस्ताव 14 को पुस्तक VII, प्रस्ताव 30 से लिया गया है, और यह आंशिक रूप से साबित करता है कि गुणनखंड  अद्वितीय है - इस बिंदु को गणितज्ञ आंद्रे वेल ने अपने पुस्तक में लिखा है।<ref>{{Harvtxt|Weil|2007|p=5}}: "Even in Euclid, we fail to find a general statement about the uniqueness of the factorization of an integer into primes; surely he may have been aware of it, but all he has is a statement (Eucl.IX.I4) about the l.c.m. of any number of given primes."</ref> वास्तव में, इस प्रस्ताव के सभी घातांक एक के बराबर हैं, अत: सामान्य समस्यों के लिए कुछ नहीं कहा गया है।


जबकि यूक्लिड ने अभाज्य गुणनखण्ड के विद्यमानता के लिय पहला कदम उठाया तो कमल अल-दीन अल-फारसी ने अपनी अंतिम प्रयास <ref>{{Cite journal |last=A. Goksel Agargun and E. Mehmet Özkan |title=A Historical Survey of the Fundamental Theorem of Arithmetic |url=https://core.ac.uk/download/pdf/82721726.pdf |journal=Historia Mathematica |pages=209|quote=One could say that Euclid takes the first step on the way to the existence of prime factorization, and al-Farisi takes the final step by actually proving the existence of a finite prime factorization in his first proposition.}}</ref> में पहली बार अंकगणित का मौलिक प्रमेय बताया।<ref>{{Cite book|url=https://books.google.com/books?id=7veIAgAAQBAJ&q=fundamental+theorem+of+arithmetic+discovered+al-farisi&pg=PA385|title=Encyclopedia of the History of Arabic Science|last=Rashed|first=Roshdi|date=2002-09-11|publisher=Routledge|isbn=9781134977246|language=en|page=385|quote=The famous physicist and mathematician Kamal al-Din al-Farisi compiled a paper in which he set out deliberately to prove the theorem of Ibn Qurra in an algebraic way. This forced him to an understanding of the first arithmetical functions and to a full preparation which led him to state for the first time the fundamental theorem of arithmetic.}}</ref>
जब यूक्लिड ने अभाज्य गुणनखण्ड के सत्यता के लिय पहला कदम उठाया तो कमल अल-दीन अल-फारसी ने अपनी अंतिम प्रयास <ref>{{Cite journal |last=A. Goksel Agargun and E. Mehmet Özkan |title=A Historical Survey of the Fundamental Theorem of Arithmetic |url=https://core.ac.uk/download/pdf/82721726.pdf |journal=Historia Mathematica |pages=209|quote=One could say that Euclid takes the first step on the way to the existence of prime factorization, and al-Farisi takes the final step by actually proving the existence of a finite prime factorization in his first proposition.}}</ref> में पहली बार अंकगणित का मौलिक प्रमेय बताया।<ref>{{Cite book|url=https://books.google.com/books?id=7veIAgAAQBAJ&q=fundamental+theorem+of+arithmetic+discovered+al-farisi&pg=PA385|title=Encyclopedia of the History of Arabic Science|last=Rashed|first=Roshdi|date=2002-09-11|publisher=Routledge|isbn=9781134977246|language=en|page=385|quote=The famous physicist and mathematician Kamal al-Din al-Farisi compiled a paper in which he set out deliberately to prove the theorem of Ibn Qurra in an algebraic way. This forced him to an understanding of the first arithmetical functions and to a full preparation which led him to state for the first time the fundamental theorem of arithmetic.}}</ref>
गॉस का अंकगणितीय  विवेचनात्मक को अनुच्छेद 16 मॉड्यूलर अंकगणित को नियोजित करने वाला एक  आधुनिक कथन और प्रमाण है।<ref name="Gauss1801.loc=16" />
गॉस का अंकगणितीय  विवेचनात्मक को अनुच्छेद 16 मॉड्यूलर अंकगणित को नियोजित करने वाला एक  आधुनिक कथन और प्रमाण है।<ref name="Gauss1801.loc=16" />


Line 53: Line 53:
= \prod_{i=1}^{k} p_i^{n_i},
= \prod_{i=1}^{k} p_i^{n_i},
</math>
</math>
जहाँ {{math|''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p''<sub>k</sub>}} अभाज्य संख्याएँ हैं और {{math|''n''<sub>''i''</sub>}} सकारात्मक पूर्णांक हैं,तो यह निरूपण आमतौर पर सभी सकारात्मक पूर्णांकों तक बढ़ाया जाता है, जिसमें 1 भी शामिल है,और सम्मेलन द्वारा कि खाली परिणाम 1 के बराबर है (खाली परिणाम k = 0 से मेल खाता है)।
जहाँ {{math|''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p''<sub>k</sub>}} अभाज्य संख्याएँ हैं और {{math|''n''<sub>''i''</sub>}} सकारात्मक पूर्णांक हैं,तो यह निरूपण समान्यत: सभी सकारात्मक पूर्णांकों तक बढ़ाया जाता है, जिसमें 1 भी शामिल है,और इस परिपाटी द्वारा कि खाली परिणाम 1 के बराबर है।


इस निरूपण को n का विहित (कैनोनिकल) निरूपण<ref>{{harvtxt|Long|1972|p=45}}</ref> या n का मानक रूप <ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=55}}</ref> <ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 1.2}}</ref> कहा जाता है।  
इस निरूपण को n का विहित (कैनोनिकल) निरूपण<ref>{{harvtxt|Long|1972|p=45}}</ref> या n का मानक रूप <ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=55}}</ref> <ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 1.2}}</ref> कहा जाता है।  
Line 61: Line 61:
:1001 = 7×11×13.
:1001 = 7×11×13.


कारक p0 = 1 को n के मान को बदले बिना डाला जा सकता है (उदाहरण के लिए, 1000 = 23×30×53) वास्तव में, किसी भी सकारात्मक पूर्णांक को विशिष्ट रूप से सभी सकारात्मक अभाज्य संख्याओं पर लिए गए [[अनंत उत्पाद]] के रूप में दर्शाया जा सकता है|
कारक p0 = 1 को n के मान को बदले बिना सम्मिलित किया जा सकता है (उदाहरण के लिए, 1000 = 23×30×53) वास्तव में, किसी भी सकारात्मक पूर्णांक को विशिष्ट रूप से सभी सकारात्मक अभाज्य संख्याओं पर लिए गए [[अनंत उत्पाद|अनंत परिणाम]]   के रूप में दर्शाया जा सकता है|
:<math>n=2^{n_1}3^{n_2}5^{n_3}7^{n_4}\cdots=\prod_{i=1}^\infty p_i^{n_i},</math>
:<math>n=2^{n_1}3^{n_2}5^{n_3}7^{n_4}\cdots=\prod_{i=1}^\infty p_i^{n_i},</math>
जहां की एक परिमित संख्या {{math|''n''<sub>''i''</sub>}} धनात्मक पूर्णांक हैं, और अन्य शून्य हैं।
जहां की एक परिमित संख्या {{math|''n''<sub>''i''</sub>}} धनात्मक पूर्णांक हैं, और अन्य शून्य हैं।
Line 81: Line 81:
=== अंकगणितीय कार्य ===
=== अंकगणितीय कार्य ===
{{Main article|Arithmetic function}}
{{Main article|Arithmetic function}}
कई अंकगणितीय कार्यों को विहित (कैनोनिकल) निरूपण का उपयोग करके परिभाषित किया गया है। विशेष रूप से, योज्य और गुणात्मक कार्यों के मूल्यों को अभाज्य संख्याओं की शक्तियों पर उनके मूल्यों द्वारा निर्धारित किया जाता है।
कई अंकगणितीय कार्यों को विहित (कैनोनिकल) निरूपण का उपयोग करके परिभाषित किया गया है। विशेष रूप से, योज्य और गुणात्मक कार्यों के मूल्यों को अभाज्य संख्याओं की सहायता से उनके मूल्यों द्वारा निर्धारित किया जाता है।


== प्रमाण ==
== प्रमाण ==
प्रमाण यूक्लिड के लेम्मा (तत्व VII, 30) का उपयोग करता है: यदि कोई अभाज्य दो पूर्णांकों के गुणनफल को विभाजित करता है, तो उसे इनमें से कम से कम एक पूर्णांक को विभाजित करना चाहिए।   
सत्यता के जाँच के लिय यूक्लिड के लेम्मा (तत्व VII, 30) प्रमेय की आवश्यकता पड़ती है: यदि कोई अभाज्य दो पूर्णांकों के गुणनफल को विभाजित करता है, तो उसे इनमें से कम से कम एक पूर्णांक को विभाजित करना चाहिए।   


=== अस्तित्व ===
=== अस्तित्व ===
Line 93: Line 93:


=== यूक्लिड की लेम्मा के बिना विशिष्टता ===
=== यूक्लिड की लेम्मा के बिना विशिष्टता ===
यूक्लिड लेम्मा के प्रमेय का उपयोग किए बिना अंकगणित के मौलिक प्रमेय को सिद्ध किया जा सकता है।<ref>{{citation |last1=Dawson |first1=John W. |title=Why Prove it Again? Alternative Proofs in Mathematical Practice. |date=2015 |publisher=Springer |isbn=9783319173689 |page=45}}</ref>इसके बाद का प्रमाण यूक्लिडियन एल्गोरिथम के यूक्लिड के मूल संस्करण से प्रेरित है।
यूक्लिड लेम्मा के प्रमेय का उपयोग किए बिना अंकगणित के मौलिक प्रमेय को सिद्ध किया जा सकता है।<ref>{{citation |last1=Dawson |first1=John W. |title=Why Prove it Again? Alternative Proofs in Mathematical Practice. |date=2015 |publisher=Springer |isbn=9783319173689 |page=45}}</ref>इसके बाद का प्रमाण यूक्लिडियन एल्गोरिथम के यूक्लिड के मूल संस्करण से प्रेरित होता है |


मान लें कि s सबसे छोटा सकारात्मक पूर्णांक है जो दो अलग-अलग तरीकों से अभाज्य संख्याओं का गुणनफल है। इसका तात्पर्य यह है कि s यदि मौजूद है, तो 1 से अधिक एक संयुक्त संख्या होनी चाहिए।  
मान लें कि s सबसे छोटा सकारात्मक पूर्णांक है जो दो अलग-अलग तरीकों से अभाज्य संख्याओं का गुणनफल है। इसका तात्पर्य यह है कि s यदि मौजूद है, तो 1 से अधिक एक संयुक्त संख्या होनी चाहिए।  
Line 112: Line 112:
जैसा कि s से कम धनात्मक पूर्णांकों को अद्वितीय अभाज्य गुणनखण्ड माना गया है, <math>p_1</math>या तो <math>q_1-p_1</math> या {{mvar|Q}} के गुणनखंड में होना चाहिए | बाद वाली  स्थिति असंभव है, क्योंकि Q, s से छोटा होने के कारण, एक अद्वितीय अभाज्य गुणनखण्ड होना चाहिए, और p1 प्रत्येक qj से भिन्न होता है पूर्व का स्थिति भी असंभव है यदि p1, (<math>q_1-p_1</math> ) का भाजक है, तो यह q1 का भाजक भी होना चाहिए जो असंभव है क्योंकि p1 और q1 अलग-अलग अभाज्य संख्या हैं।
जैसा कि s से कम धनात्मक पूर्णांकों को अद्वितीय अभाज्य गुणनखण्ड माना गया है, <math>p_1</math>या तो <math>q_1-p_1</math> या {{mvar|Q}} के गुणनखंड में होना चाहिए | बाद वाली  स्थिति असंभव है, क्योंकि Q, s से छोटा होने के कारण, एक अद्वितीय अभाज्य गुणनखण्ड होना चाहिए, और p1 प्रत्येक qj से भिन्न होता है पूर्व का स्थिति भी असंभव है यदि p1, (<math>q_1-p_1</math> ) का भाजक है, तो यह q1 का भाजक भी होना चाहिए जो असंभव है क्योंकि p1 और q1 अलग-अलग अभाज्य संख्या हैं।


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


== सामान्यीकरण ==
== सामान्यीकरण ==
[[द्विवर्गीय पारस्परिकता]] पर गॉस के दूसरे मोनोग्राफ (1832) में प्रमेय का पहला सामान्यीकरण पाया जाता है। इस पत्र ने पेश किया जिसे अब गॉसियन पूर्णांकों का वलय कहा जाता है, सभी सम्मिश्र संख्याओं का समुच्चय a + bi जहाँ a और b पूर्णांक हैं। इसे अब <math>\mathbb{Z}[i].</math> द्वारा निरूपित किया जाता है| उन्होंने दिखाया कि इस वलय की चार इकाइयाँ ±1 और ±i हैं, कि गैर-शून्य, गैर-इकाई संख्याएँ दो वर्गों, अभाज्य और सम्मिश्र में आती हैं, और यह कि (ऑर्डर को छोड़कर), सम्मिश्र में अभाज्य का उत्पाद के रूप में अद्वितीय गुणनखंड होता है। <ref>[[#CITEREFGauss1832|Gauss, BQ, §§ 31–34]]</ref>
[[द्विवर्गीय पारस्परिकता]] पर गॉस के दूसरे मोनोग्राफ (1832) में प्रमेय का पहला सामान्यीकरण पाया जाता है। इस पत्र ने पेश किया जिसे अब गॉसियन पूर्णांकों का वलय कहा जाता है, सभी सम्मिश्र संख्याओं का समुच्चय a + bi जहाँ a और b पूर्णांक हैं। इसे अब <math>\mathbb{Z}[i].</math> द्वारा निरूपित किया जाता है| उन्होंने दिखाया कि इस वलय की चार इकाइयाँ ±1 और ±i हैं, कि गैर-शून्य, गैर-इकाई संख्याएँ दो वर्गों, अभाज्य और सम्मिश्र में आती हैं, और यह कि (क्रम को छोड़कर), सम्मिश्र में अभाज्य का परिणाम  के रूप में अद्वितीय गुणनखंड होता है। <ref>[[#CITEREFGauss1832|Gauss, BQ, §§ 31–34]]</ref>


इसी तरह से 1844 में [[घन पारस्परिकता]] पर काम करते हुए गोथोल्ड ईसेनस्टीन ने एक बलय की शुरुआत की <math>\mathbb{Z}[\omega]</math>, जहाँ  <math display="inline">\omega = \frac{-1 + \sqrt{-3}}{2},</math>   <math>\omega^3 = 1</math> एकता का घनमूल है। यह आइज़ेंस्ताइन पूर्णांकों का वलय है, और उन्होंने सिद्ध किया कि इसकी छह इकाइयाँ हैं <math>\pm 1, \pm\omega, \pm\omega^2</math> और इसका अद्वितीय गुणनखंड है।
इसी तरह से 1844 में [[घन पारस्परिकता]] पर काम करते हुए गोथोल्ड ईसेनस्टीन ने एक <math>\mathbb{Z}[\omega]</math> बलय की शुरुआत की, जहाँ  <math display="inline">\omega = \frac{-1 + \sqrt{-3}}{2},</math>   <math>\omega^3 = 1</math> घनमूल है। यह ईसेनस्टीन पूर्णांकों का वलय है, और उन्होंने सिद्ध किया कि इसकी छह इकाइयाँ हैं <math>\pm 1, \pm\omega, \pm\omega^2</math> और इसका अद्वितीय गुणनखंड है।


हालाँकि, यह भी पता चला कि अद्वितीय गुणनखंड हमेशा नहीं होता है। जैसा की उदाहरण में  दिया गया है  <math>\mathbb{Z}[\sqrt{-5}]</math>. इस बलय में एक है<ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 14.6}}</ref>
हालाँकि, यह भी पता चला कि अद्वितीय गुणनखंड हमेशा नहीं होता है। जैसा की   <math>\mathbb{Z}[\sqrt{-5}]</math> का  उदाहरण दिया गया है, और  इस बलय में से एक है<ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 14.6}}</ref>
:<math>
:<math>
   6 =
   6 =
Line 125: Line 125:
   \left(1 + \sqrt{-5}\right)\left(1 - \sqrt{-5}\right).
   \left(1 + \sqrt{-5}\right)\left(1 - \sqrt{-5}\right).
</math>
</math>
इस तरह के उदाहरणों ने अभाज्य की धारणा को संशोधित किया। <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> में यह सिद्ध किया जा सकता है कि यदि उपरोक्त में से किसी भी कारक को उत्पाद के रूप में दर्शाया जा सकता है, उदाहरण के लिए, 2 = ab, तो a या b में से एक एक इकाई होना चाहिए। यह अभाज्य की पारंपरिक परिभाषा है।यह भी सिद्ध किया जा सकता है कि इनमें से कोई भी कारक यूक्लिड की प्रमेयिका का पालन नहीं करता है; उदाहरण के लिए, 2 न तो (1 + √−5) और न ही (1 − √−5) को विभाजित करता है, भले ही यह उनके गुणनफल 6 को विभाजित करता हो। [[बीजगणितीय संख्या सिद्धांत]] में 2 को अखंडनीय अवयव कहा जाता है <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> (केवल स्वयं या एक इकाई द्वारा विभाज्य) लेकिन अभाज्य अवयव नहीं <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> (यदि यह किसी उत्पाद को विभाजित करता है तो इसे कारकों में से एक को विभाजित करना होगा)। <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> का उल्लेख आवश्यक है क्योंकि 2 अभाज्य है और इसमें <math>\mathbb{Z}</math> अखंडनीय है| इन परिभाषाओं का उपयोग करके यह सिद्ध किया जा सकता है कि किसी भी [[अभिन्न डोमेन|अविभाज्य क्षेत्र (डोमेन)]] में एक अभाज्य अलघुकरणीय होना चाहिए। यूक्लिड की लेम्मा  प्रमेय को पूर्णांकों के वलय के रूप में फिर से परिभाषित किया जा सकता है <math>\mathbb{Z}</math> एक अलघुकरणीय अभाज्य है। में भी यह सच है <math>\mathbb{Z}[i]</math> और <math>\mathbb{Z}[\omega],</math> लेकिन अंदर नहीं <math>\mathbb{Z}[\sqrt{-5}].</math>
इस तरह के उदाहरणों ने अभाज्य की धारणा को संशोधित किया। <math>\mathbb{Z}\left[\sqrt{-5}\right]</math>के द्वारा यह सिद्ध किया जा सकता है कि यदि उपरोक्त में से किसी भी कारक को उत्पाद के रूप में दर्शाया जा सकता है, उदाहरण के लिए, 2 = ab, तो a या b में से एक इकाई होना चाहिए। यह अभाज्य की पारंपरिक परिभाषा है।यह भी सिद्ध किया जा सकता है कि इनमें से कोई भी कारक यूक्लिड की प्रमेयिका का पालन नहीं करता है; उदाहरण के लिए, 2 न तो (1 + √−5) और न ही (1 − √−5) को विभाजित करता है, भले ही यह उनके गुणनफल 6 को विभाजित करता हो। [[बीजगणितीय संख्या सिद्धांत]] में 2 को अखंडनीय अवयव कहा जाता है <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> (केवल स्वयं या एक इकाई द्वारा विभाज्य) लेकिन अभाज्य अवयव नहीं <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> (यदि यह किसी उत्पाद को विभाजित करता है तो इसे कारकों में से एक को विभाजित करना होगा)। <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> का उल्लेख आवश्यक है क्योंकि 2 अभाज्य है और इसमें <math>\mathbb{Z}</math> अखंडनीय है| इन परिभाषाओं का उपयोग करके यह सिद्ध किया जा सकता है कि किसी भी [[अभिन्न डोमेन|अविभाज्य क्षेत्र (डोमेन)]] में एक अभाज्य अलघुकरणीय होना चाहिए। यूक्लिड की लेम्मा  प्रमेय को पूर्णांकों के वलय के रूप में फिर से परिभाषित किया जा सकता है <math>\mathbb{Z}</math> एक अलघुकरणीय अभाज्य है। में भी यह सच है <math>\mathbb{Z}[i]</math> और <math>\mathbb{Z}[\omega],</math> लेकिन अंदर नहीं <math>\mathbb{Z}[\sqrt{-5}].</math>


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


1843 में [[गंभीर दु:ख|कुमेर]] ने [[आदर्श संख्या]] की अवधारणा को पेश किया , जिसे बाद में  [[रिचर्ड डेडेकिंड]] ने 1876 में आदर्शों के आधुनिक सिद्धांत को रिंगों के विशेष उपसमुच्चय के रूप में  विकसित किया। गुणा को आदर्शों के लिए परिभाषित किया गया है, और जिन छल्लों में उनका अद्वितीय गुणनखंड है, उन्हें [[डेडेकिंड डोमेन|डेडेकिंड क्षेत्र (डोमेन)]] कहा जाता है।
1843 में [[गंभीर दु:ख|कुमेर]] ने [[आदर्श संख्या]] की अवधारणा को पेश किया, जिसे बाद में  [[रिचर्ड डेडेकिंड]] ने 1876 में आदर्शों के आधुनिक सिद्धांत को रिंगों के विशेष उपसमुच्चय के रूप में  विकसित किया। को आदर्शों के लिए परिभाषित किया गया है, और जिन छल्लों में उनका अद्वितीय गुणनखंड है, उन्हें [[डेडेकिंड डोमेन|डेडेकिंड क्षेत्र (डोमेन)]] कहा जाता है।


अध्यादेशों के लिए अद्वितीय गुणनखंड का एक संस्करण है, हालांकि इसके लिए विशिष्टता सुनिश्चित करने के लिए कुछ अतिरिक्त शर्तों की आवश्यकता होती है।
क्रमवाचक संख्या के लिए अद्वितीय गुणनखंड का एक विवरण है, हालांकि इसके लिए विशिष्टता को सुनिश्चित करने के लिए कुछ अतिरिक्त शर्तों की आवश्यकता होती है।


== यह भी देखें ==
== यह भी देखें ==

Revision as of 12:06, 17 February 2023

अंकगणितीय शोध (1801) में कार्ल फ्रेडरिक गॉस ने अद्वितीय कारककरण प्रमेय साबित किया [1] और इसका उपयोग द्विघात पारस्परिकता के नियम को सिद्ध करने के लिए किया।[2]

गणित में, अंकगणित के मौलिक प्रमेय को अद्वितीय गुणनखंड प्रमेय और अभाज्य गुणनखंड प्रमेय भी कहा जाता है, और यह भी बताता है कि 1 से अधिक प्रत्येक पूर्णांक को अभाज्य संख्याओं के गुणनफल के रूप में गुणकों के क्रम तक दर्शाया जा सकता है।[3][4][5] उदाहरण के लिए,

प्रमेय इस उदाहरण के विषय में दो बातें बताता है: पहला यह कि 1200 को अभाज्य संख्याओं के गुणनफल के रूप में प्रदर्शित किया जा सकता है और दूसरा यह की कोई फर्क नहीं पड़ता कि यह कैसे किया जाता है,गुणनफल में हमेशा चार 2s, एक 3s ,दो 5s और कोई अन्य अभाज्य संख्याएँ नहीं होंगी।

गुणकों का अभाज्य होना आवश्यक है:: सम्पूर्ण संख्या वाले गुणनखंड अद्वितीय नहीं हो सकते हैं (उदाहरण के लिए, ).

यह प्रमेय मुख्य कारणों में से एक है कि क्यों 1 को अभाज्य संख्या नहीं माना जाता है: यदि 1 अभाज्य थे, तो अभाज्यों में गुणनखंड अद्वितीय नहीं होगा; उदाहरण के लिए,

प्रमेय अन्य बीजगणितीय संरचनाओं को साधारणीकरण करता है जिन्हें अद्वितीय गुणनखंड क्षेत्र (डोमेन) कहा जाता है और इसमें एक क्षेत्र (गणित) पर प्रमुख आदर्श क्षेत्र (डोमेन), यूक्लिडियन क्षेत्र (डोमेन) और बहुपद बीजगणित शामिल होते हैं। हालाँकि, प्रमेय बीजगणितीय पूर्णांकों के लिए मान्य नहीं है।[6] अद्वितीय गुणनखंडन की यह विफलता "फर्मेट की अंतिम प्रमेय" के प्रमाण की कठिनाई के कारणों में से एक है। फर्मेट के कथन और विल्स के प्रमाण के बीच 358 वर्षों के दौरान लिखे गए कई झूठे प्रमाणों की त्रुटि के पीछे बीजगणितीय पूर्णांकों के वलयों में अद्वितीय गुणनखंड का सहज उपयोग है।

इतिहास

मौलिक प्रमेय को यूक्लिड की पुस्तक में VII, प्रस्ताव 30, 31 और 32, और पुस्तक IX, प्रस्ताव 14 से प्राप्त किया जा सकता है।

If two numbers by multiplying one another make some number, and any prime number measure the product, it will also measure one of the original numbers.

— Euclid, Elements Book VII, Proposition 30

(आधुनिक शब्दावली में: यदि एक अभाज्य संख्या p गुणनफल ab को विभाजित करता हैऔर या तो संख्या p अलग-अलग a या b या दोनों को विभाजित करता है।) तो प्रस्ताव 30 को "यूक्लिड की लेम्मा" कहा जाता है, और यह अंकगणित के मूलभूत प्रमेय के प्रमाण की कुंजी है।

Any composite number is measured by some prime number.

— Euclid, Elements Book VII, Proposition 31

(आधुनिक शब्दावली में: एक से अधिक प्रत्येक पूर्णांक को किसी भी अभाज्य संख्या से समान रूप से विभाजित किया जाता है।) प्रस्ताव 31 को अनंत अवरोही द्वारा आसानी से सिद्ध किया जाता है।

Any number either is prime or is measured by some prime number.

— Euclid, Elements Book VII, Proposition 32

प्रस्ताव 32 को प्रस्ताव 31 से लिया गया है, और यह साबित करता है कि गुणनखंड संभव है।

If a number be the least that is measured by prime numbers, it will not be measured by any other prime number except those originally measuring it.

— Euclid, Elements Book IX, Proposition 14

(आधुनिक शब्दावली में: कई अभाज्य संख्याओं का लघुत्तम समापवर्त्य किसी अन्य अभाज्य संख्या का गुणज नहीं होता है।) जो पुस्तक IX, प्रस्ताव 14 को पुस्तक VII, प्रस्ताव 30 से लिया गया है, और यह आंशिक रूप से साबित करता है कि गुणनखंड अद्वितीय है - इस बिंदु को गणितज्ञ आंद्रे वेल ने अपने पुस्तक में लिखा है।[7] वास्तव में, इस प्रस्ताव के सभी घातांक एक के बराबर हैं, अत: सामान्य समस्यों के लिए कुछ नहीं कहा गया है।

जब यूक्लिड ने अभाज्य गुणनखण्ड के सत्यता के लिय पहला कदम उठाया तो कमल अल-दीन अल-फारसी ने अपनी अंतिम प्रयास [8] में पहली बार अंकगणित का मौलिक प्रमेय बताया।[9] गॉस का अंकगणितीय विवेचनात्मक को अनुच्छेद 16 मॉड्यूलर अंकगणित को नियोजित करने वाला एक आधुनिक कथन और प्रमाण है।[1]


अनुप्रयोग

=== धनात्मक पूर्णांक === का विहित निरूपण प्रत्येक धनात्मक पूर्णांक n > 1 को अभाज्य घातों के गुणनफल के रूप में बिल्कुल एक तरह से दर्शाया जा सकता है

जहाँ p1 < p2 < ... < pk अभाज्य संख्याएँ हैं और ni सकारात्मक पूर्णांक हैं,तो यह निरूपण समान्यत: सभी सकारात्मक पूर्णांकों तक बढ़ाया जाता है, जिसमें 1 भी शामिल है,और इस परिपाटी द्वारा कि खाली परिणाम 1 के बराबर है।

इस निरूपण को n का विहित (कैनोनिकल) निरूपण[10] या n का मानक रूप [11] [12] कहा जाता है।

999 = 33×37,
1000 = 23×53</सुप>,
1001 = 7×11×13.

कारक p0 = 1 को n के मान को बदले बिना सम्मिलित किया जा सकता है (उदाहरण के लिए, 1000 = 23×30×53) वास्तव में, किसी भी सकारात्मक पूर्णांक को विशिष्ट रूप से सभी सकारात्मक अभाज्य संख्याओं पर लिए गए अनंत परिणाम के रूप में दर्शाया जा सकता है|

जहां की एक परिमित संख्या ni धनात्मक पूर्णांक हैं, और अन्य शून्य हैं।

ऋणात्मक घातांकों की अनुमति सकारात्मक परिमेय संख्याओं के लिए एक विहित (कैनोनिकल) रूप प्रदान करती है।

अंकगणितीय संक्रियाएं

परिणाम का प्रामाणिक प्रतिनिधित्व, दो संख्याओं a और b का महत्तम सामान्य भाजक(जीसीडी), और लघुतम समापवर्त्य (एलसीएम) केवल a और b के विहित (कैनोनिकल) निरूपण के संदर्भ में व्यक्त किया जा सकता है:

हालाँकि, पूर्णांक गुणनखंडन, विशेष रूप से बड़ी संख्या में, कंप्यूटिंग परिणाम, जीसीडी, या एलसीएम की तुलना में बहुत अधिक कठिन है। अतः व्यवहार में इन सूत्रों का बहुत कम उपयोग रहता है।

अंकगणितीय कार्य

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

प्रमाण

सत्यता के जाँच के लिय यूक्लिड के लेम्मा (तत्व VII, 30) प्रमेय की आवश्यकता पड़ती है: यदि कोई अभाज्य दो पूर्णांकों के गुणनफल को विभाजित करता है, तो उसे इनमें से कम से कम एक पूर्णांक को विभाजित करना चाहिए।

अस्तित्व

यह दिखाया जाना चाहिए कि 1 से बड़ा प्रत्येक पूर्णांक या तो अभाज्य है या अभाज्य संख्याओं का गुणनफल है। सबसे पहला अभाज्य संख्या 2 है। मान लें कि यह 1 से अधिक और n से कम सभी संख्याओं के लिए सत्य है। यदि n अभाज्य है, तो सिद्ध करने के लिए और कुछ नहीं है।अन्यथा, पूर्णांक a और b हैं, जहाँ n = a b, और 1 <a ≤ b < n है। प्रवर्तन परिकल्पना के अनुसार, a = p1 p2 ⋅⋅⋅ pj और b = q1 q2 ⋅⋅⋅ qkअभाज्य संख्याओं के गुणनफल हैं। लेकिन तब n = a b = p1 p2 ⋅⋅⋅ pj q1 q2 ⋅⋅⋅ qkअभाज्य संख्याओं का गुणनफल है।

विशिष्टता

मान लीजिए, इसके विपरीत, एक पूर्णांक है जिसमें दो अलग-अलग अभाज्य गुणनखंड हैं। माना n एक ऐसा सबसे छोटा पूर्णांक है जो लिखा गया है n = p1 p2 ... pj = q1 q2 ... qk, जहाँ प्रत्येक pi और qi अभाज्य संख्याएँ हैं। हम देखते हैं कि p1, (q1 q2 ... qk) को विभाजित करता है, इसलिए p1 कुछ qi को यूक्लिड की प्रमेय के द्वारा विभाजित करता है। साधारण नियम में कमी के बिना, मान लें कि p1, q1 को विभाजित करता है, चूँकि p1 और q1 दोनों अभाज्य संख्याएँ हैं, इसलिए p1 = q1 इस प्रकार है, कि n के गुणनखंडों पर वापस आते हुए हम निष्कर्ष निकालने के लिए इन दो कारकों को रद्द कर सकते हैं कि p2 ... pj = q2 ... qk अब हमारे पास n से छोटे कुछ पूर्णांक के दो अलग-अलग अभाज्य गुणनखंड हैं, जो n की न्यूनतमता के विपरीत हैं।

यूक्लिड की लेम्मा के बिना विशिष्टता

यूक्लिड लेम्मा के प्रमेय का उपयोग किए बिना अंकगणित के मौलिक प्रमेय को सिद्ध किया जा सकता है।[13]इसके बाद का प्रमाण यूक्लिडियन एल्गोरिथम के यूक्लिड के मूल संस्करण से प्रेरित होता है |

मान लें कि s सबसे छोटा सकारात्मक पूर्णांक है जो दो अलग-अलग तरीकों से अभाज्य संख्याओं का गुणनफल है। इसका तात्पर्य यह है कि s यदि मौजूद है, तो 1 से अधिक एक संयुक्त संख्या होनी चाहिए।

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

सेटिंग और किसी के पास इसके अलावा, चूंकि किसी के पास इसके बाद यह अनुसरण करता है

जैसा कि s से कम धनात्मक पूर्णांकों को अद्वितीय अभाज्य गुणनखण्ड माना गया है, या तो या Q के गुणनखंड में होना चाहिए | बाद वाली स्थिति असंभव है, क्योंकि Q, s से छोटा होने के कारण, एक अद्वितीय अभाज्य गुणनखण्ड होना चाहिए, और p1 प्रत्येक qj से भिन्न होता है पूर्व का स्थिति भी असंभव है यदि p1, ( ) का भाजक है, तो यह q1 का भाजक भी होना चाहिए जो असंभव है क्योंकि p1 और q1 अलग-अलग अभाज्य संख्या हैं।

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

सामान्यीकरण

द्विवर्गीय पारस्परिकता पर गॉस के दूसरे मोनोग्राफ (1832) में प्रमेय का पहला सामान्यीकरण पाया जाता है। इस पत्र ने पेश किया जिसे अब गॉसियन पूर्णांकों का वलय कहा जाता है, सभी सम्मिश्र संख्याओं का समुच्चय a + bi जहाँ a और b पूर्णांक हैं। इसे अब द्वारा निरूपित किया जाता है| उन्होंने दिखाया कि इस वलय की चार इकाइयाँ ±1 और ±i हैं, कि गैर-शून्य, गैर-इकाई संख्याएँ दो वर्गों, अभाज्य और सम्मिश्र में आती हैं, और यह कि (क्रम को छोड़कर), सम्मिश्र में अभाज्य का परिणाम के रूप में अद्वितीय गुणनखंड होता है। [14]

इसी तरह से 1844 में घन पारस्परिकता पर काम करते हुए गोथोल्ड ईसेनस्टीन ने एक बलय की शुरुआत की, जहाँ   घनमूल है। यह ईसेनस्टीन पूर्णांकों का वलय है, और उन्होंने सिद्ध किया कि इसकी छह इकाइयाँ हैं और इसका अद्वितीय गुणनखंड है।

हालाँकि, यह भी पता चला कि अद्वितीय गुणनखंड हमेशा नहीं होता है। जैसा की का उदाहरण दिया गया है, और इस बलय में से एक है[15]

इस तरह के उदाहरणों ने अभाज्य की धारणा को संशोधित किया। के द्वारा यह सिद्ध किया जा सकता है कि यदि उपरोक्त में से किसी भी कारक को उत्पाद के रूप में दर्शाया जा सकता है, उदाहरण के लिए, 2 = ab, तो a या b में से एक इकाई होना चाहिए। यह अभाज्य की पारंपरिक परिभाषा है।यह भी सिद्ध किया जा सकता है कि इनमें से कोई भी कारक यूक्लिड की प्रमेयिका का पालन नहीं करता है; उदाहरण के लिए, 2 न तो (1 + √−5) और न ही (1 − √−5) को विभाजित करता है, भले ही यह उनके गुणनफल 6 को विभाजित करता हो। बीजगणितीय संख्या सिद्धांत में 2 को अखंडनीय अवयव कहा जाता है (केवल स्वयं या एक इकाई द्वारा विभाज्य) लेकिन अभाज्य अवयव नहीं (यदि यह किसी उत्पाद को विभाजित करता है तो इसे कारकों में से एक को विभाजित करना होगा)। का उल्लेख आवश्यक है क्योंकि 2 अभाज्य है और इसमें अखंडनीय है| इन परिभाषाओं का उपयोग करके यह सिद्ध किया जा सकता है कि किसी भी अविभाज्य क्षेत्र (डोमेन) में एक अभाज्य अलघुकरणीय होना चाहिए। यूक्लिड की लेम्मा प्रमेय को पूर्णांकों के वलय के रूप में फिर से परिभाषित किया जा सकता है एक अलघुकरणीय अभाज्य है। में भी यह सच है और लेकिन अंदर नहीं

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

1843 में कुमेर ने आदर्श संख्या की अवधारणा को पेश किया, जिसे बाद में रिचर्ड डेडेकिंड ने 1876 में आदर्शों के आधुनिक सिद्धांत को रिंगों के विशेष उपसमुच्चय के रूप में विकसित किया। को आदर्शों के लिए परिभाषित किया गया है, और जिन छल्लों में उनका अद्वितीय गुणनखंड है, उन्हें डेडेकिंड क्षेत्र (डोमेन) कहा जाता है।

क्रमवाचक संख्या के लिए अद्वितीय गुणनखंड का एक विवरण है, हालांकि इसके लिए विशिष्टता को सुनिश्चित करने के लिए कुछ अतिरिक्त शर्तों की आवश्यकता होती है।

यह भी देखें


टिप्पणियाँ

  1. 1.0 1.1 Gauss & Clarke (1986, Art. 16)
  2. Gauss & Clarke (1986, Art. 131)
  3. Long (1972, p. 44)
  4. Pettofrezzo & Byrkit (1970, p. 53)
  5. Hardy & Wright (2008, Thm 2)
  6. In a ring of algebraic integers, the factorization into prime elements may be non unique, but one can recover a unique factorization if one factors into ideals.
  7. Weil (2007, p. 5): "Even in Euclid, we fail to find a general statement about the uniqueness of the factorization of an integer into primes; surely he may have been aware of it, but all he has is a statement (Eucl.IX.I4) about the l.c.m. of any number of given primes."
  8. A. Goksel Agargun and E. Mehmet Özkan. "A Historical Survey of the Fundamental Theorem of Arithmetic" (PDF). Historia Mathematica: 209. One could say that Euclid takes the first step on the way to the existence of prime factorization, and al-Farisi takes the final step by actually proving the existence of a finite prime factorization in his first proposition.
  9. Rashed, Roshdi (2002-09-11). Encyclopedia of the History of Arabic Science (in English). Routledge. p. 385. ISBN 9781134977246. The famous physicist and mathematician Kamal al-Din al-Farisi compiled a paper in which he set out deliberately to prove the theorem of Ibn Qurra in an algebraic way. This forced him to an understanding of the first arithmetical functions and to a full preparation which led him to state for the first time the fundamental theorem of arithmetic.
  10. Long (1972, p. 45)
  11. Pettofrezzo & Byrkit (1970, p. 55)
  12. Hardy & Wright (2008, § 1.2)
  13. Dawson, John W. (2015), Why Prove it Again? Alternative Proofs in Mathematical Practice., Springer, p. 45, ISBN 9783319173689
  14. Gauss, BQ, §§ 31–34
  15. Hardy & Wright (2008, § 14.6)


संदर्भ

The Disquisitiones Arithmeticae has been translated from 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.

The two monographs Gauss published on biquadratic reciprocity have consecutively numbered sections: the first contains §§ 1–23 and the second §§ 24–76. Footnotes referencing these are of the form "Gauss, BQ, § n". Footnotes referencing the Disquisitiones Arithmeticae are of the form "Gauss, DA, Art. n".

  • Gauss, Carl Friedrich (1828), Theoria residuorum biquadraticorum, Commentatio prima, Göttingen: Comment. Soc. regiae sci, Göttingen 6
  • Gauss, Carl Friedrich (1832), Theoria residuorum biquadraticorum, Commentatio secunda, Göttingen: Comment. Soc. regiae sci, Göttingen 7

These are in Gauss's Werke, Vol II, pp. 65–92 and 93–148; German translations are pp. 511–533 and 534–586 of the German edition of the Disquisitiones.


बाहरी संबंध