रैखिक बहुपद: Difference between revisions
No edit summary |
No edit summary |
||
(3 intermediate revisions by 3 users not shown) | |||
Line 17: | Line 17: | ||
== प्रतीकात्मक गुणन == | == प्रतीकात्मक गुणन == | ||
सामान्य तौर पर, दो रैखिक बहुपदों का गुणनफल एक रैखिककृत बहुपद नहीं होगा, लेकिन चूंकि दो रैखिककृत बहुपदों की रचना के परिणामस्वरूप एक रैखिक बहुपद होता है, रचना को गुणन के प्रतिस्थापन के रूप में इस्तेमाल किया जा सकता है और, इस कारण से, रचना को अक्सर प्रतीकात्मक कहा जाता है इस सेटिंग में गुणन। सांकेतिक रूप से, यदि ''एल''<sub>एक</sub>(एक्स) और एल<sub> | सामान्य तौर पर, दो रैखिक बहुपदों का गुणनफल एक रैखिककृत बहुपद नहीं होगा, लेकिन चूंकि दो रैखिककृत बहुपदों की रचना के परिणामस्वरूप एक रैखिक बहुपद होता है, रचना को गुणन के प्रतिस्थापन के रूप में इस्तेमाल किया जा सकता है और, इस कारण से, रचना को अक्सर प्रतीकात्मक कहा जाता है इस सेटिंग में गुणन। सांकेतिक रूप से, यदि ''एल''<sub>एक</sub>(एक्स) और एल<sub>दो</sub>(एक्स) रैखिक बहुपद हैं जिन्हें हम परिभाषित करते हैं <math display="block">L_1(x) \otimes L_2(x) = L_1(L_2(x))</math> जब यह दृष्टिकोण लिया जा रहा है। | ||
== संबंधित बहुपद == | == संबंधित बहुपद == | ||
Line 24: | Line 24: | ||
==क्यू-बहुपद 'एफ' पर<sub>''क्यू''</sub>== | ==क्यू-बहुपद 'एफ' पर<sub>''क्यू''</sub>== | ||
एफ में गुणांकों के साथ रेखीयकृत बहुपद<sub>''क्यू''</sub> अतिरिक्त गुण हैं जो प्रतीकात्मक विभाजन, प्रतीकात्मक न्यूनीकरण और प्रतीकात्मक गुणनखंड को परिभाषित करना संभव बनाते हैं। इस प्रकार के रैखिक बहुपद के दो महत्वपूर्ण उदाहरण फ्रोबेनियस ऑटोमोर्फिज्म हैं <math>x \mapsto x^q</math> और ट्रेस फ़ंक्शन <math display="inline">\operatorname{Tr}(x) = \sum_{i=0}^{n-1} x^{q^i}.</math> | एफ में गुणांकों के साथ रेखीयकृत बहुपद<sub>''क्यू''</sub> अतिरिक्त गुण हैं जो प्रतीकात्मक विभाजन, प्रतीकात्मक न्यूनीकरण और प्रतीकात्मक गुणनखंड को परिभाषित करना संभव बनाते हैं। इस प्रकार के रैखिक बहुपद के दो महत्वपूर्ण उदाहरण फ्रोबेनियस ऑटोमोर्फिज्म हैं <math>x \mapsto x^q</math> और ट्रेस फ़ंक्शन <math display="inline">\operatorname{Tr}(x) = \sum_{i=0}^{n-1} x^{q^i}.</math> | ||
इस विशेष मामले में यह दिखाया जा सकता है कि, एक [[ऑपरेशन (गणित)]] के रूप में, प्रतीकात्मक गुणन क्रमविनिमेय गुण, साहचर्य और वितरणात्मक गुण साधारण योग से अधिक है।<ref>{{harvnb|Lidl|Niederreiter|1983|loc=pg. 115 (first edition)}}</ref> इसके अलावा, इस विशेष मामले में, हम सांकेतिक विभाजन के संचालन को परिभाषित कर सकते हैं। अगर ''एल''(''एक्स'') और ''एल''<sub>एक</sub>(एक्स) 'एफ' पर रैखिक बहुपद हैं<sub>''क्यू''</sub>, हम कहते हैं कि एल<sub>एक</sub>(एक्स) प्रतीकात्मक रूप से एल (एक्स) को विभाजित करता है यदि एक रैखिक बहुपद एल मौजूद है<sub> | इस विशेष मामले में यह दिखाया जा सकता है कि, एक [[ऑपरेशन (गणित)]] के रूप में, प्रतीकात्मक गुणन क्रमविनिमेय गुण, साहचर्य और वितरणात्मक गुण साधारण योग से अधिक है।<ref>{{harvnb|Lidl|Niederreiter|1983|loc=pg. 115 (first edition)}}</ref> इसके अलावा, इस विशेष मामले में, हम सांकेतिक विभाजन के संचालन को परिभाषित कर सकते हैं। अगर ''एल''(''एक्स'') और ''एल''<sub>एक</sub>(एक्स) 'एफ' पर रैखिक बहुपद हैं<sub>''क्यू''</sub>, हम कहते हैं कि एल<sub>एक</sub>(एक्स) प्रतीकात्मक रूप से एल (एक्स) को विभाजित करता है यदि एक रैखिक बहुपद एल मौजूद है<sub>दो</sub>(एक्स) 'एफ' से अधिक<sub>''क्यू''</sub> जिसके लिए: <math display="block">L(x) = L_1(x) \otimes L_2(x).</math> अगर एल<sub>एक</sub>(एक्स) और एल<sub>दो</sub>(एक्स) 'एफ' पर रैखिक बहुपद हैं<sub>''क्यू''</sub> पारंपरिक क्यू-सहयोगियों एल के साथ<sub>एक</sub>(एक्स) और एल<sub>दो</sub>(एक्स) क्रमशः, फिर एल<sub>एक</sub>(एक्स) प्रतीकात्मक रूप से एल को विभाजित करता है<sub>दो</sub>(एक्स) [[अगर और केवल अगर]] एल<sub>एक</sub>(एक्स) एल को विभाजित करता है<sub>दो</sub>(एक्स)।<ref>{{harvnb|Lidl|Niederreiter|1983|loc=pg. 115 (first edition) Corollary 3.60}}</ref> आगे, | ||
एल<sub>एक</sub>(एक्स) एल को विभाजित करता है<sub> | एल<sub>एक</sub>(एक्स) एल को विभाजित करता है<sub>दो</sub>(एक्स) इस मामले में सामान्य अर्थों में।<ref>{{harvnb|Lidl|Neiderreiter|1983|loc=pg. 116 (first edition) Theorem 3.62}}</ref> | ||
'एफ' पर एक रैखिक बहुपद एल(एक्स)<sub>''क्यू''</sub> [[एक बहुपद की डिग्री]]> एक 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय है<sub>''क्यू''</sub> यदि केवल प्रतीकात्मक अपघटन | 'एफ' पर एक रैखिक बहुपद एल(एक्स)<sub>''क्यू''</sub> [[एक बहुपद की डिग्री]]> एक 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय है<sub>''क्यू''</sub> यदि केवल प्रतीकात्मक अपघटन | ||
<math display="block">L(x) = L_1(x) \otimes L_2(x),</math> | <math display="block">L(x) = L_1(x) \otimes L_2(x),</math> | ||
Line 32: | Line 32: | ||
'एफ' पर प्रत्येक क्यू-बहुपद एल(एक्स)<sub>''क्यू''</sub> डिग्री का > एक का 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय बहुपदों में एक प्रतीकात्मक गुणनखंड है<sub>''क्यू''</sub> और यह गुणनखंड अनिवार्य रूप से अद्वितीय है (कारकों को पुनर्व्यवस्थित करने और एफ के गैर-शून्य तत्वों से गुणा करने तक)।<sub>''क्यू''</sub>.) | 'एफ' पर प्रत्येक क्यू-बहुपद एल(एक्स)<sub>''क्यू''</sub> डिग्री का > एक का 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय बहुपदों में एक प्रतीकात्मक गुणनखंड है<sub>''क्यू''</sub> और यह गुणनखंड अनिवार्य रूप से अद्वितीय है (कारकों को पुनर्व्यवस्थित करने और एफ के गैर-शून्य तत्वों से गुणा करने तक)।<sub>''क्यू''</sub>.) | ||
उदाहरण के लिए,<ref>{{harvnb|Lidl|Neiderreiter|1983|loc=pg. 117 (first edition) Example 3.64}}</ref> | उदाहरण के लिए,<ref>{{harvnb|Lidl|Neiderreiter|1983|loc=pg. 117 (first edition) Example 3.64}}</ref> दो-बहुपद एल(एक्स) = एक्स पर विचार करें<sup>एक6</sup> + एक्स<sup>8</sup> + एक्स<sup>दो</sup> + एक्स ओवर 'एफ'<sub>दो</sub> और इसका पारंपरिक दो-सहयोगी एल(एक्स) = एक्स<sup>4</sup> + एक्स<sup>3</sup> + एक्स + एक. एल(एक्स) = (एक्स) के इरेड्यूसिबल में गुणनखंड<sup>दो</sup> + एक्स + एक)(एक्स + एक)<sup>दो</sup> एफ में<sub>दो</sub>[एक्स], प्रतीकात्मक गुणनखंड देता है | ||
<math display="block">L(x) = (x^4 + x^2 + x) \otimes (x^2 + x) \otimes (x^2 + x).</math> | <math display="block">L(x) = (x^4 + x^2 + x) \otimes (x^2 + x) \otimes (x^2 + x).</math> | ||
Line 50: | Line 50: | ||
* {{cite book | zbl=0866.11069 | last1=Lidl | first1=Rudolf | last2=Niederreiter | first2=Harald | author2-link=Harald Niederreiter | title=Finite fields | edition=2nd | series=Encyclopedia of Mathematics and Its Applications | volume=20 | publisher=[[Cambridge University Press]] | year=1997 | isbn=0-521-39231-4 | url-access=registration | url=https://archive.org/details/finitefields0000lidl_a8r3 }} | * {{cite book | zbl=0866.11069 | last1=Lidl | first1=Rudolf | last2=Niederreiter | first2=Harald | author2-link=Harald Niederreiter | title=Finite fields | edition=2nd | series=Encyclopedia of Mathematics and Its Applications | volume=20 | publisher=[[Cambridge University Press]] | year=1997 | isbn=0-521-39231-4 | url-access=registration | url=https://archive.org/details/finitefields0000lidl_a8r3 }} | ||
* {{citation|first1=Gary L.|last1=Mullen|first2=Daniel|last2=Panario|title=Handbook of Finite Fields|year=2013|publisher=CRC Press|place=Boca Raton|series=Discrete Mathematics and its Applications|isbn=978-1-4398-7378-6}} | * {{citation|first1=Gary L.|last1=Mullen|first2=Daniel|last2=Panario|title=Handbook of Finite Fields|year=2013|publisher=CRC Press|place=Boca Raton|series=Discrete Mathematics and its Applications|isbn=978-1-4398-7378-6}} | ||
[[Category:Created On 03/03/2023]] | [[Category:Created On 03/03/2023]] | ||
[[Category:Machine Translated Page]] | |||
[[Category:Pages with script errors]] | |||
[[Category:Templates Vigyan Ready]] | |||
[[Category:बहुपदों]] |
Latest revision as of 11:40, 24 April 2023
गणित में, एक रैखिक बहुपद (या क्यू-बहुपद) एक बहुपद है जिसके लिए सभी घटक एकपद के घातांक क्यू की शक्ति (गणित) हैं और गुणांक परिमित के कुछ विस्तार क्षेत्र से आते हैं। आदेश का क्षेत्र क्यू।
हम एक विशिष्ट उदाहरण लिखते हैं
बहुपदों का यह विशेष वर्ग सैद्धांतिक और अनुप्रयोग दोनों दृष्टिकोण से महत्वपूर्ण है।[1] किसी कार्य के मूल की अत्यधिक संरचित प्रकृति इन जड़ों को निर्धारित करना आसान बनाती है।
गुण
- वो नक्शा x ↦ L(x) एफ वाले किसी भी क्षेत्र (गणित) पर एक रेखीय नक्शा हैक्यू.
- एल की जड़ों का सेट (गणित) एक 'एफ' हैक्यू-सदिश स्थल और क्यू-फ्रोबेनियस नक्शा के तहत बंद है।
- इसके विपरीत, यदि यू कोई 'एफ' हैक्यू एफ युक्त कुछ परिमित क्षेत्र के रैखिक उप-स्थानक्यू, तो वह बहुपद जो यू पर बिल्कुल लुप्त हो जाता है, एक रैखिक बहुपद है।
- किसी दिए गए क्षेत्र पर रैखिककृत बहुपदों का सेट बहुपदों के जोड़ और कार्य संरचना के तहत बंद है।
- यदि एल एक शून्येतर रैखिक बहुपद है जिसकी सारी जड़ें खेत में पड़ी हों का एक विस्तार क्षेत्र , तो एल के प्रत्येक मूल की समान बहुलता है, जो या तो एक है, या क्यू की धनात्मक घात है।[2]
प्रतीकात्मक गुणन
सामान्य तौर पर, दो रैखिक बहुपदों का गुणनफल एक रैखिककृत बहुपद नहीं होगा, लेकिन चूंकि दो रैखिककृत बहुपदों की रचना के परिणामस्वरूप एक रैखिक बहुपद होता है, रचना को गुणन के प्रतिस्थापन के रूप में इस्तेमाल किया जा सकता है और, इस कारण से, रचना को अक्सर प्रतीकात्मक कहा जाता है इस सेटिंग में गुणन। सांकेतिक रूप से, यदि एलएक(एक्स) और एलदो(एक्स) रैखिक बहुपद हैं जिन्हें हम परिभाषित करते हैं
संबंधित बहुपद
बहुपद L(x) और
क्यू-बहुपद 'एफ' परक्यू
एफ में गुणांकों के साथ रेखीयकृत बहुपदक्यू अतिरिक्त गुण हैं जो प्रतीकात्मक विभाजन, प्रतीकात्मक न्यूनीकरण और प्रतीकात्मक गुणनखंड को परिभाषित करना संभव बनाते हैं। इस प्रकार के रैखिक बहुपद के दो महत्वपूर्ण उदाहरण फ्रोबेनियस ऑटोमोर्फिज्म हैं और ट्रेस फ़ंक्शन इस विशेष मामले में यह दिखाया जा सकता है कि, एक ऑपरेशन (गणित) के रूप में, प्रतीकात्मक गुणन क्रमविनिमेय गुण, साहचर्य और वितरणात्मक गुण साधारण योग से अधिक है।[3] इसके अलावा, इस विशेष मामले में, हम सांकेतिक विभाजन के संचालन को परिभाषित कर सकते हैं। अगर एल(एक्स) और एलएक(एक्स) 'एफ' पर रैखिक बहुपद हैंक्यू, हम कहते हैं कि एलएक(एक्स) प्रतीकात्मक रूप से एल (एक्स) को विभाजित करता है यदि एक रैखिक बहुपद एल मौजूद हैदो(एक्स) 'एफ' से अधिकक्यू जिसके लिए:
'एफ' पर प्रत्येक क्यू-बहुपद एल(एक्स)क्यू डिग्री का > एक का 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय बहुपदों में एक प्रतीकात्मक गुणनखंड हैक्यू और यह गुणनखंड अनिवार्य रूप से अद्वितीय है (कारकों को पुनर्व्यवस्थित करने और एफ के गैर-शून्य तत्वों से गुणा करने तक)।क्यू.)
उदाहरण के लिए,[6] दो-बहुपद एल(एक्स) = एक्स पर विचार करेंएक6 + एक्स8 + एक्सदो + एक्स ओवर 'एफ'दो और इसका पारंपरिक दो-सहयोगी एल(एक्स) = एक्स4 + एक्स3 + एक्स + एक. एल(एक्स) = (एक्स) के इरेड्यूसिबल में गुणनखंडदो + एक्स + एक)(एक्स + एक)दो एफ मेंदो[एक्स], प्रतीकात्मक गुणनखंड देता है
अफिन बहुपद
मान लीजिए कि एल एक रैखिक बहुपद है . रूप का एक बहुपद एक सजातीय बहुपद है .
प्रमेय: यदि ए एक शून्येतर सजातीय बहुपद है जिसकी सारी जड़ें खेत में पड़ी हों का एक विस्तार क्षेत्र , तो ए के प्रत्येक मूल की समान बहुलता है, जो या तो एक है, या क्यू की धनात्मक घात है।[7]
टिप्पणियाँ
- ↑ Lidl & Niederreiter 1983, pg.107 (first edition)
- ↑ Mullen & Panario 2013, p. 23 (2.1.106)
- ↑ Lidl & Niederreiter 1983, pg. 115 (first edition)
- ↑ Lidl & Niederreiter 1983, pg. 115 (first edition) Corollary 3.60
- ↑ Lidl & Neiderreiter 1983, pg. 116 (first edition) Theorem 3.62
- ↑ Lidl & Neiderreiter 1983, pg. 117 (first edition) Example 3.64
- ↑ Mullen & Panario 2013, p. 23 (2.1.109)
संदर्भ
- Lidl, Rudolf; Niederreiter, Harald (1997). Finite fields. Encyclopedia of Mathematics and Its Applications. Vol. 20 (2nd ed.). Cambridge University Press. ISBN 0-521-39231-4. Zbl 0866.11069.
- Mullen, Gary L.; Panario, Daniel (2013), Handbook of Finite Fields, Discrete Mathematics and its Applications, Boca Raton: CRC Press, ISBN 978-1-4398-7378-6