द्विचर द्विघात रूप: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(21 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Quadratic homogeneous polynomial in two variables}}
{{Short description|Quadratic homogeneous polynomial in two variables}}
{{About|binary quadratic forms with [[integer]] coefficients|binary quadratic forms with other coefficients|quadratic form}}
{{About|[[पूर्णांक]] गुणांकों के साथ द्विघात द्विघात रूप|अन्य गुणांकों के साथ द्विघात द्विघात रूप|
गणित में, द्विघात द्विघात रूप दो चरों वाला द्विघात [[सजातीय बहुपद]] है
 
 
द्विघात रूप}}
गणित में, '''द्विचर द्विघात रूप''' दो चरों वाला द्विघात [[सजातीय बहुपद]] है


: <math> q(x,y)=ax^2+bxy+cy^2, \, </math>
: <math> q(x,y)=ax^2+bxy+cy^2, \, </math>
जहां , बी, सी 'गुणांक' हैं। जब गुणांक मनमाने ढंग से [[जटिल संख्या]]एं हो सकते हैं, तो अधिकांश परिणाम दो चर के मामले के लिए विशिष्ट नहीं होते हैं, इसलिए उन्हें [[द्विघात रूप]] में वर्णित किया जाता है। [[पूर्णांक]] गुणांक वाले द्विघात रूप को 'अभिन्न द्विघात द्विघात रूप' कहा जाता है, जिसे अक्सर द्विघात द्विघात रूप में संक्षिप्त किया जाता है।
जहां a, b, c 'गुणांक' हैं। जब गुणांक [[जटिल संख्या|समष्टि संख्याएं]] हो सकते हैं, तो अधिकांश परिणाम दो चर के विषयों के लिए विशिष्ट नहीं होते हैं, इसलिए उन्हें [[द्विघात रूप]] में वर्णित किया जाता है। [[पूर्णांक]] गुणांक वाले द्विघात रूप को 'अभिन्न द्विघात द्विघात रूप' कहा जाता है, जिसे प्रायः द्विघात द्विघात रूप में संक्षिप्त किया जाता है।


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


पियरे फ़र्मेट ने कहा कि यदि p  विषम अभाज्य है तो समीकरण <math>p = x^2 + y^2</math>  समाधान है iff <math>p \equiv 1 \pmod{4}</math>, और उन्होंने समीकरणों के बारे में समान बयान दिया <math>p = x^2 + 2y^2</math>, <math>p = x^2 + 3y^2</math>, <math>p = x^2 - 2y^2</math> और <math>p = x^2 - 3y^2</math>.
पियरे फ़र्मेट ने कहा कि यदि p  विषम अभाज्य है तो समीकरण <math>p = x^2 + y^2</math>  समाधान है iff <math>p \equiv 1 \pmod{4}</math>, एवं उन्होंने समीकरणों <math>p = x^2 + 2y^2</math>, <math>p = x^2 + 3y^2</math>, <math>p = x^2 - 2y^2</math> एवं <math>p = x^2 - 3y^2</math>
<math>x^2 + y^2, x^2 + 2y^2, x^2 - 3y^2</math> और इसी तरह द्विघात रूप हैं, और द्विघात रूपों का सिद्धांत इन प्रमेयों को देखने और सिद्ध करने का ीकृत तरीका देता है।
<math>x^2 + y^2, x^2 + 2y^2, x^2 - 3y^2</math> के विषय में समान विचार दिया एवं इसी प्रकार द्विघात रूप हैं, एवं द्विघात रूपों का सिद्धांत इन प्रमेयों को देखने एवं सिद्ध करने का एकीकृत विधि प्रदान करता है।


द्विघात रूपों का  अन्य उदाहरण पेल का समीकरण है <math>x^2-ny^2=1</math>.
द्विघात रूपों का  अन्य उदाहरण पेल <math>x^2-ny^2=1</math> का समीकरण है।


द्विघात द्विघात रूप द्विघात क्षेत्रों में आदर्शों से निकटता से संबंधित हैं, इससे किसी दिए गए विभेदक के कम किए गए द्विघात द्विघात रूपों की संख्या की गणना करके द्विघात क्षेत्र की वर्ग संख्या की गणना की जा सकती है।
द्विघात द्विघात रूप द्विघात क्षेत्रों में आदर्शों से निकटता से संबंधित हैं, इससे किसी दिए गए विभेदक के कम किए गए द्विघात द्विघात रूपों की संख्या की गणना करके द्विघात क्षेत्र की वर्ग संख्या की गणना की जा सकती है।


2 वेरिएबल्स का शास्त्रीय थीटा फ़ंक्शन है <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{m^2 + n^2}</math>, अगर <math>f(x,y)</math> तब यह  सकारात्मक निश्चित द्विघात रूप है <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{f(m,n)}</math>  थीटा फ़ंक्शन है.
2 वेरिएबल्स का शास्त्रीय थीटा फलन <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{m^2 + n^2}</math>है, यदि <math>f(x,y)</math> धनात्मक निश्चित द्विघात रूप है, तब <math> \sum_{(m,n)\in \mathbb{Z}^2} q^{f(m,n)}</math>  थीटा फलन है।


== समतुल्यता ==
== समतुल्यता ==


यदि पूर्णांक मौजूद हों तो दो रूप f और g को 'समतुल्य' कहा जाता है <math>\alpha, \beta, \gamma, \text{ and } \delta</math> जैसे कि निम्नलिखित शर्तें लागू हों:
यदि <math>\alpha, \beta, \gamma, \text{ and } \delta</math> पूर्णांक उपस्थित हों तो दो रूप f एवं g को 'समतुल्य' कहा जाता है, जैसे कि निम्नलिखित नियम प्रस्तावित हों:


: <math>\begin{align} f(\alpha x + \beta y, \gamma x + \delta y) &= g(x,y),\\
: <math>\begin{align} f(\alpha x + \beta y, \gamma x + \delta y) &= g(x,y),\\
                       \alpha \delta - \beta \gamma &= 1.\end{align}</math>
                       \alpha \delta - \beta \gamma &= 1.\end{align}</math>
उदाहरण के लिए, साथ <math>f= x^2 + 4xy + 2y^2</math> और <math>\alpha = -3</math>, <math>\beta = 2</math>, <math>\gamma = 1</math>, और <math>\delta = -1</math>, हम पाते हैं कि f इसके समतुल्य है <math>g = (-3x+2y)^2 + 4(-3x+2y)(x-y)+2(x-y)^2</math>, जो सरल बनाता है <math>-x^2+4xy-2y^2</math>.
उदाहरण के लिए, <math>f= x^2 + 4xy + 2y^2</math> एवं <math>\alpha = -3</math>, <math>\beta = 2</math>, <math>\gamma = 1</math>, एवं <math>\delta = -1</math>, हम पाते हैं कि f,<math>g = (-3x+2y)^2 + 4(-3x+2y)(x-y)+2(x-y)^2</math>के समतुल्य है , जो <math>-x^2+4xy-2y^2</math> को सरल बनाता है।


उपरोक्त तुल्यता स्थितियाँ अभिन्न द्विघात रूपों के सेट पर तुल्यता संबंध को परिभाषित करती हैं। इससे यह निष्कर्ष निकलता है कि द्विघात रूप  समुच्चय का समतुल्य वर्गों में विभाजन है, जिन्हें द्विघात रूपों के वर्ग कहा जाता है। वर्ग अपरिवर्तनीय का अर्थ या तो रूपों के समतुल्य वर्गों पर परिभाषित  फ़ंक्शन या ही वर्ग में सभी रूपों द्वारा साझा की गई संपत्ति हो सकता है।
उपरोक्त तुल्यता स्थितियाँ अभिन्न द्विघात रूपों के समुच्चय पर तुल्यता संबंध को परिभाषित करती हैं। इससे यह निष्कर्ष निकलता है कि द्विघात रूप  समुच्चय का समतुल्य वर्गों में विभाजन है, जिन्हें द्विघात रूपों के वर्ग कहा जाता है। वर्ग अपरिवर्तनीय का अर्थ या तो रूपों के समतुल्य वर्गों पर परिभाषित  फलन या वर्ग में सभी रूपों द्वारा भागित की गई संपत्ति हो सकता है।


लैग्रेंज ने समतुल्यता की अलग धारणा का उपयोग किया, जिसमें दूसरी शर्त को प्रतिस्थापित किया गया है <math> \alpha \delta - \beta \gamma = \pm 1</math>. गॉस के बाद से यह माना गया है कि यह परिभाषा ऊपर दी गई परिभाषा से कमतर है। यदि अंतर करने की आवश्यकता है, तो कभी-कभी उपरोक्त परिभाषा का उपयोग करके रूपों को उचित रूप से समकक्ष कहा जाता है और यदि वे लैग्रेंज के अर्थ में समकक्ष हैं तो अनुचित रूप से समकक्ष कहा जाता है।
लैग्रेंज ने समतुल्यता की भिन्न धारणा का उपयोग किया, जिसमें दूसरी प्रतिबन्ध को <math> \alpha \delta - \beta \gamma = \pm 1</math> प्रतिस्थापित किया गया है। गॉस के पश्चात से यह माना गया है कि यह परिभाषा ऊपर दी गई परिभाषा से कमतर है। यदि अंतर करने की आवश्यकता है, तो कभी-कभी उपरोक्त परिभाषा का उपयोग करके रूपों को उचित रूप से समकक्ष कहा जाता है एवं यदि वे लैग्रेंज के अर्थ में समकक्ष हैं तो अनुचित रूप से समकक्ष कहा जाता है।


[[मैट्रिक्स (गणित)]] शब्दावली में, जिसका प्रयोग नीचे कभी-कभी, जब भी किया जाता है
[[मैट्रिक्स (गणित)|आव्यूह]] में, जिसका प्रयोग नीचे कभी-कभी, जब किया जाता है,


:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>
:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>,
इसमें पूर्णांक प्रविष्टियाँ और निर्धारक 1, नक्शा है <math> f(x,y) \mapsto f(\alpha x + \beta y, \gamma x + \delta y)</math> की  (दाएं) [[समूह क्रिया (गणित)]] है <math>\mathrm{SL}_2(\mathbb{Z})</math> द्विआधारी द्विघात रूपों के सेट पर। उपरोक्त तुल्यता संबंध समूह क्रियाओं के सामान्य सिद्धांत से उत्पन्न होता है।
इसमें पूर्णांक प्रविष्टियाँ एवं निर्धारक 1, नक्शा <math> f(x,y) \mapsto f(\alpha x + \beta y, \gamma x + \delta y)</math>, <math>\mathrm{SL}_2(\mathbb{Z})</math> द्विआधारी द्विघात रूपों के समुच्चय पर की (दाएं) [[समूह क्रिया (गणित)|समूह क्रिया]] है। उपरोक्त तुल्यता संबंध समूह क्रियाओं के सामान्य सिद्धांत से उत्पन्न होता है।


अगर <math>f=ax^2+bxy+cy^2</math>, तो महत्वपूर्ण अपरिवर्तनीय शामिल हैं
यदि <math>f=ax^2+bxy+cy^2</math>, तो महत्वपूर्ण अपरिवर्तनीय सम्मिलित हैं


*[[विभेदक]] <math>\Delta=b^2-4ac</math>.
*[[विभेदक]] <math>\Delta=b^2-4ac</math> है,
* सामग्री, , बी, और सी के सबसे बड़े सामान्य भाजक के बराबर।
* सामग्री, a, b, एवं c के सबसे बड़े सामान्य भाजक के समान है।


शब्दावली का उद्भव वर्गों और उनके रूपों को उनकी अपरिवर्तनशीलता के आधार पर वर्गीकृत करने के लिए हुआ है। विभेदक का  रूप <math>\Delta</math> निश्चित है यदि <math>\Delta < 0</math>, पतित यदि <math>\Delta</math>  पूर्ण वर्ग है, और अन्यथा अनिश्चित है। रूप आदिम है यदि इसकी सामग्री 1 है, अर्थात, यदि इसके गुणांक सहअभाज्य हैं। यदि किसी रूप का विभेदक [[मौलिक विभेदक]] है, तो रूप आदिम है।<ref>{{harvnb|Cohen|1993|loc=§5.2}}</ref> विवेकशील संतुष्ट होते हैं <math>\Delta\equiv 0,1 \pmod 4. </math>
शब्दावली का उद्भव वर्गों एवं उनके रूपों को उनकी अपरिवर्तनशीलता के आधार पर वर्गीकृत करने के लिए हुआ है। विभेदक <math>\Delta</math> का रूप निश्चित है यदि <math>\Delta < 0</math> है, पतित है, यदि <math>\Delta</math>  पूर्ण वर्ग है, अन्यथा अनिश्चित है। रूप आदिम है यदि इसकी सामग्री 1 है, अर्थात, यदि इसके गुणांक सहअभाज्य हैं। यदि किसी रूप का विभेदक [[मौलिक विभेदक]] है, तो रूप आदिम है।<ref>{{harvnb|Cohen|1993|loc=§5.2}}</ref> विवेकशील संतुष्ट <math>\Delta\equiv 0,1 \pmod 4 </math> होते हैं।


'''ऑटोमोर्फिज्म'''
'''ऑटोमोर्फिज्म'''


यदि f  द्विघात रूप है, तो मैट्रिक्स है
यदि f  द्विघात रूप है, तो आव्यूह है,


:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>
:  <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>
में <math>\mathrm{SL}_2(\mathbb{Z})</math> ''एफ'' का ऑटोमोर्फिज्म है यदि <math>f(\alpha x + \beta y, \gamma x + \delta y) = f(x,y)</math>. उदाहरण के लिए, मैट्रिक्स
में <math>\mathrm{SL}_2(\mathbb{Z})</math> ''f'' का ऑटोमोर्फिज्म है यदि <math>f(\alpha x + \beta y, \gamma x + \delta y) = f(x,y)</math>है। उदाहरण के लिए, मैट्रिक्स


: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>
: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>
रूप का  स्वप्रतिरूपण है <math>f = x^2 - 2y^2</math>. किसी रूप की ऑटोमोर्फिज्म [[उपसमूह]] बनाती है <math>\mathrm{SL}_2(\mathbb{Z})</math>. जब f निश्चित होता है, तो समूह परिमित होता है, और जब f अनिश्चित होता है, तो यह अनंत और [[चक्रीय समूह]] होता है।
<math>f = x^2 - 2y^2</math> का  स्वप्रतिरूपण है। किसी रूप की ऑटोमोर्फिज्म <math>\mathrm{SL}_2(\mathbb{Z})</math> [[उपसमूह|का उपसमूह]] बनाती है। जब f निश्चित होता है, तो समूह परिमित होता है, एवं जब f अनिश्चित होता है, तो यह अनंत एवं [[चक्रीय समूह]] होता है।


==प्रतिनिधित्व==
==प्रतिनिधित्व==


द्विघात द्विघात रूप <math>q(x,y)</math>  पूर्णांक का प्रतिनिधित्व करता है <math>n</math> यदि पूर्णांक ज्ञात करना संभव है <math>x</math> और <math>y</math> समीकरण को संतुष्ट करना <math>n = q(x,y).</math> ऐसा समीकरण प्रतिनिधित्व है {{math|''n''}} द्वारा {{math|''q''}}.
द्विघात द्विघात रूप <math>q(x,y)</math>  पूर्णांक <math>n</math> का प्रतिनिधित्व करता है यदि पूर्णांक <math>x</math> एवं <math>y</math> ज्ञात करना संभव है जो समीकरण <math>n = q(x,y)</math>को संतुष्ट करता है। ऐसा समीकरण {{math|''n''}} द्वारा {{math|''q''}} प्रतिनिधित्व है।


=== उदाहरण ===
=== उदाहरण ===


[[डायोफैंटस]] ने विचार किया कि क्या,  विषम पूर्णांक के लिए <math>n</math>, पूर्णांक ज्ञात करना संभव है <math>x</math> और <math>y</math> जिसके लिए <math>n = x^2 + y^2</math>.<ref>{{harvnb|Weil|2001|p=30}}</ref> कब <math>n=65</math>, अपने पास
[[डायोफैंटस]] ने विचार किया कि क्या,  विषम पूर्णांक <math>n</math> के लिए, पूर्णांक <math>x</math> एवं <math>y</math> ज्ञात करना संभव है जिसके लिए <math>n = x^2 + y^2</math> होता है।<ref>{{harvnb|Weil|2001|p=30}}</ref> जब <math>n=65</math>, तो
: <math>\begin{align} 65 &= 1^2 + 8^2,\\
: <math>\begin{align} 65 &= 1^2 + 8^2,\\
                       65 &= 4^2 + 7^2,
                       65 &= 4^2 + 7^2,
\end{align} </math>
\end{align} </math>
तो हम जोड़े ढूंढते हैं <math>(x,y) = (1,8) \text{ and } (4,7)</math> वह चाल है. हम अधिक जोड़े प्राप्त करते हैं जो मानों को स्विच करके काम करते हैं <math>x</math> और <math>y</math> और/या या दोनों का चिह्न बदलकर <math>x</math> और <math>y</math>. कुल मिलाकर, सोलह अलग-अलग समाधान जोड़े हैं। दूसरी ओर, जब <math>n=3</math>, समीकरण
तो हम जोड़े ढूंढते हैं <math>(x,y) = (1,8) \text{ and } (4,7)</math> जो ट्रिक करते हैं। हम अधिक जोड़े प्राप्त करते हैं जो मानों <math>x</math> एवं <math>y</math> को परिवर्तित करके एवं/या <math>x</math> एवं <math>y</math> में किसी एक या दोनों का चिह्न परिवर्तित करकर कार्य करते हैं। कुल मिलाकर, सोलह भिन्न-भिन्न समाधान जोड़े हैं। दूसरी ओर, जब <math>n=3</math>, समीकरण


: <math>3=x^2 + y^2</math>
: <math>3=x^2 + y^2</math>
पूर्णांक समाधान नहीं है. यह देखने के लिए कि, हम उस पर ध्यान देते हैं <math>x^2 \geq 4</math> जब तक <math>x = -1, 0</math> या <math>1</math>. इस प्रकार, <math>x^2+y^2</math> जब तक 3 से अधिक न हो जाए <math>(x,y)</math> के साथ नौ जोड़ियों में से है <math>x</math> और <math>y</math> प्रत्येक के बराबर <math>-1, 0</math> या 1. हम इन नौ जोड़ियों की सीधे जाँच करके देख सकते हैं कि उनमें से कोई भी संतुष्ट नहीं है <math>3 = x^2 + y^2</math>, इसलिए समीकरण में पूर्णांक समाधान नहीं हैं।
पूर्णांक समाधान नहीं है। यह देखने के लिए कि ऐसा क्यों है, हम ध्यान देते हैं <math>x^2 \geq 4</math> जब तक <math>x = -1, 0</math> या <math>1</math> होता है। इस प्रकार, <math>x^2+y^2</math> जब तक 3 से अधिक न हो जाए <math>(x,y)</math> के साथ नौ जोड़ियों में से कोई है <math>x</math> एवं <math>y</math> प्रत्येक के समान <math>-1, 0</math> या 1 है। हम इन नौ जोड़ियों की सीधे शोध करके देख सकते हैं कि उनमें से कोई भी <math>3 = x^2 + y^2</math>को संतुष्ट नहीं करता है, इसलिए समीकरण में पूर्णांक समाधान नहीं हैं।


समान तर्क यह दर्शाता है कि प्रत्येक के लिए <math>n</math>, समीकरण <math>n =x^2+y^2</math> चूँकि समाधानों की संख्या सीमित हो सकती है <math>x^2+y^2</math> से अधिक हो जाएगा <math>n</math> जब तक कि निरपेक्ष मान न हों <math>|x|</math> और <math>|y|</math> दोनों से कम हैं <math>\sqrt{n}</math>. इस बाधा को पूरा करने वाले जोड़े की केवल सीमित संख्या है।
समान तर्क यह दर्शाता है कि प्रत्येक <math>n</math> के लिए, समीकरण <math>n =x^2+y^2</math> के लिए समाधानों की संख्या सीमित हो सकती है <math>x^2+y^2</math>, <math>n</math> से अधिक हो जाएगा जब तक कि निरपेक्ष मान <math>|x|</math> एवं <math>|y|</math> दोनों <math>\sqrt{n}</math> से कम हैं। इस बाधा को पूर्ण करने वाले जोड़े की केवल सीमित संख्या है।


द्विघात रूपों से जुड़ी  और प्राचीन समस्या हमें पेल के समीकरण को हल करने के लिए कहती है। उदाहरण के लिए, हम पूर्णांक x और y खोज सकते हैं <math>1 = x^2 - 2y^2</math>. किसी समाधान में x और y के चिह्न बदलने से दूसरा समाधान मिलता है, इसलिए सकारात्मक पूर्णांकों में उचित समाधान ढूंढना पर्याप्त है।  समाधान है <math>(x,y) = (3,2)</math>अर्थात् समानता है <math>1 = 3^2 - 2 \cdot 2^2</math>. अगर <math>(x,y)</math> का कोई समाधान है <math>1 = x^2 - 2 y^2</math>, तब <math>(3x+4y,2x+3y)</math> ऐसी ही और जोड़ी है. उदाहरण के लिए, जोड़ी से <math>(3,2)</math>, हम गणना करते हैं
द्विघात रूपों से जुड़ी  एवं प्राचीन समस्या हमें पेल के समीकरण का निवारण के लिए कहती है। उदाहरण के लिए, हम पूर्णांक x एवं y, <math>1 = x^2 - 2y^2</math>के लिए प्राप्त कर सकते हैं। किसी समाधान में x एवं y के चिह्न परिवर्तित करने से दूसरा समाधान मिलता है, इसलिए धनात्मक पूर्णांकों में उचित समाधान ढूंढना पर्याप्त है।  समाधान <math>(x,y) = (3,2)</math>है अर्थात् समानता <math>1 = 3^2 - 2 \cdot 2^2</math>है। यदि <math>(x,y)</math>, <math>1 = x^2 - 2 y^2</math> का कोई समाधान है, तब <math>(3x+4y,2x+3y)</math> ऐसी ही जोड़ी है। उदाहरण के लिए, जोड़ी <math>(3,2)</math>से, हम गणना करते हैं


: <math>(3\cdot 3 + 4 \cdot 2, 2\cdot 3 + 3 \cdot 2) = (17,12)</math>,
: <math>(3\cdot 3 + 4 \cdot 2, 2\cdot 3 + 3 \cdot 2) = (17,12)</math>,


और हम जाँच सकते हैं कि यह संतुष्ट करता है <math>1 = 17^2 - 2 \cdot 12^2</math>. इस प्रक्रिया को दोहराते हुए, हमें और जोड़े मिलते हैं <math>(x,y)</math> साथ <math>1 = x^2 - 2y^2</math>:
एवं हम ज्ञात कर सकते हैं कि यह संतुष्ट <math>1 = 17^2 - 2 \cdot 12^2</math> को करता है। इस प्रक्रिया को दोहराते हुए, हमें <math>1 = x^2 - 2y^2</math> के लिए <math>(x,y)</math> साथ जोड़े मिलते हैं  :


: <math>\begin{align}
: <math>\begin{align}
Line 78: Line 81:
             (3 \cdot 99 + 4 \cdot 70, 2 \cdot 99 + 3 \cdot 70) &= (577,408),\\
             (3 \cdot 99 + 4 \cdot 70, 2 \cdot 99 + 3 \cdot 70) &= (577,408),\\
                                                                 &\vdots \end{align}
                                                                 &\vdots \end{align}
</math> ये मान आकार में बढ़ते रहेंगे, इसलिए हम देखते हैं कि फॉर्म द्वारा 1 का प्रतिनिधित्व करने के अनंत तरीके हैं <math>x^2 - 2y^2</math>. इस पुनरावर्ती विवरण पर यूक्लिड के तत्वों पर थियोन ऑफ स्मिर्ना की टिप्पणी में चर्चा की गई थी।
</math> ये मान आकार में बढ़ते रहेंगे, इसलिए हम देखते हैं कि प्रपत्र <math>x^2 - 2y^2</math> द्वारा 1 का प्रतिनिधित्व करने के अनंत विधियाँ हैं। इस पुनरावर्ती विवरण पर यूक्लिड के तत्वों पर थियोन ऑफ स्मिर्ना की टिप्पणी में विचार किया गया था।


=== प्रतिनिधित्व समस्या ===
=== प्रतिनिधित्व समस्या ===


द्विआधारी द्विघात रूपों के सिद्धांत में सबसे पुरानी समस्या प्रतिनिधित्व समस्या है: किसी दिए गए संख्या के प्रतिनिधित्व का वर्णन करें <math>n</math> किसी दिए गए द्विघात रूप f द्वारा। वर्णन के विभिन्न अर्थ हो सकते हैं: सभी अभ्यावेदन उत्पन्न करने के लिए एल्गोरिदम देना, अभ्यावेदन की संख्या के लिए बंद सूत्र देना, या यहां तक ​​कि यह निर्धारित करना कि क्या कोई अभ्यावेदन मौजूद है।
द्विआधारी द्विघात रूपों के सिद्धांत में सबसे प्राचीन समस्या प्रतिनिधित्व समस्या है: किसी दिए गए संख्या <math>n</math> के प्रतिनिधित्व का वर्णन किसी दिए गए द्विघात रूप f द्वारा किया जाता है। वर्णन के विभिन्न अर्थ हो सकते हैं: सभी अभ्यावेदन उत्पन्न करने के लिए एल्गोरिदम देना, अभ्यावेदन की संख्या के लिए संवृत सूत्र देना, या यहां तक ​​कि यह निर्धारित करना कि क्या कोई अभ्यावेदन उपस्थित है।


उपरोक्त उदाहरण फॉर्म द्वारा संख्या 3 और 65 के लिए प्रतिनिधित्व समस्या पर चर्चा करते हैं <math>x^2 + y^2</math> और नंबर 1 के लिए फॉर्म द्वारा <math>x^2 - 2y^2</math>. हम देखते हैं कि 65 को दर्शाया गया है <math>x^2 + y^2</math> सोलह अलग-अलग तरीकों से, जबकि 1 का प्रतिनिधित्व किया जाता है <math>x^2 - 2y^2</math> अनंत रूप से कई तरीकों से और
उपरोक्त उदाहरण प्रपत्र <math>x^2 + y^2</math> द्वारा संख्या 3 एवं 65 के लिए एवं नंबर 1 के लिए प्रपत्र <math>x^2 - 2y^2</math>द्वारा प्रतिनिधित्व समस्या पर विचार करते हैं। हम देखते हैं कि 65 को <math>x^2 + y^2</math> सोलह भिन्न-भिन्न उपायों से दर्शाया गया है। जबकि 1 का प्रतिनिधित्व <math>x^2 - 2y^2</math> अनंत रूप से कई उपायों से किया जाता है एवं 3, <math>x^2+y^2</math> द्वारा प्रदर्शित नहीं किया गया है। पूर्व विषयों में, सोलह अभ्यावेदन का स्पष्ट रूप से वर्णन किया गया था। यह भी दर्शाया गया कि किसी पूर्णांक <math>x^2+y^2</math> के निरूपण की संख्या सदैव सीमित होती है। वर्गों का योग फलन <math>r_2(n)</math> द्वारा n के निरूपण की संख्या <math>x^2+y^2</math>n के फलन के रूप में प्रदान करता है। संवृत सूत्र <ref>{{harvnb|Hardy|Wright|2008|loc=Thm. 278}}</ref>
3 द्वारा प्रदर्शित नहीं किया गया है <math>x^2+y^2</math> बिलकुल। पहले मामले में, सोलह अभ्यावेदन का स्पष्ट रूप से वर्णन किया गया था। यह भी दर्शाया गया कि किसी पूर्णांक के निरूपण की संख्या कितनी है <math>x^2+y^2</math> सदैव सीमित है. वर्गों का योग फलन <math>r_2(n)</math> द्वारा n के निरूपण की संख्या देता है <math>x^2+y^2</math> n के फलन के रूप में। बंद फार्मूला है<ref>{{harvnb|Hardy|Wright|2008|loc=Thm. 278}}</ref>
: <math> r_2(n) = 4(d_1(n) - d_3(n)), </math> है,
: <math> r_2(n) = 4(d_1(n) - d_3(n)), </math>
जहाँ <math>d_1(n)</math> n के [[भाजक|विभाजकों]] की संख्या है जो 1 मॉड्यूल 4 के [[मॉड्यूलर अंकगणित]] हैं एवं <math>d_3(n)</math> n के विभाजकों की संख्या है जो 3 मॉड्यूल 4 के सर्वांगसम हैं।
कहाँ <math>d_1(n)</math> n के वि[[भाजक]]ों की संख्या है जो 1 मॉड्यूल 4 के [[मॉड्यूलर अंकगणित]] हैं और <math>d_3(n)</math> n के विभाजकों की संख्या है जो 3 मॉड्यूल 4 के सर्वांगसम हैं।


प्रतिनिधित्व समस्या के लिए प्रासंगिक कई वर्ग अपरिवर्तनीय हैं:
प्रतिनिधित्व समस्या के लिए प्रासंगिक कई वर्ग अपरिवर्तनीय हैं:


* किसी वर्ग द्वारा प्रदर्शित पूर्णांकों का समुच्चय। यदि पूर्णांक n को वर्ग में रूप द्वारा दर्शाया जाता है, तो इसे वर्ग में अन्य सभी रूपों द्वारा दर्शाया जाता है।
* किसी वर्ग द्वारा प्रदर्शित पूर्णांकों का समुच्चय है। यदि पूर्णांक n को वर्ग में दर्शाया जाता है, तो इसे वर्ग में अन्य सभी रूपों द्वारा दर्शाया जाता है।
* किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान। यह किसी वर्ग द्वारा दर्शाए गए पूर्णांकों के सेट में सबसे छोटा गैर-नकारात्मक मान है।
* किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान है। यह किसी वर्ग द्वारा दर्शाए गए पूर्णांकों के समुच्चय में सबसे छोटा अन्य-ऋणात्मक मान है।
* सर्वांगसमता वर्ग वर्ग द्वारा दर्शाए गए वर्ग के विभेदक को मापता है।
* सर्वांगसमता वर्ग वर्ग द्वारा दर्शाए गए वर्ग के विभेदक को मापता है।


किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान पतित वर्गों के लिए शून्य है और निश्चित और अनिश्चित वर्गों के लिए सकारात्मक है। सभी संख्याएँ  निश्चित रूप में प्रदर्शित होती हैं <math>f = ax^2 + bxy + cy^2</math> ही चिन्ह है: सकारात्मक यदि <math>a>0</math> और नकारात्मक अगर <math>a<0</math>. इस कारण से, पहले को सकारात्मक निश्चित रूप कहा जाता है और बाद को नकारात्मक निश्चित रूप कहा जाता है।
किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान पतित वर्गों के लिए शून्य है एवं निश्चित एवं अनिश्चित वर्गों के लिए धनात्मक है। सभी संख्याएँ  निश्चित रूप <math>f = ax^2 + bxy + cy^2</math>में प्रदर्शित होती हैं जिसका समान चिन्ह है: धनात्मक यदि <math>a>0</math> एवं ऋणात्मक यदि <math>a<0</math> होता है। इस कारण से, पूर्व को धनात्मक निश्चित रूप कहा जाता है एवं पश्चात को ऋणात्मक निश्चित रूप कहा जाता है।


यदि ''f'' निश्चित है तो ''f'' रूप द्वारा पूर्णांक ''n'' के निरूपण की संख्या सीमित है और यदि ''f'' अनिश्चित है तो अनंत है। हमने उपरोक्त उदाहरणों में इसके उदाहरण देखे:  <math>x^2+y^2</math> सकारात्मक निश्चित है और <math>x^2 - 2y^2</math> अनिश्चितकालीन है.
यदि ''f'' निश्चित है तो ''f'' रूप द्वारा पूर्णांक ''n'' के निरूपण की संख्या सीमित है एवं यदि ''f'' अनिश्चित है तो अनंत है। हमने उपरोक्त उदाहरणों में इसके उदाहरण देखे:  <math>x^2+y^2</math> धनात्मक निश्चित है एवं <math>x^2 - 2y^2</math> अनिश्चित है।


=== समतुल्य प्रतिनिधित्व ===
=== समतुल्य प्रतिनिधित्व ===


रूपों की तुल्यता की धारणा को समकक्ष अभ्यावेदन तक बढ़ाया जा सकता है। अभ्यावेदन <math>m = f(x_1,y_1)</math> और <math>n = g(x_2,y_2)</math> यदि कोई मैट्रिक्स मौजूद है तो समतुल्य हैं
रूपों की तुल्यता की धारणा को समकक्ष अभ्यावेदन तक बढ़ाया जा सकता है। अभ्यावेदन <math>m = f(x_1,y_1)</math> एवं <math>n = g(x_2,y_2)</math> यदि कोई आव्यूह उपस्थित है तो समतुल्य हैं,


: <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>
: <math> \begin{pmatrix} \alpha & \beta \\ \gamma & \delta \end{pmatrix} </math>
पूर्णांक प्रविष्टियों और निर्धारक 1 के साथ ताकि <math>f(\alpha x + \beta y, \gamma x + \delta y) = g(x,y)</math> और
पूर्णांक प्रविष्टियों एवं निर्धारक 1 के साथ जिससे <math>f(\alpha x + \beta y, \gamma x + \delta y) = g(x,y)</math> एवं


: <math>\begin{pmatrix} \delta& -\beta \\ -\gamma & \alpha\end{pmatrix} \begin{pmatrix} x_1 \\ y_1 \end{pmatrix} = \begin{pmatrix} x_2 \\ y_2 \end{pmatrix}</math>
: <math>\begin{pmatrix} \delta& -\beta \\ -\gamma & \alpha\end{pmatrix} \begin{pmatrix} x_1 \\ y_1 \end{pmatrix} = \begin{pmatrix} x_2 \\ y_2 \end{pmatrix}</math> है,
उपरोक्त स्थितियाँ समूह की (सही) कार्रवाई बताती हैं <math>\mathrm{SL}_2(\mathbb{Z})</math> द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के सेट पर। इससे यह निष्कर्ष निकलता है कि इस प्रकार परिभाषित समतुल्यता  समतुल्य संबंध है और विशेष रूप से समतुल्य अभ्यावेदन में मौजूद रूप समतुल्य रूप हैं।
उपरोक्त स्थितियाँ समूह <math>\mathrm{SL}_2(\mathbb{Z})</math> की द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के समुच्चय पर (त्रुटिहीन) शोध प्रदान करती हैं। इससे यह निष्कर्ष निकलता है कि इस प्रकार परिभाषित समतुल्यता  समतुल्य संबंध है एवं विशेष रूप से समतुल्य अभ्यावेदन में उपस्थित रूप समतुल्य रूप हैं।


उदाहरण के तौर पर, आइए <math>f = x^2 - 2y^2</math> और अभ्यावेदन पर विचार करें <math>1 = f(x_1,y_1)</math>. ऐसा प्रतिनिधित्व उपरोक्त उदाहरणों में वर्णित पेल समीकरण का  समाधान है। गणित का सवाल
उदाहरण के लिए, <math>f = x^2 - 2y^2</math> एवं <math>1 = f(x_1,y_1)</math> अभ्यावेदन पर विचार करें, ऐसा प्रतिनिधित्व उपरोक्त उदाहरणों में वर्णित पेल समीकरण का  समाधान है। गणित का सवाल


: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>
: <math> \begin{pmatrix} 3 & -4 \\ -2 & 3 \end{pmatrix} </math>
इसका निर्धारक 1 है और यह f का स्वप्रतिरूपण है। अभ्यावेदन पर कार्यवाही <math>1 = f(x_1,y_1)</math> इस मैट्रिक्स द्वारा समतुल्य प्रतिनिधित्व प्राप्त होता है <math>1 = f(3x_1 + 4y_1, 2x_1 + 3 y_1)</math>. यह अपरिमित रूप से कई समाधान उत्पन्न करने के लिए ऊपर वर्णित प्रक्रिया में पुनरावर्तन चरण है <math>1 = x^2 - 2y^2</math>. इस मैट्रिक्स क्रिया को दोहराते हुए, हम पाते हैं कि 1 बटा f के निरूपण के अनंत सेट जो ऊपर निर्धारित किए गए थे, वे सभी समतुल्य हैं।
इसका निर्धारक 1 है एवं यह f का स्वप्रतिरूपण है। अभ्यावेदन पर कार्यवाही <math>1 = f(x_1,y_1)</math>, इस आव्यूहद्वारा समतुल्य प्रतिनिधित्व<math>1 = f(3x_1 + 4y_1, 2x_1 + 3 y_1)</math> प्राप्त होता है। यह अपरिमित रूप <math>1 = x^2 - 2y^2</math>से कई समाधान उत्पन्न करने के लिए ऊपर वर्णित प्रक्रिया में पुनरावर्तन चरण है। इस आव्यूहक्रिया को दोहराते हुए, हम पाते हैं कि 1/ f के निरूपण के अनंत समुच्चय जो ऊपर निर्धारित किए गए थे, वे सभी समतुल्य हैं।


आम तौर पर दिए गए गैर-शून्य विभेदक के रूपों द्वारा पूर्णांक एन के प्रतिनिधित्व के सीमित रूप से कई समतुल्य वर्ग होते हैं <math>\Delta</math>. इन वर्गों के लिए [[प्रतिनिधि (गणित)]] का  पूरा सेट नीचे दिए गए अनुभाग में परिभाषित संक्षिप्त रूपों के संदर्भ में दिया जा सकता है। कब <math>\Delta < 0</math>, प्रत्येक प्रतिनिधित्व संक्षिप्त रूप द्वारा  अद्वितीय प्रतिनिधित्व के बराबर है, इसलिए प्रतिनिधियों का पूरा सेट विभेदक के कम रूपों द्वारा एन के सीमित कई प्रतिनिधित्व द्वारा दिया जाता है <math>\Delta</math>. कब <math>\Delta > 0</math>, ज़ैगियर ने साबित किया कि विवेचक के  रूप द्वारा सकारात्मक पूर्णांक n का प्रत्येक प्रतिनिधित्व <math>\Delta</math> अद्वितीय प्रतिनिधित्व के बराबर है <math>n = f(x,y)</math> जिसमें ज़ैगियर के अर्थ में f को कम किया गया है और <math>x > 0</math>, <math>y \geq 0</math>.<ref>{{harvnb|Zagier|1981|loc=}}</ref> ऐसे सभी अभ्यावेदन का सेट अभ्यावेदन के समतुल्य वर्गों के लिए प्रतिनिधियों का पूरा सेट बनता है।
सामान्यतः दिए गए अन्य-शून्य विभेदक <math>\Delta</math> के रूपों द्वारा पूर्णांक एन के प्रतिनिधित्व के सीमित रूप से कई समतुल्य वर्ग होते हैं। इन वर्गों के लिए [[प्रतिनिधि (गणित)|प्रतिनिधि]] का  पूर्ण समुच्चय नीचे दिए गए अनुभाग में परिभाषित संक्षिप्त रूपों के संदर्भ में दिया जा सकता है। जब <math>\Delta < 0</math>, प्रत्येक प्रतिनिधित्व संक्षिप्त रूप द्वारा  अद्वितीय प्रतिनिधित्व के समान है, इसलिए प्रतिनिधियों का पूर्ण समुच्चय विभेदक <math>\Delta</math> के कम रूपों द्वारा एन के सीमित कई प्रतिनिधित्व द्वारा दिया जाता हैं।जब <math>\Delta > 0</math>, ज़ैगियर ने परिमाणित किया कि विवेचक के  रूप द्वारा धनात्मक पूर्णांक n का प्रत्येक प्रतिनिधित्व <math>\Delta</math> अद्वितीय प्रतिनिधित्व <math>n = f(x,y)</math> के समान है, जिसमें ज़ैगियर के अर्थ में f को कम किया गया है एवं <math>x > 0</math>, <math>y \geq 0</math> है,<ref>{{harvnb|Zagier|1981|loc=}}</ref> ऐसे सभी अभ्यावेदन का समुच्चय अभ्यावेदन के समतुल्य वर्गों के लिए प्रतिनिधियों का पूर्ण समुच्चय बनता है।


==कमी और वर्ग संख्या ==
==कमी एवं वर्ग संख्या ==


लैग्रेंज ने साबित किया कि प्रत्येक मूल्य डी के लिए, विभेदक डी के साथ द्विआधारी द्विघात रूपों के केवल सीमित रूप से कई वर्ग हैं। उनकी संख्या 'है{{vanchor|class number}} विभेदक डी के। उन्होंने प्रत्येक वर्ग में  विहित प्रतिनिधि, 'कम रूप' के निर्माण के लिए 'रिडक्शन' नामक एल्गोरिथ्म का वर्णन किया, जिसके गुणांक उपयुक्त अर्थ में सबसे छोटे हैं।
लैग्रेंज ने परिमाणित किया कि प्रत्येक मूल्य D के लिए, विभेदक D के साथ द्विआधारी द्विघात रूपों के केवल सीमित रूप से कई वर्ग हैं। उनकी संख्या {{vanchor|वर्ग संख्या}} विभेदक D के है। उन्होंने प्रत्येक वर्ग में  विहित प्रतिनिधि, 'कम रूप' के निर्माण के लिए 'रिडक्शन' नामक एल्गोरिथ्म का वर्णन किया, जिसके गुणांक उपयुक्त अर्थ में सबसे छोटे हैं।


गॉस ने [[अंकगणितीय विवेचन]] में  बेहतर कटौती एल्गोरिदम दिया, जो तब से पाठ्यपुस्तकों में सबसे अधिक दिया जाने वाला कटौती एल्गोरिदम रहा है। 1981 में, ज़ैगियर ने  वैकल्पिक कटौती एल्गोरिदम प्रकाशित किया जिसे गॉस के विकल्प के रूप में कई उपयोग मिले हैं।<ref>{{harvnb|Zagier|1981|loc=}}</ref>
गॉस ने [[अंकगणितीय विवेचन]] में  उत्तमरिडक्शन एल्गोरिदम दिया, जो तब से पाठ्यपुस्तकों में सबसे अधिक दिया जाने वाला रिडक्शन एल्गोरिदम रहा है। 1981 में, ज़ैगियर ने  वैकल्पिक रिडक्शन एल्गोरिदम प्रकाशित किया जिसे गॉस के विकल्प के रूप में कई उपयोग मिले हैं।<ref>{{harvnb|Zagier|1981|loc=}}</ref>


== रचना ==
== रचना ==
रचना आमतौर पर ही विभेदक के रूपों के आदिम तुल्यता वर्गों पर  द्विआधारी ऑपरेशन को संदर्भित करती है, जो गॉस की सबसे गहरी खोजों में से है, जो इस सेट को परिमित [[एबेलियन समूह]] में बनाता है जिसे विभेदक का रूप वर्ग समूह (या बस वर्ग समूह) कहा जाता है। <math>\Delta</math>. तब से वर्ग समूह बीजगणितीय संख्या सिद्धांत में केंद्रीय विचारों में से बन गए हैं। आधुनिक दृष्टिकोण से,  मौलिक विभेदक का वर्ग समूह <math>\Delta</math> द्विघात क्षेत्र के [[संकीर्ण वर्ग समूह]] के लिए [[समरूपी]] है <math>\mathbf{Q}(\sqrt{\Delta})</math> विभेदक का <math>\Delta</math>.<ref>{{harvnb|Fröhlich|Taylor|1993|loc=Theorem 58}}</ref> नकारात्मक के लिए <math>\Delta</math>, संकीर्ण वर्ग समूह [[आदर्श वर्ग समूह]] के समान है, लेकिन सकारात्मक के लिए <math>\Delta</math> यह दोगुना बड़ा हो सकता है.
रचना  सामान्यतः ही विभेदक के रूपों के आदिम तुल्यता वर्गों पर  द्विआधारी ऑपरेशन को संदर्भित करती है, जो गॉस की सबसे गहरी शोधों में से है, जो इस समुच्चय को परिमित [[एबेलियन समूह]] में बनाता है जिसे विभेदक का रूप वर्ग समूह (या बस वर्ग समूह) कहा जाता है। <math>\Delta</math> तब से वर्ग समूह बीजगणितीय संख्या सिद्धांत में केंद्रीय विचारों में से बन गए हैं। आधुनिक दृष्टिकोण से,  मौलिक विभेदक का वर्ग समूह <math>\Delta</math> द्विघात क्षेत्र <math>\mathbf{Q}(\sqrt{\Delta})</math> विभेदक का <math>\Delta</math> के [[संकीर्ण वर्ग समूह]] के लिए [[समरूपी]] है।<ref>{{harvnb|Fröhlich|Taylor|1993|loc=Theorem 58}}</ref> ऋणात्मक के लिए <math>\Delta</math>, संकीर्ण वर्ग समूह [[आदर्श वर्ग समूह]] के समान है, किन्तु धनात्मक के लिए <math>\Delta</math> यह दोगुना बड़ा हो सकता है.


  रचना कभी-कभी, मोटे तौर पर, द्विघात द्विघात रूपों पर द्विआधारी ऑपरेशन को भी संदर्भित करती है। यह शब्द मोटे तौर पर दो चेतावनियों को इंगित करता है: द्विआधारी द्विघात रूपों के केवल कुछ जोड़े ही बनाए जा सकते हैं, और परिणामी रूप अच्छी तरह से परिभाषित नहीं है (हालांकि इसका समतुल्य वर्ग है)। समतुल्य वर्गों पर संरचना संचालन को पहले रूपों की संरचना को परिभाषित करके और फिर यह दिखाकर परिभाषित किया जाता है कि यह कक्षाओं पर अच्छी तरह से परिभाषित संचालन को प्रेरित करता है।
  रचना कभी-कभी, द्विघात द्विघात रूपों पर द्विआधारी ऑपरेशन को भी संदर्भित करती है। यह शब्द दो चेतावनियों को इंगित करता है: द्विआधारी द्विघात रूपों के केवल कुछ जोड़े ही बनाए जा सकते हैं, एवं परिणामी रूप उचित प्रकार से परिभाषित नहीं है (चूँकि इसका समतुल्य वर्ग है)। समतुल्य वर्गों पर संरचना संचालन को पूर्व रूपों की संरचना को परिभाषित करके एवं फिर यह दिखाकर परिभाषित किया जाता है कि यह कक्षाओं पर उचित प्रकार से परिभाषित संचालन को प्रेरित करता है।


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


रचना का अर्थ है ही विभेदक के दो द्विघात रूप लेना और उन्हें मिलाकर ही विभेदक का द्विघात रूप बनाना, जैसा कि ब्रह्मगुप्त की पहचान से पता चलता है।
रचना का अर्थ है कि विभेदक के दो द्विघात रूप लेना एवं उन्हें मिलाकर ही विभेदक का द्विघात रूप बनाना, जैसा कि ब्रह्मगुप्त की पहचान से ज्ञात होता है।


=== प्रपत्रों और वर्गों की रचना ===
=== प्रपत्रों एवं वर्गों की रचना ===


गॉस की अत्यंत तकनीकी और सामान्य परिभाषा को सरल बनाने के प्रयास में, अक्सर रूपों की संरचना की कई प्रकार की परिभाषाएँ दी गई हैं। हम यहां अरंड्ट की विधि प्रस्तुत कर रहे हैं, क्योंकि यह हाथ से गणना करने में सक्षम होने के लिए पर्याप्त सरल होने के साथ-साथ सामान्य बनी हुई है। [[ भार्गवा क्यूब ]]्स में  वैकल्पिक परिभाषा का वर्णन किया गया है।
गॉस की अत्यंत प्रौद्योगिकी एवं सामान्य परिभाषा को सरल बनाने के प्रयत्न में, प्रायः रूपों की संरचना की कई प्रकार की परिभाषाएँ दी गई हैं। हम यहां अरंड्ट की विधि प्रस्तुत कर रहे हैं, क्योंकि यह हाथ से गणना करने में सक्षम होने के लिए पर्याप्त सरल होने के साथ-साथ सामान्य बनी हुई है।[[ भार्गवा क्यूब ]] में  वैकल्पिक परिभाषा का वर्णन किया गया है।


मान लीजिए हम फॉर्म बनाना चाहते हैं <math>f_1 = A_1 x^2 + B_1 xy + C_1 y^2</math> और <math>f_2 = A_2 x^2 + B_2 xy + C_2 y^2</math>, प्रत्येक आदिम और  ही विभेदक का <math>\Delta</math>. हम निम्नलिखित कदम उठाते हैं:
मान लीजिए हम प्रपत्र <math>f_1 = A_1 x^2 + B_1 xy + C_1 y^2</math> बनाना चाहते हैं एवं <math>f_2 = A_2 x^2 + B_2 xy + C_2 y^2</math>, प्रत्येक आदिम एवं विभेदक <math>\Delta</math>का तो हम निम्नलिखित उपाय करते हैं:


# गणना करें <math>B_\mu = \tfrac{B_1 + B_2}{2}</math> और <math> e = \gcd(A_1, A_2, B_\mu)</math>, और <math>A = \tfrac{A_1 A_2}{e^2}</math>
# गणना करें <math>B_\mu = \tfrac{B_1 + B_2}{2}</math> एवं <math> e = \gcd(A_1, A_2, B_\mu)</math>, एवं <math>A = \tfrac{A_1 A_2}{e^2}</math>
# सर्वांगसमता प्रणाली <ब्लॉककोट> को हल करें<math>\begin{align} x &\equiv B_1 \pmod{2 \tfrac{A_1}{e}}\\ x &\equiv B_2 \pmod{2 \tfrac{A_2}{e}}\\ \tfrac{B_\mu}{e} x &\equiv \tfrac{\Delta + B_1 B_2}{2e} \pmod{2A} \end{align} </math>
# सर्वांगसमता प्रणाली का समाधान करें<math>\begin{align} x &\equiv B_1 \pmod{2 \tfrac{A_1}{e}}\\ x &\equiv B_2 \pmod{2 \tfrac{A_2}{e}}\\ \tfrac{B_\mu}{e} x &\equiv \tfrac{\Delta + B_1 B_2}{2e} \pmod{2A} \end{align} </math>
यह दिखाया जा सकता है कि इस प्रणाली में हमेशा  अद्वितीय पूर्णांक समाधान मॉड्यूलो होता है <math>2A</math>. हम मनमाने ढंग से ऐसा समाधान चुनते हैं और इसे बी कहते हैं।
यह प्रदर्शित किया जा सकता है कि इस प्रणाली में सदैव अद्वितीय पूर्णांक समाधान मॉड्यूलो <math>2A</math> होता है, हम ऐसा समाधान का चयन करते हैं एवं इसे B कहते हैं।
# C की गणना ऐसे करें <math>\Delta = B^2 - 4AC</math>. यह दिखाया जा सकता है कि C पूर्णांक है।
# C की गणना ऐसे करें <math>\Delta = B^2 - 4AC</math>, यह प्रदर्शित किया जा सकता है कि C पूर्णांक है।


फार्म <math>Ax^2 + Bxy + Cy^2</math> की रचना है <math>f_1</math> और <math>f_2</math>. हम देखते हैं कि इसका पहला गुणांक अच्छी तरह से परिभाषित है, लेकिन अन्य दो बी और सी की पसंद पर निर्भर करते हैं। इसे  अच्छी तरह से परिभाषित ऑपरेशन बनाने का तरीका बी को चुनने के तरीके के लिए मनमाना सम्मेलन बनाना है - उदाहरण के लिए, चुनें B उपरोक्त सर्वांगसमताओं की प्रणाली का सबसे छोटा सकारात्मक समाधान है। वैकल्पिक रूप से, हम रचना के परिणाम को रूप के रूप में नहीं, बल्कि प्रपत्र के आव्यूहों के समूह की क्रिया मॉड्यूलो के समतुल्य वर्ग के रूप में देख सकते हैं।
फार्म <math>Ax^2 + Bxy + Cy^2</math> की रचना <math>f_1</math> एवं <math>f_2</math> है। हम देखते हैं कि इसका प्रथम गुणांक उचित प्रकार से परिभाषित है, किन्तु अन्य दो B एवं C की पसंद पर निर्भर करते हैं। इसे  उचित प्रकार से परिभाषित ऑपरेशन बनाने का विधि B को चयन के विधियाँ के लिए सम्मेलन बनाना है - उदाहरण के लिए, B उपरोक्त सर्वांगसमताओं की प्रणाली का सबसे छोटा धनात्मक समाधान है। वैकल्पिक रूप से, हम रचना के परिणाम को रूप में नहीं, बल्कि प्रपत्र के आव्यूहों के समूह की क्रिया मॉड्यूलो के समतुल्य वर्ग के रूप में देख सकते हैं।


: <math>\begin{pmatrix} 1 & n\\ 0 & 1\end{pmatrix}</math>,
: <math>\begin{pmatrix} 1 & n\\ 0 & 1\end{pmatrix}</math>,


जहाँ n  पूर्णांक है. यदि हम के वर्ग पर विचार करें <math>Ax^2 + Bxy + Cy^2</math> इस क्रिया के तहत, वर्ग में रूपों के मध्य गुणांक पूर्णांक मॉड्यूलो 2ए का  सर्वांगसम वर्ग बनाते हैं। इस प्रकार, रचना द्विआधारी द्विघात रूपों के जोड़े से लेकर ऐसे वर्गों तक अच्छी तरह से परिभाषित फ़ंक्शन देती है।
जहाँ n  पूर्णांक है, यदि हम के वर्ग <math>Ax^2 + Bxy + Cy^2</math>पर विचार करें, इस क्रिया के अंतर्गत, वर्ग में रूपों के मध्य गुणांक पूर्णांक मॉड्यूलो 2A का  सर्वांगसम वर्ग बनाते हैं। इस प्रकार, रचना द्विआधारी द्विघात रूपों के जोड़े से लेकर ऐसे वर्गों तक उचित प्रकार से परिभाषित फलन देती है।


यह दिखाया जा सकता है कि यदि <math>f_1</math> और <math>f_2</math> के समतुल्य हैं <math>g_1</math> और <math>g_2</math> क्रमशः, फिर की रचना <math>f_1</math> और <math>f_2</math> की रचना के समतुल्य है <math>g_1</math> और <math>g_2</math>. इसका तात्पर्य यह है कि रचना विभेदक के आदिम वर्गों पर अच्छी तरह से परिभाषित संचालन को प्रेरित करती है <math>\Delta</math>, और जैसा कि ऊपर बताया गया है, गॉस ने दिखाया कि ये वर्ग सीमित एबेलियन समूह बनाते हैं। समूह में [[पहचान तत्व]] वर्ग सभी रूपों वाला अद्वितीय वर्ग है <math>x^2 + Bxy + Cy^2</math>, यानी, पहले गुणांक 1 के साथ। (यह दिखाया जा सकता है कि ऐसे सभी रूप  ही वर्ग में हैं, और प्रतिबंध <math>\Delta \equiv 0 \text{ or } 1 \pmod{4}</math> तात्पर्य यह है कि प्रत्येक विवेचक का ऐसा रूप मौजूद होता है।) किसी वर्ग के तत्व का व्युत्क्रम करने के लिए, हम  प्रतिनिधि लेते हैं <math>Ax^2 + Bxy + Cy^2</math> और का वर्ग बनाते हैं <math>Ax^2 - Bxy + Cy^2</math>. वैकल्पिक रूप से, हम का वर्ग बना सकते हैं <math>Cx^2 + Bxy + Ay^2</math> इसके बाद से और <math>Ax^2 - Bxy + Cy^2</math> समतुल्य हैं.
यह प्रदर्शित किया जा सकता है कि यदि <math>f_1</math> एवं <math>f_2</math> के समतुल्य <math>g_1</math> एवं <math>g_2</math>हैं, फिर <math>f_1</math> एवं <math>f_2</math> की रचना के समतुल्य <math>g_1</math> एवं <math>g_2</math> है। इसका तात्पर्य यह है कि रचना विभेदक के आदिम वर्गों पर उचित प्रकार से परिभाषित संचालन को प्रेरित करती है <math>\Delta</math>, एवं जैसा कि ऊपर बताया गया है, गॉस ने प्रदर्शित किया कि ये वर्ग सीमित एबेलियन समूह बनाते हैं। समूह में [[पहचान तत्व]] वर्ग सभी रूपों वाला अद्वितीय वर्ग <math>x^2 + Bxy + Cy^2</math> पूर्व गुणांक 1 के साथ है। (यह प्रदर्शित किया जा सकता है कि ऐसे सभी रूप  ही वर्ग में हैं, एवं प्रतिबंध <math>\Delta \equiv 0 \text{ or } 1 \pmod{4}</math> तात्पर्य यह है कि प्रत्येक विवेचक का ऐसा रूप उपस्थित होता है।) किसी वर्ग <math>Ax^2 + Bxy + Cy^2</math> के तत्व का व्युत्क्रम करने के लिए, हम प्रतिनिधि लेते हैं एवं <math>Ax^2 - Bxy + Cy^2</math>का वर्ग बनाते हैं। वैकल्पिक रूप से, हम <math>Cx^2 + Bxy + Ay^2</math>का वर्ग बना सकते हैं, इसके पश्चात से <math>Ax^2 - Bxy + Cy^2</math> समतुल्य हैं।


== द्विघात द्विघात रूपों की उत्पत्ति ==
== द्विघात द्विघात रूपों की उत्पत्ति ==


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


== इतिहास ==
== इतिहास ==


द्विआधारी द्विघात रूपों से युक्त बीजगणितीय पहचानों के आद्य-ऐतिहासिक ज्ञान के परिस्थितिजन्य साक्ष्य हैं।<ref>{{harvnb|Weil|2001|loc=Ch.I §§VI, VIII}}</ref> द्विआधारी द्विघात रूपों से संबंधित पहली समस्या विशेष द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के अस्तित्व या निर्माण की मांग करती है। प्रमुख उदाहरण पेल के समीकरण का समाधान और दो वर्गों के योग के रूप में पूर्णांकों का प्रतिनिधित्व हैं। पेल के समीकरण पर भारतीय गणितज्ञ ब्रह्मगुप्त ने 7वीं शताब्दी ई. में पहले ही विचार कर लिया था। कई शताब्दियों के बाद, उनके विचारों को पेल के समीकरण के पूर्ण समाधान तक विस्तारित किया गया, जिसे [[चक्रवाला विधि]] के रूप में जाना जाता है, जिसका श्रेय भारतीय गणितज्ञ जयदेव (गणितज्ञ) या भास्कर द्वितीय को दिया जाता है।<ref>{{harvnb|Weil|2001|loc=Ch.I §IX}}</ref> दो वर्गों के योग द्वारा पूर्णांकों को निरूपित करने की समस्या पर तीसरी शताब्दी में डायोफैंटस द्वारा विचार किया गया था।<ref>{{harvnb|Weil|2001|loc=Ch.I §IX}}</ref> 17वीं शताब्दी में, डायोफैंटस के [[ अंकगणित ]] को पढ़ते समय प्रेरित होकर, [[फर्मेट]] ने विशिष्ट द्विघात रूपों द्वारा निरूपण के बारे में कई टिप्पणियाँ कीं, जिसमें वह भी शामिल था जिसे अब दो वर्गों के योग पर फ़र्मेट के प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Weil|2001|loc=Ch.II §§VIII-XI}}</ref> [[यूलर]] ने फ़र्मेट की टिप्पणियों का पहला प्रमाण प्रदान किया और बिना किसी प्रमाण के विशिष्ट रूपों द्वारा प्रतिनिधित्व के बारे में कुछ नए अनुमान जोड़े।<ref>{{harvnb|Weil|2001|loc=Ch.III §§VII-IX}}</ref>
द्विआधारी द्विघात रूपों से युक्त बीजगणितीय पहचानों के आद्य-ऐतिहासिक ज्ञान के परिस्थितिजन्य साक्ष्य हैं।<ref>{{harvnb|Weil|2001|loc=Ch.I §§VI, VIII}}</ref> द्विआधारी द्विघात रूपों से संबंधित प्रथम समस्या विशेष द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के अस्तित्व या निर्माण की मांग करती है। प्रमुख उदाहरण पेल के समीकरण का समाधान एवं दो वर्गों के योग के रूप में पूर्णांकों का प्रतिनिधित्व हैं। पेल के समीकरण पर भारतीय गणितज्ञ ब्रह्मगुप्त ने 7वीं शताब्दी ई. में पूर्व ही विचार कर लिया था। कई शताब्दियों के पश्चात, उनके विचारों को पेल के समीकरण के पूर्ण समाधान तक विस्तारित किया गया, जिसे [[चक्रवाला विधि]] के रूप में जाना जाता है, जिसका श्रेय भारतीय गणितज्ञ जयदेव (गणितज्ञ) या भास्कर द्वितीय को दिया जाता है।<ref>{{harvnb|Weil|2001|loc=Ch.I §IX}}</ref> दो वर्गों के योग द्वारा पूर्णांकों को निरूपित करने की समस्या पर तीसरी शताब्दी में डायोफैंटस द्वारा विचार किया गया था।<ref>{{harvnb|Weil|2001|loc=Ch.I §IX}}</ref> 17वीं शताब्दी में, डायोफैंटस के [[ अंकगणित |अंकगणित]] को पढ़ते समय प्रेरित होकर, [[फर्मेट]] ने विशिष्ट द्विघात रूपों द्वारा निरूपण के विषय में कई टिप्पणियाँ कीं, जिसमें वह भी सम्मिलित था जिसे अब दो वर्गों के योग पर फ़र्मेट के प्रमेय के रूप में जाना जाता है।<ref>{{harvnb|Weil|2001|loc=Ch.II §§VIII-XI}}</ref> [[यूलर]] ने फ़र्मेट की टिप्पणियों का प्रथम प्रमाण प्रदान किया एवं बिना किसी प्रमाण के विशिष्ट रूपों द्वारा प्रतिनिधित्व के विषय में कुछ नए अनुमान जोड़े।<ref>{{harvnb|Weil|2001|loc=Ch.III §§VII-IX}}</ref>द्विघात रूपों का सामान्य सिद्धांत [[लैग्रेंज]] द्वारा 1775 में गणित में अपने रेचेर्चेस डी'अरिथमेटिक  प्रारम्भ किया गया था। लैग्रेंज ने सबसे पूर्व यह महसूस किया कि  सुसंगत सामान्य सिद्धांत के लिए सभी रूपों पर  साथ विचार करने की आवश्यकता होती है।<ref>{{harvnb|Weil|2001|loc=p.318}}</ref> वह विभेदक के महत्व को पहचानने एवं तुल्यता एवं कमी की आवश्यक धारणाओं को परिभाषित करने वाले पूर्व व्यक्ति थे, जो वेइल के अनुसार, तब से द्विघात रूपों के पूरे विषय पर प्रभावी हो गए हैं।<ref>{{harvnb|Weil|2001|loc=p.317}}</ref> लैग्रेंज ने प्रदर्शित किया कि दिए गए विभेदक के सारे समतुल्य वर्ग हैं, जिससे प्रथम बार अंकगणितीय आदर्श वर्ग समूह को परिभाषित किया गया है। रिडक्शन की उनकी प्रारम्भ ने दिए गए विभेदक के वर्गों की त्वरित गणना की अनुमति दी एवं बुनियादी आकृति (संख्या सिद्धांत) के अंतिम विकास का पूर्वाभास दिया। 1798 में, [[एड्रियन मैरी लीजेंड्रे]] ने एस्साई सुर ला थियोरी डेस नोम्ब्रेस प्रकाशित किया, जिसमें यूलर एवं लैग्रेंज के कार्य का सारांश दिया गया एवं उनके स्वयं के कुछ योगदानों को जोड़ा गया, जिसमें रूपों पर रचना संचालन की प्रथम छवि भी सम्मिलित थी।
द्विघात रूपों का सामान्य सिद्धांत [[लैग्रेंज]] द्वारा 1775 में गणित में महत्वपूर्ण प्रकाशनों की अपनी सूची में शुरू किया गया था #Recherches d'Arithmétique|Recherches d'Arithmétique। लैग्रेंज ने सबसे पहले यह महसूस किया कि  सुसंगत सामान्य सिद्धांत के लिए सभी रूपों पर  साथ विचार करने की आवश्यकता होती है।<ref>{{harvnb|Weil|2001|loc=p.318}}</ref> वह विभेदक के महत्व को पहचानने और तुल्यता और कमी की आवश्यक धारणाओं को परिभाषित करने वाले पहले व्यक्ति थे, जो वेइल के अनुसार, तब से द्विघात रूपों के पूरे विषय पर हावी हो गए हैं।<ref>{{harvnb|Weil|2001|loc=p.317}}</ref> लैग्रेंज ने दिखाया कि दिए गए विभेदक के बहुत सारे समतुल्य वर्ग हैं, जिससे पहली बार अंकगणितीय आदर्श वर्ग समूह को परिभाषित किया गया है। कटौती की उनकी शुरूआत ने दिए गए विभेदक के वर्गों की त्वरित गणना की अनुमति दी और बुनियादी ढांचे (संख्या सिद्धांत) के अंतिम विकास का पूर्वाभास दिया। 1798 में, [[एड्रियन मैरी लीजेंड्रे]] ने एस्साई सुर ला थियोरी डेस नोम्ब्रेस प्रकाशित किया, जिसमें यूलर और लैग्रेंज के काम का सारांश दिया गया और उनके स्वयं के कुछ योगदानों को जोड़ा गया, जिसमें रूपों पर रचना संचालन की पहली झलक भी शामिल थी।


गणित में महत्वपूर्ण प्रकाशनों की सूची #Disquisitiones Arithmeticae के खंड V में [[कार्ल फ्रेडरिक गॉस]] द्वारा सिद्धांत को काफी हद तक विस्तारित और परिष्कृत किया गया था। गॉस ने कंपोज़िशन ऑपरेटर का बहुत ही सामान्य संस्करण पेश किया जो विभिन्न विभेदकों और अभेद्य रूपों के समान रूपों की रचना करने की अनुमति देता है। उन्होंने लैग्रेंज की समतुल्यता को उचित समतुल्यता की अधिक सटीक धारणा के साथ प्रतिस्थापित किया, और इससे उन्हें यह दिखाने में मदद मिली कि दिए गए विभेदक के आदिम वर्ग रचना संचालन के तहत  [[समूह (गणित)]] बनाते हैं। उन्होंने जीनस सिद्धांत पेश किया, जो वर्गों के उपसमूह द्वारा वर्ग समूह के भागफल को समझने का  शक्तिशाली तरीका देता है। (गॉस और उसके बाद के कई लेखकों ने बी के स्थान पर 2बी लिखा; xy के गुणांक को विषम मानने वाली आधुनिक परंपरा गॉटथोल्ड ईसेनस्टीन के कारण है)।
गणित में महत्वपूर्ण प्रकाशनों की सूची के खंड V में [[कार्ल फ्रेडरिक गॉस]] द्वारा सिद्धांत को अधिक सीमा तक विस्तारित एवं परिष्कृत किया गया था। गॉस ने कंपोज़िशन ऑपरेटर का बहुत ही सामान्य संस्करण प्रस्तुत किया जो विभिन्न विभेदकों एवं अभेद्य रूपों के समान रूपों की रचना करने की अनुमति प्रदान करता है। उन्होंने लैग्रेंज की समतुल्यता को उचित समतुल्यता की अधिक त्रुटिहीन धारणा के साथ प्रतिस्थापित किया, एवं इससे उन्हें यह दिखाने में सहायता मिली कि दिए गए विभेदक के आदिम वर्ग रचना संचालन के अंतर्गत [[समूह (गणित)|समूह]] बनाते हैं। उन्होंने जीनस सिद्धांत प्रस्तुत किया, जो वर्गों के उपसमूह द्वारा वर्ग समूह के भागफल को समझने की शक्तिशाली विधि प्रदान करता है। (गॉस एवं उसके पश्चात के कई लेखकों ने b के स्थान पर 2b लिखा; xy के गुणांक को विषम मानने वाली आधुनिक परंपरा गॉटथोल्ड ईसेनस्टीन के कारण है)।


गॉस की इन जांचों ने दो से अधिक चरों में द्विघात रूपों के अंकगणितीय सिद्धांत और बीजगणितीय संख्या सिद्धांत के बाद के विकास दोनों को दृढ़ता से प्रभावित किया, जहां द्विघात क्षेत्रों को अधिक सामान्य संख्या क्षेत्रों से बदल दिया जाता है। लेकिन प्रभाव तत्काल नहीं था. डिस्क्विज़िशन के खंड V में वास्तव में क्रांतिकारी विचार शामिल हैं और इसमें बहुत जटिल गणनाएँ शामिल हैं, जिन्हें कभी-कभी पाठक पर छोड़ दिया जाता है। संयुक्त रूप से, नवीनता और जटिलता ने खंड V को अत्यंत कठिन बना दिया। [[ Dirichlet ]] ने सिद्धांत का सरलीकरण प्रकाशित किया जिसने इसे व्यापक दर्शकों के लिए सुलभ बना दिया। इस कार्य की परिणति उनका पाठ गणित में महत्वपूर्ण प्रकाशनों की सूची#वोरलेसुंगेन उबेर ज़हलेन्थियोरी|वोरलेसुंगेन उबेर ज़हलेनथियोरी है। इस कार्य के तीसरे संस्करण में [[डेडेकाइंड]] के दो पूरक शामिल हैं। अनुपूरक XI रिंग सिद्धांत का परिचय देता है, और तब से, विशेष रूप से 1897 में हिल्बर्ट के प्रकाशन के बाद|हिल्बर्ट की गणित में महत्वपूर्ण प्रकाशनों की सूची#ज़ाहलबेरिच, द्विआधारी द्विघात रूपों के सिद्धांत ने बीजगणितीय संख्या सिद्धांत में अपनी प्रमुख स्थिति खो दी और अधिक सामान्य द्वारा छायांकित हो गया बीजगणितीय संख्या क्षेत्रों का सिद्धांत।
गॉस की इन शोधों ने दो से अधिक चरों में द्विघात रूपों के अंकगणितीय सिद्धांत एवं बीजगणितीय संख्या सिद्धांत के पश्चात के विकास दोनों को दृढ़ता से प्रभावित किया, जहां द्विघात क्षेत्रों को अधिक सामान्य संख्या क्षेत्रों से परिवर्तित कर दिया जाता है। किन्तु प्रभाव तत्काल नहीं था, डिस्क्विज़िशन के खंड V में वास्तव में क्रांतिकारी विचार सम्मिलित हैं एवं इसमें समष्टि गणनाएँ सम्मिलित हैं, जिन्हें कभी-कभी पाठक पर छोड़ दिया जाता है। संयुक्त रूप से, नवीनता एवं समष्टिता ने खंड V को अत्यंत कठिन बना दिया है।[[ Dirichlet | डिरिचलेट]] ने सिद्धांत का सरलीकरण प्रकाशित किया जिसने इसे व्यापक दर्शकों के लिए सुलभ बना दिया। इस कार्य की परिणति उनका पाठ वोरलेसुंगेन उबेर ज़हलेनथियोरी है है। इस कार्य के तीसरे संस्करण में [[डेडेकाइंड]] के दो पूरक सम्मिलित हैं। अनुपूरक XI रिंग सिद्धांत का परिचय प्रदान करता है, एवं तब से, विशेष रूप से 1897 में हिल्बर्ट के प्रकाशन के पश्चात, हिल्बर्ट की महत्वपूर्ण प्रकाशनों की सूची ज़ाहलबेरिच, द्विआधारी द्विघात रूपों के सिद्धांत ने बीजगणितीय संख्या सिद्धांत में अपनी प्रमुख स्थिति खो दी एवं अधिक सामान्य द्वारा छायांकित हो गया


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


==यह भी देखें==
==यह भी देखें==
Line 176: Line 177:


==संदर्भ==
==संदर्भ==
* Johannes Buchmann, Ulrich Vollmer: ''Binary Quadratic Forms'', Springer, Berlin 2007, {{ISBN|3-540-46367-4}}
* Johannes बीuchmann, Ulrich Vollmer: ''बीinary Quadratic Forms'', Springer, बीerlin 2007, {{ISBN|3-540-46367-4}}
* Duncan A. Buell: ''Binary Quadratic Forms'', Springer, New York 1989
* Duncan A. बीuell: ''बीinary Quadratic Forms'', Springer, New York 1989
* David A Cox, ''Primes of the form <math>x^2 + y^2</math>, Fermat, class field theory, and complex multiplication''
* David A Cox, ''Primes of the form <math>x^2 + y^2</math>, Fermat, class field theory, and complex multiplication''
* {{Citation
* {{Citation
Line 246: Line 247:
* [http://oeis.org/wiki/User:Peter_Luschny/BinaryQuadraticForms Peter Luschny, Positive numbers represented by a binary quadratic form]
* [http://oeis.org/wiki/User:Peter_Luschny/BinaryQuadraticForms Peter Luschny, Positive numbers represented by a binary quadratic form]
* {{eom|id=b/b016370|author=A. V. Malyshev|title=Binary quadratic form}}
* {{eom|id=b/b016370|author=A. V. Malyshev|title=Binary quadratic form}}
[[Category: द्विघात रूप]]


[[Category: Machine Translated Page]]
[[Category:Created On 10/07/2023]]
[[Category:Created On 10/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:द्विघात रूप]]

Latest revision as of 12:14, 31 July 2023

गणित में, द्विचर द्विघात रूप दो चरों वाला द्विघात सजातीय बहुपद है

जहां a, b, c 'गुणांक' हैं। जब गुणांक समष्टि संख्याएं हो सकते हैं, तो अधिकांश परिणाम दो चर के विषयों के लिए विशिष्ट नहीं होते हैं, इसलिए उन्हें द्विघात रूप में वर्णित किया जाता है। पूर्णांक गुणांक वाले द्विघात रूप को 'अभिन्न द्विघात द्विघात रूप' कहा जाता है, जिसे प्रायः द्विघात द्विघात रूप में संक्षिप्त किया जाता है।

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

पियरे फ़र्मेट ने कहा कि यदि p विषम अभाज्य है तो समीकरण समाधान है iff , एवं उन्होंने समीकरणों , , एवं के विषय में समान विचार दिया एवं इसी प्रकार द्विघात रूप हैं, एवं द्विघात रूपों का सिद्धांत इन प्रमेयों को देखने एवं सिद्ध करने का एकीकृत विधि प्रदान करता है।

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

द्विघात द्विघात रूप द्विघात क्षेत्रों में आदर्शों से निकटता से संबंधित हैं, इससे किसी दिए गए विभेदक के कम किए गए द्विघात द्विघात रूपों की संख्या की गणना करके द्विघात क्षेत्र की वर्ग संख्या की गणना की जा सकती है।

2 वेरिएबल्स का शास्त्रीय थीटा फलन है, यदि धनात्मक निश्चित द्विघात रूप है, तब थीटा फलन है।

समतुल्यता

यदि पूर्णांक उपस्थित हों तो दो रूप f एवं g को 'समतुल्य' कहा जाता है, जैसे कि निम्नलिखित नियम प्रस्तावित हों:

उदाहरण के लिए, एवं , , , एवं , हम पाते हैं कि f,के समतुल्य है , जो को सरल बनाता है।

उपरोक्त तुल्यता स्थितियाँ अभिन्न द्विघात रूपों के समुच्चय पर तुल्यता संबंध को परिभाषित करती हैं। इससे यह निष्कर्ष निकलता है कि द्विघात रूप समुच्चय का समतुल्य वर्गों में विभाजन है, जिन्हें द्विघात रूपों के वर्ग कहा जाता है। वर्ग अपरिवर्तनीय का अर्थ या तो रूपों के समतुल्य वर्गों पर परिभाषित फलन या वर्ग में सभी रूपों द्वारा भागित की गई संपत्ति हो सकता है।

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

आव्यूह में, जिसका प्रयोग नीचे कभी-कभी, जब किया जाता है,

,

इसमें पूर्णांक प्रविष्टियाँ एवं निर्धारक 1, नक्शा , द्विआधारी द्विघात रूपों के समुच्चय पर की (दाएं) समूह क्रिया है। उपरोक्त तुल्यता संबंध समूह क्रियाओं के सामान्य सिद्धांत से उत्पन्न होता है।

यदि , तो महत्वपूर्ण अपरिवर्तनीय सम्मिलित हैं

  • विभेदक है,
  • सामग्री, a, b, एवं c के सबसे बड़े सामान्य भाजक के समान है।

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

ऑटोमोर्फिज्म

यदि f द्विघात रूप है, तो आव्यूह है,

में f का ऑटोमोर्फिज्म है यदि है। उदाहरण के लिए, मैट्रिक्स

का स्वप्रतिरूपण है। किसी रूप की ऑटोमोर्फिज्म का उपसमूह बनाती है। जब f निश्चित होता है, तो समूह परिमित होता है, एवं जब f अनिश्चित होता है, तो यह अनंत एवं चक्रीय समूह होता है।

प्रतिनिधित्व

द्विघात द्विघात रूप पूर्णांक का प्रतिनिधित्व करता है यदि पूर्णांक एवं ज्ञात करना संभव है जो समीकरण को संतुष्ट करता है। ऐसा समीकरण n द्वारा q प्रतिनिधित्व है।

उदाहरण

डायोफैंटस ने विचार किया कि क्या, विषम पूर्णांक के लिए, पूर्णांक एवं ज्ञात करना संभव है जिसके लिए होता है।[2] जब , तो

तो हम जोड़े ढूंढते हैं जो ट्रिक करते हैं। हम अधिक जोड़े प्राप्त करते हैं जो मानों एवं को परिवर्तित करके एवं/या एवं में किसी एक या दोनों का चिह्न परिवर्तित करकर कार्य करते हैं। कुल मिलाकर, सोलह भिन्न-भिन्न समाधान जोड़े हैं। दूसरी ओर, जब , समीकरण

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

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

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

,

एवं हम ज्ञात कर सकते हैं कि यह संतुष्ट को करता है। इस प्रक्रिया को दोहराते हुए, हमें के लिए साथ जोड़े मिलते हैं  :

ये मान आकार में बढ़ते रहेंगे, इसलिए हम देखते हैं कि प्रपत्र द्वारा 1 का प्रतिनिधित्व करने के अनंत विधियाँ हैं। इस पुनरावर्ती विवरण पर यूक्लिड के तत्वों पर थियोन ऑफ स्मिर्ना की टिप्पणी में विचार किया गया था।

प्रतिनिधित्व समस्या

द्विआधारी द्विघात रूपों के सिद्धांत में सबसे प्राचीन समस्या प्रतिनिधित्व समस्या है: किसी दिए गए संख्या के प्रतिनिधित्व का वर्णन किसी दिए गए द्विघात रूप f द्वारा किया जाता है। वर्णन के विभिन्न अर्थ हो सकते हैं: सभी अभ्यावेदन उत्पन्न करने के लिए एल्गोरिदम देना, अभ्यावेदन की संख्या के लिए संवृत सूत्र देना, या यहां तक ​​कि यह निर्धारित करना कि क्या कोई अभ्यावेदन उपस्थित है।

उपरोक्त उदाहरण प्रपत्र द्वारा संख्या 3 एवं 65 के लिए एवं नंबर 1 के लिए प्रपत्र द्वारा प्रतिनिधित्व समस्या पर विचार करते हैं। हम देखते हैं कि 65 को सोलह भिन्न-भिन्न उपायों से दर्शाया गया है। जबकि 1 का प्रतिनिधित्व अनंत रूप से कई उपायों से किया जाता है एवं 3, द्वारा प्रदर्शित नहीं किया गया है। पूर्व विषयों में, सोलह अभ्यावेदन का स्पष्ट रूप से वर्णन किया गया था। यह भी दर्शाया गया कि किसी पूर्णांक के निरूपण की संख्या सदैव सीमित होती है। वर्गों का योग फलन द्वारा n के निरूपण की संख्या , n के फलन के रूप में प्रदान करता है। संवृत सूत्र [3]

है,

जहाँ n के विभाजकों की संख्या है जो 1 मॉड्यूल 4 के मॉड्यूलर अंकगणित हैं एवं n के विभाजकों की संख्या है जो 3 मॉड्यूल 4 के सर्वांगसम हैं।

प्रतिनिधित्व समस्या के लिए प्रासंगिक कई वर्ग अपरिवर्तनीय हैं:

  • किसी वर्ग द्वारा प्रदर्शित पूर्णांकों का समुच्चय है। यदि पूर्णांक n को वर्ग में दर्शाया जाता है, तो इसे वर्ग में अन्य सभी रूपों द्वारा दर्शाया जाता है।
  • किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान है। यह किसी वर्ग द्वारा दर्शाए गए पूर्णांकों के समुच्चय में सबसे छोटा अन्य-ऋणात्मक मान है।
  • सर्वांगसमता वर्ग वर्ग द्वारा दर्शाए गए वर्ग के विभेदक को मापता है।

किसी वर्ग द्वारा दर्शाया गया न्यूनतम निरपेक्ष मान पतित वर्गों के लिए शून्य है एवं निश्चित एवं अनिश्चित वर्गों के लिए धनात्मक है। सभी संख्याएँ निश्चित रूप में प्रदर्शित होती हैं जिसका समान चिन्ह है: धनात्मक यदि एवं ऋणात्मक यदि होता है। इस कारण से, पूर्व को धनात्मक निश्चित रूप कहा जाता है एवं पश्चात को ऋणात्मक निश्चित रूप कहा जाता है।

यदि f निश्चित है तो f रूप द्वारा पूर्णांक n के निरूपण की संख्या सीमित है एवं यदि f अनिश्चित है तो अनंत है। हमने उपरोक्त उदाहरणों में इसके उदाहरण देखे: धनात्मक निश्चित है एवं अनिश्चित है।

समतुल्य प्रतिनिधित्व

रूपों की तुल्यता की धारणा को समकक्ष अभ्यावेदन तक बढ़ाया जा सकता है। अभ्यावेदन एवं यदि कोई आव्यूह उपस्थित है तो समतुल्य हैं,

पूर्णांक प्रविष्टियों एवं निर्धारक 1 के साथ जिससे एवं

है,

उपरोक्त स्थितियाँ समूह की द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के समुच्चय पर (त्रुटिहीन) शोध प्रदान करती हैं। इससे यह निष्कर्ष निकलता है कि इस प्रकार परिभाषित समतुल्यता समतुल्य संबंध है एवं विशेष रूप से समतुल्य अभ्यावेदन में उपस्थित रूप समतुल्य रूप हैं।

उदाहरण के लिए, एवं अभ्यावेदन पर विचार करें, ऐसा प्रतिनिधित्व उपरोक्त उदाहरणों में वर्णित पेल समीकरण का समाधान है। गणित का सवाल

इसका निर्धारक 1 है एवं यह f का स्वप्रतिरूपण है। अभ्यावेदन पर कार्यवाही , इस आव्यूहद्वारा समतुल्य प्रतिनिधित्व प्राप्त होता है। यह अपरिमित रूप से कई समाधान उत्पन्न करने के लिए ऊपर वर्णित प्रक्रिया में पुनरावर्तन चरण है। इस आव्यूहक्रिया को दोहराते हुए, हम पाते हैं कि 1/ f के निरूपण के अनंत समुच्चय जो ऊपर निर्धारित किए गए थे, वे सभी समतुल्य हैं।

सामान्यतः दिए गए अन्य-शून्य विभेदक के रूपों द्वारा पूर्णांक एन के प्रतिनिधित्व के सीमित रूप से कई समतुल्य वर्ग होते हैं। इन वर्गों के लिए प्रतिनिधि का पूर्ण समुच्चय नीचे दिए गए अनुभाग में परिभाषित संक्षिप्त रूपों के संदर्भ में दिया जा सकता है। जब , प्रत्येक प्रतिनिधित्व संक्षिप्त रूप द्वारा अद्वितीय प्रतिनिधित्व के समान है, इसलिए प्रतिनिधियों का पूर्ण समुच्चय विभेदक के कम रूपों द्वारा एन के सीमित कई प्रतिनिधित्व द्वारा दिया जाता हैं।जब , ज़ैगियर ने परिमाणित किया कि विवेचक के रूप द्वारा धनात्मक पूर्णांक n का प्रत्येक प्रतिनिधित्व अद्वितीय प्रतिनिधित्व के समान है, जिसमें ज़ैगियर के अर्थ में f को कम किया गया है एवं , है,[4] ऐसे सभी अभ्यावेदन का समुच्चय अभ्यावेदन के समतुल्य वर्गों के लिए प्रतिनिधियों का पूर्ण समुच्चय बनता है।

कमी एवं वर्ग संख्या

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

गॉस ने अंकगणितीय विवेचन में उत्तमरिडक्शन एल्गोरिदम दिया, जो तब से पाठ्यपुस्तकों में सबसे अधिक दिया जाने वाला रिडक्शन एल्गोरिदम रहा है। 1981 में, ज़ैगियर ने वैकल्पिक रिडक्शन एल्गोरिदम प्रकाशित किया जिसे गॉस के विकल्प के रूप में कई उपयोग मिले हैं।[5]

रचना

रचना सामान्यतः ही विभेदक के रूपों के आदिम तुल्यता वर्गों पर द्विआधारी ऑपरेशन को संदर्भित करती है, जो गॉस की सबसे गहरी शोधों में से है, जो इस समुच्चय को परिमित एबेलियन समूह में बनाता है जिसे विभेदक का रूप वर्ग समूह (या बस वर्ग समूह) कहा जाता है। तब से वर्ग समूह बीजगणितीय संख्या सिद्धांत में केंद्रीय विचारों में से बन गए हैं। आधुनिक दृष्टिकोण से, मौलिक विभेदक का वर्ग समूह द्विघात क्षेत्र विभेदक का के संकीर्ण वर्ग समूह के लिए समरूपी है।[6] ऋणात्मक के लिए , संकीर्ण वर्ग समूह आदर्श वर्ग समूह के समान है, किन्तु धनात्मक के लिए यह दोगुना बड़ा हो सकता है.

रचना कभी-कभी, द्विघात द्विघात रूपों पर द्विआधारी ऑपरेशन को भी संदर्भित करती है। यह शब्द दो चेतावनियों को इंगित करता है: द्विआधारी द्विघात रूपों के केवल कुछ जोड़े ही बनाए जा सकते हैं, एवं परिणामी रूप उचित प्रकार से परिभाषित नहीं है (चूँकि इसका समतुल्य वर्ग है)। समतुल्य वर्गों पर संरचना संचालन को पूर्व रूपों की संरचना को परिभाषित करके एवं फिर यह दिखाकर परिभाषित किया जाता है कि यह कक्षाओं पर उचित प्रकार से परिभाषित संचालन को प्रेरित करता है।
संरचना प्रपत्रों द्वारा पूर्णांकों के निरूपण पर द्विआधारी ऑपरेशन का भी उल्लेख कर सकती है। यह ऑपरेशन अधिक समष्टि है रूपों की संरचना से, किन्तु ऐतिहासिक रूप से पूर्व उत्पन्न हुआ। हम नीचे भिन्न अनुभाग में ऐसे परिचालनों पर विचार करेंगे।

रचना का अर्थ है कि विभेदक के दो द्विघात रूप लेना एवं उन्हें मिलाकर ही विभेदक का द्विघात रूप बनाना, जैसा कि ब्रह्मगुप्त की पहचान से ज्ञात होता है।

प्रपत्रों एवं वर्गों की रचना

गॉस की अत्यंत प्रौद्योगिकी एवं सामान्य परिभाषा को सरल बनाने के प्रयत्न में, प्रायः रूपों की संरचना की कई प्रकार की परिभाषाएँ दी गई हैं। हम यहां अरंड्ट की विधि प्रस्तुत कर रहे हैं, क्योंकि यह हाथ से गणना करने में सक्षम होने के लिए पर्याप्त सरल होने के साथ-साथ सामान्य बनी हुई है।भार्गवा क्यूब में वैकल्पिक परिभाषा का वर्णन किया गया है।

मान लीजिए हम प्रपत्र बनाना चाहते हैं एवं , प्रत्येक आदिम एवं विभेदक का तो हम निम्नलिखित उपाय करते हैं:

  1. गणना करें एवं , एवं
  2. सर्वांगसमता प्रणाली का समाधान करें

यह प्रदर्शित किया जा सकता है कि इस प्रणाली में सदैव अद्वितीय पूर्णांक समाधान मॉड्यूलो होता है, हम ऐसा समाधान का चयन करते हैं एवं इसे B कहते हैं।

  1. C की गणना ऐसे करें , यह प्रदर्शित किया जा सकता है कि C पूर्णांक है।

फार्म की रचना एवं है। हम देखते हैं कि इसका प्रथम गुणांक उचित प्रकार से परिभाषित है, किन्तु अन्य दो B एवं C की पसंद पर निर्भर करते हैं। इसे उचित प्रकार से परिभाषित ऑपरेशन बनाने का विधि B को चयन के विधियाँ के लिए सम्मेलन बनाना है - उदाहरण के लिए, B उपरोक्त सर्वांगसमताओं की प्रणाली का सबसे छोटा धनात्मक समाधान है। वैकल्पिक रूप से, हम रचना के परिणाम को रूप में नहीं, बल्कि प्रपत्र के आव्यूहों के समूह की क्रिया मॉड्यूलो के समतुल्य वर्ग के रूप में देख सकते हैं।

,

जहाँ n पूर्णांक है, यदि हम के वर्ग पर विचार करें, इस क्रिया के अंतर्गत, वर्ग में रूपों के मध्य गुणांक पूर्णांक मॉड्यूलो 2A का सर्वांगसम वर्ग बनाते हैं। इस प्रकार, रचना द्विआधारी द्विघात रूपों के जोड़े से लेकर ऐसे वर्गों तक उचित प्रकार से परिभाषित फलन देती है।

यह प्रदर्शित किया जा सकता है कि यदि एवं के समतुल्य एवं हैं, फिर एवं की रचना के समतुल्य एवं है। इसका तात्पर्य यह है कि रचना विभेदक के आदिम वर्गों पर उचित प्रकार से परिभाषित संचालन को प्रेरित करती है , एवं जैसा कि ऊपर बताया गया है, गॉस ने प्रदर्शित किया कि ये वर्ग सीमित एबेलियन समूह बनाते हैं। समूह में पहचान तत्व वर्ग सभी रूपों वाला अद्वितीय वर्ग पूर्व गुणांक 1 के साथ है। (यह प्रदर्शित किया जा सकता है कि ऐसे सभी रूप ही वर्ग में हैं, एवं प्रतिबंध तात्पर्य यह है कि प्रत्येक विवेचक का ऐसा रूप उपस्थित होता है।) किसी वर्ग के तत्व का व्युत्क्रम करने के लिए, हम प्रतिनिधि लेते हैं एवं का वर्ग बनाते हैं। वैकल्पिक रूप से, हम का वर्ग बना सकते हैं, इसके पश्चात से समतुल्य हैं।

द्विघात द्विघात रूपों की उत्पत्ति

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

इतिहास

द्विआधारी द्विघात रूपों से युक्त बीजगणितीय पहचानों के आद्य-ऐतिहासिक ज्ञान के परिस्थितिजन्य साक्ष्य हैं।[7] द्विआधारी द्विघात रूपों से संबंधित प्रथम समस्या विशेष द्विआधारी द्विघात रूपों द्वारा पूर्णांकों के निरूपण के अस्तित्व या निर्माण की मांग करती है। प्रमुख उदाहरण पेल के समीकरण का समाधान एवं दो वर्गों के योग के रूप में पूर्णांकों का प्रतिनिधित्व हैं। पेल के समीकरण पर भारतीय गणितज्ञ ब्रह्मगुप्त ने 7वीं शताब्दी ई. में पूर्व ही विचार कर लिया था। कई शताब्दियों के पश्चात, उनके विचारों को पेल के समीकरण के पूर्ण समाधान तक विस्तारित किया गया, जिसे चक्रवाला विधि के रूप में जाना जाता है, जिसका श्रेय भारतीय गणितज्ञ जयदेव (गणितज्ञ) या भास्कर द्वितीय को दिया जाता है।[8] दो वर्गों के योग द्वारा पूर्णांकों को निरूपित करने की समस्या पर तीसरी शताब्दी में डायोफैंटस द्वारा विचार किया गया था।[9] 17वीं शताब्दी में, डायोफैंटस के अंकगणित को पढ़ते समय प्रेरित होकर, फर्मेट ने विशिष्ट द्विघात रूपों द्वारा निरूपण के विषय में कई टिप्पणियाँ कीं, जिसमें वह भी सम्मिलित था जिसे अब दो वर्गों के योग पर फ़र्मेट के प्रमेय के रूप में जाना जाता है।[10] यूलर ने फ़र्मेट की टिप्पणियों का प्रथम प्रमाण प्रदान किया एवं बिना किसी प्रमाण के विशिष्ट रूपों द्वारा प्रतिनिधित्व के विषय में कुछ नए अनुमान जोड़े।[11]द्विघात रूपों का सामान्य सिद्धांत लैग्रेंज द्वारा 1775 में गणित में अपने रेचेर्चेस डी'अरिथमेटिक प्रारम्भ किया गया था। लैग्रेंज ने सबसे पूर्व यह महसूस किया कि सुसंगत सामान्य सिद्धांत के लिए सभी रूपों पर साथ विचार करने की आवश्यकता होती है।[12] वह विभेदक के महत्व को पहचानने एवं तुल्यता एवं कमी की आवश्यक धारणाओं को परिभाषित करने वाले पूर्व व्यक्ति थे, जो वेइल के अनुसार, तब से द्विघात रूपों के पूरे विषय पर प्रभावी हो गए हैं।[13] लैग्रेंज ने प्रदर्शित किया कि दिए गए विभेदक के सारे समतुल्य वर्ग हैं, जिससे प्रथम बार अंकगणितीय आदर्श वर्ग समूह को परिभाषित किया गया है। रिडक्शन की उनकी प्रारम्भ ने दिए गए विभेदक के वर्गों की त्वरित गणना की अनुमति दी एवं बुनियादी आकृति (संख्या सिद्धांत) के अंतिम विकास का पूर्वाभास दिया। 1798 में, एड्रियन मैरी लीजेंड्रे ने एस्साई सुर ला थियोरी डेस नोम्ब्रेस प्रकाशित किया, जिसमें यूलर एवं लैग्रेंज के कार्य का सारांश दिया गया एवं उनके स्वयं के कुछ योगदानों को जोड़ा गया, जिसमें रूपों पर रचना संचालन की प्रथम छवि भी सम्मिलित थी।

गणित में महत्वपूर्ण प्रकाशनों की सूची के खंड V में कार्ल फ्रेडरिक गॉस द्वारा सिद्धांत को अधिक सीमा तक विस्तारित एवं परिष्कृत किया गया था। गॉस ने कंपोज़िशन ऑपरेटर का बहुत ही सामान्य संस्करण प्रस्तुत किया जो विभिन्न विभेदकों एवं अभेद्य रूपों के समान रूपों की रचना करने की अनुमति प्रदान करता है। उन्होंने लैग्रेंज की समतुल्यता को उचित समतुल्यता की अधिक त्रुटिहीन धारणा के साथ प्रतिस्थापित किया, एवं इससे उन्हें यह दिखाने में सहायता मिली कि दिए गए विभेदक के आदिम वर्ग रचना संचालन के अंतर्गत समूह बनाते हैं। उन्होंने जीनस सिद्धांत प्रस्तुत किया, जो वर्गों के उपसमूह द्वारा वर्ग समूह के भागफल को समझने की शक्तिशाली विधि प्रदान करता है। (गॉस एवं उसके पश्चात के कई लेखकों ने b के स्थान पर 2b लिखा; xy के गुणांक को विषम मानने वाली आधुनिक परंपरा गॉटथोल्ड ईसेनस्टीन के कारण है)।

गॉस की इन शोधों ने दो से अधिक चरों में द्विघात रूपों के अंकगणितीय सिद्धांत एवं बीजगणितीय संख्या सिद्धांत के पश्चात के विकास दोनों को दृढ़ता से प्रभावित किया, जहां द्विघात क्षेत्रों को अधिक सामान्य संख्या क्षेत्रों से परिवर्तित कर दिया जाता है। किन्तु प्रभाव तत्काल नहीं था, डिस्क्विज़िशन के खंड V में वास्तव में क्रांतिकारी विचार सम्मिलित हैं एवं इसमें समष्टि गणनाएँ सम्मिलित हैं, जिन्हें कभी-कभी पाठक पर छोड़ दिया जाता है। संयुक्त रूप से, नवीनता एवं समष्टिता ने खंड V को अत्यंत कठिन बना दिया है। डिरिचलेट ने सिद्धांत का सरलीकरण प्रकाशित किया जिसने इसे व्यापक दर्शकों के लिए सुलभ बना दिया। इस कार्य की परिणति उनका पाठ वोरलेसुंगेन उबेर ज़हलेनथियोरी है है। इस कार्य के तीसरे संस्करण में डेडेकाइंड के दो पूरक सम्मिलित हैं। अनुपूरक XI रिंग सिद्धांत का परिचय प्रदान करता है, एवं तब से, विशेष रूप से 1897 में हिल्बर्ट के प्रकाशन के पश्चात, हिल्बर्ट की महत्वपूर्ण प्रकाशनों की सूची ज़ाहलबेरिच, द्विआधारी द्विघात रूपों के सिद्धांत ने बीजगणितीय संख्या सिद्धांत में अपनी प्रमुख स्थिति खो दी एवं अधिक सामान्य द्वारा छायांकित हो गया ।

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

यह भी देखें

  • भार्गव घन
  • दो वर्गों के योग पर फ़र्मेट का प्रमेय
  • पौराणिक प्रतीक
  • ब्रह्मगुप्त की पहचान

टिप्पणियाँ

  1. Cohen 1993, §5.2
  2. Weil 2001, p. 30
  3. Hardy & Wright 2008, Thm. 278
  4. Zagier 1981
  5. Zagier 1981
  6. Fröhlich & Taylor 1993, Theorem 58
  7. Weil 2001, Ch.I §§VI, VIII
  8. Weil 2001, Ch.I §IX
  9. Weil 2001, Ch.I §IX
  10. Weil 2001, Ch.II §§VIII-XI
  11. Weil 2001, Ch.III §§VII-IX
  12. Weil 2001, p.318
  13. Weil 2001, p.317


संदर्भ

  • Johannes बीuchmann, Ulrich Vollmer: बीinary Quadratic Forms, Springer, बीerlin 2007, ISBN 3-540-46367-4
  • Duncan A. बीuell: बीinary Quadratic Forms, Springer, New York 1989
  • David A Cox, Primes of the form , Fermat, class field theory, and complex multiplication
  • Cohen, Henri (1993), A Course in Computational Algebraic Number Theory, Graduate Texts in Mathematics, vol. 138, Berlin, New York: Springer-Verlag, ISBN 978-3-540-55640-4, MR 1228206
  • Fröhlich, Albrecht; Taylor, Martin (1993), Algebraic number theory, Cambridge Studies in Advanced Mathematics, vol. 27, Cambridge University Press, ISBN 978-0-521-43834-6, MR 1215934
  • Hardy, G. H.; Wright, E. M. (2008) [1938], An Introduction to the Theory of Numbers, Revised by D. R. Heath-Brown and J. H. Silverman. Foreword by Andrew Wiles. (6th ed.), Oxford: Clarendon Press, ISBN 978-0-19-921986-5, MR 2445243, Zbl 1159.11001
  • Weil, André (2001), Number Theory: An approach through history from Hammurapi to Legendre, Birkhäuser Boston
  • Zagier, Don (1981), Zetafunktionen und quadratische Körper: eine Einführung in die höhere Zahlentheorie, Springer


बाहरी संबंध