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

Revision as of 20:47, 28 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$ .
एक आदर्श दिया I द्वारा उत्पन्न a₁, ..., a_k,
- दो तत्वों के परीक्षण के लिए एक एल्गोरिदम है $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$ .)

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

मुख्य मामला जहां यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों का मामला है। इस मामले में, उपरोक्त यूनिमॉड्यूलर मैट्रिक्स की गणना के लिए विस्तारित यूक्लिडियन एल्गोरिथ्म का उपयोग किया जा सकता है; देखना Polynomial greatest common divisor § Bézout's identity and extended GCD algorithm ब्योरा हेतु।

एक क्षेत्र पर बहुपद रिंग करता है

रेखीय बीजगणित एक बहुपद वलय पर प्रभावी होता है $k[x_{1},\ldots ,x_{n}]$ एक क्षेत्र पर (गणित) $k$ . यह पहली बार 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 1: / Line 1: @@
-{{short description|none}}
+[[बीजगणित]] में, एक [[क्षेत्र (गणित)|क्षेत्र]] पर रैखिक [[समीकरण|समीकरणों]] और रैखिक समीकरणों की प्रणालियों का व्यापक अध्ययन किया जाता है। " एक क्षेत्र पर" इसका अर्थ है कि समीकरणों के गुणांक और समाधान जो  ढूंढ रहे हैं वे किसी दिए गए क्षेत्र सामान्यतः [[वास्तविक संख्या]] या [[जटिल संख्या|जटिल संख्याओ]] से संबंधित हैं। यह आलेख उसी समस्या के लिए समर्पित है जहां क्षेत्र को [[क्रमविनिमेय अंगूठी|क्रमविनिमेय वलय]], या सामान्यतः [[नोथेरियन रिंग|नोथेरियन]] [[अभिन्न डोमेन]] द्वारा प्रतिस्थापित किया जाता है।
-[[बीजगणित]] में, एक [[क्षेत्र (गणित)]] पर रैखिक [[समीकरण]]ों और रैखिक समीकरणों की प्रणालियों का व्यापक अध्ययन किया जाता है। एक फ़ील्ड पर इसका मतलब है कि समीकरणों के गुणांक और जो समाधान ढूंढ रहे हैं वे किसी दिए गए फ़ील्ड से संबंधित हैं, आमतौर पर [[वास्तविक संख्या]] या [[जटिल संख्या]]एं। यह आलेख उसी समस्या के लिए समर्पित है जहां फ़ील्ड को [[क्रमविनिमेय अंगूठी]], या आमतौर पर [[नोथेरियन रिंग]] [[अभिन्न डोमेन]] द्वारा प्रतिस्थापित किया जाता है।
-एकल समीकरण के मामले में, समस्या दो भागों में विभाजित हो जाती है। सबसे पहले, आदर्श सदस्यता समस्या, जिसमें एक गैर-सजातीय समीकरण दिया गया है
+एकल समीकरण की स्थिति में, समस्या दो भागों में विभाजित हो जाती है। सबसे पहले, आदर्श सदस्यता समस्या, जिसमें एक गैर-सजातीय समीकरण दिया गया है
 :<math>a_1x_1 + \cdots + a_kx_k=b</math>
-साथ <math>a_1, \ldots, a_k</math> तथा {{mvar|b}} दी गई अंगूठी में (गणित) {{mvar|R}}, यह तय करने के लिए कि क्या इसका कोई समाधान है <math>x_1, \ldots, x_k</math> में {{mvar|R}}, और, यदि कोई हो, एक प्रदान करने के लिए। यह तय करने के लिए राशि है कि क्या {{mvar|b}} द्वारा उत्पन्न आदर्श (रिंग थ्योरी) से संबंधित है {{math|''a<sub>i</sub>''}}. इस समस्या का सबसे सरल उदाहरण है, के लिए {{math|1=''k'' = 1}} तथा {{math|1=''b'' = 1}}, अगर तय करने के लिए {{mvar|a}} में एक इकाई (रिंग थ्योरी) है {{mvar|R}}.
+<math>a_1, \ldots, a_k</math> तथा {{mvar|b}} दी गई वलय {{mvar|R}} में है, यह तय करने के लिए कि क्या इसका कोई {{mvar|R}} में <math>x_1, \ldots, x_k</math> के साथ समाधान है, और, यदि कोई हो, तो उसे उपलब्ध करने के लिए। यह तय करने के लिए राशि है कि क्या {{mvar|b}} , {{math|''a<sub>i</sub>''}} द्वारा उत्पन्न आदर्श से संबंधित है। इस समस्या का सबसे सरल उदाहरण है, {{math|1=''k'' = 1}} तथा {{math|1=''b'' = 1}} के लिए, यदि तय करने के लिए {{mvar|R}} में  {{mvar|a}} एक इकाई है ।
-सिजीजी समस्या में शामिल है, दिया गया है {{mvar|k}} तत्वों <math>a_1, \ldots, a_k</math> में {{mvar|R}}, के [[सिजीगी (गणित)]] के [[मॉड्यूल (गणित)]] के जनरेटर की एक प्रणाली प्रदान करने के लिए <math>(a_1, \ldots, a_k),</math> यह उन तत्वों के [[submodule]] के जनरेटर की एक प्रणाली है <math>(x_1, \ldots, x_k)</math> में {{math|''R''<sup>''k''</sup>}} जो सजातीय समीकरण के समाधान हैं
+सिजीजी समस्या में सम्मलित है, दिया गया है {{mvar|R}} में {{mvar|k}} तत्वों <math>a_1, \ldots, a_k</math>   , के [[सिजीगी (गणित)|सिजीगी]]  के [[मॉड्यूल (गणित)]] के जनरेटर की एक प्रणाली प्रदान करने के लिए <math>(a_1, \ldots, a_k),</math> यह उन तत्वों के [[submodule]] के जनरेटर की एक प्रणाली है <math>(x_1, \ldots, x_k)</math> में {{math|''R''<sup>''k''</sup>}} जो सजातीय समीकरण के समाधान हैं
-:<math>a_1x_1 + \cdots + a_kx_k=0.</math> सबसे सरल मामला, कब {{math|1=''k'' = 1}} के एनीहिलेटर (रिंग थ्योरी) के जनरेटर की एक प्रणाली खोजने के लिए {{math|''a''<sub>1</sub>}}.
+:<math>a_1x_1 + \cdots + a_kx_k=0.</math> सबसे सरल स्थिति, कब {{math|1=''k'' = 1}} के एनीहिलेटर  के जनरेटर की एक प्रणाली खोजने के लिए {{math|''a''<sub>1</sub>}}.
 आदर्श सदस्यता समस्या के समाधान को देखते हुए, इसमें syzygies के मॉड्यूल के तत्वों को जोड़कर सभी समाधान प्राप्त किए जा सकते हैं। दूसरे शब्दों में, सभी समाधान इन दो आंशिक समस्याओं के समाधान द्वारा प्रदान किए जाते हैं।
-कई समीकरणों के मामले में, उप-समस्याओं में समान अपघटन होता है। पहली समस्या सबमॉड्यूल सदस्यता समस्या बन जाती है। दूसरे को सिजीजी समस्या भी कहा जाता है।
+कई समीकरणों की स्थिति में, उप-समस्याओं में समान अपघटन होता है। पहली समस्या सबमॉड्यूल सदस्यता समस्या बन जाती है। दूसरे को सिजीजी समस्या भी कहा जाता है।
-एक अंगूठी ऐसी है कि अंकगणितीय संचालन (जोड़, घटाव, गुणा) के लिए [[कलन विधि]] हैं और उपरोक्त समस्याओं के लिए एक गणना योग्य अंगूठी या प्रभावी अंगूठी कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावी है।
+एक वलय ऐसी है कि अंकगणितीय संचालन (जोड़, घटाव, गुणा) के लिए [[कलन विधि]] हैं और उपरोक्त समस्याओं के लिए एक गणना योग्य वलय या प्रभावी वलय कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावी है।
-लेख उन मुख्य छल्लों पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।
+लेख उन मुख्य वलयो पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।
 == सामान्यता ==
@@ Line 21: / Line 20: @@
 : एक नोथेरियन इंटीग्रल डोमेन को देखते हुए, यदि आदर्श सदस्यता समस्या को हल करने के लिए एल्गोरिदम हैं और एकल समीकरण के लिए सहजीवन समस्या है, तो कोई उनसे समीकरणों की प्रणालियों से संबंधित समान समस्याओं के लिए एल्गोरिदम निकाल सकता है।
-एल्गोरिदम के अस्तित्व को साबित करने के लिए यह प्रमेय उपयोगी है। हालाँकि, व्यवहार में, सिस्टम के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।
+एल्गोरिदम के अस्तित्व को सिद्ध करना  करने के लिए यह प्रमेय उपयोगी है। हालाँकि, व्यवहार में, सिस्टम के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।
-एक क्षेत्र (गणित) एक प्रभावी वलय है जैसे ही किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना वह है जिसे आमतौर पर सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना [[रैखिक समीकरणों की प्रणाली]] के [[मैट्रिक्स (गणित)]] के शून्य स्थान की गणना है। दोनों समस्याओं के लिए मूल एल्गोरिथम गाऊसी उन्मूलन है।
+एक क्षेत्र (गणित) एक प्रभावी वलय है जैसे ही किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना वह है जिसे सामान्यतः सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना [[रैखिक समीकरणों की प्रणाली]] के [[मैट्रिक्स (गणित)]] के शून्य स्थान की गणना है। दोनों समस्याओं के लिए मूल एल्गोरिथम गाऊसी उन्मूलन है।
-=== प्रभावी छल्लों के गुण ===
+=== प्रभावी वलयो के गुण ===
-होने देना {{mvar|R}} एक प्रभावी क्रमविनिमेय अंगूठी बनें।
+होने देना {{mvar|R}} एक प्रभावी क्रमविनिमेय वलय बनें।
 * यदि कोई तत्व है तो परीक्षण के लिए एक एल्गोरिदम है {{mvar|a}} एक [[शून्य भाजक]] है: यह रैखिक समीकरण को हल करने के बराबर है {{math|1=''ax'' = 0}}.
 * यदि कोई तत्व है तो परीक्षण के लिए एक एल्गोरिदम है {{mvar|a}} एक इकाई (रिंग थ्योरी) है, और यदि यह है, तो इसके व्युत्क्रम की गणना करना: यह रैखिक समीकरण को हल करने के बराबर है {{math|1=''ax'' = 1}}.
@@ Line 32: / Line 31: @@
 ** दो तत्वों के परीक्षण के लिए एक एल्गोरिदम है {{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}}.
@@ Line 53: / Line 52: @@
 इस तरह के एक एल्गोरिथ्म होने पर, मैट्रिक्स के [[स्मिथ सामान्य रूप]] की गणना बिल्कुल पूर्णांक मामले में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने के लिए एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है।
-मुख्य मामला जहां यह आमतौर पर उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की अंगूठी पर रैखिक प्रणालियों का मामला है। इस मामले में, उपरोक्त यूनिमॉड्यूलर मैट्रिक्स की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; देखना {{slink|Polynomial greatest common divisor#Bézout's identity and extended GCD algorithm}} ब्योरा हेतु।
+मुख्य मामला जहां यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों का मामला है। इस मामले में, उपरोक्त यूनिमॉड्यूलर मैट्रिक्स की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; देखना {{slink|Polynomial greatest common divisor#Bézout's identity and extended GCD algorithm}} ब्योरा हेतु।
-== एक फ़ील्ड पर बहुपद रिंग करता है ==
+== एक क्षेत्र पर बहुपद रिंग करता है ==
 {{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

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 20:47, 28 November 2022

Contents

सामान्यता

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

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

एक क्षेत्र पर बहुपद रिंग करता है

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Revision as of 20:47, 28 November 2022

सामान्यता

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

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

एक क्षेत्र पर बहुपद रिंग करता है

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories