रैखिक बहुपद

गणित में, एक रैखिक बहुपद (या q-बहुपद) एक बहुपद है जिसके लिए सभी घटक एकपद के घातांक q की शक्ति (गणित) हैं और गुणांक परिमित के कुछ विस्तार क्षेत्र से आते हैं। आदेश का क्षेत्र क्यू।

हम एक विशिष्ट उदाहरण लिखते हैं

$$L(x)=\sum _{i=0}^{n}a_{i}x^{q^{i}},$$

जहां प्रत्येक $a_{i}$ में है $F_{q^{m}}(=\operatorname {GF} (q^{m}))$ कुछ निश्चित सकारात्मक पूर्णांक के लिए $m$.

बहुपदों का यह विशेष वर्ग सैद्धांतिक और अनुप्रयोग दोनों दृष्टिकोण से महत्वपूर्ण है। किसी कार्य के मूल की अत्यधिक संरचित प्रकृति इन जड़ों को निर्धारित करना आसान बनाती है।

गुण

• वो नक्शा x ↦ L(x) F वाले किसी भी क्षेत्र (गणित) पर एक रेखीय नक्शा है_q.
• एल की जड़ों का सेट (गणित) एक 'एफ' है_q-सदिश स्थल और क्यू-फ्रोबेनियस नक्शा के तहत बंद है।
• इसके विपरीत, यदि U कोई 'F' है_qएफ युक्त कुछ परिमित क्षेत्र के रैखिक उप-स्थान_q, तो वह बहुपद जो U पर बिल्कुल लुप्त हो जाता है, एक रैखिक बहुपद है।
• किसी दिए गए क्षेत्र पर रैखिककृत बहुपदों का सेट बहुपदों के जोड़ और कार्य संरचना के तहत बंद है।
• यदि L एक शून्येतर रैखिक बहुपद है $F_{q^{n}}$ जिसकी सारी जड़ें खेत में पड़ी हों $F_{q^{s}}$ का एक विस्तार क्षेत्र $F_{q^{n}}$, तो L के प्रत्येक मूल की समान बहुलता है, जो या तो 1 है, या q की धनात्मक घात है।

प्रतीकात्मक गुणन

सामान्य तौर पर, दो रैखिक बहुपदों का गुणनफल एक रैखिककृत बहुपद नहीं होगा, लेकिन चूंकि दो रैखिककृत बहुपदों की रचना के परिणामस्वरूप एक रैखिक बहुपद होता है, रचना को गुणन के प्रतिस्थापन के रूप में इस्तेमाल किया जा सकता है और, इस कारण से, रचना को अक्सर प्रतीकात्मक कहा जाता है इस सेटिंग में गुणन। सांकेतिक रूप से, यदि एल₁(एक्स) और एल₂(x) रैखिक बहुपद हैं जिन्हें हम परिभाषित करते हैं

$$L_{1}(x)\otimes L_{2}(x)=L_{1}(L_{2}(x))$$

जब यह दृष्टिकोण लिया जा रहा है।

संबंधित बहुपद

बहुपद L(x) और

$$l(x)=\sum _{i=0}^{n}a_{i}x^{i}$$

क्यू-एसोसिएट्स हैं (ध्यान दें: एक्सपोनेंट्स क्यू^{L(x) के i} को l(x) में i से बदल दिया गया है)। विशेष रूप से, l(x) को L(x) का पारंपरिक q-सहयोगी कहा जाता है, और L(x) l(x) का रैखिकीकृत q-सहयोगी है।

q-बहुपद 'एफ' पर_q

F में गुणांकों के साथ रेखीयकृत बहुपद_q अतिरिक्त गुण हैं जो प्रतीकात्मक विभाजन, प्रतीकात्मक न्यूनीकरण और प्रतीकात्मक गुणनखंड को परिभाषित करना संभव बनाते हैं। इस प्रकार के रैखिक बहुपद के दो महत्वपूर्ण उदाहरण फ्रोबेनियस ऑटोमोर्फिज्म हैं $x\mapsto x^{q}$ और ट्रेस फ़ंक्शन ${\textstyle \operatorname {Tr} (x)=\sum _{i=0}^{n-1}x^{q^{i}}.}$ इस विशेष मामले में यह दिखाया जा सकता है कि, एक ऑपरेशन (गणित) के रूप में, प्रतीकात्मक गुणन क्रमविनिमेय गुण, साहचर्य और वितरणात्मक गुण साधारण योग से अधिक है। इसके अलावा, इस विशेष मामले में, हम सांकेतिक विभाजन के संचालन को परिभाषित कर सकते हैं। अगर L(x) और L₁(एक्स) 'एफ' पर रैखिक बहुपद हैं_q, हम कहते हैं कि एल₁(एक्स) प्रतीकात्मक रूप से एल (एक्स) को विभाजित करता है यदि एक रैखिक बहुपद एल मौजूद है₂(एक्स) 'एफ' से अधिक_q जिसके लिए:

$$L(x)=L_{1}(x)\otimes L_{2}(x).$$

अगर एल₁(एक्स) और एल₂(एक्स) 'एफ' पर रैखिक बहुपद हैं_q पारंपरिक क्यू-सहयोगियों एल के साथ₁(एक्स) और एल₂(एक्स) क्रमशः, फिर एल₁(x) प्रतीकात्मक रूप से L को विभाजित करता है₂(एक्स) अगर और केवल अगर एल₁(x) l को विभाजित करता है₂(एक्स)। आगे, एल₁(x) L को विभाजित करता है₂(x) इस मामले में सामान्य अर्थों में। 'F' पर एक रैखिक बहुपद L(x)_q एक बहुपद की डिग्री> 1 'एफ' पर प्रतीकात्मक रूप से अलघुकरणीय है_q यदि केवल प्रतीकात्मक अपघटन

$$L(x)=L_{1}(x)\otimes L_{2}(x),$$

एल के साथ_i एफ पर_q वे हैं जिनके लिए कारकों में से एक की डिग्री 1 है। ध्यान दें कि एक प्रतीकात्मक रूप से अलघुकरणीय बहुपद हमेशा सामान्य अर्थों में कम करने योग्य बहुपद होता है क्योंकि डिग्री के किसी भी रैखिक बहुपद > 1 में गैर-कारक x होता है। 'F' पर एक रैखिक बहुपद L(x)_q सांकेतिक रूप से अप्रासंगिक है अगर और केवल अगर इसका पारंपरिक क्यू-एसोसिएट एल (एक्स) 'एफ' पर इरेड्यूसेबल है_q.

'F' पर प्रत्येक q-बहुपद L(x)_q डिग्री का > 1 का 'F' पर प्रतीकात्मक रूप से अलघुकरणीय बहुपदों में एक प्रतीकात्मक गुणनखंड है_q और यह गुणनखंड अनिवार्य रूप से अद्वितीय है (कारकों को पुनर्व्यवस्थित करने और एफ के गैर-शून्य तत्वों से गुणा करने तक)।_q.)

उदाहरण के लिए, 2-बहुपद L(x) = x पर विचार करें¹⁶ + x⁸ + एक्स² + x ओवर 'F'₂ और इसका पारंपरिक 2-सहयोगी l(x) = x⁴ + एक्स³ + x + 1. l(x) = (x) के इरेड्यूसिबल में गुणनखंड² + x + 1)(x + 1)² एफ में₂[x], प्रतीकात्मक गुणनखंड देता है

$$L(x)=(x^{4}+x^{2}+x)\otimes (x^{2}+x)\otimes (x^{2}+x).$$

Affine बहुपद

मान लीजिए कि L एक रैखिक बहुपद है $F_{q^{n}}$. रूप का एक बहुपद $A(x)=L(x)-\alpha {\text{ for }}\alpha \in F_{q^{n}},$ एक सजातीय बहुपद है $F_{q^{n}}$.

प्रमेय: यदि A एक शून्येतर सजातीय बहुपद है $F_{q^{n}}$ जिसकी सारी जड़ें खेत में पड़ी हों $F_{q^{s}}$ का एक विस्तार क्षेत्र $F_{q^{n}}$, तो A के प्रत्येक मूल की समान बहुलता है, जो या तो 1 है, या q की धनात्मक घात है।

संदर्भ

• 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