बहुपद वलय

एक बहुपद वलय (polynomial ring) एक या एक से अधिक अनिर्धारितों (indeterminates) में बहुपदों का वलय होता है, जिसके गुणांक एक आधार वलय (base ring) में होते हैं। यह एक मुक्त क्रमविनिमेय बीजगणित (free commutative algebra) है जो एक वलय में अज्ञातों को जोड़ने का प्रतिरूपण करता है।

Definition

एक क्रमविनिमेय वलय R दिए जाने पर, बहुपद वलय R[x] में R में गुणांकों के साथ एक अनिर्धारित x की घातों के परिमित औपचारिक योग होते हैं, जिसमें सामान्य जोड़ और गुणा होता है; इसे दोहराने से कई चरों में बहुपद वलय प्राप्त होते हैं।

Scope

यह विषय एक और कई चरों में बहुपद वलयों के निर्माण, एक क्षेत्र पर विभाजन एल्गोरिथम (division algorithm), गुणनखंडन (factorization) और अखंडनीयता (irreducibility) के मानदंड जैसे गॉस का लेम्मा (Gauss's lemma) और आइज़ेंस्टीन मानदंड (Eisenstein criterion), और आधार वलय से बहुपद वलय में गुणों (अद्वितीय गुणनखंडन, नोथेरियन स्थिति) के हस्तांतरण को शामिल करता है।

Core questions

• बहुपद वलय का निर्माण कैसे किया जाता है और यह किस सार्वभौमिक गुण को संतुष्ट करता है?
• बहुपदों को कब विभाजित किया जा सकता है, और यह एक क्षेत्र के बहुपद वलय को यूक्लिडियन कैसे बनाता है?
• एक बहुपद की अखंडनीयता का पता कैसे लगाया जाता है?
• आधार वलय के कौन से गुण बहुपद वलय द्वारा विरासत में मिलते हैं?

Key theories

विभाजन एल्गोरिथम और सार्वभौमिक गुण

एक क्षेत्र पर, बहुपद शेष के साथ विभाजन को स्वीकार करते हैं, जिससे एक चर में बहुपद वलय एक यूक्लिडियन डोमेन बन जाता है; अधिक सामान्यतः R[x] एक जनरेटर पर मुक्त क्रमविनिमेय R-बीजगणित है, जो x को R-बीजगणित के किसी भी तत्व में भेजने के लिए सार्वभौमिक है।

गॉस का लेम्मा

यदि R एक अद्वितीय गुणनखंडन डोमेन है तो R[x] भी है, और एक आदिम बहुपद (primitive polynomial) जो भिन्नों के क्षेत्र पर गुणनखंडित होता है, वह पहले से ही R पर गुणनखंडित होता है, जिससे अखंडनीयता के प्रश्न आधार क्षेत्र तक कम हो जाते हैं।

आइज़ेंस्टीन मानदंड

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

Clinical relevance

बहुपद वलय समीकरणों को हल करने और बीजगणितीय ज्यामिति (algebraic geometry) के लिए बीजगणितीय मंच हैं, जहाँ बहुपद वलयों के भागफल (quotients) किस्मों के निर्देशांक वलय (coordinate rings) होते हैं। वे कंप्यूटर बीजगणित (ग्रोब्नर आधार), कोडिंग सिद्धांत, और क्षेत्र विस्तार (field extensions) और परिमित क्षेत्रों (finite fields) के निर्माण के लिए केंद्रीय हैं।

History

बहुपदों का औपचारिक हेरफेर अमूर्त बीजगणित (abstract algebra) से पहले का है, लेकिन गॉस के चक्रवात (cyclotomy) और पूर्णांक बहुपदों पर काम और आइज़ेंस्टीन के अखंडनीयता मानदंड ने आधुनिक सिद्धांत को आकार दिया। हिल्बर्ट के आधार प्रमेय (Hilbert's basis theorem) ने तब खुलासा किया कि क्षेत्रों पर बहुपद वलयों में परिमित रूप से उत्पन्न आदर्श (finitely generated ideals) होते हैं, जिससे बीजगणितीय ज्यामिति की नींव पड़ी।

Key figures

• Carl Friedrich Gauss
• Ferdinand Eisenstein
• David Hilbert
• Leopold Kronecker

Seminal works

• dummit2004
• lang2002
• atiyah1969

Frequently asked questions

एक क्षेत्र पर बहुपद वलय इतना अच्छा व्यवहार क्यों करता है?

एक क्षेत्र पर विभाजन एल्गोरिथम लागू होता है, इसलिए एक-चर बहुपद वलय एक यूक्लिडियन डोमेन है और इसलिए एक प्रमुख-आदर्श (principal-ideal) और अद्वितीय गुणनखंडन डोमेन है। यह इसके अंकगणित को पूर्णांकों के अंकगणित के समानांतर बनाता है।

एक बहुपद वलय का सार्वभौमिक गुण क्या है?

अनिधारित को एक R-बीजगणित के किसी भी तत्व में मैप करना R[x] से एक वलय समरूपता (ring homomorphism) तक विशिष्ट रूप से विस्तारित होता है। यह स्वतंत्रता ही है जो बहुपद वलयों को एक सामान्य अज्ञात को जोड़ने का प्रतिरूपण करने देती है, जो मूल्यांकन और प्रतिस्थापन की नींव है।