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

Latest revision as of 09:52, 13 December 2022

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

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

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

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

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

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

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

k = 1

,

a 1

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

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

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

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

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

सामान्यताएं

संयुग समस्या को हल करने में सक्षम होने के लिए, यह आवश्यक है कि संयुग का मॉडल, सूक्ष्म रूप से उत्पन्न मॉडल हो, क्योंकि एक अनंत सूची का परिणाम प्राप्त करना लगभग असंभव है। इसलिए, यहाँ जिन समस्याओं पर विचार किया गया है, वे केवल एक नोथेरियन वलय, या कम से कम एक सुसंगत वलय के लिए समझी जा सकती हैं। वास्तव में, यह लेख निम्नलिखित परिणाम के कारण नोथेरियन पूर्णांक डोमेन तक ही सीमित है।^[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 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}}.
+दी गई वलय {{mvar|R}} में, <math>a_1, \ldots, a_k</math> तथा {{mvar|b}}  के साथ, यह तय करने के लिए कि क्या इसका कोई {{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|a}}, {{mvar|R}} में एक इकाई है ।
-सिजीजी समस्या में शामिल है, दिया गया है {{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>के  परस्पर सामंजस्य मॉडल के जनरेटर की एक प्रणाली प्रदान करने के लिए,जोकि {{math|''R''<sup>''k''</sup>}}, जिसमे सजातीय समीकरण के समाधान है, में  <math>(x_1, \ldots, x_k)</math> तत्वों के उपमॉडल के जनरेटर की एक प्रणाली है ।
-:<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 के मॉड्यूल के तत्वों को जोड़कर सभी समाधान प्राप्त किए जा सकते हैं। दूसरे शब्दों में, सभी समाधान इन दो आंशिक समस्याओं के समाधान द्वारा प्रदान किए जाते हैं।
+आदर्श सदस्यता समस्या के समाधान को देखते हुए, जिसमे कोई संयुग मॉडल के तत्वों को जोड़कर सभी समाधान प्राप्त करता हैं। दूसरे शब्दों में, सभी समाधान इन दो आंशिक समस्याओं के समाधान द्वारा प्रदान किए जाते हैं।
-कई समीकरणों के मामले में, उप-समस्याओं में समान अपघटन होता है। पहली समस्या सबमॉड्यूल सदस्यता समस्या बन जाती है। दूसरे को सिजीजी समस्या भी कहा जाता है।
+कई समीकरणों की स्थिति में, समस्या उप-समस्याओं में इसी तरह बंट जाती है। पहली समस्या उपमॉडल सदस्यता समस्या बन जाती है। दूसरे को संयुग समस्या भी कहा जाता है।
-एक अंगूठी ऐसी है कि अंकगणितीय संचालन (जोड़, घटाव, गुणा) के लिए [[कलन विधि]] हैं और उपरोक्त समस्याओं के लिए एक गणना योग्य अंगूठी या प्रभावी अंगूठी कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावी है।
+एक वलय जिसमे अंकगणितीय संक्रियाओ (जोड़, घटाव, गुणा) के लिए [[कलन विधि]] हैं और उपरोक्त समस्याओं के लिए इसे, गणना योग्य वलय या प्रभावी वलय कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावित है।
-लेख उन मुख्य छल्लों पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।
+लेख उन मुख्य वलयो पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।
-== सामान्यता ==
+== सामान्यताएं ==
-तालमेल समस्या को हल करने में सक्षम होने के लिए, यह आवश्यक है कि तालमेल का मॉड्यूल सूक्ष्म रूप से उत्पन्न मॉड्यूल हो, क्योंकि एक अनंत सूची का उत्पादन करना असंभव है। इसलिए, यहां जिन समस्याओं पर विचार किया गया है, वे केवल एक नोथेरियन वलय, या कम से कम एक सुसंगत वलय के लिए समझ में आती हैं। वास्तव में, यह लेख निम्नलिखित परिणाम के कारण नोथेरियन इंटीग्रल डोमेन तक ही सीमित है।<ref>{{cite journal|title=नोथेरियन रिंग्स के रचनात्मक पहलू|last=Richman|first=Fred|journal=Proc. Amer. Math. Soc.|year=1974|volume=44|issue=2|pages=436–441|doi=10.1090/s0002-9939-1974-0416874-9|doi-access=free}}</ref>
+संयुग समस्या को हल करने में सक्षम होने के लिए, यह आवश्यक है कि संयुग का मॉडल, सूक्ष्म रूप से उत्पन्न मॉडल हो, क्योंकि एक अनंत सूची का परिणाम प्राप्त करना लगभग असंभव है। इसलिए, यहाँ जिन समस्याओं पर विचार किया गया है, वे केवल एक नोथेरियन वलय, या कम से कम एक सुसंगत वलय के लिए समझी जा सकती हैं। वास्तव में, यह लेख निम्नलिखित परिणाम के कारण नोथेरियन पूर्णांक डोमेन तक ही सीमित है।<ref>{{cite journal|title=नोथेरियन रिंग्स के रचनात्मक पहलू|last=Richman|first=Fred|journal=Proc. Amer. Math. Soc.|year=1974|volume=44|issue=2|pages=436–441|doi=10.1090/s0002-9939-1974-0416874-9|doi-access=free}}</ref>
-: एक नोथेरियन इंटीग्रल डोमेन को देखते हुए, यदि आदर्श सदस्यता समस्या को हल करने के लिए एल्गोरिदम हैं और एकल समीकरण के लिए सहजीवन समस्या है, तो कोई उनसे समीकरणों की प्रणालियों से संबंधित समान समस्याओं के लिए एल्गोरिदम निकाल सकता है।
+: एक नोथेरियन अभिन्न डोमेन को देखते हुए, यदि एकल समीकरण के लिए सहजीवन समस्या और आदर्श सदस्यता समस्या को हल करने के लिए एल्गोरिदम हैं, तब कोई उनसे समीकरणों के निकाय से संबंधित समान समस्याओं के लिए एल्गोरिदम प्राप्त कर सकता है।
-एल्गोरिदम के अस्तित्व को साबित करने के लिए यह प्रमेय उपयोगी है। हालाँकि, व्यवहार में, सिस्टम के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।
+एल्गोरिदम के अस्तित्व को सिद्ध करने के लिए यह प्रमेय उपयोगी है। सामान्यतः, व्यवहार में, प्रणालियो के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।
-एक क्षेत्र (गणित) एक प्रभावी वलय है जैसे ही किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना वह है जिसे आमतौर पर सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना [[रैखिक समीकरणों की प्रणाली]] के [[मैट्रिक्स (गणित)]] के शून्य स्थान की गणना है। दोनों समस्याओं के लिए मूल एल्गोरिथम गाऊसी उन्मूलन है।
+एक क्षेत्र एक प्रभावी वलय होता है जब किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना, सामान्यतः सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना [[रैखिक समीकरणों की प्रणाली]] के [[मैट्रिक्स (गणित)|आव्यूह]] के शून्य स्थान की गणना है। दोनों समस्याओं के लिए सामान्य एल्गोरिथम गाऊसी विलोपन है।
-=== प्रभावी छल्लों के गुण ===
+=== प्रभावी वलयो के गुण ===
-होने देना {{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> हरमन के परिणामों से उत्पन्न एल्गोरिदम केवल ऐतिहासिक रुचि के हैं, क्योंकि प्रभावी कंप्यूटर संगणना की अनुमति देने के लिए उनकी कम्प्यूटेशनल जटिलता बहुत अधिक है।
-सबूत है कि रैखिक बीजगणित बहुपद के छल्ले और कंप्यूटर कार्यान्वयन पर प्रभावी है, वर्तमान में ग्रोबनेर आधार पर आधारित हैं। ग्रोबनर आधार सिद्धांत।
+इससे साबित यह होता है कि रैखिक बीजगणित बहुपद के वलयो पर प्रभावी है और कंप्यूटर कार्यान्वयन वर्तमान में ग्रोबनेर आधार सिद्धांत पर आधारित हैं।
-==इस पेज में लापता आंतरिक लिंक की सूची==
-*रेखीय समीकरण
-*गुणक
-*रैखिक समीकरणों की प्रणाली
-*अंगूठी (गणित)
-*आदर्श (अंगूठी सिद्धांत)
-*इकाई (अंगूठी सिद्धांत)
-*विनाशक (अंगूठी सिद्धांत)
-*सुसंगत अंगूठी
-*अंतिम रूप से उत्पन्न मॉड्यूल
-*खाली स्थान
-*गाउस विलोपन
-*गुणात्मक प्रतिलोम
-*बहुपद की अंगूठी
-*एक बहुपद की डिग्री
-*बातचीत (तर्क)
-*रैखिक डायोफैंटाइन प्रणाली
-*महत्तम सामान्य भाजक
-*उलटा मैट्रिक्स
-*सिद्ध
-*उलटा मैट्रिक्स
-*अविभाज्य बहुपद
-*अभिकलनात्मक जटिलता
 == संदर्भ ==
 {{reflist}}
@@ Line 103: / Line 79: @@
   }}
 *{{cite journal |title=Ideal membership in polynomial rings over the integers|last=Aschenbrenner |first=Matthias|authorlink= Matthias Aschenbrenner |url= https://www.ams.org/journals/jams/2004-17-02/S0894-0347-04-00451-5/S0894-0347-04-00451-5.pdf|journal=J. Amer. Math. Soc.|publisher= AMS|year=2004|volume=17 |issue=2 |pages=407–441 |doi=10.1090/S0894-0347-04-00451-5 |s2cid=8176473 |access-date=23 October 2013|doi-access=free}}
+[[Category:All articles to be expanded]]
+[[Category:Articles to be expanded from January 2021]]
+[[Category:Articles using small message boxes]]
+[[Category:Articles with invalid date parameter in template]]
+[[Category:Created On 24/11/2022]]
+[[Category:Machine Translated Page]]
+[[Category:Pages with script errors]]
+[[Category:क्रमविनिमेय बीजगणित]]
 [[Category:रैखिक बीजगणित]]
-[[Category: क्रमविनिमेय बीजगणित]]
 [[Category:समीकरण]]
-[[Category: Machine Translated Page]]
-[[Category:Created On 24/11/2022]]

Anonymous

Search

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

Namespaces

More

Page actions

Latest revision as of 09:52, 13 December 2022

Contents

सामान्यताएं

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

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

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

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

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

Latest revision as of 09:52, 13 December 2022

सामान्यताएं

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

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

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

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories