View source for अंकगणित का मौलिक प्रमेय

{{short description|Integers have unique prime factorizations}}
{{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> उदाहरण के लिए,

:<math>
1200 = 2^4 \cdot 3^1 \cdot 5^2 = (2 \cdot 2 \cdot 2 \cdot 2) \cdot 3 \cdot (5 \cdot 5) = 5 \cdot 2 \cdot 5 \cdot 2 \cdot 3 \cdot 2 \cdot 2 = \ldots
</math>
प्रमेय इस उदाहरण के बारे में दो बातें कहता है: पहला यह कि 1200 को अभाज्य संख्याओं के गुणनफल के रूप में प्रदर्शित किया जा सकता है और दूसरा यह की कोई फर्क नहीं पड़ता कि यह कैसे किया जाता है, उत्पाद में हमेशा चार 2s, एक 3s ,दो 5s और कोई अन्य अभाज्य संख्याएँ नहीं होंगी।

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

यह प्रमेय मुख्य कारणों में से एक है कि क्यों 1 को अभाज्य संख्या नहीं माना जाता है: यदि 1 अभाज्य थे, तो अभाज्यों में गुणनखंड अद्वितीय नहीं होगा; उदाहरण के लिए,<math>2 = 2 \cdot 1 = 2 \cdot 1 \cdot 1 = \ldots</math>

प्रमेय अन्य [[बीजगणितीय संरचना]]ओं को सामान्यीकरण करता है जिन्हें [[अद्वितीय गुणनखंड डोमेन|अद्वितीय गुणनखंड क्षेत्र (डोमेन)]] कहा जाता है और इसमें [[प्रमुख आदर्श डोमेन|प्रमुख आदर्श]]  [[अद्वितीय गुणनखंड डोमेन|क्षेत्र (डोमेन)]], [[यूक्लिडियन डोमेन|यूक्लिडियन क्षेत्र (डोमेन)]] और इसमें एक [[क्षेत्र (गणित)]] पर बहुपद के छल्ले शामिल होते हैं। हालाँकि, प्रमेय [[बीजगणितीय पूर्णांक|बीजगणितीय पूर्णांकों]] के लिए मान्य नहीं है।<ref>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 [[ideal (ring theory)|ideal]]s.</ref> अद्वितीय गुणनखंडन की यह विफलता फर्मेट की अंतिम प्रमेय के प्रमाण की कठिनाई के कारणों में से एक है। फर्मेट के कथन और विल्स के प्रमाण के बीच 358 वर्षों के दौरान लिखे गए कई झूठे प्रमाणों की त्रुटि के पीछे बीजगणितीय पूर्णांकों के छल्ले में अद्वितीय गुणनखंड का  सहज उपयोग है।

== इतिहास ==

मौलिक प्रमेय को यूक्लिड के तत्वों की पुस्तक VII, प्रस्ताव 30, 31 और 32, और पुस्तक IX, प्रस्ताव 14 से प्राप्त किया जा सकता है।
{{Quotation|
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|[[#CITEREFEuclidHeath1956|Elements Book VII]], Proposition 30}}
(आधुनिक शब्दावली में: यदि एक अभाज्य संख्या p गुणनफल ab को विभाजित करता है, या तो संख्या p, a या b या दोनों को विभाजित करता है।) तो  प्रस्ताव 30 को "यूक्लिड की लेम्मा" कहा जाता है, और यह अंकगणित के मूलभूत प्रमेय के प्रमाण की कुंजी है।

{{Quotation|
Any composite number is measured by some prime number.
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book VII]], Proposition 31}}
(आधुनिक शब्दावली में: एक से अधिक प्रत्येक पूर्णांक को किसी भी अभाज्य संख्या से समान रूप से विभाजित किया जाता है।) प्रस्ताव 31 को अनंत अवरोही द्वारा आसानी से सिद्ध किया जाता है।

{{Quotation|
Any number either is prime or is measured by some prime number.
|Euclid|[[#CITEREFEuclidHeath1956|Elements Book VII]], Proposition 32}}
प्रस्ताव 32 को प्रस्ताव 31 से लिया गया है, और यह साबित करता है कि गुणनखंड संभव है।

{{Quotation|
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|[[#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> दरअसल, इस प्रस्ताव में सभी घातांक एक के बराबर हैं, इसलिए सामान्य मामले के लिए कुछ नहीं कहा गया है।

जबकि यूक्लिड ने अभाज्य गुणनखण्ड के अस्तित्व की ओर पहला कदम उठाया तो कमल अल-दीन अल-फारसी ने अपनी अंतिम प्रयास <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" />


== अनुप्रयोग ==

=== धनात्मक पूर्णांक === का विहित निरूपण <!-- Redirect [[Canonical form]] links here -->
हर सकारात्मक पूर्णांक {{math|''n'' > 1}} प्रधान शक्तियों के उत्पाद के रूप में बिल्कुल एक तरह से प्रतिनिधित्व किया जा सकता है
:<math>
n = p_1^{n_1}p_2^{n_2} \cdots p_k^{n_k}
= \prod_{i=1}^{k} p_i^{n_i},
</math>
कहाँ {{math|''p''<sub>1</sub> < ''p''<sub>2</sub> < ... < ''p''<sub>k</sub>}} अभाज्य हैं और {{math|''n''<sub>''i''</sub>}} सकारात्मक पूर्णांक हैं। यह प्रतिनिधित्व आमतौर पर 1 सहित सभी सकारात्मक पूर्णांकों तक विस्तारित होता है, सम्मेलन द्वारा कि [[खाली उत्पाद]] 1 के बराबर होता है (खाली उत्पाद से मेल खाता है) {{math|1=''k'' = 0}}).

इस प्रतिनिधित्व को विहित प्रतिनिधित्व कहा जाता है<ref>{{harvtxt|Long|1972|p=45}}</ref> का {{math|''n''}}, या मानक रूप<ref>{{harvtxt|Pettofrezzo|Byrkit|1970|p=55}}</ref><ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 1.2}}</ref> एन की। उदाहरण के लिए,

: 999 = 3<sup>3</sup>×37,
: 1000 = 2<sup>3</sup>×5<sup>3</सुप>,
:1001 = 7×11×13.

कारकों {{math|1=''p''<sup>0</sup> = 1}} का मान बदले बिना डाला जा सकता है {{math|''n''}} (उदाहरण के लिए, {{math|1=1000 = 2<sup>3</sup>×3<sup>0</sup>×5<sup>3</sup>}}). वास्तव में, किसी भी सकारात्मक पूर्णांक को विशिष्ट रूप से सभी सकारात्मक अभाज्य संख्याओं पर लिए गए [[अनंत उत्पाद]] के रूप में दर्शाया जा सकता है
:<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>}} धनात्मक पूर्णांक हैं, और अन्य शून्य हैं।

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

===अंकगणितीय संक्रियाएं===
गुणनफल के विहित निरूपण, दो संख्याओं a और b का महत्तम समापवर्तक (GCD), और लघुतम समापवर्त्य (LCM) केवल a और b के विहित निरूपण के संदर्भ में व्यक्त किया जा सकता है:
:<math>\begin{alignat}{2}
 a\cdot b & = 2^{a_1+b_1}3^{a_2+b_2}5^{a_3+b_3}7^{a_4+b_4}\cdots
   && = \prod p_i^{a_i+b_i},\\
 \gcd(a,b) & = 2^{\min(a_1,b_1)}3^{\min(a_2,b_2)}5^{\min(a_3,b_3)}7^{\min(a_4,b_4)}\cdots
   && = \prod p_i^{\min(a_i,b_i)},\\
 \operatorname{lcm}(a,b) & = 2^{\max(a_1,b_1)}3^{\max(a_2,b_2)}5^{\max(a_3,b_3)}7^{\max(a_4,b_4)}\cdots
   && = \prod p_i^{\max(a_i,b_i)}.
 \end{alignat}</math>
हालाँकि, [[पूर्णांक गुणनखंडन]], विशेष रूप से बड़ी संख्या में, कंप्यूटिंग उत्पादों, GCDs, या LCMs की तुलना में बहुत अधिक कठिन है। अतः व्यवहार में इन सूत्रों का सीमित उपयोग है।

=== अंकगणितीय कार्य ===
{{Main article|Arithmetic function}}
कई अंकगणितीय कार्यों को विहित प्रतिनिधित्व का उपयोग करके परिभाषित किया गया है। विशेष रूप से, योज्य फलन और गुणक फलन फलनों के मान अभाज्य संख्याओं की घातों पर उनके मूल्यों द्वारा निर्धारित किए जाते हैं।

== प्रमाण ==
प्रमाण यूक्लिड के लेम्मा (तत्व VII, 30) का उपयोग करता है: यदि एक प्रधान [[भाजक]] दो पूर्णांकों का गुणनफल है, तो उसे इन पूर्णांकों में से कम से कम एक को विभाजित करना चाहिए।

=== अस्तित्व ===
यह अवश्य दिखाया जाना चाहिए कि प्रत्येक पूर्णांक इससे बड़ा है {{math|1}} या तो प्राइम है या प्राइम्स का उत्पाद है। पहला, {{math|2}} प्रधान है। फिर, मजबूत आगमन से, मान लें कि यह से बड़ी सभी संख्याओं के लिए सत्य है {{math|1}} और उससे कम {{math|''n''}}. अगर {{math|''n''}} प्रधान है, सिद्ध करने के लिए और कुछ नहीं है। अन्यथा, पूर्णांक हैं {{math|''a''}} और {{math|''b''}},  कहाँ {{math|1=''n'' = ''a b''}}, और {{math|1 < ''a'' ≤ ''b'' < ''n''}}. प्रेरण परिकल्पना द्वारा, {{math|1=''a'' = ''p''<sub>1</sub> ''p''<sub>2</sub> ⋅⋅⋅ ''p''<sub>''j''</sub>}} और {{math|1=''b'' = ''q''<sub>1</sub> ''q''<sub>2</sub> ⋅⋅⋅ ''q''<sub>''k''</sub>}} primes के उत्पाद हैं। परन्तु फिर {{math|1=''n'' = ''a b'' = ''p''<sub>1</sub> ''p''<sub>2</sub> ⋅⋅⋅ ''p''<sub>''j''</sub> ''q''<sub>1</sub> ''q''<sub>2</sub> ⋅⋅⋅ ''q''<sub>''k''</sub>}} प्राइम्स का एक उत्पाद है।

=== विशिष्टता ===
मान लीजिए, इसके विपरीत, एक पूर्णांक है जिसमें दो अलग-अलग अभाज्य गुणनखंड हैं। होने देना {{math|''n''}} कम से कम ऐसा पूर्णांक बनो और लिखो {{math|1=''n'' = ''p''<sub>1</sub> ''p''<sub>2</sub> ... ''p''<sub>''j''</sub> = ''q''<sub>1</sub> ''q''<sub>2</sub> ... ''q''<sub>''k''</sub>}}, जहां प्रत्येक {{math|''p''<sub>''i''</sub>}} और {{math|''q''<sub>''i''</sub>}} प्रधान है। हमने देखा कि {{math|''p''<sub>1</sub>}} विभाजित {{math|''q''<sub>1</sub> ''q''<sub>2</sub> ... ''q''<sub>''k''</sub>}}, इसलिए {{math|''p''<sub>1</sub>}} कुछ बांटता है {{math|''q''<sub>''i''</sub>}} यूक्लिड की लेम्मा द्वारा। सामान्यता के नुकसान के बिना, कहते हैं {{math|''p''<sub>1</sub>}} विभाजित {{math|''q''<sub>1</sub>}}. तब से {{math|''p''<sub>1</sub>}} और {{math|''q''<sub>1</sub>}} दोनों प्रमुख हैं, यह इस प्रकार है {{math|1=''p''<sub>1</sub> = ''q''<sub>1</sub>}}. के हमारे गुणनखंडों पर लौट रहे हैं {{math|''n''}}, हम यह निष्कर्ष निकालने के लिए इन दो कारकों को रद्द कर सकते हैं {{math|1=''p''<sub>2</sub> ... ''p''<sub>''j''</sub> = ''q''<sub>2</sub> ... ''q''<sub>''k''</sub>}}. अब हमारे पास दो विशिष्ट अभाज्य गुणनखंड हैं, जो किसी पूर्णांक से पूर्ण रूप से छोटे हैं {{math|''n''}}, जो की न्यूनतमता के विपरीत है {{math|''n''}}.

=== यूक्लिड की लेम्मा के बिना विशिष्टता ===
यूक्लिड के लेम्मा का उपयोग किए बिना अंकगणित के मौलिक प्रमेय को भी सिद्ध किया जा सकता है।<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> इसके बाद का प्रमाण [[यूक्लिडियन एल्गोरिथ्म]] के यूक्लिड के मूल संस्करण से प्रेरित है।

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

:<math>
\begin{align}
s
&=p_1 p_2 \cdots p_m \\
&=q_1 q_2 \cdots q_n.
\end{align}
</math>
प्रत्येक <math>p_i</math> हर से अलग होना चाहिए <math>q_j.</math> नहीं तो अगर कहें <math>p_i=q_j,</math> तब कोई धनात्मक पूर्णांक होगा <math>t=s/p_i=s/q_j</math> जो इससे छोटा है {{mvar|s}} और इसके दो भिन्न प्रधान गुणनखंड हैं। कोई यह भी मान सकता है <math>p_1 < q_1,</math> यदि आवश्यक हो, तो दो कारकों का आदान-प्रदान करके।

सेटिंग <math>P=p_2\cdots p_m</math> और <math>Q=q_2\cdots q_n,</math> किसी के पास <math>s=p_1P=q_1Q.</math>
इसके अलावा, चूंकि <math>p_1 < q_1,</math> किसी के पास <math>Q < P.</math>
इसके बाद यह अनुसरण करता है
:<math>s-p_1Q = (q_1-p_1)Q = p_1(P-Q) < s.</math>
सकारात्मक पूर्णांक से कम के रूप में {{mvar|s}} माना जाता है कि एक अद्वितीय प्रधान गुणनखंड है, <math>p_1</math> या तो के गुणनखंड में होना चाहिए <math>q_1-p_1</math> या {{mvar|Q}}. बाद वाला मामला असंभव है, जैसा {{mvar|Q}}, से छोटा होना {{mvar|s}}, एक अद्वितीय अभाज्य गुणनखण्ड होना चाहिए, और <math>p_1</math> प्रत्येक से भिन्न है <math>q_j.</math> पूर्व का मामला भी असंभव है, जैसे, अगर <math>p_1</math> का भाजक है <math>q_1-p_1,</math> यह का विभाजक भी होना चाहिए <math>q_1,</math> जो असम्भव है <math>p_1</math> और <math>q_1</math> विशिष्ट अभाज्य हैं।

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

== सामान्यीकरण ==
[[द्विवर्गीय पारस्परिकता]] पर गॉस के दूसरे मोनोग्राफ (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> और इसका अद्वितीय गुणनखंड है।

हालाँकि, यह भी पता चला कि अद्वितीय गुणनखंड हमेशा नहीं होता है। द्वारा एक उदाहरण दिया गया है <math>\mathbb{Z}[\sqrt{-5}]</math>. इस अंगूठी में एक है<ref>{{Harvtxt|Hardy|Wright|2008|loc=§ 14.6}}</ref>
:<math>
  6 =
  2 \cdot 3 =
  \left(1 + \sqrt{-5}\right)\left(1 - \sqrt{-5}\right).
</math>
इस तरह के उदाहरणों ने अभाज्य की धारणा को संशोधित किया। में <math>\mathbb{Z}\left[\sqrt{-5}\right]</math> यह सिद्ध किया जा सकता है कि यदि उपरोक्त में से किसी भी कारक को उत्पाद के रूप में दर्शाया जा सकता है, उदाहरण के लिए, 2 = ab, तो a या b में से एक एक इकाई होना चाहिए। यह प्राइम की पारंपरिक परिभाषा है। यह भी सिद्ध किया जा सकता है कि इनमें से कोई भी कारक यूक्लिड की प्रमेयिका का पालन नहीं करता है; उदाहरण के लिए, 2 न तो विभाजित करता है (1 + {{sqrt|&minus;5}}) न ही (1 - {{sqrt|&minus;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) ने आइडियल (रिंग थ्योरी) के आधुनिक सिद्धांत, रिंगों के विशेष उपसमुच्चय में और विकसित किया। गुणा को आदर्शों के लिए परिभाषित किया गया है, और जिन छल्लों में उनका अद्वितीय गुणनखंड है, उन्हें [[डेडेकिंड डोमेन]] कहा जाता है।

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

== यह भी देखें ==
* {{annotated link|Integer factorization}}
* {{annotated link|Prime signature}}


==टिप्पणियाँ==
{{reflist|30em}}


==संदर्भ==

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.
* {{citation
  | last = Gauss  | first = Carl Friedrich
  | translator-last = Clarke | translator-first = Arthur A.
  | title = Disquisitiones Arithemeticae (Second, corrected edition)
  | publisher = [[Springer Science+Business Media|Springer]]
  | location = New York
  | year = 1986
  | isbn = 978-0-387-96254-2
  | url = https://www.springer.com/mathematics/algebra/book/978-0-387-96254-2
}}
* {{citation
  | last = Gauss  | first = Carl Friedrich
  | translator-last = Maser | translator-first = H.
  | language = de
  | title = Untersuchungen über hohere Arithmetik (Disquisitiones Arithemeticae & other papers on number theory) (Second edition)
  | publisher = Chelsea
  | location = New York
  | year = 1965
  | isbn = 0-8284-0191-8}}

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''".
* {{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | title = Theoria residuorum biquadraticorum, Commentatio prima
  | publisher = Comment. Soc. regiae sci, Göttingen 6
  | location = Göttingen
  | year = 1828}}
* {{citation
  | last1 = Gauss  | first1 = Carl Friedrich
  | title = Theoria residuorum biquadraticorum, Commentatio secunda
  | publisher = Comment. Soc. regiae sci, Göttingen 7
  | location = Göttingen
  | year = 1832}}

These are in Gauss's ''Werke'', Vol II, pp.&nbsp;65–92 and 93–148; German translations are pp.&nbsp;511–533 and 534–586 of the German edition of the ''Disquisitiones''.
* {{Citation
 | last=Baker
 | first=Alan
 | year=1984
 | title=A Concise Introduction to the Theory of Numbers
 | place=Cambridge, UK
 | publisher=Cambridge University Press
 | isbn=978-0-521-28654-1
}}
* {{citation
  | author1 = Euclid
  | author1-link = Euclid
  | others = Translated by [[Thomas Little Heath]]
  | title = The thirteen books of the Elements
  | edition = Second Edition Unabridged
  | volume = 2 (Books III-IX)
  | publisher = [[Dover]]
  | location = New York
  | year = 1956
  | isbn = 978-0-486-60089-5
  | url = https://archive.org/details/thirteenbooksofe00eucl
  | url-access = registration
  | ref = {{harvid|Euclid|Heath|1956}}
  }}
* {{Hardy and Wright|mode=cs2}}
* {{Citation
 | author1 = A. Kornilowicz
 | author2 = P. Rudnicki
 | year = 2004
 | title = Fundamental theorem of arithmetic
 | journal = [[Formalized Mathematics]]
 | volume = 12
 | issue = 2
 | pages = 179–185
}}
* {{citation
 | first1 = Calvin T.
 | last1 = Long
 | year = 1972
 | title = Elementary Introduction to Number Theory
 | edition = 2nd | publisher = [[D. C. Heath and Company]]
 | location = Lexington
 | lccn = 77-171950
}}.
* {{citation
 | first1 = Anthony J.
 | last1 = Pettofrezzo
 | first2 = Donald R.
 | last2 = Byrkit
 | year = 1970
 | title = Elements of Number Theory
 | publisher = [[Prentice Hall]]
 | location = Englewood Cliffs
 | lccn = 77-81766
}}.
* {{citation
  | last1 = Riesel  | first1 = Hans
  | title = Prime Numbers and Computer Methods for Factorization (second edition)
  | publisher = Birkhäuser
  | location = Boston
  | year = 1994
  | isbn = 0-8176-3743-5}}
* {{citation |last= Weil |first= André |year= 2007 |orig-year= 1984 |title= [[Number Theory: An Approach through History from Hammurapi to Legendre]] |series= Modern Birkhäuser Classics |location= Boston, MA |publisher= Birkhäuser |isbn= 978-0-817-64565-6 }}
* {{mathworld|urlname=AbnormalNumber|title=Abnormal number|mode=cs2}}
* {{mathworld|urlname=FundamentalTheoremofArithmetic|title=Fundamental Theorem of Arithmetic|mode=cs2}}


== बाहरी संबंध ==
* [https://gowers.wordpress.com/2011/11/13/why-isnt-the-fundamental-theorem-of-arithmetic-obvious Why isn’t the fundamental theorem of arithmetic obvious?]
* [http://www.cut-the-knot.org/blue/gcd_fta.shtml GCD and the Fundamental Theorem of Arithmetic] at [[cut-the-knot]].
* [http://planetmath.org/fundamentaltheoremofarithmeticproofofthe PlanetMath: Proof of fundamental theorem of arithmetic]
* [http://fermatslasttheorem.blogspot.com/2005/06/unique-factorization.html Fermat's Last Theorem Blog: Unique Factorization], a blog that covers the history of [[Fermat's Last Theorem]] from [[Diophantus of Alexandria]] to the proof by [[Andrew Wiles]].
* [http://demonstrations.wolfram.com/FundamentalTheoremOfArithmetic/ "Fundamental Theorem of Arithmetic"] by Hector Zenil, [[Wolfram Demonstrations Project]], 2007.
* {{citation|last=Grime|first=James|title=1 and Prime Numbers|url=https://www.youtube.com/watch?v=IQofiPqhJ_s| archive-url=https://ghostarchive.org/varchive/youtube/20211211/IQofiPqhJ_s| archive-date=2021-12-11 | url-status=live|work=Numberphile|publisher=[[Brady Haran]]}}{{cbignore}}

{{Divisor classes}}
[[Category: अभाज्य संख्याओं के बारे में प्रमेय]] [[Category: प्रमाण युक्त लेख]] [[Category: विशिष्टता प्रमेय]] [[Category: गुणन]] 

[[de:Primfaktorzerlegung#Fundamentalsatz der Arithmetik]]



[[Category: Machine Translated Page]]
[[Category:Created On 13/02/2023]]