वलय पर रैखिक समीकरण: Difference between revisions
No edit summary |
No edit summary |
||
| Line 36: | Line 36: | ||
== [[पूर्णांक|पूर्णांकों]] या एक [[प्रमुख आदर्श डोमेन]] पर == | == [[पूर्णांक|पूर्णांकों]] या एक [[प्रमुख आदर्श डोमेन]] पर == | ||
इस लेख में पूर्णांकों पर बतायी गयी सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता | इस लेख में पूर्णांकों पर बतायी गयी सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता है। विवरण के लिए रेखीय डायोफैंटाइन प्रणाली देखें। | ||
अधिक सामान्यतः, रैखिक बीजगणित एक प्रमुख आदर्श डोमेन पर प्रभावी होता है यदि जोड़, घटाव और गुणा के लिए एल्गोरिदम | अधिक सामान्यतः, रैखिक बीजगणित एक प्रमुख आदर्श डोमेन पर प्रभावी होता है यदि जोड़, घटाव और गुणा के लिए एल्गोरिदम हैं। | ||
* {{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}} है। | ||
यह सामान्य स्थिति में एक [[यूनिमॉड्यूलर मैट्रिक्स|यूनिमॉड्यूलर आव्यूह]] की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] [[यूनिमॉड्यूलर मैट्रिक्स|आव्यूह]] कहा जाता है जिसका निर्धारक एक इकाई है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर आव्यूह बिल्कुल व्युत्क्रमणीय आव्यूह हैं, ऐसे व्युत्क्रम आव्यूह की सभी प्रविष्टियाँ डोमेन से संबंधित हैं। | यह सामान्य स्थिति में एक [[यूनिमॉड्यूलर मैट्रिक्स|यूनिमॉड्यूलर आव्यूह]] की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक [[स्क्वायर मैट्रिक्स|स्क्वायर]] [[यूनिमॉड्यूलर मैट्रिक्स|आव्यूह]] कहा जाता है जिसका निर्धारक एक इकाई है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर आव्यूह बिल्कुल व्युत्क्रमणीय आव्यूह हैं, ऐसे व्युत्क्रम आव्यूह की सभी प्रविष्टियाँ डोमेन से संबंधित हैं। | ||
| Line 49: | Line 49: | ||
:<math>\begin{bmatrix} s&t\\u&v \end{bmatrix} \begin{bmatrix} a\\b \end{bmatrix} | :<math>\begin{bmatrix} s&t\\u&v \end{bmatrix} \begin{bmatrix} a\\b \end{bmatrix} | ||
= \begin{bmatrix}\gcd(a,b)\\0 \end{bmatrix}. </math> | = \begin{bmatrix}\gcd(a,b)\\0 \end{bmatrix}. </math> | ||
(यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है {{mvar|s}} तथा {{mvar|t}} बेज़ाउट की पहचान के गुणांक, और के लिए {{mvar|u}} तथा {{mvar|v}} का भागफल {{math|−''b''}} तथा {{mvar|a}} द्वारा {{math|''as'' + ''bt''}}; इस विकल्प का तात्पर्य है कि वर्ग आव्यूह का निर्धारक | (यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है {{mvar|s}} तथा {{mvar|t}} बेज़ाउट की पहचान के गुणांक, और के लिए {{mvar|u}} तथा {{mvar|v}} का भागफल {{math|−''b''}} तथा {{mvar|a}} द्वारा {{math|''as'' + ''bt''}}; इस विकल्प का तात्पर्य है कि वर्ग आव्यूह का निर्धारक {{math|1}} है । ) | ||
इस तरह के एक एल्गोरिथ्म होने पर, | इस तरह के एक एल्गोरिथ्म होने पर, आव्यूह के [[स्मिथ सामान्य रूप]] की गणना बिल्कुल पूर्णांक स्थिति में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने की एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है। | ||
मुख्य स्थितियों जहाँ यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों की स्थिति है। इन स्थितियों में, उपरोक्त यूनिमॉड्यूलर आव्यूह की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; अधिक जानकारी हेतु देखिए {{slink|बहुपद महानतम सामान्य भाजक § बेज़ाउट सर्वसमिका और विस्तारित GCD एल्गोरिथम}}। | मुख्य स्थितियों जहाँ यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों की स्थिति है। इन स्थितियों में, उपरोक्त यूनिमॉड्यूलर आव्यूह की गणना के लिए [[विस्तारित यूक्लिडियन एल्गोरिथ्म]] का उपयोग किया जा सकता है; अधिक जानकारी हेतु देखिए {{slink|बहुपद महानतम सामान्य भाजक § बेज़ाउट सर्वसमिका और विस्तारित GCD एल्गोरिथम}}। | ||
| Line 57: | Line 57: | ||
== एक क्षेत्र पर बहुपद वलयो से अधिक == | == एक क्षेत्र पर बहुपद वलयो से अधिक == | ||
{{expand section|more details and complexity results|date=January 2021}} | {{expand section|more details and complexity results|date=January 2021}} | ||
रेखीय बीजगणित एक क्षेत्र {{mvar|k}} पर एक बहुपद वलय <math>k[x_1, \ldots, x_n]</math> पर प्रभावी होता है। यह पहली बार 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 | |journal=Mathematische Annalen | ||
|volume =95|year= 1926|doi=10.1007/BF01206635 | |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> हरमन के परिणामों से उत्पन्न एल्गोरिदम केवल ऐतिहासिक रुचि के हैं, क्योंकि प्रभावी कंप्यूटर संगणना की अनुमति देने के लिए उनकी कम्प्यूटेशनल जटिलता बहुत अधिक है। | |pages=736–788|s2cid=115897210 }}. English translation in Communications in Computer Algebra 32/3 (1998): 8–30.</ref> हरमन के परिणामों से उत्पन्न एल्गोरिदम केवल ऐतिहासिक रुचि के हैं, क्योंकि प्रभावी कंप्यूटर संगणना की अनुमति देने के लिए उनकी कम्प्यूटेशनल जटिलता बहुत अधिक है। | ||
इससे साबित यह होता है कि रैखिक बीजगणित बहुपद के वलयो पर प्रभावी है और कंप्यूटर कार्यान्वयन | इससे साबित यह होता है कि रैखिक बीजगणित बहुपद के वलयो पर प्रभावी है और कंप्यूटर कार्यान्वयन वर्तमान में ग्रोबनेर आधार सिद्धांत पर आधारित हैं। | ||
Revision as of 10:06, 1 December 2022
बीजगणित में, एक क्षेत्र पर रैखिक समीकरणों और रैखिक समीकरणों की विभिन्न प्रणालियो का व्यापक अध्ययन किया जाता है। " एक क्षेत्र से " इसका अर्थ यह है कि समीकरणों के गुणांक और समाधान जो किसी क्षेत्र सामान्यतः वास्तविक संख्या या जटिल संख्याओ से संबंधित है, को किसी व्यक्ति द्वारा खोजा जा रहा है। यह लेख उसी समस्या के लिए समर्पित है जहां क्षेत्र को क्रमविनिमेय वलय, या सामान्यतः नोथेरियन अभिन्न डोमेन द्वारा प्रतिस्थापित किया जाता है।
एकल समीकरण की स्थिति में, उत्त्पन्न समस्या दो भागों में विभाजित हो जाती है। सबसे पहले, आदर्श सदस्यता समस्या, जोकि सामान्यतः सभी में सम्मलित होती है। नीचे एक गैर-सजातीय समीकरण दिया गया है :--
दी गई वलय R में, तथा b के साथ, यह तय करने के लिए कि क्या इसका कोई R में के साथ समाधान है, और, यदि कोई है, तो उसे उपलब्ध करने के लिए। यह तय करने के लिए राशि है कि क्या b , ai द्वारा उत्पन्न आदर्श से संबंधित है। इस समस्या का सबसे सरल उदाहरण k = 1 तथा b = 1 के लिए, यह तय करने के लिए a, R में एक इकाई है ।
इसमे परस्पर सामंजस्य की समस्या भी सम्मलित है, R में k तत्व दिये गये है, के परस्पर सामंजस्य मॉडल के जनरेटर की एक प्रणाली प्रदान करने के लिए,जोकि Rk, जिसमे सजातीय समीकरण के समाधान है, में तत्वों के उपमॉडल के जनरेटर की एक प्रणाली है ।
- सबसे सरल स्थिति, जब k = 1, a1 एनीहिलेटर के जनरेटर की एक प्रणाली खोजने के लिए है।
आदर्श सदस्यता समस्या के समाधान को देखते हुए, जिसमे कोई संयुग मॉडल के तत्वों को जोड़कर सभी समाधान प्राप्त करता हैं। दूसरे शब्दों में, सभी समाधान इन दो आंशिक समस्याओं के समाधान द्वारा प्रदान किए जाते हैं।
कई समीकरणों की स्थिति में, समस्या उप-समस्याओं में इसी तरह बंट जाती है। पहली समस्या उपमॉडल सदस्यता समस्या बन जाती है। दूसरे को संयुग समस्या भी कहा जाता है।
एक वलय जिसमे अंकगणितीय संक्रियाओ (जोड़, घटाव, गुणा) के लिए कलन विधि हैं और उपरोक्त समस्याओं के लिए इसे, गणना योग्य वलय या प्रभावी वलय कहा जा सकता है। कोई यह भी कह सकता है कि वलय पर रेखीय बीजगणित प्रभावित है।
लेख उन मुख्य वलयो पर विचार करता है जिनके लिए रैखिक बीजगणित प्रभावी है।
सामान्यताएं
संयुग समस्या को हल करने में सक्षम होने के लिए, यह आवश्यक है कि संयुग का मॉडल, सूक्ष्म रूप से उत्पन्न मॉडल हो, क्योंकि एक अनंत सूची का परिणाम प्राप्त करना लगभग असंभव है। इसलिए, यहाँ जिन समस्याओं पर विचार किया गया है, वे केवल एक नोथेरियन वलय, या कम से कम एक सुसंगत वलय के लिए समझी जा सकती हैं। वास्तव में, यह लेख निम्नलिखित परिणाम के कारण नोथेरियन पूर्णांक डोमेन तक ही सीमित है।[1]
- एक नोथेरियन अभिन्न डोमेन को देखते हुए, यदि एकल समीकरण के लिए सहजीवन समस्या और आदर्श सदस्यता समस्या को हल करने के लिए एल्गोरिदम हैं, तब कोई उनसे समीकरणों के निकाय से संबंधित समान समस्याओं के लिए एल्गोरिदम प्राप्त कर सकता है।
एल्गोरिदम के अस्तित्व को सिद्ध करने के लिए यह प्रमेय उपयोगी है। सामान्यतः, व्यवहार में, प्रणालियो के लिए एल्गोरिदम सीधे डिज़ाइन किए जाते हैं।
एक क्षेत्र एक प्रभावी वलय होता है जब किसी के पास जोड़, घटाव, गुणा और गुणक व्युत्क्रमों की गणना के लिए एल्गोरिदम होता है। वास्तव में, सबमॉड्यूल सदस्यता समस्या को हल करना, सामान्यतः सिस्टम को हल करना कहा जाता है, और सिजीजी समस्या को हल करना रैखिक समीकरणों की प्रणाली के आव्यूह के शून्य स्थान की गणना है। दोनों समस्याओं के लिए सामान्य एल्गोरिथम गाऊसी विलोपन है।
प्रभावी वलयो के गुण
माना R एक प्रभावी क्रमविनिमेय वलय है :
- यदि कोई तत्व a, एक शून्य भाजक है तो परीक्षण के लिए एक एल्गोरिदम है। यह रैखिक समीकरण ax = 0 को हल करने के बराबर है।
- यदि कोई तत्व a एक इकाई है तो परीक्षण के लिए एक एल्गोरिदम है, और यदि यह है, तो इसके व्युत्क्रम की गणना करना: यह रैखिक समीकरण ax = 1 को हल करने के बराबर है।
- a1, ..., ak द्वारा उत्पन्न एक आदर्श I दिया गया है ,
- यदि R के दो तत्वों की R/I में एक ही छवि है, तो उसके परीक्षण के लिए एक एल्गोरिदम है की छवियों की समानता का परीक्षण a तथा b समीकरण को हल करने के बराबर है a = b + a1 z1 + ⋯ + ak zk;
- रैखिक बीजगणित प्रभावी है R/I: एक रैखिक प्रणाली को हल करने के लिए R/I, यह लिखने के लिए पर्याप्त है R और के एक तरफ जोड़ने के लिए iसमीकरण a1 zi,1 + ⋯ + ak zi, k (के लिये i = 1, ...), जहां zi, j नए अज्ञात हैं।
- रेखीय बीजगणित बहुपद वलय पर प्रभावी होता है यदि और केवल यदि किसी के पास एक एल्गोरिदम है जो बहुपदों के बहुपद की डिग्री की ऊपरी सीमा की गणना करता है जो समीकरणों की रैखिक प्रणालियों को हल करते समय हो सकता है: यदि किसी के पास एल्गोरिदम को हल करना है, तो उनके आउटपुट डिग्री देते हैं। विलोम (तर्क), यदि कोई समाधान में होने वाली डिग्री के ऊपरी भाग को जानता है, तो कोई अज्ञात बहुपदों को अज्ञात गुणांक वाले बहुपदों के रूप में लिख सकता है। फिर, जैसा कि दो बहुपद समान हैं यदि और केवल यदि उनके गुणांक समान हैं, तो समस्या के समीकरण गुणांक में रैखिक समीकरण बन जाते हैं, जिसे एक प्रभावी वलय पर हल किया जा सकता है।
पूर्णांकों या एक प्रमुख आदर्श डोमेन पर
इस लेख में पूर्णांकों पर बतायी गयी सभी समस्याओं को हल करने के लिए एल्गोरिदम हैं। दूसरे शब्दों में, रैखिक बीजगणित पूर्णांकों पर प्रभावी होता है। विवरण के लिए रेखीय डायोफैंटाइन प्रणाली देखें।
अधिक सामान्यतः, रैखिक बीजगणित एक प्रमुख आदर्श डोमेन पर प्रभावी होता है यदि जोड़, घटाव और गुणा के लिए एल्गोरिदम हैं।
- ax = b रूप के समीकरणों को हल करना, अर्थात परीक्षण हो रहा है कि क्या a, b का भाजक है, और, यदि यह स्थिति है, तो a/b के भागफल की गणना करना
- बेज़ाउट सर्वसमिका की गणना करना , दिए हुए a तथा b के लिए, ऐसे s तथा t कि गणना करना है कि as + bt का सबसे बड़ा सामान्य विभाजक p तथा q है।
यह सामान्य स्थिति में एक यूनिमॉड्यूलर आव्यूह की धारणा को विस्तारित करने के लिए उपयोगी है, जिसे यूनिमॉड्यूलर एक स्क्वायर आव्यूह कहा जाता है जिसका निर्धारक एक इकाई है। इसका मतलब यह है कि निर्धारक व्युत्क्रमणीय है और इसका तात्पर्य है कि यूनिमॉड्यूलर आव्यूह बिल्कुल व्युत्क्रमणीय आव्यूह हैं, ऐसे व्युत्क्रम आव्यूह की सभी प्रविष्टियाँ डोमेन से संबंधित हैं।
उपरोक्त दो एल्गोरिदम का अर्थ है कि दिया गया a तथा b प्रमुख आदर्श डोमेन में, एक यूनिमॉड्यूलर आव्यूह की गणना करने वाला एक एल्गोरिदम है
ऐसा है कि
(यह एल्गोरिदम लेने के द्वारा प्राप्त किया जाता है s तथा t बेज़ाउट की पहचान के गुणांक, और के लिए u तथा v का भागफल −b तथा a द्वारा as + bt; इस विकल्प का तात्पर्य है कि वर्ग आव्यूह का निर्धारक 1 है । )
इस तरह के एक एल्गोरिथ्म होने पर, आव्यूह के स्मिथ सामान्य रूप की गणना बिल्कुल पूर्णांक स्थिति में की जा सकती है, और यह प्रत्येक रैखिक प्रणाली को हल करने की एक एल्गोरिथ्म प्राप्त करने के लिए रैखिक डायोफैंटाइन प्रणाली में वर्णित लागू करने के लिए पर्याप्त है।
मुख्य स्थितियों जहाँ यह सामान्यतः उपयोग किया जाता है, एक क्षेत्र पर एकतरफा बहुपदों की वलय पर रैखिक प्रणालियों की स्थिति है। इन स्थितियों में, उपरोक्त यूनिमॉड्यूलर आव्यूह की गणना के लिए विस्तारित यूक्लिडियन एल्गोरिथ्म का उपयोग किया जा सकता है; अधिक जानकारी हेतु देखिए बहुपद महानतम सामान्य भाजक § बेज़ाउट सर्वसमिका और विस्तारित GCD एल्गोरिथम § Notes।
एक क्षेत्र पर बहुपद वलयो से अधिक
![[icon]](/wiki/File:Wiki_letter_w_cropped.svg){kind=small} | This section needs expansion with: more details and complexity results. You can help by adding to it. (January 2021) |
रेखीय बीजगणित, एक क्षेत्र 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.
