वलय पर रैखिक समीकरण: Difference between revisions

Revision as of 14:39, 29 November 2022

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

एकल समीकरण की स्थिति में, समस्या दो भागों में विभाजित हो जाती है। सबसे पहले, आदर्श सदस्यता समस्या, जिसमें एक गैर-सजातीय समीकरण दिया गया है

a_{1}x_{1}+\cdots +a_{k}x_{k}=b

$a_{1},\ldots ,a_{k}$ तथा $b$ दी गई वलय $R$ में है, यह तय करने के लिए कि क्या इसका कोई $R$ में $x_{1},\ldots ,x_{k}$ के साथ समाधान है, और, यदि कोई हो, तो उसे उपलब्ध करने के लिए। यह तय करने के लिए राशि है कि क्या $b$ , $a i$ द्वारा उत्पन्न आदर्श से संबंधित है। इस समस्या का सबसे सरल उदाहरण है, $k = 1$ तथा $b = 1$ के लिए, यदि तय करने के लिए $R$ में $a$ एक इकाई है ।

सिजीजी समस्या में सम्मलित है, दिया गया है $R$ में $k$ तत्वों $a_{1},\ldots ,a_{k}$ , के सिजीगी के मॉड्यूल (गणित) के जनरेटर की एक प्रणाली प्रदान करने के लिए $(a_{1},\ldots ,a_{k}),$ यह उन तत्वों के submodule के जनरेटर की एक प्रणाली है $(x_{1},\ldots ,x_{k})$ में $R k$ जो सजातीय समीकरण के समाधान हैं

a_{1}x_{1}+\cdots +a_{k}x_{k}=0.

सबसे सरल स्थिति, कब

k = 1

के एनीहिलेटर के जनरेटर की एक प्रणाली खोजने के लिए

a 1

.

आदर्श सदस्यता समस्या के समाधान को देखते हुए, इसमें syzygies के मॉड्यूल के तत्वों को जोड़कर सभी समाधान प्राप्त किए जा सकते हैं। दूसरे शब्दों में, सभी समाधान इन दो आंशिक समस्याओं के समाधान द्वारा प्रदान किए जाते हैं।

कई समीकरणों की स्थिति में, उप-समस्याओं में समान अपघटन होता है। पहली समस्या सबमॉड्यूल सदस्यता समस्या बन जाती है। दूसरे को सिजीजी समस्या भी कहा जाता है।

एक वलय ऐसी है कि अंकगणितीय संचालन (जोड़, घटाव, गुणा) के लिए कलन विधि हैं और उपरोक्त समस्याओं के लिए एक गणना योग्य वलय या प्रभावी वलय कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावी है।

लेख उन मुख्य वलयो पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।

सामान्यता

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

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

एल्गोरिदम के अस्तित्व को सिद्ध करना करने के लिए यह प्रमेय उपयोगी है। हालाँकि, व्यवहार में, सिस्टम के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।

एक क्षेत्र (गणित) एक प्रभावी वलय है जैसे ही किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना वह है जिसे सामान्यतः सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना रैखिक समीकरणों की प्रणाली के मैट्रिक्स (गणित) के शून्य स्थान की गणना है। दोनों समस्याओं के लिए मूल एल्गोरिथम गाऊसी उन्मूलन है।

प्रभावी वलयो के गुण

माना $R$ एक प्रभावी क्रमविनिमेय वलय है :

यदि कोई तत्व $a$ , एक शून्य भाजक है तो परीक्षण के लिए एक एल्गोरिदम है। यह रैखिक समीकरण $ax = 0$ को हल करने के बराबर है।
यदि कोई तत्व $a$ एक इकाई है तो परीक्षण के लिए एक एल्गोरिदम है, और यदि यह है, तो इसके व्युत्क्रम की गणना करना: यह रैखिक समीकरण $ax = 1$ को हल करने के बराबर है।
a₁, ..., a_k द्वारा उत्पन्न एक आदर्श I दिया गया है ,
- यदि $R$ के दो तत्वों की $R / I$ में एक ही छवि है, तो उसके परीक्षण के लिए एक एल्गोरिदम है की छवियों की समानता का परीक्षण $a$ तथा $b$ समीकरण को हल करने के बराबर है $a = b + a 1 z 1 + \dots + a k z k$ ;
- रैखिक बीजगणित प्रभावी है $R / I$ : एक रैखिक प्रणाली को हल करने के लिए $R / I$ , यह लिखने के लिए पर्याप्त है $R$ और के एक तरफ जोड़ने के लिए $i$ समीकरण $a 1 z i,1 + \dots + a k z i, k$ (के लिये $i = 1, ...$ ), जहां $z i, j$ नए अज्ञात हैं।
रेखीय बीजगणित बहुपद वलय पर प्रभावी होता है $R[x_{1},\ldots ,x_{n}]$ यदि और केवल यदि किसी के पास एक एल्गोरिदम है जो बहुपदों के बहुपद की डिग्री की ऊपरी सीमा की गणना करता है जो समीकरणों की रैखिक प्रणालियों को हल करते समय हो सकता है: यदि किसी के पास एल्गोरिदम को हल करना है, तो उनके आउटपुट डिग्री देते हैं। विलोम (तर्क), यदि कोई समाधान में होने वाली डिग्री के ऊपरी भाग को जानता है, तो कोई अज्ञात बहुपदों को अज्ञात गुणांक वाले बहुपदों के रूप में लिख सकता है। फिर, जैसा कि दो बहुपद समान हैं यदि और केवल यदि उनके गुणांक समान हैं, तो समस्या के समीकरण गुणांक में रैखिक समीकरण बन जाते हैं, जिसे एक प्रभावी वलय पर हल किया जा सकता है।

पूर्णांकों या एक प्रमुख आदर्श डोमेन पर

इस लेख में पूर्णांकों पर बतायी गयी सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता है; विवरण के लिए रेखीय डायोफैंटाइन प्रणाली देखें।

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

$ax = b$ रूप के समीकरणों को हल करना, अर्थात परीक्षण हो रहा है कि क्या $a$ , $b$ का भाजक है, और, यदि यह स्थिति है, तो $a / b$ के भागफल की गणना करना
बेज़ाउट सर्वसमिका की गणना करना , दिए हुए $a$ तथा $b$ के लिए, ऐसे $s$ तथा $t$ कि गणना करना है कि $as + bt$ का सबसे बड़ा सामान्य विभाजक $p$ तथा $q$ है

यह सामान्य स्थिति में एक यूनिमॉड्यूलर आव्यूह की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक स्क्वायर आव्यूह कहा जाता है जिसका निर्धारक एक इकाई है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर आव्यूह बिल्कुल व्युत्क्रमणीय आव्यूह हैं, ऐसे व्युत्क्रम आव्यूह की सभी प्रविष्टियाँ डोमेन से संबंधित हैं।

उपरोक्त दो एल्गोरिदम का अर्थ है कि दिया गया $a$ तथा $b$ प्रमुख आदर्श डोमेन में, एक यूनिमॉड्यूलर आव्यूह की गणना करने वाला एक एल्गोरिदम है

{\begin{bmatrix}s&t\\u&v\end{bmatrix}}

ऐसा है कि

{\begin{bmatrix}s&t\\u&v\end{bmatrix}}{\begin{bmatrix}a\\b\end{bmatrix}}={\begin{bmatrix}\gcd(a,b)\\0\end{bmatrix}}.

(यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है $s$ तथा $t$ बेज़ाउट की पहचान के गुणांक, और के लिए $u$ तथा $v$ का भागफल $- b$ तथा $a$ द्वारा $as + bt$ ; इस विकल्प का तात्पर्य है कि वर्ग आव्यूह का निर्धारक है $1$ .)

इस तरह के एक एल्गोरिथ्म होने पर, मैट्रिक्स के स्मिथ सामान्य रूप की गणना बिल्कुल पूर्णांक स्थिति में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने के लिए एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है।

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

एक क्षेत्र पर बहुपद वलयो से अधिक

रेखीय बीजगणित एक क्षेत्र $k$ पर एक बहुपद वलय $k[x_{1},\ldots ,x_{n}]$ पर प्रभावी होता है। यह पहली बार 1926 में ग्रेट हरमन द्वारा सिद्ध किया गया था।^[2] हरमन के परिणामों से उत्पन्न एल्गोरिदम केवल ऐतिहासिक रुचि के हैं, क्योंकि प्रभावी कंप्यूटर संगणना की अनुमति देने के लिए उनकी कम्प्यूटेशनल जटिलता बहुत अधिक है।

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

संदर्भ

↑ Richman, Fred (1974). "नोथेरियन रिंग्स के रचनात्मक पहलू". Proc. Amer. Math. Soc. 44 (2): 436–441. doi:10.1090/s0002-9939-1974-0416874-9.
↑ Hermann, Grete (1926). "बहुपद आदर्शों के सिद्धांत में सूक्ष्म रूप से कई चरणों का प्रश्न". Mathematische Annalen. 95: 736–788. doi:10.1007/BF01206635. S2CID 115897210.. English translation in Communications in Computer Algebra 32/3 (1998): 8–30.

David A. Cox; John Little; Donal O'Shea (1997). Ideals, Varieties, and Algorithms (second ed.). Springer-Verlag. ISBN 0-387-94680-2. Zbl 0861.13012.
Aschenbrenner, Matthias (2004). "Ideal membership in polynomial rings over the integers" (PDF). J. Amer. Math. Soc. AMS. 17 (2): 407–441. doi:10.1090/S0894-0347-04-00451-5. S2CID 8176473. Retrieved 23 October 2013.

[1] Richman, Fred (1974). "नोथेरियन रिंग्स के रचनात्मक पहलू". Proc. Amer. Math. Soc. 44 (2): 436–441. doi:10.1090/s0002-9939-1974-0416874-9.

[2] Hermann, Grete (1926). "बहुपद आदर्शों के सिद्धांत में सूक्ष्म रूप से कई चरणों का प्रश्न". Mathematische Annalen. 95: 736–788. doi:10.1007/BF01206635. S2CID 115897210.. English translation in Communications in Computer Algebra 32/3 (1998): 8–30.

[1]

[2]

@@ Line 25: / Line 25: @@
 === प्रभावी वलयो के गुण ===
-होने देना {{mvar|R}} एक प्रभावी क्रमविनिमेय वलय बनें।
+माना {{mvar|R}} एक प्रभावी क्रमविनिमेय वलय है :
-* यदि कोई तत्व है तो परीक्षण के लिए एक एल्गोरिदम है {{mvar|a}} एक [[शून्य भाजक]] है: यह रैखिक समीकरण को हल करने के बराबर है {{math|1=''ax'' = 0}}.
+* यदि कोई तत्व {{mvar|a}}, एक [[शून्य भाजक]] है तो परीक्षण के लिए एक एल्गोरिदम है। यह रैखिक समीकरण {{math|1=''ax'' = 0}} को हल करने के बराबर है।
-* यदि कोई तत्व है तो परीक्षण के लिए एक एल्गोरिदम है {{mvar|a}} एक इकाई (रिंग थ्योरी) है, और यदि यह है, तो इसके व्युत्क्रम की गणना करना: यह रैखिक समीकरण को हल करने के बराबर है {{math|1=''ax'' = 1}}.
+* यदि कोई तत्व {{mvar|a}} एक इकाई है तो परीक्षण के लिए एक एल्गोरिदम है, और यदि यह है, तो इसके व्युत्क्रम की गणना करना: यह रैखिक समीकरण {{math|1=''ax'' = 1}} को हल करने के बराबर है।
-*एक आदर्श दिया {{mvar|I}} द्वारा उत्पन्न {{math|''a''<sub>1</sub>, ..., ''a''<sub>''k''</sub>}},
+*{{math|''a''<sub>1</sub>, ..., ''a''<sub>''k''</sub>}}  द्वारा उत्पन्न एक आदर्श {{mvar|I}} दिया गया है ,
-** दो तत्वों के परीक्षण के लिए एक एल्गोरिदम है {{mvar|R}} में एक ही छवि है {{math|''R''/''I''}}: की छवियों की समानता का परीक्षण {{mvar|a}} तथा {{mvar|b}} समीकरण को हल करने के बराबर है {{math|1=''a'' = ''b'' + ''a''<sub>1</sub>&hairsp;''z''<sub>1</sub> + ⋯ + ''a''<sub>''k''</sub>&thinsp;''z''<sub>''k''</sub>}};
+** यदि {{mvar|R}} के दो तत्वों  की  {{math|''R''/''I''}}  में एक ही छवि है, तो उसके परीक्षण के लिए एक एल्गोरिदम है की छवियों की समानता का परीक्षण {{mvar|a}} तथा {{mvar|b}} समीकरण को हल करने के बराबर है {{math|1=''a'' = ''b'' + ''a''<sub>1</sub>&hairsp;''z''<sub>1</sub> + ⋯ + ''a''<sub>''k''</sub>&thinsp;''z''<sub>''k''</sub>}};
 **रैखिक बीजगणित प्रभावी है {{math|''R''/''I''}}: एक रैखिक प्रणाली को हल करने के लिए {{math|''R''/''I''}}, यह लिखने के लिए पर्याप्त है {{mvar|R}} और के एक तरफ जोड़ने के लिए {{mvar|i}}समीकरण {{math|''a''<sub>1</sub>&hairsp;''z''<sub>''i'',1</sub> + ⋯ + ''a''<sub>''k''</sub>&thinsp;''z''<sub>''i'',&hairsp;''k''</sub>}} (के लिये {{math|1=''i'' = 1, ...}}), जहां {{math|''z''<sub>''i'',&hairsp;''j''</sub>}} नए अज्ञात हैं।
-*रेखीय बीजगणित बहुपद वलय पर प्रभावी होता है <math>R[x_1, \ldots, x_n]</math> [[अगर और केवल अगर|यदि और केवल यदि]] किसी के पास एक एल्गोरिदम है जो [[बहुपद]]ों के बहुपद की डिग्री की ऊपरी सीमा की गणना करता है जो समीकरणों की रैखिक प्रणालियों को हल करते समय हो सकता है: यदि किसी के पास एल्गोरिदम को हल करना है, तो उनके आउटपुट डिग्री देते हैं। विलोम (तर्क), यदि कोई समाधान में होने वाली डिग्री के ऊपरी भाग को जानता है, तो कोई अज्ञात बहुपदों को अज्ञात गुणांक वाले बहुपदों के रूप में लिख सकता है। फिर, जैसा कि दो बहुपद समान हैं यदि और केवल यदि उनके गुणांक समान हैं, तो समस्या के समीकरण गुणांक में रैखिक समीकरण बन जाते हैं, जिसे एक प्रभावी वलय पर हल किया जा सकता है।
+*रेखीय बीजगणित बहुपद वलय पर प्रभावी होता है <math>R[x_1, \ldots, x_n]</math> [[अगर और केवल अगर|यदि और केवल यदि]] किसी के पास एक एल्गोरिदम है जो [[बहुपद|बहुपदों]] के बहुपद की डिग्री की ऊपरी सीमा की गणना करता है जो समीकरणों की रैखिक प्रणालियों को हल करते समय हो सकता है: यदि किसी के पास एल्गोरिदम को हल करना है, तो उनके आउटपुट डिग्री देते हैं। विलोम (तर्क), यदि कोई समाधान में होने वाली डिग्री के ऊपरी भाग को जानता है, तो कोई अज्ञात बहुपदों को अज्ञात गुणांक वाले बहुपदों के रूप में लिख सकता है। फिर, जैसा कि दो बहुपद समान हैं यदि और केवल यदि उनके गुणांक समान हैं, तो समस्या के समीकरण गुणांक में रैखिक समीकरण बन जाते हैं, जिसे एक प्रभावी वलय पर हल किया जा सकता है।
-== [[पूर्णांक|पूर्णांकों]] पर या एक [[प्रमुख आदर्श डोमेन]] ==
+== [[पूर्णांक|पूर्णांकों]]  या एक [[प्रमुख आदर्श डोमेन]] पर ==
-पूर्णांकों पर इस लेख में संबोधित सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता है; विवरण के लिए रेखीय डायोफैंटाइन प्रणाली देखें।
+इस लेख में पूर्णांकों पर बतायी गयी सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता है; विवरण के लिए रेखीय डायोफैंटाइन प्रणाली देखें।
-अधिक आम तौर पर, रैखिक बीजगणित एक प्रमुख आदर्श डोमेन पर प्रभावी होता है यदि जोड़, घटाव और गुणा के लिए एल्गोरिदम होते हैं, और
+अधिक सामान्यतः, रैखिक बीजगणित एक प्रमुख आदर्श डोमेन पर प्रभावी होता है यदि जोड़, घटाव और गुणा के लिए एल्गोरिदम होते हैं, और
-* फॉर्म के समीकरणों को हल करना {{math|1= ''ax'' = ''b''}}, अर्थात परीक्षण कर रहा है कि क्या {{mvar|a}} का [[भाजक]] है {{mvar|b}}, और, यदि यह स्थिति है, तो भागफल की गणना करना {{math|''a''/''b''}},
+* {{math|1= ''ax'' = ''b''}} रूप के समीकरणों को हल करना, अर्थात परीक्षण हो रहा है कि क्या {{mvar|a}}, {{mvar|b}} का [[भाजक]] है, और, यदि यह स्थिति है, तो {{math|''a''/''b''}} के भागफल की गणना करना
-* कंप्यूटिंग बेज़ाउट की पहचान, जो दी गई है {{mvar|a}} तथा {{mvar|b}}, कंप्यूटिंग {{mvar|s}} तथा {{mvar|t}} ऐसा है कि {{math|''as'' + ''bt''}} का सबसे बड़ा सामान्य विभाजक है {{mvar|p}} तथा {{mvar|q}}.
+* बेज़ाउट सर्वसमिका की गणना करना , दिए हुए {{mvar|a}} तथा {{mvar|b}} के लिए, ऐसे {{mvar|s}} तथा {{mvar|t}} कि गणना करना है कि {{math|''as'' + ''bt''}} का सबसे बड़ा सामान्य विभाजक {{mvar|p}} तथा {{mvar|q}}  है
-यह सामान्य मामले में एक [[यूनिमॉड्यूलर मैट्रिक्स]] की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक [[स्क्वायर मैट्रिक्स]] कहा जाता है जिसका निर्धारक एक इकाई (रिंग थ्योरी) है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर मेट्रिसेस बिल्कुल व्युत्क्रमणीय मेट्रिसेस हैं, ऐसे व्युत्क्रम मैट्रिक्स की सभी प्रविष्टियाँ डोमेन से संबंधित हैं।
+यह सामान्य स्थिति में एक [[यूनिमॉड्यूलर मैट्रिक्स|यूनिमॉड्यूलर आव्यूह]] की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] [[यूनिमॉड्यूलर मैट्रिक्स|आव्यूह]] कहा जाता है जिसका निर्धारक एक इकाई  है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर आव्यूह बिल्कुल व्युत्क्रमणीय आव्यूह हैं, ऐसे व्युत्क्रम आव्यूह की सभी प्रविष्टियाँ डोमेन से संबंधित हैं।
-उपरोक्त दो एल्गोरिदम का अर्थ है कि दिया गया {{mvar|a}} तथा {{mvar|b}} प्रिंसिपल आइडियल डोमेन में, एक यूनिमॉड्यूलर मैट्रिक्स की गणना करने वाला एक एल्गोरिदम है
+उपरोक्त दो एल्गोरिदम का अर्थ है कि दिया गया {{mvar|a}} तथा {{mvar|b}} प्रमुख आदर्श डोमेन में, एक यूनिमॉड्यूलर आव्यूह की गणना करने वाला एक एल्गोरिदम है
 :<math>\begin{bmatrix}  s&t\\u&v \end{bmatrix}</math>
 ऐसा है कि
 :<math>\begin{bmatrix}  s&t\\u&v \end{bmatrix} \begin{bmatrix}  a\\b \end{bmatrix}
 = \begin{bmatrix}\gcd(a,b)\\0 \end{bmatrix}. </math>
-(यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है {{mvar|s}} तथा {{mvar|t}} बेज़ाउट की पहचान के गुणांक, और के लिए {{mvar|u}} तथा {{mvar|v}} का भागफल {{math|−''b''}} तथा {{mvar|a}} द्वारा {{math|''as'' + ''bt''}}; इस विकल्प का तात्पर्य है कि वर्ग मैट्रिक्स का निर्धारक है {{math|1}}.)
+(यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है {{mvar|s}} तथा {{mvar|t}} बेज़ाउट की पहचान के गुणांक, और के लिए {{mvar|u}} तथा {{mvar|v}} का भागफल {{math|−''b''}} तथा {{mvar|a}} द्वारा {{math|''as'' + ''bt''}}; इस विकल्प का तात्पर्य है कि वर्ग आव्यूह का निर्धारक है {{math|1}}.)
-इस तरह के एक एल्गोरिथ्म होने पर, मैट्रिक्स के [[स्मिथ सामान्य रूप]] की गणना बिल्कुल पूर्णांक मामले में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने के लिए एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है।
+इस तरह के एक एल्गोरिथ्म होने पर, मैट्रिक्स के [[स्मिथ सामान्य रूप]] की गणना बिल्कुल पूर्णांक स्थिति में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने के लिए एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है।
-मुख्य मामला जहां यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों का मामला है। इस मामले में, उपरोक्त यूनिमॉड्यूलर मैट्रिक्स की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; देखना {{slink|Polynomial greatest common divisor#Bézout's identity and extended GCD algorithm}} ब्योरा हेतु।
+मुख्य स्थितियों जहाँ यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों की स्थिति है। इन स्थितियों में, उपरोक्त यूनिमॉड्यूलर आव्यूह की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; अधिक जानकारी हेतु देखिए {{slink|बहुपद महानतम सामान्य भाजक § बेज़ाउट सर्वसमिका और विस्तारित GCD एल्गोरिथम}}।
-== एक क्षेत्र पर बहुपद रिंग करता है ==
+== एक क्षेत्र पर बहुपद वलयो से अधिक ==
 {{expand section|more details and complexity results|date=January 2021}}
-रेखीय बीजगणित एक बहुपद वलय पर प्रभावी होता है <math>k[x_1, \ldots, x_n]</math> एक क्षेत्र पर (गणित) {{mvar|k}}. यह पहली बार 1926 में [[ग्रेट हरमन]] द्वारा सिद्ध किया गया है।<ref>{{cite journal|title=बहुपद आदर्शों के सिद्धांत में सूक्ष्म रूप से कई चरणों का प्रश्न|first=Grete |last=Hermann
+रेखीय बीजगणित एक क्षेत्र {{mvar|k}} पर एक बहुपद वलय <math>k[x_1, \ldots, x_n]</math> पर प्रभावी होता है। यह पहली बार 1926 में [[ग्रेट हरमन]] द्वारा सिद्ध किया गया था।<ref>{{cite journal|title=बहुपद आदर्शों के सिद्धांत में सूक्ष्म रूप से कई चरणों का प्रश्न|first=Grete |last=Hermann
 |journal=Mathematische Annalen
 |volume =95|year= 1926|doi=10.1007/BF01206635
 |pages=736–788|s2cid=115897210 }}. English translation in Communications in Computer Algebra 32/3 (1998): 8–30.</ref> हरमन के परिणामों से उत्पन्न एल्गोरिदम केवल ऐतिहासिक रुचि के हैं, क्योंकि प्रभावी कंप्यूटर संगणना की अनुमति देने के लिए उनकी कम्प्यूटेशनल जटिलता बहुत अधिक है।
-सबूत है कि रैखिक बीजगणित बहुपद के छल्ले और कंप्यूटर कार्यान्वयन पर प्रभावी है, वर्तमान में ग्रोबनेर आधार पर आधारित हैं। ग्रोबनर आधार सिद्धांत।
+इससे साबित यह होता है कि रैखिक बीजगणित बहुपद के वलयो पर प्रभावी है और कंप्यूटर कार्यान्वयन, वर्तमान में ग्रोबनेर आधार सिद्धांत पर आधारित हैं।

Anonymous

Search

वलय पर रैखिक समीकरण: Difference between revisions

Namespaces

More

Page actions

Revision as of 14:39, 29 November 2022

Contents

सामान्यता

प्रभावी वलयो के गुण

पूर्णांकों या एक प्रमुख आदर्श डोमेन पर

एक क्षेत्र पर बहुपद वलयो से अधिक

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

वलय पर रैखिक समीकरण: Difference between revisions

Revision as of 14:39, 29 November 2022

सामान्यता

प्रभावी वलयो के गुण

पूर्णांकों या एक प्रमुख आदर्श डोमेन पर

एक क्षेत्र पर बहुपद वलयो से अधिक

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories