बहुपद वलय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Algebraic structure}}{{Ring theory sidebar|Commutative}}
{{Short description|Algebraic structure}}{{Ring theory sidebar|Commutative}}


गणित में विशेष रूप से [[बीजगणित]] के क्षेत्र में [[बहुपद]] वलय या बहुपद बीजगणित वलय (गणित) है (जो [[क्रमविनिमेय बीजगणित]] (संरचना) भी है) जो या अधिक [[अनिश्चित (चर)]] में बहुपदों के [[सेट (गणित)|समुच्चय (गणित)]] से बनता है। s (पारंपरिक रूप से इसे वेरिएबल (गणित) भी कहा जाता है) अन्य रिंग (गणित) में गुणांक के साथ अधिकांशतः [[फ़ील्ड (गणित)]]।


अधिकांशतः बहुपद वलय शब्द का तात्पर्य क्षेत्र में अनिश्चित बहुपद वलय के विशेष स्थितियों से है। ऐसे बहुपद छल्लों का महत्व उन गुणों की उच्च संख्या पर निर्भर करता है जो पूर्णांकया बीजगणितीय_गुणों के वलय के साथ समान होते हैं।
गणित में, विशेष रूप से बीजगणित के क्षेत्र में, एक बहुपद वलय या बहुपद बीजगणित एक वलय है (जो एक क्रमविनिमेय बीजगणित भी है) जो एक या अधिक अनिश्चित (पारंपरिक रूप से चर भी कहा जाता है) में बहुपदों के सेट से बनता है, जिसका गुणांक अधिकांशतः दूसरे वलय में एक क्षेत्र होता है।


बहुपद वलय होते हैं और अधिकांशतः गणित के कई हिस्सों जैसे [[संख्या सिद्धांत]], क्रमविनिमेय बीजगणित और [[बीजगणितीय ज्यामिति]] में मौलिक होते हैं। [[वलय सिद्धांत]] में, बहुपद वलय के कुछ गुणों को सामान्य बनाने के लिए छल्लों के कई वर्ग, जैसे अद्वितीय गुणनखंड डोमेन, नियमित वलय, समूह वलय, [[औपचारिक शक्ति श्रृंखला]], [[अयस्क बहुपद]], श्रेणीबद्ध वलय, पेश किए गए हैं।
अधिकांशतः बहुपद वलय शब्द का तात्पर्य क्षेत्र में अनिश्चित बहुपद वलय के विशेष स्थितियों से है। ऐसे बहुपद वलय का महत्व उन गुणों की उच्च संख्या पर निर्भर करता है जो पूर्णांकया बीजगणितीय_गुणों के वलय के साथ समान होते हैं।


एक निकट संबंधी धारणा सदिश समष्टि पर बहुपद फलनों के वलय की है, और, अधिक सामान्यतः, [[बीजगणितीय विविधता]] पर नियमित फलनों के वलय की है।
बहुपद वलय होते हैं और अधिकांशतः गणित के कई भागो जैसे [[संख्या सिद्धांत]], क्रमविनिमेय बीजगणित और [[बीजगणितीय ज्यामिति]] में मौलिक होते हैं। [[वलय सिद्धांत]] में, बहुपद वलय के कुछ गुणों को सामान्य बनाने के लिए वलय के कई वर्ग, जैसे अद्वितीय गुणनखंड डोमेन, नियमित वलय, समूह वलय, [[औपचारिक शक्ति श्रृंखला]], [[अयस्क बहुपद]], श्रेणीबद्ध वलय, प्रस्तुत किए गए हैं।


== परिभाषा (एकविभिन्न स्थितिया )==
एक निकट संबंधी धारणा सदिश समष्टि पर बहुपद फलनों के वलय की है और अधिक सामान्यतः, [[बीजगणितीय विविधता]] पर नियमित फलनों के वलय की है।
बहुपद वलय {{math|''K''[''X'']}} में {{math|''X''}} क्षेत्र के ऊपर (गणित) (या अधिक सामान्यतः [[क्रमविनिमेय वलय]]) {{math|''K''}} को कई समान तरीकों से परिभाषित किया जा सकता है। उनमें से है परिभाषित करना {{math|''K''[''X'']}} व्यंजकों के समुच्चय के रूप में जिसे बहुपद कहा जाता है {{math|''X''}} रूप का<ref>{{harvnb|Herstein|1975|p=153}}</ref>
== परिभाषा (एकविभिन्न स्थितिया )                                           ==
बहुपद वलय, {{math|''K''[''X'']}}, {{math|''X''}} में एक क्षेत्र पर (या, अधिक सामान्यतः एक क्रमविनिमेय वलय) K को कई समकक्ष विधियों से परिभाषित किया जा सकता है। उनमें से एक है K[X] को व्यंजकों के समुच्चय के रूप में परिभाषित करना, जिसे X रूप में बहुपद कहा जाता है<ref>{{harvnb|Herstein|1975|p=153}}</ref>
:<math>p = p_0 + p_1 X + p_2 X^2 + \cdots + p_{m - 1} X^{m - 1} + p_m X^m,</math>
:<math>p = p_0 + p_1 X + p_2 X^2 + \cdots + p_{m - 1} X^{m - 1} + p_m X^m,</math>
कहाँ {{math|''p''<sub>0</sub>, ''p''<sub>1</sub>, …, ''p''<sub>''m''</sub>}}, के गुणांक {{math|''p''}} के तत्व हैं {{math|''K''}}, {{math|''p{{sub|m}}'' ≠ 0}} यदि {{math|''m'' > 0}}, और {{math|''X'', ''X''{{i sup|2}}, …,}} प्रतीक हैं, जिन्हें शक्तियों के रूप में माना जाता है {{math|''X''}} और [[घातांक]] के सामान्य नियमों का पालन करें: {{math|1=''X''{{i sup|0}} = 1}}, {{math|1=''X''{{i sup|1}} = ''X''}}, और <math> X^k\, X^l = X^{k+l}</math> किसी भी गैर-ऋणात्मक पूर्णांक के लिए {{math|''k''}} और {{math|''l''}}. प्रतीक {{math|''X''}} को अनिश्चित कहा जाता है<ref>Herstein, Hall p. 73</ref> या परिवर्तनशील<ref>{{harvnb|Lang|2002|p=97}}</ref> (चर का पद बहुपद फलनों की शब्दावली से आता है। चूंकि , यहाँ {{mvar|X}} का कोई मूल्य नहीं है (स्वयं के अतिरिक्त ), और बहुपद वलय में स्थिरांक होने के कारण भिन्न नहीं हो सकता है।)
जहाँ {{math|''p''<sub>0</sub>, ''p''<sub>1</sub>, …, ''p''<sub>''m''</sub>}}, के गुणांक {{math|''p''}} के तत्व हैं {{math|''K''}}, {{math|''p{{sub|m}}'' ≠ 0}} यदि {{math|''m'' > 0}}, और {{math|''X'', ''X''{{i sup|2}}, …,}} प्रतीक हैं, जिन्हें शक्तियों के रूप में माना जाता है जहाँ {{math|''X''}} और [[घातांक]] के सामान्य नियमों का पालन करें: {{math|1=''X''{{i sup|0}} = 1}}, {{math|1=''X''{{i sup|1}} = ''X''}}, और <math> X^k\, X^l = X^{k+l}</math> किसी भी गैर-ऋणात्मक पूर्णांक के लिए {{math|''k''}} और {{math|''l''}}. प्रतीक {{math|''X''}} को अनिश्चित या परिवर्तनशील कहा जाता है<ref>Herstein, Hall p. 73</ref> <ref>{{harvnb|Lang|2002|p=97}}</ref> (चर का पद बहुपद फलनों की शब्दावली से आता है। चूंकि यहाँ {{mvar|X}} का कोई मूल्य नहीं है (स्वयं के अतिरिक्त ) और बहुपद वलय में स्थिरांक होने के कारण भिन्न नहीं हो सकता है।)


दो बहुपद बराबर होते हैं जब प्रत्येक के संगत गुणांक होते हैं {{math|''X''{{i sup|''k''}}}} बराबर हैं।
दो बहुपद समान होते हैं जब प्रत्येक {{math|''X''{{i sup|''k''}}}} के संगत गुणांक समान होते हैं।


कोई अंगूठी के बारे में सोच सकता है {{math|''K''[''X'']}} से उत्पन्न होने के रूप में {{math|''K''}} नया तत्व जोड़कर {{math|''X''}} जो कि बाहरी है {{math|''K''}} के सभी तत्वों के साथ आवागमन करता है {{math|''K''}}, और इसमें कोई अन्य विशिष्ट गुण नहीं हैं। इसका उपयोग बहुपद वलय की समतुल्य परिभाषा के लिए किया जा सकता है।
कोई व्यक्ति {{math|''K''}} से बाहर एक नया तत्व X जोड़कर वलय {{math|''K''[''X'']}} के बारे में सोच सकता है, K के सभी तत्वों के साथ संचार करता है, और इसमें कोई अन्य विशिष्ट गुण नहीं हैं। इसका उपयोग बहुपद वलय की समतुल्य परिभाषा के लिए किया जा सकता है।


K के ऊपर X में बहुपद वलय जोड़, गुणन और अदिश गुणन से सुसज्जित है जो इसे क्रमविनिमेय बीजगणित (संरचना) बनाता है। इन संक्रियाओं को बीजीय व्यंजकों में हेरफेर करने के सामान्य नियमों के अनुसार परिभाषित किया गया है। विशेष रूप से, यदि
K के ऊपर X में बहुपद वलय जोड़, गुणन और अदिश गुणन से सुसज्जित है जो इसे क्रमविनिमेय बीजगणित (संरचना) बनाता है। इन संक्रियाओं को बीजीय व्यंजकों में हेरफेर करने के सामान्य नियमों के अनुसार परिभाषित किया गया है। विशेष रूप से, यदि
Line 26: Line 26:
और
और
:<math>pq = s_0 + s_1 X + s_2 X^2 + \cdots + s_l X^l,</math>
:<math>pq = s_0 + s_1 X + s_2 X^2 + \cdots + s_l X^l,</math>
कहाँ {{math|1=''k'' = max(''m'', ''n''), ''l'' = ''m'' + ''n''}},
जहाँ {{math|1=''k'' = max(''m'', ''n''), ''l'' = ''m'' + ''n''}},
:<math>r_i = p_i + q_i</math>
:<math>r_i = p_i + q_i</math>
और
और
:<math>s_i = p_0 q_i + p_1 q_{i-1} + \cdots + p_i q_0.</math>
:<math>s_i = p_0 q_i + p_1 q_{i-1} + \cdots + p_i q_0.</math>
इन सूत्रों में, बहुपद पी और क्यू को शून्य गुणांक वाले डमी पदों को जोड़कर बढ़ाया जाता है जिससे सभी पीआई और क्यूई जो सूत्रों में दिखाई देते हैं उन्हें परिभाषित किया गया है। विशेष रूप से यदि {{math|''m'' < ''n''}}, तब {{math|1=''p''<sub>''i''</sub> = 0}} के लिए {{math|''m'' < ''i'' ≤ ''n''}}.
इन सूत्रों में, बहुपद P और Q को शून्य गुणांक वाले डमी पदों को जोड़कर बढ़ाया जाता है जिससे सभी ''p<sub>i</sub>'' और ''q<sub>i</sub>'' जो सूत्रों में दिखाई देते हैं उन्हें परिभाषित किया गया है। विशेष रूप से यदि {{math|''m'' < ''n''}}, तब {{math|1=''p''<sub>''i''</sub> = 0}} के लिए {{math|''m'' < ''i'' ≤ ''n''}}.


अदिश गुणन, गुणन का विशेष स्थितिया है {{math|1=''p'' = ''p''<sub>0</sub>}} को इसके स्थिर पद (वह पद जो इससे स्वतंत्र है) तक घटा दिया गया है {{math|''X''}}); वह है
 
अदिश गुणन, गुणन का विशेष स्थितिया है जहां {{math|1=''p'' = ''p''<sub>0</sub>}} को उसके स्थिर पद (वह पद जो X से स्वतंत्र है) तक घटा दिया जाता है; वह है
:<math>p_0\left(q_0 + q_1 X + \dots + q_n X^n\right) = p_0 q_0 + \left(p_0 q_1\right)X + \cdots + \left(p_0 q_n\right)X^n</math>
:<math>p_0\left(q_0 + q_1 X + \dots + q_n X^n\right) = p_0 q_0 + \left(p_0 q_1\right)X + \cdots + \left(p_0 q_n\right)X^n</math>
यह सत्यापित करना सीधा है कि ये तीन ऑपरेशन क्रमविनिमेय बीजगणित के सिद्धांतों को संतुष्ट करते हैं {{mvar|K}}. इसलिए बहुपद वलय को बहुपद बीजगणित भी कहा जाता है।
यह सत्यापित करना सीधा है कि ये तीन ऑपरेशन K पर क्रमविनिमेय बीजगणित के सिद्धांतों को संतुष्ट करते हैं। इसलिए, बहुपद वलय को बहुपद बीजगणित भी कहा जाता है।


एक अन्य समकक्ष परिभाषा को अधिकांशतः पसंद किया जाता है, चूंकि कम सहज ज्ञान युक्त क्योंकि इसे पूरी तरह से कठोर बनाना आसान होता है जिसमें बहुपद को अनंत [[अनुक्रम]] के रूप में परिभाषित करना सम्मिलित है {{math|(''p''<sub>0</sub>, ''p''<sub>1</sub>, ''p''<sub>2</sub>, …)}} के तत्वों का {{math|''K''}}, यह गुण रखते हुए कि केवल तत्वों की सीमित संख्या शून्येतर होती है या समकक्ष अनुक्रम जिसके लिए कुछ होता है {{math|''m''}} जिससे {{nowrap|1=''p''<sub>''n''</sub> = 0}} के लिए {{math|''n'' > ''m''}}. इस स्थितियों में, {{math|''p''{{sub|0}}}} और {{mvar|X}} को वैकल्पिक संकेतन के रूप में माना जाता है
एक अन्य समकक्ष परिभाषा को अधिकांशतः पसंद किया जाता है, चूँकि कम सहज ज्ञान युक्त, क्योंकि इसे पूरी तरह से कठोर बनाना आसान होता है, जिसमें K के तत्वों के अनंत अनुक्रम {{math|(''p''<sub>0</sub>, ''p''<sub>1</sub>, ''p''<sub>2</sub>, …)}} के रूप में एक बहुपद को परिभाषित करना सम्मिलित है, जिसमें केवल यही गुण होता है तत्वों की एक सीमित संख्या गैर-शून्य होती है, या समकक्ष रूप से, एक अनुक्रम जिसके लिए कुछ m होता है जिससे {{math|''n'' > ''m''}} के लिए {{nowrap|1=''p''<sub>''n''</sub> = 0}} हो। इस स्थिति में, p0 और X को क्रमशः अनुक्रमों {{math|(''p''{{sub|0}}, 0, 0, …)}} और {{math|(0, 1, 0, 0, …)}} के लिए वैकल्पिक नोटेशन के रूप में माना जाता है। ऑपरेशन नियमों का सीधा उपयोग कि अभिव्यक्ति दर्शाता है  
क्रम {{math|(''p''{{sub|0}}, 0, 0, …)}} और {{math|(0, 1, 0, 0, …)}}, क्रमश। ऑपरेशन नियमों का सीधा उपयोग यह दर्शाता है कि अभिव्यक्ति
:<math>p_0 + p_1 X + p_2 X^2 + \cdots + p_m X^m</math>
:<math>p_0 + p_1 X + p_2 X^2 + \cdots + p_m X^m</math>
फिर अनुक्रम के लिए वैकल्पिक संकेतन है
फिर अनुक्रम के लिए वैकल्पिक संकेतन है
Line 46: Line 46:
:<math>p = p_0 + p_1 X + p_2 X^2 + \cdots + p_{m - 1} X^{m - 1} + p_m X^m,</math>
:<math>p = p_0 + p_1 X + p_2 X^2 + \cdots + p_{m - 1} X^{m - 1} + p_m X^m,</math>
के साथ शून्येतर बहुपद बनें <math>p_m\ne 0</math>
के साथ शून्येतर बहुपद बनें <math>p_m\ne 0</math>
का स्थिर पद {{math|''p''}} है <math>p_0.</math> शून्य बहुपद के स्थितियों में यह शून्य है।


की डिग्री {{math|''p''}}, लिखा हुआ {{math|deg(''p'')}} है <math>m,</math> सबसे वृहद {{math|''k''}} ऐसा कि का गुणांक {{math|''X''{{sup|''k''}}}} शून्य नहीं है.<ref>{{harvnb|Herstein|1975|p=154}}</ref>
p का अचर पद <math>p_0.</math> है यह शून्य बहुपद के स्थिति में शून्य है।
का अग्रणी गुणांक {{math|''p''}} है <math>p_m.</math><ref>{{harvnb|Lang|2002|p=100}}</ref>
 
{{math|''p''}} की डिग्री लिखित {{math|deg(''p'')}} <math>m,</math> है सबसे वृहद {{math|''k''}} ऐसा कि का गुणांक {{math|''X''{{sup|''k''}}}} शून्य नहीं है.<ref>{{harvnb|Herstein|1975|p=154}}</ref>
 
{{math|''p''}} का अग्रणी गुणांक <math>p_m.</math> है <ref>{{harvnb|Lang|2002|p=100}}</ref>
 
शून्य बहुपद के विशेष स्थितियों में, जिसके सभी गुणांक शून्य हैं, अग्रणी गुणांक अपरिभाषित है, और डिग्री को विभिन्न प्रकार से अपरिभाषित छोड़ दिया गया है,<ref>{{citation|title=Calculus Single Variable|first1=Howard|last1=Anton|first2=Irl C.|last2=Bivens|first3=Stephen|last3=Davis|publisher=Wiley |year=2012|isbn=9780470647707|page=31|url=https://books.google.com/books?id=U2uv84cpJHQC&pg=RA1-PA31}}.</ref> होने के लिए परिभाषित किया गया है {{math|−1}},<ref>{{citation|title=Rational Algebraic Curves: A Computer Algebra Approach|volume=22|series=Algorithms and Computation in Mathematics|first1=J. Rafael|last1=Sendra|first2=Franz|last2=Winkler|first3=Sonia|last3=Pérez-Diaz|publisher=Springer|year=2007|isbn=9783540737247|page=250|url=https://books.google.com/books?id=puWxs7KG2D0C&pg=PA250}}.</ref> या के रूप में परिभाषित किया गया है {{math|−∞}}.<ref>{{citation|title=Elementary Matrix Theory|publisher=Dover|first=Howard Whitley|last=Eves|author-link=Howard Eves|year=1980|isbn=9780486150277|page=183|url=https://books.google.com/books?id=ayVxeUNbZRAC&pg=PA183}}.</ref>
शून्य बहुपद के विशेष स्थितियों में, जिसके सभी गुणांक शून्य हैं, अग्रणी गुणांक अपरिभाषित है, और डिग्री को विभिन्न प्रकार से अपरिभाषित छोड़ दिया गया है,<ref>{{citation|title=Calculus Single Variable|first1=Howard|last1=Anton|first2=Irl C.|last2=Bivens|first3=Stephen|last3=Davis|publisher=Wiley |year=2012|isbn=9780470647707|page=31|url=https://books.google.com/books?id=U2uv84cpJHQC&pg=RA1-PA31}}.</ref> होने के लिए परिभाषित किया गया है {{math|−1}},<ref>{{citation|title=Rational Algebraic Curves: A Computer Algebra Approach|volume=22|series=Algorithms and Computation in Mathematics|first1=J. Rafael|last1=Sendra|first2=Franz|last2=Winkler|first3=Sonia|last3=Pérez-Diaz|publisher=Springer|year=2007|isbn=9783540737247|page=250|url=https://books.google.com/books?id=puWxs7KG2D0C&pg=PA250}}.</ref> या के रूप में परिभाषित किया गया है {{math|−∞}}.<ref>{{citation|title=Elementary Matrix Theory|publisher=Dover|first=Howard Whitley|last=Eves|author-link=Howard Eves|year=1980|isbn=9780486150277|page=183|url=https://books.google.com/books?id=ayVxeUNbZRAC&pg=PA183}}.</ref>
एक अचर बहुपद या तो शून्य बहुपद होता है, या शून्य घात वाला बहुपद होता है।
एक अचर बहुपद या तो शून्य बहुपद होता है, या शून्य घात वाला बहुपद होता है।


एक शून्येतर बहुपद एकात्मक बहुपद है यदि इसका अग्रणी गुणांक है <math>1.</math>
एक शून्येतर बहुपद एकात्मक बहुपद है यदि इसका अग्रणी गुणांक <math>1.</math> है
दो बहुपद दिए गए हैं {{mvar|p}} और {{mvar|q}}, किसी के पास
 
दो बहुपद p और q दिए गए हैं, एक के पास है
:<math>\deg(p+q) \le \max (\deg(p), \deg (q)),</math>
:<math>\deg(p+q) \le \max (\deg(p), \deg (q)),</math>
और, क्षेत्र (गणित), या अधिक सामान्यतः [[अभिन्न डोमेन]] पर,<ref>{{harvnb|Herstein|1975|pp=155,162}}</ref>
और, क्षेत्र (गणित), या अधिक सामान्यतः [[अभिन्न डोमेन]] पर,<ref>{{harvnb|Herstein|1975|pp=155,162}}</ref>
:<math>\deg(pq) = \deg(p) + \deg(q).</math>
:<math>\deg(pq) = \deg(p) + \deg(q).</math>
यह तुरंत अनुसरण करता है कि, यदि {{math|''K''}} अभिन्न डोमेन है, तो ऐसा ही है {{math|''K''[''X'']}}.<ref>{{harvnb|Herstein|1975|p=162}}</ref>
इससे तुरंत पता चलता है कि, यदि K एक अभिन्न डोमेन है, तो K[X] भी ऐसा ही है।<ref>{{harvnb|Herstein|1975|p=162}}</ref>
इससे यह भी पता चलता है कि, यदि {{math|''K''}} अभिन्न डोमेन है, बहुपद इकाई है (रिंग सिद्धांत) (अर्थात्, इसका गुणात्मक व्युत्क्रम है) यदि और केवल यदि यह स्थिर है और इकाई है {{mvar|K}}.
 
इससे यह भी पता चलता है कि, यदि K एक अभिन्न डोमेन है, तो एक बहुपद एक इकाई है (अर्थात, इसमें गुणात्मक व्युत्क्रम होता है) यदि और केवल यदि यह स्थिर है और K में एक इकाई है।


दो बहुपद [[संबद्ध तत्व]] हैं यदि उनमें से इकाई द्वारा दूसरे का गुणनफल है।
दो बहुपद [[संबद्ध तत्व]] हैं यदि उनमें से इकाई द्वारा दूसरे का गुणनफल है।
Line 65: Line 71:
एक क्षेत्र में, प्रत्येक गैर-शून्य बहुपद अद्वितीय मोनिक बहुपद से जुड़ा होता है।
एक क्षेत्र में, प्रत्येक गैर-शून्य बहुपद अद्वितीय मोनिक बहुपद से जुड़ा होता है।


दो बहुपद दिए गए हैं, {{mvar|p}} और {{mvar|q}}, ऐसा कोई कहता है {{mvar|p}} बांटता है {{mvar|q}}, {{mvar|p}} का भाजक है {{mvar|q}}, या {{mvar|q}} का गुणज है {{mvar|p}}, यदि कोई बहुपद है {{mvar|r}} ऐसा है कि {{math|1=''q'' = ''pr''}}.
दो बहुपद, p और q दिए गए हैं, कोई कहता है कि p, q को विभाजित करता है, p, q का भाजक है, या q, p का एक गुणज है, यदि कोई बहुपद r ऐसा है कि q = pr है।


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


=== बहुपद मूल्यांकन ===
=== बहुपद मूल्यांकन ===
होने देना {{mvar|K}} फ़ील्ड हो या, अधिक सामान्यतः, क्रमविनिमेय वलय, और {{mvar|R}} अंगूठी युक्त {{mvar|K}}. किसी भी बहुपद के लिए {{mvar|P}} में {{math|''K''[''X'']}} और कोई भी तत्व {{mvar|a}} में {{mvar|R}}, का प्रतिस्थापन {{mvar|X}} साथ {{mvar|a}} में {{mvar|P}} के तत्व को परिभाषित करता है {{math|''R''}}, जो [[बहुपद संकेतन]] है {{math|''P''(''a'')}}. यह तत्व अंदर ले जाने से प्राप्त होता है {{mvar|R}} प्रतिस्थापन के बाद बहुपद की अभिव्यक्ति द्वारा संकेतित संक्रियाएँ। इस गणना को मूल्यांकन कहा जाता है {{math|''P''}} पर {{math|''a''}}. उदाहरण के लिए, यदि हमारे पास है
मान लीजिए कि K एक क्षेत्र है या अधिक सामान्यतः एक क्रमविनिमेय वलय है, और R एक वलय है जिसमें K है। K[X] में किसी भी बहुपद P और R में किसी तत्व a के लिए, P में a के साथ X का प्रतिस्थापन R के एक तत्व को परिभाषित करता है। जिसे P(a) से दर्शाया जाता है। यह तत्व बहुपद के व्यंजक द्वारा दर्शाए गए संक्रियाओं को प्रतिस्थापित करने के बाद आर में आगे बढ़ने से प्राप्त होता है। इस गणना को {{math|''P''}} का मूल्यांकन कहा जाता है। उदाहरण के लिए, यदि हमारे पास है
:<math>P = X^2 - 1,</math>
:<math>P = X^2 - 1,</math>
अपने पास
अपने पास
Line 77: Line 83:
   P(X^2+1) &= \left(X^2 + 1\right)^2 - 1 = X^4 + 2X^2
   P(X^2+1) &= \left(X^2 + 1\right)^2 - 1 = X^4 + 2X^2
\end{align}</math>
\end{align}</math>
(पहले उदाहरण में {{math|1=''R'' = ''K''}}, और दूसरे में {{math|1=''R'' = ''K''[''X'']}}). स्थानापन्न {{math|''X''}}स्वयं के लिए परिणाम में
(पहले उदाहरण में R = K, और दूसरे में R = K[X])स्वयं के स्थान पर X प्रतिस्थापित करने पर परिणाम प्राप्त होता है
:<math>P = P(X),</math>
:<math>P = P(X),</math>
यह समझाते हुए कि वाक्य क्यों चलते हैं {{mvar|P}} बहुपद बनें और मान लीजिए {{math|''P''(''X'')}} बहुपद समतुल्य है।
यह समझाते हुए कि क्यों वाक्य "मान लीजिए P एक बहुपद है" और "मान लीजिए P(X) एक बहुपद है" समतुल्य हैं।


बहुपद द्वारा परिभाषित बहुपद फलन {{mvar|P}} से फ़ंक्शन है {{mvar|K}} में {{mvar|K}} द्वारा परिभाषित किया गया है <math>x\mapsto P(x).</math> यदि {{mvar|K}} अनंत क्षेत्र है, दो अलग-अलग बहुपद अलग-अलग बहुपद कार्यों को परिभाषित करते हैं, किन्तु यह गुण परिमित क्षेत्रों के लिए गलत है। उदाहरण के लिए, यदि {{mvar|K}} के साथ फ़ील्ड है {{mvar|q}} तत्व, फिर बहुपद {{math|0}} और {{math|''X''<sup>''q''</sup> − ''X''}} दोनों शून्य फ़ंक्शन को परिभाषित करते हैं।
बहुपद P द्वारा परिभाषित बहुपद फलन K से K तक का फलन है जिसे <math>x\mapsto P(x).</math> द्वारा परिभाषित किया जाता है। यदि K एक अनंत क्षेत्र है, तो दो अलग-अलग बहुपद अलग-अलग बहुपद कार्यों को परिभाषित करते हैं, किन्तु यह गुण परिमित क्षेत्रों के लिए गलत है। उदाहरण के लिए, यदि K, q तत्वों वाला एक क्षेत्र है, तो बहुपद 0 और {{math|''X''<sup>''q''</sup> − ''X''}} दोनों शून्य फलन को परिभाषित करते हैं।


हरएक के लिए {{math|''a''}} में {{math|''R''}}, मूल्यांकन पर {{mvar|a}}, अर्थात मानचित्र <math>P \mapsto P(a)</math> से [[बीजगणित समरूपता]] को परिभाषित करता है {{math|''K''[''X'']}} को {{math|''R''}}, जो कि अद्वितीय समरूपता है {{math|''K''[''X'']}} को {{math|''R''}} जो ठीक करता है {{mvar|K}}, और मानचित्र {{mvar|X}} को {{mvar|a}}. दूसरे शब्दों में, {{math|''K''[''X'']}} में निम्नलिखित [[सार्वभौमिक संपत्ति]] है:
आर में प्रत्येक {{math|''a''}}, के लिए, ए पर मूल्यांकन, यानी, नक्शा <math>P \mapsto P(a)</math> {{math|''K''[''X'']}} को {{math|''R''}} तक एक बीजगणित समरूपता को परिभाषित करता है, जो कि {{math|''K''[''X'']}} से {{math|''R''}} तक अद्वितीय समरूपता है जो के को ठीक करता है , और X से a तक मैप करता है। दूसरे शब्दों में, K[X] में निम्नलिखित सार्वभौमिक गुण है:
:प्रत्येक अंगूठी के लिए {{mvar|R}} युक्त {{mvar|K}}, और प्रत्येक तत्व {{mvar|a}} का {{mvar|R}}, से अद्वितीय बीजगणित समरूपता है {{math|''K''[''X'']}} को {{mvar|R}} जो ठीक करता है {{mvar|K}}, और मानचित्र {{mvar|X}} को {{mvar|a}}.
:K युक्त प्रत्येक वलय R और R के प्रत्येक तत्व a के लिए, K[X] से R तक एक अद्वितीय बीजगणित समरूपता है जो K को ठीक करती है, और X को a में मैप करती है।
मानचित्र की [[छवि (गणित)]]। <math>P \mapsto P(a)</math>, अर्थात्, का उपसमुच्चय {{mvar|R}}प्रतिस्थापन द्वारा प्राप्त किया गया {{mvar|a}} के लिए {{mvar|X}} के तत्वों में {{math|''K''[''X'']}}, दर्शाया गया है {{math|''K''[''a'']}}.<ref>Knapp, Anthony W. (2006), ''Basic Algebra'', [[Birkhäuser]], p. 121.</ref> उदाहरण के लिए, <math>\Z[\sqrt{2}]=\{P(\sqrt{2})\mid P(x)\in\Z[X]\}=\Z\cup(\sqrt{2}\Z)</math>, कहाँ <math>\sqrt{2}\Z=\{\sqrt{2}z\mid z\in\Z\}</math>.
मानचित्र की [[छवि (गणित)]]। <math>P \mapsto P(a)</math>, अर्थात्, का उपसमुच्चय {{mvar|R}}प्रतिस्थापन द्वारा प्राप्त किया गया {{mvar|a}} के लिए {{mvar|X}} के तत्वों में {{math|''K''[''X'']}}, दर्शाया गया है {{math|''K''[''a'']}}.<ref>Knapp, Anthony W. (2006), ''Basic Algebra'', [[Birkhäuser]], p. 121.</ref> उदाहरण के लिए, <math>\Z[\sqrt{2}]=\{P(\sqrt{2})\mid P(x)\in\Z[X]\}=\Z\cup(\sqrt{2}\Z)</math>, जहाँ <math>\sqrt{2}\Z=\{\sqrt{2}z\mid z\in\Z\}</math>.


जहाँ तक सभी सार्वभौमिक गुणों की बात है, यह युग्म को परिभाषित करता है {{math|(''K''[''X''], ''X'')}} अद्वितीय समरूपता तक, और इसलिए इसे परिभाषा के रूप में लिया जा सकता है {{math|''K''[''X'']}}.
जहां तक सभी सार्वभौमिक गुणों की बात है, यह जोड़ी (K[X], X) को एक अद्वितीय समरूपता तक परिभाषित करता है, और इसलिए इसे K[X] की परिभाषा के रूप में लिया जा सकता है।


== एक क्षेत्र पर एकविभिन्न बहुपद ==
== एक क्षेत्र पर एकविभिन्न बहुपद ==
यदि {{mvar|K}} क्षेत्र (गणित) बहुपद वलय है {{math|''K''[''X'']}} में कई गुण हैं जो पूर्णांकों के वलय (गणित) के समान हैं <math>\Z.</math> इनमें से अधिकांश समानताएँ दीर्घ विभाजन और [[बहुपद दीर्घ विभाजन]] के बीच समानता से उत्पन्न होती हैं।
यदि {{mvar|K}} क्षेत्र (गणित) बहुपद वलय है {{math|''K''[''X'']}} में कई गुण हैं जो पूर्णांकों के वलय (गणित) के समान हैं <math>\Z.</math> इनमें से अधिकांश समानताएँ दीर्घ विभाजन और [[बहुपद दीर्घ विभाजन]] के बीच समानता से उत्पन्न होती हैं।


की अधिकांश संपत्तियां {{math|''K''[''X'']}} जो इस अनुभाग में सूचीबद्ध हैं वे सत्य नहीं हैं यदि {{mvar|K}} कोई फ़ील्ड नहीं है, या यदि कोई कई अनिश्चितों में बहुपदों पर विचार करता है।
इस अनुभाग में सूचीबद्ध K[X] के अधिकांश गुण सत्य नहीं रहते हैं यदि K एक क्षेत्र नहीं है, या यदि कोई कई अनिश्चित बहुपदों पर विचार करता है।


पूर्णांकों की तरह, बहुपदों के यूक्लिडियन विभाजन में विशिष्टता का गुण होता है। अर्थात्, दो बहुपद दिए गए हैं {{mvar|a}} और {{math|''b'' ≠ 0}} में {{math|''K''[''X'']}}, अनोखी जोड़ी है {{math|(''q'', ''r'')}} ऐसे बहुपदों का {{math|1=''a'' = ''bq'' + ''r''}}, और या तो {{math|1=''r'' = 0}} या {{math|deg(''r'') < deg(''b'')}}. यह बनाता है {{math|''K''[''X'']}} [[यूक्लिडियन डोमेन]]। चूंकि , अधिकांश अन्य यूक्लिडियन डोमेन (पूर्णांकों को छोड़कर) में विभाजन के लिए विशिष्टता की कोई संपत्ति नहीं है और न ही यूक्लिडियन विभाजन की गणना के लिए कोई आसान एल्गोरिदम (जैसे लंबा विभाजन) है।
पूर्णांकों की तरह, बहुपदों के यूक्लिडियन विभाजन में विशिष्टता का गुण होता है। अर्थात्, K[X] में दो बहुपद a और b ≠ 0 दिए गए हैं, बहुपदों का एक अद्वितीय युग्म (q, r) है जैसे कि {{math|1=''a'' = ''bq'' + ''r''}}, और या तो {{math|1=''r'' = 0}} या {{math|deg(''r'') < deg(''b'')}} यह K[X] को एक यूक्लिडियन डोमेन बनाता है। चूँकि अधिकांश अन्य यूक्लिडियन डोमेन (पूर्णांकों को छोड़कर) में विभाजन के लिए विशिष्टता की कोई गुण नहीं है और न ही यूक्लिडियन विभाजन की गणना के लिए कोई आसान एल्गोरिदम (जैसे लंबा विभाजन) है।


यूक्लिडियन विभाजन बहुपदों के लिए यूक्लिडियन एल्गोरिदम का आधार है जो दो बहुपदों के बहुपद सबसे बड़े सामान्य विभाजक की गणना करता है। यहां, महानतम का अर्थ अधिकतम डिग्री होना या, समकक्ष, डिग्री द्वारा परिभाषित [[पूर्व आदेश]] के लिए अधिकतम होना है। दो बहुपदों के सबसे बड़े सामान्य भाजक को देखते हुए, अन्य सबसे बड़े सामान्य भाजक को गैर-शून्य स्थिरांक से गुणा करके प्राप्त किया जाता है (अर्थात, सभी सबसे बड़े सामान्य भाजक {{mvar|a}} और {{mvar|b}} जुड़े रहे हैं)। विशेष रूप से, दो बहुपद जो दोनों शून्य नहीं हैं, उनमें अद्वितीय सबसे बड़ा सामान्य भाजक होता है जो मोनिक (अग्रणी गुणांक के बराबर होता है) {{val|1}}).
यूक्लिडियन विभाजन बहुपदों के लिए यूक्लिडियन एल्गोरिदम का आधार है जो दो बहुपदों के बहुपद सबसे बड़े सामान्य विभाजक की गणना करता है। यहां, महानतम का अर्थ अधिकतम डिग्री होना या, समकक्ष, डिग्री द्वारा परिभाषित [[पूर्व आदेश]] के लिए अधिकतम होना है। दो बहुपदों के सबसे बड़े सामान्य भाजक को देखते हुए, अन्य सबसे बड़े सामान्य भाजक को गैर-शून्य स्थिरांक से गुणा करके प्राप्त किया जाता है (अर्थात, सभी सबसे बड़े सामान्य भाजक {{mvar|a}} और {{mvar|b}} जुड़े रहे हैं)। विशेष रूप से, दो बहुपद जो दोनों शून्य नहीं हैं, उनमें अद्वितीय सबसे बड़ा सामान्य भाजक होता है जो मोनिक (अग्रणी गुणांक 1 के बराबर होता है)


विस्तारित यूक्लिडियन एल्गोरिदम बेज़आउट की पहचान की गणना (और सिद्ध करने) की अनुमति देता है। के स्थितियों में {{math|''K''[''X'']}}, इसे इस प्रकार कहा जा सकता है। दो बहुपद दिए गए हैं {{mvar|p}} और {{mvar|q}}संबंधित डिग्री के {{mvar|m}} और {{mvar|n}}, यदि उनका मोनिक सबसे बड़ा सामान्य भाजक है {{mvar|g}} की डिग्री है {{mvar|d}}, तो अद्वितीय जोड़ी है {{math|(''a'', ''b'')}} ऐसे बहुपदों का
विस्तारित यूक्लिडियन एल्गोरिदम बेज़आउट की पहचान की गणना (और सिद्ध करने) की अनुमति देता है। K[X] के स्थितियों में, इसे इस प्रकार कहा जा सकता है। संबंधित घातों m और n के दो बहुपद p और q दिए गए हैं, यदि उनके सबसे बड़े सामान्य भाजक g की घात d है, तो बहुपदों का एक अद्वितीय युग्म (a, b) होता है जैसे कि
:<math>ap + bq = g,</math>
:<math>ap + bq = g,</math>
और
और
:<math>\deg (a) \le n-d, \quad \deg(b) < m-d.</math>
:<math>\deg (a) \le n-d, \quad \deg(b) < m-d.</math>
(सीमित स्थितियों में इसे सच बनाने के लिए जहां {{math|1=''m'' = ''d''}} या {{math|1=''n'' = ''d''}}, किसी को शून्य बहुपद की घात को ऋणात्मक के रूप में परिभाषित करना होगा। इसके अतिरिक्त , समानता <math>\deg (a)= n-d</math> तभी घटित हो सकता है जब {{mvar|p}} और {{math|q}} संबद्ध हैं।) विशिष्टता संपत्ति बल्कि विशिष्ट है {{math|''K''[''X'']}}. पूर्णांकों के स्थितियों में वही गुण सत्य है, यदि डिग्री को निरपेक्ष मानों द्वारा प्रतिस्थापित किया जाता है, लेकिन, विशिष्टता होने के लिए, किसी को इसकी आवश्यकता होनी चाहिए {{math|''a'' > 0}}.
(सीमित स्थितियों में इसे सच करने के लिए जहां {{math|1=''m'' = ''d''}} या {{math|1=''n'' = ''d''}}, , किसी को शून्य बहुपद की डिग्री को नकारात्मक के रूप में परिभाषित करना होगा। इसके अलावा, समानता <math>\deg (a)= n-d</math> केवल तभी हो सकती है जब {{mvar|p}} और {{math|q}} जुड़े हों।) विशिष्टता गुण K[X] के लिए विशिष्ट है। पूर्णांकों के स्थितियों में वही गुण सत्य है, यदि डिग्री को निरपेक्ष मानों द्वारा प्रतिस्थापित किया जाता है, किन्तु , विशिष्टता होने के लिए, किसी को {{math|''a'' > 0}} की आवश्यकता होनी चाहिए।


यूक्लिड की प्रमेयिका लागू होती है {{math|''K''[''X'']}}. अर्थात यदि {{mvar|a}} बांटता है {{mvar|bc}}, और सहअभाज्य है {{mvar|b}}, तब {{mvar|a}} बांटता है {{mvar|c}}. यहां, सहअभाज्य का अर्थ है कि मोनिक सबसे बड़ा सामान्य भाजक है {{val|1}}. प्रमाण: परिकल्पना और बेज़ाउट की पहचान के अनुसार, हैं {{mvar|e}}, {{mvar|p}}, और {{mvar|q}} ऐसा है कि {{math|1=''ae'' = ''bc''}} और {{math|1=1 = ''ap'' + ''bq''}}. इसलिए
यूक्लिड की प्रमेयिका K[X] पर प्रयुक्त होती है। अर्थात्, यदि a, bc को विभाजित करता है, और b के साथ सहअभाज्य है, तो a, c को विभाजित करता है। कि मोनिक सबसे बड़ा सामान्य भाजक है {{val|1}}. प्रमाण: परिकल्पना और बेज़ाउट की पहचान के अनुसार, {{mvar|e}}, {{mvar|p}}, और {{mvar|q}} हैं जैसे कि {{math|1=''ae'' = ''bc''}} और {{math|1=1 = ''ap'' + ''bq''}} इसलिए
  <math>c=c(ap+bq)=cap+aeq=a(cp+eq).</math>
  <math>c=c(ap+bq)=cap+aeq=a(cp+eq).</math>
[[अद्वितीय गुणनखंडन]] गुण यूक्लिड के लेम्मा से उत्पन्न होता है। पूर्णांकों के स्थितियों में, यह [[अंकगणित का मौलिक प्रमेय]] है। के स्थितियों में {{math|''K''[''X'']}}, इसे इस प्रकार कहा जा सकता है: प्रत्येक गैर-अस्थिर बहुपद को अनूठे तरीके से स्थिरांक के उत्पाद के रूप में व्यक्त किया जा सकता है, और या कई अघुलनशील मोनिक बहुपद; यह अपघटन कारकों के क्रम तक अद्वितीय है। दूसरे शब्दों में {{math|''K''[''X'']}} अद्वितीय गुणनखंडन डोमेन है। यदि {{mvar|K}} जटिल संख्याओं का क्षेत्र है, [[बीजगणित का मौलिक प्रमेय]] प्रमाणित करता है कि अविभाज्य बहुपद अपरिवर्तनीय है यदि और केवल यदि इसकी डिग्री है। इस स्थितियों में अद्वितीय गुणनखंडन संपत्ति को इस प्रकार दोहराया जा सकता है: जटिल संख्याओं पर प्रत्येक गैर-स्थिर अविभाज्य बहुपद को स्थिरांक के उत्पाद के रूप में अद्वितीय तरीके से व्यक्त किया जा सकता है, और फॉर्म के या कई बहुपद {{math|''X'' − ''r''}}; यह अपघटन कारकों के क्रम तक अद्वितीय है। प्रत्येक कारक के लिए, {{mvar|r}} बहुपद के फलन का मूल है, और गुणनखंड की घटनाओं की संख्या संबंधित मूल की [[बहुलता (गणित)]] है।
 
 
अद्वितीय गुणनखंडन गुण यूक्लिड के लेम्मा से उत्पन्न होता है। पूर्णांकों के स्थितियों में, यह अंकगणित का मौलिक प्रमेय है। K[X] के स्थितियों में, इसे इस प्रकार कहा जा सकता है: प्रत्येक गैर-स्थिर बहुपद को एक अनूठे विधि से एक स्थिरांक के उत्पाद के रूप में व्यक्त किया जा सकता है, और एक या कई अघुलनशील मोनिक बहुपद; यह अपघटन कारकों के क्रम तक अद्वितीय है। दूसरे शब्दों में K[X] एक अद्वितीय गुणनखंड डोमेन है। यदि K जटिल संख्याओं का क्षेत्र है, तो बीजगणित का मौलिक प्रमेय प्रमाणित करता है कि एक अविभाज्य बहुपद अपरिवर्तनीय है यदि और केवल यदि इसकी डिग्री एक है। इस स्थितियों में अद्वितीय गुणनखंड गुण को इस प्रकार दोहराया जा सकता है: जटिल संख्याओं पर प्रत्येक गैर-स्थिर अविभाज्य बहुपद को एक स्थिरांक के उत्पाद के रूप में एक अद्वितीय विधि से व्यक्त किया जा सकता है, और {{math|''X'' − ''r''}} के रूप में एक या कई बहुपद; यह अपघटन कारकों के क्रम तक अद्वितीय है। प्रत्येक कारक के लिए, r बहुपद का एक मूल है, और एक कारक की घटनाओं की संख्या संबंधित मूल की बहुलता है।


===व्युत्पत्ति===
===व्युत्पत्ति===
बहुपद का [[औपचारिक व्युत्पन्न]]|(औपचारिक) व्युत्पन्न
बहुपद का [[औपचारिक व्युत्पन्न]] या (औपचारिक) व्युत्पन्न
:<math>a_0+a_1X+a_2X^2+\cdots+a_nX^n</math>
:<math>a_0+a_1X+a_2X^2+\cdots+a_nX^n</math>
बहुपद है
बहुपद है
:<math>a_1+2a_2X+\cdots+na_nX^{n-1}.</math>
:<math>a_1+2a_2X+\cdots+na_nX^{n-1}.</math>
[[वास्तविक संख्या]] या सम्मिश्र संख्या गुणांक वाले बहुपदों के स्थितियों में, यह मानक व्युत्पन्न है। उपरोक्त सूत्र बहुपद के व्युत्पन्न को परिभाषित करता है, तथापि गुणांक रिंग से संबंधित हो, जिस पर [[सीमा (गणित)]] की कोई धारणा परिभाषित नहीं है। व्युत्पन्न बहुपद वलय को [[विभेदक बीजगणित]] बनाता है।
[[वास्तविक संख्या]] या सम्मिश्र संख्या गुणांक वाले बहुपदों के स्थितियों में, यह मानक व्युत्पन्न है। उपरोक्त सूत्र बहुपद के व्युत्पन्न को परिभाषित करता है, तथापि गुणांक वलय से संबंधित हो, जिस पर [[सीमा (गणित)]] की कोई धारणा परिभाषित नहीं है। व्युत्पन्न बहुपद वलय को [[विभेदक बीजगणित]] बनाता है।


व्युत्पन्न का अस्तित्व बहुपद वलय के मुख्य गुणों में से है जो पूर्णांकों के साथ साझा नहीं किया जाता है, और पूर्णांकों की तुलना में बहुपद वलय पर कुछ गणनाओं को आसान बनाता है।
व्युत्पन्न का अस्तित्व बहुपद वलय के मुख्य गुणों में से है जो पूर्णांकों के साथ साझा नहीं किया जाता है और पूर्णांकों की तुलना में बहुपद वलय पर कुछ गणनाओं को आसान बनाता है।


====वर्ग-मुक्त गुणनखंडन====
====वर्ग-मुक्त गुणनखंडन====
Line 121: Line 129:
====बहुपद अपघटन====
====बहुपद अपघटन====
=== गुणनखंडीकरण ===
=== गुणनखंडीकरण ===
गुणनखंडन को छोड़कर, के सभी पिछले गुण {{math|''K''[''X'']}} [[प्रभावी प्रमाण]] हैं, क्योंकि उनके प्रमाण, जैसा कि ऊपर दर्शाया गया है, संपत्ति के परीक्षण और उन बहुपदों की गणना के लिए [[कलन विधि]] से जुड़े हैं जिनके अस्तित्व पर जोर दिया गया है। इसके अतिरिक्त ये एल्गोरिदम कुशल हैं, क्योंकि उनकी कम्प्यूटेशनल जटिलता इनपुट आकार का [[द्विघात समय]] फ़ंक्शन है।
गुणनखंडन को छोड़कर, के सभी पिछले गुण {{math|''K''[''X'']}} [[प्रभावी प्रमाण]] हैं, क्योंकि उनके प्रमाण जैसा कि ऊपर दर्शाया गया है, गुण के परीक्षण और उन बहुपदों की गणना के लिए [[कलन विधि]] से जुड़े हैं जिनके अस्तित्व पर जोर दिया गया है। इसके अतिरिक्त ये एल्गोरिदम कुशल हैं, क्योंकि उनकी कम्प्यूटेशनल जटिलता इनपुट आकार का [[द्विघात समय]] फलन है।


गुणनखंडन के लिए स्थिति पूरी तरह से अलग है: अद्वितीय गुणनखंडन का प्रमाण गुणनखंडन की विधि के लिए कोई संकेत नहीं देता है। पहले से ही पूर्णांकों के लिए, उन्हें बहुपद समय में गुणनखंडित करने के लिए मौलिक कंप्यूटर पर कोई ज्ञात एल्गोरिदम नहीं चल रहा है। यह [[आरएसए क्रिप्टोसिस्टम|आरएसए क्रिप्टो]]प्रणाली का आधार है, जिसका व्यापक रूप से सुरक्षित इंटरनेट संचार के लिए उपयोग किया जाता है।
गुणनखंडन के लिए स्थिति पूरी तरह से अलग है: अद्वितीय गुणनखंडन का प्रमाण गुणनखंडन की विधि के लिए कोई संकेत नहीं देता है। पहले से ही पूर्णांकों के लिए, उन्हें बहुपद समय में गुणनखंडित करने के लिए मौलिक कंप्यूटर पर कोई ज्ञात एल्गोरिदम नहीं चल रहा है। यह [[आरएसए क्रिप्टोसिस्टम|आरएसए क्रिप्टो]]प्रणाली का आधार है, जिसका व्यापक रूप से सुरक्षित इंटरनेट संचार के लिए उपयोग किया जाता है।


के स्थितियों में {{math|''K''[''X'']}}, कारक और उनकी गणना करने की विधियाँ दृढ़ता से निर्भर करती हैं {{mvar|K}}. सम्मिश्र संख्याओं के ऊपर, अप्रासंगिक गुणनखंड (जिन्हें आगे गुणनखंडित नहीं किया जा सकता) सभी घात के होते हैं, जबकि, वास्तविक संख्याओं के ऊपर, घात 2 के अप्रासंगिक बहुपद होते हैं, और, [[तर्कसंगत संख्या]]ओं के ऊपर, किसी के भी अप्रासंगिक बहुपद होते हैं डिग्री। उदाहरण के लिए, बहुपद <math>X^4-2</math> तर्कसंगत संख्याओं पर अप्रासंगिक है, के रूप में गुणनखंडित किया जाता है <math>(X - \sqrt[4]2)(X+\sqrt[4]2)(X^2+\sqrt 2)</math> वास्तविक संख्या से अधिक और, और जैसा <math>(X-\sqrt[4]2)(X+\sqrt[4]2)(X-i\sqrt[4]2)(X+i\sqrt[4]2)</math> सम्मिश्र संख्याओं पर.
{{math|''K''[''X'']}} के स्थितियों में कारक और उनकी गणना करने की विधियाँ {{mvar|K}} दृढ़ता से निर्भर करती हैं सम्मिश्र संख्याओं के ऊपर, अप्रासंगिक गुणनखंड (जिन्हें आगे गुणनखंडित नहीं किया जा सकता) सभी घात के होते हैं, जबकि, वास्तविक संख्याओं के ऊपर, घात 2 के अप्रासंगिक बहुपद होते हैं, और, [[तर्कसंगत संख्या]]ओं के ऊपर, किसी के भी अप्रासंगिक बहुपद होते हैं डिग्री। उदाहरण के लिए, बहुपद <math>X^4-2</math> तर्कसंगत संख्याओं पर अप्रासंगिक है, के रूप में गुणनखंडित किया जाता है <math>(X - \sqrt[4]2)(X+\sqrt[4]2)(X^2+\sqrt 2)</math> वास्तविक संख्या से अधिक और, और जैसा <math>(X-\sqrt[4]2)(X+\sqrt[4]2)(X-i\sqrt[4]2)(X+i\sqrt[4]2)</math> सम्मिश्र संख्याओं पर है


गुणनखंडन एल्गोरिथ्म का अस्तित्व जमीनी क्षेत्र पर भी निर्भर करता है। वास्तविक या जटिल संख्याओं के स्थितियों में, एबेल-रफिनी प्रमेय से पता चलता है कि कुछ बहुपदों की जड़ें, और इस प्रकार अपरिवर्तनीय कारकों की स्पष्ट गणना नहीं की जा सकती है। इसलिए, गुणनखंडन एल्गोरिथ्म केवल कारकों के अनुमान की गणना कर सकता है। ऐसे सन्निकटनों की गणना के लिए विभिन्न एल्गोरिदम डिज़ाइन किए गए हैं, [[बहुपदों की मूल खोज]] देखें।
गुणनखंडन एल्गोरिथ्म का अस्तित्व जमीनी क्षेत्र पर भी निर्भर करता है। वास्तविक या जटिल संख्याओं के स्थितियों में, एबेल-रफिनी प्रमेय से पता चलता है कि कुछ बहुपदों की जड़ें, और इस प्रकार अपरिवर्तनीय कारकों की स्पष्ट गणना नहीं की जा सकती है। इसलिए, गुणनखंडन एल्गोरिथ्म केवल कारकों के अनुमान की गणना कर सकता है। ऐसे सन्निकटनों की गणना के लिए विभिन्न एल्गोरिदम डिज़ाइन किए गए हैं, [[बहुपदों की मूल खोज]] देखें।


एक फ़ील्ड का उदाहरण है {{math|''K''}} जैसे कि अंकगणितीय परिचालनों के लिए स्पष्ट एल्गोरिदम उपस्थित हैं {{math|''K''}}, किन्तु यह तय करने के लिए कोई एल्गोरिदम उपस्थित नहीं हो सकता है कि बहुपद रूप का है या नहीं <math>X^p - a</math> अघुलनशील बहुपद है या निम्न डिग्री के बहुपदों का गुणनफल है।<ref>{{citation |author1=Fröhlich, A.|author2=Shepherson, J. C.|title = On the factorisation of polynomials in a finite number of steps|journal = Mathematische Zeitschrift|volume = 62|issue=1|year = 1955|issn = 0025-5874|doi=10.1007/BF01180640|pages=331–334|s2cid=119955899 }}</ref>
क्षेत्र K का एक उदाहरण है जैसे कि K के अंकगणितीय संचालन के लिए सटीक एल्गोरिदम उपस्थित हैं, किन्तु यह तय करने के लिए कोई एल्गोरिदम उपस्थित नहीं हो सकता है कि बहुपद रूप का है या नहीं <math>X^p - a</math> अघुलनशील बहुपद है या निम्न डिग्री के बहुपदों का गुणनफल है।<ref>{{citation |author1=Fröhlich, A.|author2=Shepherson, J. C.|title = On the factorisation of polynomials in a finite number of steps|journal = Mathematische Zeitschrift|volume = 62|issue=1|year = 1955|issn = 0025-5874|doi=10.1007/BF01180640|pages=331–334|s2cid=119955899 }}</ref>
 
दूसरी ओर, तर्कसंगत संख्याओं और परिमित क्षेत्रों पर, स्थिति [[पूर्णांक गुणनखंडन]] की तुलना में उत्तम है, क्योंकि ऐसे बहुपदों के गुणनखंडन होते हैं जिनमें [[बहुपद जटिलता]] होती है। वे अधिकांश सामान्य प्रयोजन कंप्यूटर बीजगणित प्रणालियों में कार्यान्वित किए जाते हैं।
दूसरी ओर, तर्कसंगत संख्याओं और परिमित क्षेत्रों पर, स्थिति [[पूर्णांक गुणनखंडन]] की तुलना में उत्तम है, क्योंकि ऐसे बहुपदों के गुणनखंडन होते हैं जिनमें [[बहुपद जटिलता]] होती है। वे अधिकांश सामान्य प्रयोजन कंप्यूटर बीजगणित प्रणालियों में कार्यान्वित किए जाते हैं।


===न्यूनतम बहुपद===
===न्यूनतम बहुपद===
यदि {{math|''θ''}} साहचर्य बीजगणित का तत्व है|सहयोगी {{mvar|K}}-बीजगणित {{math|''L''}}, या बहुपद मूल्यांकन पर {{math|''θ''}} अद्वितीय बीजगणित समरूपता है {{math|''φ''}} से {{math|''K''[''X'']}} में {{math|''L''}} वह मानचित्र {{math|''X''}} को {{math|''θ''}} और के तत्वों को प्रभावित नहीं करता {{math|''K''}} स्वयं (यह पहचान फ़ंक्शन है {{math|''K''}}). इसमें प्रतिस्थापन सम्मिलित है {{math|''X''}} साथ {{math|''θ''}} प्रत्येक बहुपद में। वह है,
यदि θ एक साहचर्य K-बीजगणित L का एक तत्व है, तो θ पर बहुपद मूल्यांकन K[X] से L तक अद्वितीय बीजगणित समरूपता φ है जो X से θ तक मैप करता है और K के तत्वों को प्रभावित नहीं करता है (यह पहचान है) K) पर मानचित्र। इसमें प्रत्येक बहुपद में θ के साथ X को प्रतिस्थापित करना सम्मिलित है। वह है,
: <math>
: <math>
   \varphi\left(a_m X^m + a_{m - 1} X^{m - 1} + \cdots + a_1 X + a_0\right) =  
   \varphi\left(a_m X^m + a_{m - 1} X^{m - 1} + \cdots + a_1 X + a_0\right) =  
   a_m \theta^m + a_{m - 1} \theta^{m - 1} + \cdots + a_1 \theta + a_0.
   a_m \theta^m + a_{m - 1} \theta^{m - 1} + \cdots + a_1 \theta + a_0.
</math>
</math>
इस मूल्यांकन समरूपता की छवि द्वारा उत्पन्न उपबीजगणित है {{mvar|θ}}, जो आवश्यक रूप से क्रमविनिमेय है।
इस मूल्यांकन समरूपता की छवि θ द्वारा उत्पन्न उपबीजगणित है, जो आवश्यक रूप से क्रमविनिमेय है। यदि φ इंजेक्शन है, तो θ द्वारा उत्पन्न उपबीजगणित K[X] के समरूपी है। इस स्थितियों में, इस उपबीजगणित को अधिकांशतः K[θ] द्वारा दर्शाया जाता है। समरूपता के कारण संकेतन अस्पष्टता सामान्यतः हानिरहित होती है।
यदि {{math|''φ''}} इंजेक्शन है, द्वारा उत्पन्न उपबीजगणित {{mvar|θ}} समरूपी है {{math|''K''[''X'']}}. इस स्थितियों में, इस उपबीजगणित को अधिकांशतः द्वारा निरूपित किया जाता है {{math|''K''[''θ'']}}. समरूपता के कारण संकेतन अस्पष्टता सामान्यतः हानिरहित होती है।


यदि मूल्यांकन समरूपता इंजेक्शन नहीं है, तो इसका कारण है कि इसका [[कर्नेल (बीजगणित)]] गैर-शून्य [[आदर्श (रिंग सिद्धांत)]] है, जिसमें सभी बहुपद सम्मिलित हैं जो शून्य हो जाते हैं {{mvar|X}} के साथ प्रतिस्थापित किया गया है {{mvar|θ}}. इस आदर्श में कुछ अद्वैत बहुपद के सभी गुणज सम्मिलित होते हैं, जिसे न्यूनतम बहुपद कहा जाता है {{mvar|θ}}. न्यूनतम शब्द इस तथ्य से प्रेरित है कि इसकी डिग्री आदर्श के तत्वों की डिग्री के बीच न्यूनतम है।
यदि मूल्यांकन समरूपता इंजेक्शन नहीं है, तो इसका कारण है कि इसका [[कर्नेल (बीजगणित)]] गैर-शून्य [[आदर्श (रिंग सिद्धांत)|आदर्श (वलय सिद्धांत)]] है, जिसमें सभी बहुपद सम्मिलित हैं जो {{mvar|X}} को θ के साथ प्रतिस्थापित करने पर शून्य हो जाते हैं। इस आदर्श में कुछ अद्वैत बहुपद के सभी गुणज सम्मिलित होते हैं, जिसे {{mvar|θ}} न्यूनतम बहुपद कहा जाता है न्यूनतम शब्द इस तथ्य से प्रेरित है कि इसकी डिग्री आदर्श के तत्वों की डिग्री के बीच न्यूनतम है।


ऐसे दो मुख्य स्थितियों हैं जहां न्यूनतम बहुपदों पर विचार किया जाता है।
ऐसे दो मुख्य स्थितियों हैं जहां न्यूनतम बहुपदों पर विचार किया जाता है।


[[क्षेत्र सिद्धांत (गणित)]] और संख्या सिद्धांत में, तत्व {{mvar|θ}} विस्तार फ़ील्ड का {{mvar|L}} का {{mvar|K}} [[बीजगणितीय तत्व]] है {{mvar|K}} यदि यह गुणांक वाले किसी बहुपद का मूल है {{mvar|K}}. [[न्यूनतम बहुपद (क्षेत्र सिद्धांत)]] खत्म {{mvar|K}} का {{mvar|θ}} इस प्रकार न्यूनतम डिग्री का मोनिक बहुपद है {{mvar|θ}} जड़ के रूप में. क्योंकि {{mvar|L}} क्षेत्र है, यह न्यूनतम बहुपद आवश्यक रूप से अघुलनशील बहुपद है {{mvar|K}}. उदाहरण के लिए, सम्मिश्र संख्या का न्यूनतम बहुपद (वास्तविक के साथ-साथ परिमेय पर भी)। {{mvar|i}} है <math>X^2 + 1</math>. [[साइक्लोटोमिक बहुपद]] एकता की जड़ों के न्यूनतम बहुपद हैं।
क्षेत्र सिद्धांत और संख्या सिद्धांत में, K के विस्तार क्षेत्र L का एक तत्व θ, K पर बीजगणितीय है यदि यह K में गुणांक वाले कुछ बहुपद की जड़ है। θ के K पर न्यूनतम बहुपद इस प्रकार न्यूनतम डिग्री का मोनिक बहुपद है मूल के रूप में θ है। क्योंकि L एक क्षेत्र है, यह न्यूनतम बहुपद आवश्यक रूप से K पर अपरिवर्तनीय है। उदाहरण के लिए, सम्मिश्र संख्या i का न्यूनतम बहुपद (वास्तविक के साथ-साथ परिमेय पर भी) <math>X^2 + 1</math> है। साइक्लोटोमिक बहुपद एकता की जड़ों के न्यूनतम बहुपद हैं।


रैखिक बीजगणित में, {{math|''n''×''n''}} [[वर्ग मैट्रिक्स|वर्ग आव्युह]] खत्म {{mvar|K}} साहचर्य बीजगणित बनाएं|सहयोगी {{mvar|K}}-परिमित आयाम का बीजगणित (एक सदिश समष्टि के रूप में)इसलिए मूल्यांकन समरूपता इंजेक्शनात्मक नहीं हो सकती है, और प्रत्येक आव्युह में [[न्यूनतम बहुपद (रैखिक बीजगणित)]] होता है (आवश्यक नहीं कि अपरिवर्तनीय)। केली-हैमिल्टन प्रमेय द्वारा, मूल्यांकन समरूपता आव्युह के विशिष्ट बहुपद को शून्य करने के लिए मैप करती है। इससे यह निष्कर्ष निकलता है कि न्यूनतम बहुपद विशिष्ट बहुपद को विभाजित करता है, और इसलिए न्यूनतम बहुपद की डिग्री अधिकतम होती है {{mvar|n}}.
रैखिक बीजगणित में, K के ऊपर {{math|''n''×''n''}} वर्ग आव्यूह परिमित आयाम (एक सदिश समष्टि के रूप में) का एक साहचर्य K-बीजगणित बनाते हैं। इसलिए मूल्यांकन समरूपता इंजेक्शनात्मक नहीं हो सकती है, और प्रत्येक आव्युह में एक न्यूनतम बहुपद होता है (जरूरी नहीं कि अपरिवर्तनीय)। केली-हैमिल्टन प्रमेय द्वारा, मूल्यांकन समरूपता एक आव्युह के विशिष्ट बहुपद को शून्य करने के लिए मैप करती है। इससे यह निष्कर्ष निकलता है कि न्यूनतम बहुपद विशिष्ट बहुपद को विभाजित करता है, और इसलिए न्यूनतम बहुपद की डिग्री अधिकतम n होती है।


=== भागफल वलय===
=== भागफल वलय===
के स्थितियों में {{math|''K''[''X'']}}, आदर्श द्वारा भागफल वलय का निर्माण, सामान्य स्थिति में, [[तुल्यता वर्ग]]ों के समुच्चय के रूप में किया जा सकता है। चूंकि , चूंकि प्रत्येक तुल्यता वर्ग में न्यूनतम डिग्री का बिल्कुल बहुपद होता है, इसलिए दूसरा निर्माण अधिकांशतः अधिक सुविधाजनक होता है।
{{math|''K''[''X'']}} के स्थितियों में आदर्श द्वारा भागफल वलय का निर्माण, सामान्य स्थिति में, [[तुल्यता वर्ग]] के समुच्चय के रूप में किया जा सकता है। चूंकि प्रत्येक तुल्यता वर्ग में न्यूनतम डिग्री का बिल्कुल बहुपद होता है, इसलिए दूसरा निर्माण अधिकांशतः अधिक सुविधाजनक होता है।
 
एक बहुपद दिया गया है {{mvar|p}} डिग्री का {{mvar|d}}, का भागफल वलय {{math|''K''[''X'']}} द्वारा उत्पन्न आदर्श (वलय सिद्धांत) द्वारा {{mvar|p}} से कम डिग्री वाले बहुपदों के सदिश समष्टि से पहचाना जा सकता है {{mvar|d}}, गुणन मापांक के साथ {{mvar|p}} गुणन के रूप में, गुणन मापांक {{mvar|p}} द्वारा विभाजन के अंतर्गत शेष सम्मिलित है {{mvar|p}} बहुपदों के (सामान्य) गुणनफल का। इस भागफल वलय को विभिन्न प्रकार से दर्शाया जाता है <math>K[X]/pK[X],</math> <math>K[X]/\langle p \rangle,</math> <math>K[X]/(p),</math> या केवल <math>K[X]/p.</math>


एक बहुपद दिया गया है {{mvar|p}} डिग्री का {{mvar|d}}, का भागफल वलय {{math|''K''[''X'']}} द्वारा उत्पन्न आदर्श (रिंग सिद्धांत) द्वारा {{mvar|p}} से कम डिग्री वाले बहुपदों के सदिश समष्टि से पहचाना जा सकता है {{mvar|d}}, गुणन मापांक के साथ {{mvar|p}} गुणन के रूप में, गुणन मापांक {{mvar|p}} द्वारा विभाजन के अंतर्गत शेष सम्मिलित है {{mvar|p}} बहुपदों के (सामान्य) गुणनफल का। इस भागफल वलय को विभिन्न प्रकार से दर्शाया जाता है <math>K[X]/pK[X],</math> <math>K[X]/\langle p \rangle,</math> <math>K[X]/(p),</math> या केवल <math>K[X]/p.</math>
वलय <math>K[X]/(p)</math> क्षेत्र है यदि और केवल यदि {{mvar|p}} अघुलनशील बहुपद है। वास्तव में, यदि {{mvar|p}} अपरिवर्तनीय है, प्रत्येक अशून्य बहुपद {{mvar|q}} निम्न डिग्री का सहअभाज्य है {{mvar|p}}, और बेज़ाउट की पहचान कंप्यूटिंग की अनुमति देती है {{mvar|r}} और {{mvar|s}} ऐसा है कि {{math|1=''sp'' + ''qr'' = 1}}; इसलिए, {{mvar|r}} का गुणनात्मक व्युत्क्रम है {{mvar|q}} मापांक {{mvar|p}}. इसके विपरीत, यदि {{mvar|p}} न्यूनीकरणीय है, तो बहुपद उपस्थित हैं {{mvar|a, b}} डिग्री से कम {{math|deg(''p'')}} ऐसा है कि {{math|1=''ab'' = ''p''}} ; इसलिए {{mvar|a, b}} अशून्य शून्य विभाजक मॉड्यूलो हैं {{mvar|p}}, और व्युत्क्रमणीय नहीं हो सकता है
अंगूठी <math>K[X]/(p)</math> फ़ील्ड है यदि और केवल यदि {{mvar|p}} अघुलनशील बहुपद है। वास्तव में, यदि {{mvar|p}} अपरिवर्तनीय है, प्रत्येक अशून्य बहुपद {{mvar|q}} निम्न डिग्री का सहअभाज्य है {{mvar|p}}, और बेज़ाउट की पहचान कंप्यूटिंग की अनुमति देती है {{mvar|r}} और {{mvar|s}} ऐसा है कि {{math|1=''sp'' + ''qr'' = 1}}; इसलिए, {{mvar|r}} का गुणनात्मक व्युत्क्रम है {{mvar|q}} मापांक {{mvar|p}}. इसके विपरीत, यदि {{mvar|p}} न्यूनीकरणीय है, तो बहुपद उपस्थित हैं {{mvar|a, b}} डिग्री से कम {{math|deg(''p'')}} ऐसा है कि {{math|1=''ab'' = ''p''}} ; इसलिए {{mvar|a, b}} अशून्य शून्य विभाजक मॉड्यूलो हैं {{mvar|p}}, और उलटा नहीं हो सकता.


उदाहरण के लिए, सम्मिश्र संख्याओं के क्षेत्र की मानक परिभाषा को यह कहकर संक्षेपित किया जा सकता है कि यह भागफल वलय है
उदाहरण के लिए, सम्मिश्र संख्याओं के क्षेत्र की मानक परिभाषा को यह कहकर संक्षेपित किया जा सकता है कि यह भागफल वलय है
:<math>\mathbb C =\mathbb R[X]/(X^2+1),</math> और वह की छवि {{mvar|X}} में <math>\mathbb C</math> द्वारा निरूपित किया जाता है {{mvar|i}}. वास्तव में, उपरोक्त विवरण के अनुसार, इस भागफल में घात के सभी बहुपद सम्मिलित हैं {{mvar|i}}, जिसका स्वरूप है {{math|''a'' + ''bi''}}, साथ {{mvar|a}} और {{mvar|b}} में <math>\mathbb R.</math> भागफल वलय के दो तत्वों को गुणा करने के लिए आवश्यक यूक्लिडियन विभाजन का शेष भाग प्रतिस्थापित करके प्राप्त किया जाता है {{math|''i''{{sup|2}}}} द्वारा {{math|−1}} उनके गुणनफल में बहुपद के रूप में (यह सम्मिश्र संख्याओं के गुणनफल की बिल्कुल सामान्य परिभाषा है)।
:<math>\mathbb C =\mathbb R[X]/(X^2+1),</math>  
:<math>\mathbb C</math> में {{mvar|X}} कि छवि को {{mvar|i}} द्वारा निरूपित किया जाता है . वास्तव में, उपरोक्त विवरण के अनुसार, इस भागफल में {{mvar|i}} घात के सभी बहुपद सम्मिलित हैं , जिसका स्वरूप है {{math|''a'' + ''bi''}}, साथ {{mvar|a}} और {{mvar|b}} में <math>\mathbb R.</math> भागफल वलय के दो तत्वों को गुणा करने के लिए आवश्यक यूक्लिडियन विभाजन का शेष भाग बहुपद के रूप में उनके उत्पाद में {{math|''i''{{sup|2}}}} को {{math|−1}} से प्रतिस्थापित करके प्राप्त किया जाता है (यह बिल्कुल जटिल संख्याओं के उत्पाद की सामान्य परिभाषा है)।


होने देना {{math|''θ''}} a में बीजगणितीय तत्व बनें {{mvar|K}}-बीजगणित {{mvar|A}}. बीजगणित से का तात्पर्य वह है {{math|''θ''}} का न्यूनतम बहुपद है {{mvar|p}}. प्रथम रिंग समरूपता प्रमेय का प्रमाणित है कि प्रतिस्थापन समरूपता समरूपता को प्रेरित करती है <math>K[X]/(p)</math> छवि पर {{math|''K''[''θ'']}} प्रतिस्थापन समरूपता का। विशेषकर, यदि {{mvar|A}} का [[सरल विस्तार]] है {{mvar|K}} द्वारा उत्पन्न {{math|''θ''}}, यह पहचानने की अनुमति देता है {{mvar|A}} और <math>K[X]/(p).</math> [[बीजगणितीय संख्या सिद्धांत]] में इस पहचान का व्यापक रूप से उपयोग किया जाता है।
मान लीजिए θ K-बीजगणित A में एक बीजगणितीय तत्व है। बीजगणित से इसका अर्थ है कि θ में एक न्यूनतम बहुपद p है। पहला वलय समरूपता प्रमेय प्रमाणित करता है कि प्रतिस्थापन समरूपता प्रतिस्थापन समरूपता की छवि {{math|''K''[''θ'']}} पर <math>K[X]/(p)</math> की समरूपता उत्पन्न करती है। विशेष रूप से, यदि A, θ द्वारा उत्पन्न K का एक सरल विस्तार है, तो यह A और <math>K[X]/(p).</math> की पहचान करने की अनुमति देता है


===मॉड्यूल ===
===मॉड्यूल ===


[[एक प्रमुख आदर्श डोमेन पर अंतिम रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय]] लागू होता है
एक प्रमुख आदर्श डोमेन पर अंतिम रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय K[X] पर प्रयुक्त होता है, जब K एक क्षेत्र है। इसका अर्थ यह है कि K[X] पर प्रत्येक सूक्ष्म रूप से उत्पन्न मॉड्यूल को एक मुक्त मॉड्यूल के प्रत्यक्ष योग और <math>K[X]/\left\langle P^k \right\rangle</math> के रूप में कई मॉड्यूल में विघटित किया जा सकता है, जहां P, K पर एक अप्रासंगिक बहुपद है और k एक सकारात्मक पूर्णांक है।
K[X], जब K फ़ील्ड है। इसका कारण यह है कि K[X] पर प्रत्येक अंतिम रूप से उत्पन्न मॉड्यूल को मुक्त मॉड्यूल के [[प्रत्यक्ष योग]] और फॉर्म के कई मॉड्यूल में विघटित किया जा सकता है <math>K[X]/\left\langle P^k \right\rangle</math>, जहां P, K के ऊपर अप्रासंगिक बहुपद है और k धनात्मक पूर्णांक है।


==परिभाषा (बहुभिन्नरूपी स्थितिया )==
==परिभाषा (बहुभिन्नरूपी स्थितिया )==
दिया गया {{mvar|n}} प्रतीक <math>X_1, \dots, X_n,</math> अनिश्चित (चर) कहा जाता है, [[एकपद]](शक्ति उत्पाद भी कहा जाता है)
दिया गया {{mvar|n}} प्रतीक <math>X_1, \dots, X_n,</math> अनिश्चित (चर) कहा जाता है, [[एकपद]] (शक्ति उत्पाद भी कहा जाता है)
:<math>X_1^{\alpha_1}\cdots X_n^{\alpha_n}</math>
:<math>X_1^{\alpha_1}\cdots X_n^{\alpha_n}</math>
इन अनिश्चितताओं का औपचारिक उत्पाद है, संभवतः गैर-नकारात्मक शक्ति तक बढ़ा दिया गया है। सदैव की तरह, के बराबर घातांक और शून्य घातांक वाले गुणनखंडों को छोड़ा जा सकता है। विशेष रूप से, <math>X_1^0\cdots X_n^0 =1.</math>
इन अनिश्चितताओं का औपचारिक उत्पाद है, संभवतः गैर-नकारात्मक शक्ति तक बढ़ा दिया गया है। सदैव की तरह, के समान घातांक और शून्य घातांक वाले गुणनखंडों को छोड़ा जा सकता है। विशेष रूप से, <math>X_1^0\cdots X_n^0 =1.</math>
घातांकों का समूह {{math|1=''α'' = (''α''<sub>1</sub>, …, ''α''<sub>''n''</sub>)}} को एकपदी का मल्टीडिग्री या घातांक सदिश कहा जाता है। कम बोझिल संकेतन के लिए, संक्षिप्तीकरण
 
घातांकों का समूह {{math|1=''α'' = (''α''<sub>1</sub>, …, ''α''<sub>''n''</sub>)}} को एकपदी का मल्टीडिग्री या घातांक सदिश कहा जाता है। कम बोझिल संकेतन के लिए संक्षिप्तीकरण है
:<math>X^\alpha=X_1^{\alpha_1}\cdots X_n^{\alpha_n}</math>
:<math>X^\alpha=X_1^{\alpha_1}\cdots X_n^{\alpha_n}</math>
अधिकांशतः प्रयोग किया जाता है. एकपदी की डिग्री {{math|''X''<sup>''α''</sup>}}, अधिकांशतः निरूपित किया जाता है {{math|deg ''α''}} या {{math|{{abs|''α''}}}}, इसके घातांकों का योग है:
अधिकांशतः प्रयोग किया जाता है. एकपदी {{math|''X''<sup>''α''</sup>}} की डिग्री, जिसे अधिकांशतः {{math|deg ''α''}} या {{math|{{abs|''α''}}}}, से दर्शाया जाता है, उसके घातांकों का योग है:
:<math> \deg \alpha = \sum_{i=1}^n \alpha_i. </math>
:<math> \deg \alpha = \sum_{i=1}^n \alpha_i. </math>
इनमें से बहुपद क्षेत्र में गुणांक के साथ अनिश्चित होता है {{mvar|K}}, या अधिक सामान्यतः वलय (गणित), एकपदी का परिमित [[रैखिक संयोजन]] है
इन अनिश्चितों में एक बहुपद, एक क्षेत्र {{mvar|K}} में गुणांक के साथ, या अधिक सामान्यतः एक वलय, एकपदी का एक सीमित रैखिक संयोजन है
:<math> p = \sum_\alpha p_\alpha X^\alpha</math>
:<math> p = \sum_\alpha p_\alpha X^\alpha</math>
में गुणांक के साथ {{mvar|K}}. शून्येतर बहुपद की घात उसके अशून्य गुणांक वाले एकपदी की घातों की अधिकतम होती है।
{{mvar|K}} में गुणांकों के साथ एक गैरशून्य बहुपद की डिग्री गैरशून्य गुणांक वाले उसके एकपदी की डिग्री की अधिकतम होती है।


में बहुपदों का समुच्चय <math>X_1, \dots, X_n,</math> लक्षित <math>K[X_1,\dots, X_n],</math> इस प्रकार सदिश समष्टि (या मुक्त मॉड्यूल, यदि है {{mvar|K}} वलय है) जिसका आधार एकपदी है।
<math>X_1, \dots, X_n,</math> में बहुपदों का समुच्चय, जिसे <math>K[X_1,\dots, X_n],</math> दर्शाया गया है, इस प्रकार एक सदिश समष्टि (या एक मुक्त मापांक, यदि K एक वलय है) है जिसका आधार एकपदी है।


<math>K[X_1,\dots, X_n]</math> स्वाभाविक रूप से गुणन से सुसज्जित है (नीचे देखें) जो वलय (गणित) बनाता है, और [[साहचर्य बीजगणित]] बनाता है {{mvar|K}}, जिसे बहुपद वलय कहा जाता है {{mvar|n}} अनिश्चित समाप्त हो गया {{mvar|K}} (निश्चित लेख यह दर्शाता है कि यह अनिश्चित रूप से नाम और अनिश्चित के क्रम तक परिभाषित है। यदि अंगूठी {{mvar|K}} क्रमविनिमेय वलय है, <math>K[X_1,\dots, X_n]</math> यह भी क्रमविनिमेय वलय है।
<math>K[X_1,\dots, X_n]</math> स्वाभाविक रूप से एक गुणन से सुसज्जित है (नीचे देखें) जो एक वलय बनाता है, और K के ऊपर एक साहचर्य बीजगणित है, जिसे n में बहुपद वलय कहा जाता है जो K के ऊपर अनिश्चित है (निश्चित लेख दर्शाता है कि यह विशिष्ट रूप से नाम तक परिभाषित है और अनिश्चितों का क्रम। यदि वलय K क्रमविनिमेय है, तो <math>K[X_1,\dots, X_n]</math> भी एक क्रमविनिमेय वलय है।


===संचालन में {{math|''K''[''X''{{sub|1}}, ..., ''X''{{sub|''n''}}]}}===
===संचालन में {{math|''K''[''X''{{sub|1}}, ..., ''X''{{sub|''n''}}]}}===


बहुपदों का जोड़ और अदिश गुणन सदिश स्थान या विशिष्ट आधार (यहां एकपदी का आधार) से सुसज्जित मुक्त मॉड्यूल के होते हैं। स्पष्ट रूप से, चलो
बहुपदों का जोड़ और अदिश गुणन एक सदिश स्थान या एक विशिष्ट आधार (यहां एकपदी का आधार) से सुसज्जित मुक्त मॉड्यूल के होते हैं। स्पष्ट रूप से, मान लीजिए कि <math>p=\sum_{\alpha\in I}p_\alpha X^\alpha,\quad q=\sum_{\beta\in J}q_\beta X^\beta,</math>} जहां {{mvar|I}} और {{mvar|J}} घातांक सदिशों के परिमित समुच्चय हैं।
<math>p=\sum_{\alpha\in I}p_\alpha X^\alpha,\quad q=\sum_{\beta\in J}q_\beta X^\beta,</math>
कहाँ {{mvar|I}} और {{mvar|J}} घातांक सदिशों के परिमित समुच्चय हैं।


का अदिश गुणन {{mvar|p}} और अदिश राशि <math>c\in K</math> है
<math>c\in K</math> का अदिश गुणन {{mvar|p}} और अदिश राशि है
:<math>cp = \sum_{\alpha\in I}cp_\alpha X^\alpha.</math>
:<math>cp = \sum_{\alpha\in I}cp_\alpha X^\alpha.</math>
का संस्करण {{mvar|p}} और {{mvar|q}} है
{{mvar|p}} और {{mvar|q}} का संस्करण है
:<math>p+q = \sum_{\alpha\in I\cup J}(p_\alpha+q_\alpha) X^\alpha,</math>
:<math>p+q = \sum_{\alpha\in I\cup J}(p_\alpha+q_\alpha) X^\alpha,</math>
कहाँ <math>p_\alpha=0</math> यदि <math>\alpha \not\in I,</math> और <math>q_\beta=0</math> यदि <math>\beta \not\in J.</math> इसके अतिरिक्त , यदि किसी के पास है <math>p_\alpha+q_\alpha=0</math> कुछ के लिए <math>\alpha \in I \cap J,</math> परिणाम से संगत शून्य पद हटा दिया जाता है।
जहाँ <math>p_\alpha=0</math> यदि <math>\alpha \not\in I,</math> और <math>q_\beta=0</math> यदि <math>\beta \not\in J.</math> इसके अतिरिक्त , यदि किसी के पास है <math>p_\alpha+q_\alpha=0</math> कुछ के लिए <math>\alpha \in I \cap J,</math> परिणाम से संगत शून्य पद हटा दिया जाता है।


गुणा है
गुणा है
:<math>pq = \sum_{\gamma\in I+J}\left(\sum_{\alpha, \beta\mid \alpha+\beta=\gamma} p_\alpha q_\beta\right) X^\gamma,</math>
:<math>pq = \sum_{\gamma\in I+J}\left(\sum_{\alpha, \beta\mid \alpha+\beta=\gamma} p_\alpha q_\beta\right) X^\gamma,</math>
कहाँ <math>I+J</math> में घातांक सदिश के योग का समुच्चय है {{mvar|I}} और अन्य में {{mvar|J}} (वैक्टर का सामान्य योग)। विशेष रूप से, दो एकपदी का गुणनफल एकपदी होता है जिसका घातांक सदिश गुणनखंडों के घातांक सदिशों का योग होता है।
जहाँ <math>I+J</math> में घातांक सदिश के योग का समुच्चय है {{mvar|I}} और अन्य में {{mvar|J}} (सदिश का सामान्य योग)। विशेष रूप से, दो एकपदी का गुणनफल एकपदी होता है जिसका घातांक सदिश गुणनखंडों के घातांक सदिशों का योग होता है।


साहचर्य बीजगणित के स्वयंसिद्धों का सत्यापन सीधा है।
साहचर्य बीजगणित के स्वयंसिद्धों का सत्यापन सीधा है।


===बहुपद व्यंजक===
===बहुपद व्यंजक===
{{main|Algebraic expression}}
{{main|बीजगणतीय अभिव्यक्ति}}
बहुपद अभिव्यक्ति [[अभिव्यक्ति (गणित)]] है जो अदिशों (के तत्वों) से निर्मित होती है {{mvar|K}}), अनिश्चित, और गैर-नकारात्मक पूर्णांक शक्तियों के अतिरिक्त , गुणा और घातांक के संचालक।


जैसा कि इन सभी ऑपरेशनों को परिभाषित किया गया है <math>K[X_1,\dots, X_n]</math> बहुपद अभिव्यक्ति बहुपद का प्रतिनिधित्व करती है, जो कि तत्व है <math>K[X_1,\dots, X_n].</math> एकपदी के रैखिक संयोजन के रूप में बहुपद की परिभाषा विशेष बहुपद अभिव्यक्ति है, जिसे अधिकांशतः बहुपद का विहित रूप, सामान्य रूप या विस्तारित रूप कहा जाता है।
एक बहुपद अभिव्यक्ति एक अभिव्यक्ति है जो अदिश ({{mvar|K}} के तत्व), अनिश्चित, और गैर-नकारात्मक पूर्णांक शक्तियों के अलावा, गुणा और घातांक के ऑपरेटरों के साथ बनाई गई है।
एक बहुपद अभिव्यक्ति को देखते हुए, कोई व्यक्ति अपने कारकों के बीच योग वाले सभी उत्पादों को वितरण नियम के साथ विस्तारित करके प्रतिनिधित्व बहुपद के विस्तारित रूप की गणना कर सकता है, और फिर परिवर्तनशीलता (दो स्केलर के उत्पाद को छोड़कर) और परिवर्तन के लिए सहयोगीता का उपयोग कर सकता है अदिश और एकपदी के उत्पादों में परिणामी योग की शर्तें; फिर समान पदों को पुनः समूहित करके विहित रूप प्राप्त किया जाता है।
 
जैसा कि इन सभी संक्रियाओं को <math>K[X_1,\dots, X_n]</math>में परिभाषित किया गया है एक बहुपद अभिव्यक्ति एक बहुपद का प्रतिनिधित्व करती है, जो कि एक तत्व है <math>K[X_1,\dots, X_n].</math> एकपदी के रैखिक संयोजन के रूप में एक बहुपद की परिभाषा एक विशेष बहुपद अभिव्यक्ति है, जिसे अधिकांशतः विहित रूप कहा जाता है, बहुपद का सामान्य रूप, या विस्तारित रूप एक बहुपद अभिव्यक्ति को देखते हुए, कोई व्यक्ति अपने कारकों के बीच योग वाले सभी उत्पादों को वितरण नियम के साथ विस्तारित करके प्रतिनिधित्व बहुपद के विस्तारित रूप की गणना कर सकता है, और फिर परिवर्तनशीलता (दो स्केलर के उत्पाद को छोड़कर) और परिवर्तन के लिए सहयोगीता का उपयोग कर सकता है एक अदिश और एकपदी के उत्पादों में परिणामी योग की शर्तें; फिर समान पदों को पुनः समूहित करके विहित रूप प्राप्त किया जाता है।


एक बहुपद अभिव्यक्ति और जिस बहुपद का प्रतिनिधित्व करता है उसके बीच अंतर अपेक्षाकृत वर्तमान ही में हुआ है, और मुख्य रूप से [[कंप्यूटर बीजगणित]] के उदय से प्रेरित है, जहां, उदाहरण के लिए, यह परीक्षण कि क्या दो बहुपद अभिव्यक्ति ही बहुपद का प्रतिनिधित्व करते हैं, गैर-तुच्छ गणना हो सकती है।
एक बहुपद अभिव्यक्ति और जिस बहुपद का प्रतिनिधित्व करता है उसके बीच अंतर अपेक्षाकृत वर्तमान ही में हुआ है, और मुख्य रूप से [[कंप्यूटर बीजगणित]] के उदय से प्रेरित है, जहां, उदाहरण के लिए, यह परीक्षण कि क्या दो बहुपद अभिव्यक्ति ही बहुपद का प्रतिनिधित्व करते हैं, गैर-तुच्छ गणना हो सकती है।


=== श्रेणीबद्ध लक्षण वर्णन ===
=== श्रेणीबद्ध लक्षण वर्णन ===
यदि {{mvar|K}} क्रमविनिमेय वलय है, बहुपद वलय {{math|''K''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>]}} में निम्नलिखित सार्वभौमिक संपत्ति है: प्रत्येक क्रमविनिमेय बीजगणित (संरचना) के लिए|अनुविनिमेय {{mvar|K}}-बीजगणित {{mvar|A}}, और हर {{mvar|n}}-ट्यूपल {{math|(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}} के तत्वों का {{mvar|A}}, से अद्वितीय बीजगणित समरूपता है {{math|''K''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>]}} को {{mvar|A}} जो प्रत्येक को मैप करता है <math>X_i</math> संबंधित को <math>x_i.</math> यह समरूपता मूल्यांकन समरूपता है जिसमें प्रतिस्थापन सम्मिलित है <math>X_i</math> साथ <math>x_i</math> प्रत्येक बहुपद में.
यदि {{mvar|K}} क्रमविनिमेय वलय है, बहुपद वलय {{math|''K''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>]}} में निम्नलिखित सार्वभौमिक गुण है: प्रत्येक क्रमविनिमेय बीजगणित (संरचना) के लिए|अनुविनिमेय {{mvar|K}}-बीजगणित {{mvar|A}}, और हर {{mvar|n}}-ट्यूपल {{math|(''x''<sub>1</sub>, …, ''x''<sub>''n''</sub>)}} के तत्वों का {{mvar|A}}, से अद्वितीय बीजगणित समरूपता है {{math|''K''[''X''<sub>1</sub>, …, ''X''<sub>''n''</sub>]}} को {{mvar|A}} जो प्रत्येक को मैप करता है <math>X_i</math> संबंधित को <math>x_i.</math> यह समरूपता मूल्यांकन समरूपता है जिसमें प्रतिस्थापन सम्मिलित है <math>X_i</math> साथ <math>x_i</math> प्रत्येक बहुपद में.


जैसा कि प्रत्येक सार्वभौमिक संपत्ति के स्थितियों में होता है, यह जोड़ी की विशेषता है <math>(K[X_1, \dots, X_n], (X_1, \dots, X_n))</math> अद्वितीय समरूपता तक।
जैसा कि प्रत्येक सार्वभौमिक गुण के स्थितियों में होता है, यह युग्म <math>(K[X_1, \dots, X_n], (X_1, \dots, X_n))</math> को एक अद्वितीय समरूपता तक चित्रित करता है।


इसकी व्याख्या सहायक फ़ंक्शनलर्स के संदर्भ में भी की जा सकती है। अधिक स्पष्ट रूप से, चलो {{math|SET}} और {{math|ALG}} क्रमशः समुच्चय और क्रमविनिमेय की [[श्रेणी (गणित)]] बनें {{mvar|K}}-बीजगणित (यहाँ, और निम्नलिखित में, रूपवाद को तुच्छ रूप से परिभाषित किया गया है)। भुलक्कड़ फ़नकार है <math>\mathrm F: \mathrm{ALG}\to \mathrm{SET}</math> जो बीजगणित को उनके अंतर्निहित समुच्चय ों पर मैप करता है। दूसरी ओर, मानचित्र <math>X\mapsto K[X]</math> आप फ़ंक्शन परिभाषित करते हैं <math>\mathrm{POL}: \mathrm{SET}\to \mathrm{ALG}</math> दूसरी दिशा में. (यदि {{mvar|X}} अनंत है, {{math|''K''[''X'']}} तत्वों की सीमित संख्या में सभी बहुपदों का समुच्चय है {{mvar|X}}.)
इसकी व्याख्या सहायक फ़ंक्शनलर्स के संदर्भ में भी की जा सकती है। अधिक स्पष्ट रूप से, मान लें कि {{math|SET}}और {{math|ALG}} क्रमशः सेट और क्रमविनिमेय K-बीजगणित की श्रेणियां हैं (यहां, और निम्नलिखित में, रूपवाद को तुच्छ रूप से परिभाषित किया गया है)। एक अन्यमनस्क कारक <math>\mathrm F: \mathrm{ALG}\to \mathrm{SET}</math> है जो बीजगणित को उनके अंतर्निहित सेटों पर मैप करता है। दूसरी ओर, मानचित्र <math>X\mapsto K[X]</math> दूसरी दिशा में कारक <math>\mathrm{POL}: \mathrm{SET}\to \mathrm{ALG}</math> को परिभाषित करता है। (यदि X अनंत है, तो K[X], X के तत्वों की एक सीमित संख्या में सभी बहुपदों का समुच्चय है।)


बहुपद वलय के सार्वभौमिक गुण का अर्थ है कि {{math|F}} और {{math|POL}} [[सहायक कारक]] हैं। अर्थात आपत्ति है
बहुपद वलय के सार्वभौमिक गुण का अर्थ है कि {{math|F}} और {{math|POL}} [[सहायक कारक]] हैं। अर्थात आपत्ति है
Line 220: Line 228:


==श्रेणीबद्ध संरचना==
==श्रेणीबद्ध संरचना==
== एक रिंग पर यूनीवेरिएट बनाम मल्टीवेरिएट ==
== एक वलय पर यूनीवेरिएट बनाम मल्टीवेरिएट ==
में बहुपद <math>K[X_1, \ldots, X_n]</math> अनिश्चित में अविभाज्य बहुपद के रूप में माना जा सकता है <math>X_n</math> रिंग के ऊपर <math>K[X_1, \ldots, X_{n-1}],</math> उन शब्दों को पुनः समूहित करके जिनमें समान शक्ति होती है <math>X_n,</math> अर्थात्, पहचान का उपयोग करके
<math>K[X_1, \ldots, X_n]</math> में एक बहुपद को वलय <math>K[X_1, \ldots, X_{n-1}],</math> के ऊपर अनिश्चित <math>X_n</math> में एक अविभाज्य बहुपद के रूप में माना जा सकता है, जिसमें उन शब्दों को फिर से समूहित किया जाता है जिनमें <math>X_n</math> की समान शक्ति होती है, अथार्त पहचान का उपयोग करते है
:<math>\sum_{(\alpha_1, \ldots, \alpha_n)\in I} c_{\alpha_1, \ldots, \alpha_n} X_1^{\alpha_1} \cdots X_n^{\alpha_n}=\sum_i\left(\sum_{(\alpha_1, \ldots, \alpha_{n-1})\mid (\alpha_1, \ldots, \alpha_{n-1}, i)\in I} c_{\alpha_1, \ldots, \alpha_{n-1}} X_1^{\alpha_1} \cdots X_{n-1}^{\alpha_{n-1}}\right)X_n^i,</math>
:<math>\sum_{(\alpha_1, \ldots, \alpha_n)\in I} c_{\alpha_1, \ldots, \alpha_n} X_1^{\alpha_1} \cdots X_n^{\alpha_n}=\sum_i\left(\sum_{(\alpha_1, \ldots, \alpha_{n-1})\mid (\alpha_1, \ldots, \alpha_{n-1}, i)\in I} c_{\alpha_1, \ldots, \alpha_{n-1}} X_1^{\alpha_1} \cdots X_{n-1}^{\alpha_{n-1}}\right)X_n^i,</math>
जो रिंग ऑपरेशंस की वितरणशीलता और साहचर्यता के परिणामस्वरूप होता है।
जो वलय ऑपरेशंस की वितरणशीलता और साहचर्यता के परिणामस्वरूप होता है।


इसका कारण यह है कि किसी के पास [[बीजगणित समरूपता]] है
इसका कारण यह है कि किसी के पास [[बीजगणित समरूपता]] है
Line 229: Line 237:
जो प्रत्येक को अपने लिए अनिश्चित मानचित्रित करता है। (इस समरूपता को अधिकांशतः समानता के रूप में लिखा जाता है, जो इस तथ्य से उचित है कि बहुपद वलय अद्वितीय समरूपता तक परिभाषित होते हैं।)
जो प्रत्येक को अपने लिए अनिश्चित मानचित्रित करता है। (इस समरूपता को अधिकांशतः समानता के रूप में लिखा जाता है, जो इस तथ्य से उचित है कि बहुपद वलय अद्वितीय समरूपता तक परिभाषित होते हैं।)


दूसरे शब्दों में, बहुभिन्नरूपी बहुपद वलय को छोटे बहुपद वलय के ऊपर अविभाज्य बहुपद माना जा सकता है। इसका उपयोग सामान्यतः अनिश्चितों की संख्या पर [[गणितीय प्रेरण]] द्वारा बहुभिन्नरूपी बहुपद रिंगों के गुणों को सिद्ध करने के लिए किया जाता है।
दूसरे शब्दों में, बहुभिन्नरूपी बहुपद वलय को छोटे बहुपद वलय के ऊपर अविभाज्य बहुपद माना जा सकता है। इसका उपयोग सामान्यतः अनिश्चितों की संख्या पर [[गणितीय प्रेरण]] द्वारा बहुभिन्नरूपी बहुपद वलय ों के गुणों को सिद्ध करने के लिए किया जाता है।


ऐसी मुख्य संपत्तियाँ नीचे सूचीबद्ध हैं।
ऐसी मुख्य संपत्तियाँ नीचे सूचीबद्ध हैं।


=== गुण जो से गुजरते हैं {{math|''R''}} को {{math|''R''[''X'']}} ===
=== गुण जो से गुजरते हैं {{math|''R''}} को {{math|''R''[''X'']}} ===
इस खंड में, {{mvar|R}} क्रमविनिमेय वलय है, {{mvar|K}} फ़ील्ड है, {{mvar|X}} एकल अनिश्चित को दर्शाता है, और, सदैव की तरह, <math>\mathbb Z</math> पूर्णांकों का वलय है. यहां मुख्य रिंग गुणों की सूची दी गई है जो गुजरने पर सत्य बने रहते हैं {{mvar|R}} को {{math|''R''[''X'']}}.
इस अनुभाग में, R एक क्रमविनिमेय वलय है, K एक फ़ील्ड है, X एकल अनिश्चित को दर्शाता है, और, सदैव की तरह, <math>\mathbb Z</math> पूर्णांकों का वलय है। यहां मुख्य वलय गुणों की सूची दी गई है जो R से R[X] तक जाने पर सत्य बने रहते हैं।


* यदि {{mvar|R}} अभिन्न डोमेन है तो वही बात लागू होती है {{math|''R''[''X'']}} (चूंकि बहुपदों के उत्पाद का अग्रणी गुणांक, यदि शून्य नहीं है, तो कारकों के अग्रणी गुणांक का उत्पाद है)।
* यदि {{mvar|R}} अभिन्न डोमेन है तो वही बात प्रयुक्त होती है {{math|''R''[''X'']}} (चूंकि बहुपदों के उत्पाद का अग्रणी गुणांक, यदि शून्य नहीं है, तो कारकों के अग्रणी गुणांक का उत्पाद है)।
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> अभिन्न डोमेन हैं.
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> अभिन्न डोमेन हैं.
* यदि {{mvar|R}} अद्वितीय गुणनखंडन डोमेन है तो वही बात लागू होती है {{math|''R''[''X'']}}. यह गॉस की लेम्मा (बहुपद)| गॉस की लेम्मा और अद्वितीय गुणनखंड गुण का परिणाम है <math>L[X],</math> कहाँ {{mvar|L}} के भिन्नों का क्षेत्र है {{mvar|R}}.
* यदि {{mvar|R}} अद्वितीय गुणनखंडन डोमेन है तो वही बात {{math|''R''[''X'']}} प्रयुक्त होती है यह गॉस की लेम्मा (बहुपद)| गॉस की लेम्मा और अद्वितीय गुणनखंड गुण का परिणाम है <math>L[X],</math> जहाँ {{mvar|L}} के भिन्नों का क्षेत्र {{mvar|R}} है .
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> अद्वितीय गुणनखंडन डोमेन हैं।
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> अद्वितीय गुणनखंडन डोमेन हैं।
* यदि {{mvar|R}} [[नोथेरियन अंगूठी]] है, तो वही बात लागू होती है {{math|''R''[''X'']}}.
* यदि {{mvar|R}} [[नोथेरियन अंगूठी|नोथेरियन]] वलय है, तो वही बात {{math|''R''[''X'']}} प्रयुक्त होती है .
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> नोथेरियन रिंग हैं; यह हिल्बर्ट का आधार प्रमेय है।
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> नोथेरियन वलय हैं; यह हिल्बर्ट का आधार प्रमेय है।
* यदि {{mvar|R}} तो फिर, नोथेरियन रिंग है <math>\dim R[X] = 1+\dim R,</math> कहाँ<math>\dim</math>[[क्रुल आयाम]] को दर्शाता है।
* यदि {{mvar|R}} तो फिर, नोथेरियन वलय है <math>\dim R[X] = 1+\dim R,</math> जहाँ <math>\dim</math>[[क्रुल आयाम]] को दर्शाता है।
**विशेष रूप से, <math>\dim K[X_1,\ldots,X_n] = n</math> और <math>\dim \mathbb Z[X_1,\ldots,X_n] = n+1.</math>
**विशेष रूप से, <math>\dim K[X_1,\ldots,X_n] = n</math> और <math>\dim \mathbb Z[X_1,\ldots,X_n] = n+1.</math>
* यदि {{mvar|R}} नियमित रिंग है, तो वही बात लागू होती है {{math|''R''[''X'']}}; इस स्थितियों में, किसी के पास है <math display="block">\operatorname{gl}\, \dim R[X]= \dim R[X]= 1 + \operatorname{gl}\, \dim R=1+\dim R,</math> कहाँ<math>\operatorname{gl}\, \dim</math>[[वैश्विक आयाम]] को दर्शाता है.
*यदि R एक नियमित वलय है, तो R[X] के लिए भी यही बात प्रयुक्त होती है; इस स्थितियों में, किसी के पास है<math display="block">\operatorname{gl}\, \dim R[X]= \dim R[X]= 1 + \operatorname{gl}\, \dim R=1+\dim R,</math> जहाँ <math>\operatorname{gl}\, \dim</math>[[वैश्विक आयाम]] को दर्शाता है.
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> नियमित छल्ले हैं, <math>\operatorname{gl}\, \dim \mathbb Z[X_1,\ldots,X_n] = n+1,</math> और <math>\operatorname{gl}\, \dim K[X_1,\ldots,X_n] = n.</math> बाद वाली समानता हिल्बर्ट की सहजीवन प्रमेय है।
**विशेष रूप से, <math>K[X_1,\ldots,X_n]</math> और <math>\mathbb Z[X_1,\ldots,X_n]</math> नियमित वलय हैं, <math>\operatorname{gl}\, \dim \mathbb Z[X_1,\ldots,X_n] = n+1,</math> और <math>\operatorname{gl}\, \dim K[X_1,\ldots,X_n] = n.</math> बाद वाली समानता हिल्बर्ट की सहजीवन प्रमेय है।


==एक फ़ील्ड पर कई अनिश्चितताएँ==
==एक क्षेत्र पर कई अनिश्चितताएँ==
एक क्षेत्र में कई चरों में बहुपद वलय [[अपरिवर्तनीय सिद्धांत]] और बीजगणितीय ज्यामिति में मौलिक हैं। उनके कुछ गुण, जैसे कि ऊपर वर्णित हैं, को एकल अनिश्चित के स्थितियों में कम किया जा सकता है, किन्तु यह सदैव स्थितिया नहीं होता है। विशेष रूप से, ज्यामितीय अनुप्रयोगों के कारण, कई रोचक गुण [[एफ़िन परिवर्तन]] या अनिश्चित के [[प्रक्षेप्य परिवर्तन]] ट्रांसफ़ॉर्मेशन के अनुसार अपरिवर्तनीय होने चाहिए। इसका अर्थ अधिकांशतः यह होता है कि कोई अनिश्चित पर पुनरावृत्ति के लिए अनिश्चित में से किसी का चयन नहीं कर सकता है।
एक क्षेत्र में कई चरों में बहुपद वलय [[अपरिवर्तनीय सिद्धांत]] और बीजगणितीय ज्यामिति में मौलिक हैं। उनके कुछ गुण, जैसे कि ऊपर वर्णित हैं, को एकल अनिश्चित के स्थितियों में कम किया जा सकता है, किन्तु यह सदैव स्थितिया नहीं होता है। विशेष रूप से, ज्यामितीय अनुप्रयोगों के कारण, कई रोचक गुण [[एफ़िन परिवर्तन]] या अनिश्चित के [[प्रक्षेप्य परिवर्तन]] ट्रांसफ़ॉर्मेशन के अनुसार अपरिवर्तनीय होने चाहिए। इसका अर्थ अधिकांशतः यह होता है कि कोई अनिश्चित पर पुनरावृत्ति के लिए अनिश्चित में से किसी का चयन नहीं कर सकता है।


Line 253: Line 261:


=== हिल्बर्ट का मूल प्रमेय ===
=== हिल्बर्ट का मूल प्रमेय ===
Nullstellensatz (शून्य-लोकस प्रमेय के लिए जर्मन) प्रमेय है, जिसे सबसे पहले [[डेविड हिल्बर्ट]] ने सिद्ध किया था, जो बीजगणित के मौलिक प्रमेय के कुछ पहलुओं को बहुभिन्नरूपी स्थितियों तक विस्तारित करता है। यह बीजगणितीय ज्यामिति के लिए मूलभूत है, क्योंकि यह बीजगणितीय गुणों के बीच शक्तिशाली संबंध स्थापित करता है <math>K[X_1, \ldots, X_n]</math> और बीजगणितीय किस्मों के ज्यामितीय गुण, जो (मोटे तौर पर कहें तो) अंतर्[[निहित समीकरण]] द्वारा परिभाषित बिंदुओं का समूह हैं।
नलस्टेलेनसैट्ज़(शून्य-लोकस प्रमेय के लिए जर्मन) प्रमेय है, जिसे सबसे पहले [[डेविड हिल्बर्ट]] ने सिद्ध किया था, जो बीजगणित के मौलिक प्रमेय के कुछ पहलुओं को बहुभिन्नरूपी स्थितियों तक विस्तारित करता है। यह बीजगणितीय ज्यामिति के लिए मूलभूत है, क्योंकि यह <math>K[X_1, \ldots, X_n]</math>बीजगणितीय गुणों के बीच शक्तिशाली संबंध स्थापित करता है और बीजगणितीय किस्मों के ज्यामितीय गुण, जो (मोटे रूप पर कहें तो) अंतर्[[निहित समीकरण]] द्वारा परिभाषित बिंदुओं का समूह हैं।


Nullstellensatz के तीन मुख्य संस्करण हैं, जिनमें से प्रत्येक किसी अन्य का परिणाम है। इनमें से दो संस्करण नीचे दिए गए हैं। तीसरे संस्करण के लिए, पाठक को Nullstellensatz पर मुख्य लेख का संदर्भ दिया जाता है।
नलस्टेलेनसैट्ज़के तीन मुख्य संस्करण हैं, जिनमें से प्रत्येक किसी अन्य का परिणाम है। इनमें से दो संस्करण नीचे दिए गए हैं। तीसरे संस्करण के लिए, पाठक को नलस्टेलेनसैट्ज़पर मुख्य लेख का संदर्भ दिया जाता है।


पहला संस्करण इस तथ्य को सामान्यीकृत करता है कि गैर-शून्य अविभाज्य बहुपद में जटिल संख्या शून्य होती है यदि और केवल यदि यह स्थिरांक नहीं है। कथन है: बहुपदों का समुच्चय {{mvar|S}} में <math>K[X_1, \ldots, X_n]</math> [[बीजगणितीय रूप से बंद फ़ील्ड]] में सामान्य शून्य होता है {{mvar|K}}, यदि और केवल यदि {{math|1}} द्वारा उत्पन्न आदर्श (रिंग सिद्धांत) से संबंधित नहीं है {{mvar|S}}, अर्थात्, यदि {{math|1}} के तत्वों का रैखिक संयोजन नहीं है {{mvar|S}} बहुपद गुणांकों के साथ।
पहला संस्करण इस तथ्य को सामान्यीकृत करता है कि एक गैर-शून्य अविभाज्य बहुपद में एक जटिल शून्य होता है यदि और केवल यदि यह एक स्थिरांक नहीं है। कथन है: <math>K[X_1, \ldots, X_n]</math> में बहुपद S के एक सेट में K वाले बीजगणितीय रूप से बंद क्षेत्र में एक सामान्य शून्य होता है, यदि और केवल यदि 1, S द्वारा उत्पन्न आदर्श से संबंधित नहीं है, अर्थात, यदि 1 एक रैखिक बहुपद गुणांक वाले S के तत्वों का संयोजन नहीं है।
 
दूसरा संस्करण इस तथ्य को सामान्यीकृत करता है कि जटिल संख्याओं पर अप्रासंगिक बहुपद रूप के बहुपद के [[सहयोगी तत्व]] हैं कथन <math>X-\alpha.</math> है: यदि {{mvar|K}} बीजगणितीय रूप से बंद है, तो [[अधिकतम आदर्श]] <math>K[X_1, \ldots, X_n]</math> का <math>\langle X_1 - \alpha_1, \ldots, X_n - \alpha_n \rangle.</math> रूप है


दूसरा संस्करण इस तथ्य को सामान्यीकृत करता है कि जटिल संख्याओं पर अप्रासंगिक बहुपद रूप के बहुपद के [[सहयोगी तत्व]] हैं <math>X-\alpha.</math> कथन है: यदि {{mvar|K}} बीजगणितीय रूप से बंद है, तो का [[अधिकतम आदर्श]] <math>K[X_1, \ldots, X_n]</math> रूप है <math>\langle X_1 - \alpha_1, \ldots, X_n - \alpha_n \rangle.</math>




===बेज़ौट का प्रमेय===
===बेज़ौट का प्रमेय===
बेज़ाउट के प्रमेय को बीजगणित के मौलिक प्रमेय के संस्करण के बहुभिन्नरूपी सामान्यीकरण के रूप में देखा जा सकता है जो प्रमाणित करता है कि डिग्री का अविभाज्य बहुपद {{mvar|n}} है {{mvar|n}} जटिल जड़ें, यदि उन्हें उनकी बहुलताओं के साथ गिना जाए।
बेज़ाउट के प्रमेय को बीजगणित के मौलिक प्रमेय के संस्करण के बहुभिन्नरूपी सामान्यीकरण के रूप में देखा जा सकता है जो प्रमाणित करता है कि डिग्री n के एक अविभाज्य बहुपद में n जटिल जड़ें होती हैं, यदि उन्हें उनकी बहुलताओं के साथ गिना जाता है।
 
[[द्विचर बहुपद]] के स्थितियों में, यह कहा गया है कि डिग्री के दो बहुपद {{mvar|d}} और {{mvar|e}} दो चर में, जिनमें सकारात्मक डिग्री का कोई सामान्य कारक नहीं है, बिल्कुल है {{mvar|de}} बीजगणितीय रूप से बंद फ़ील्ड में सामान्य शून्य जिसमें गुणांक होते हैं, यदि शून्य को उनकी बहुलता के साथ गिना जाता है और [[अनंत पर बिंदु]] सम्मिलित होता है।
 
सामान्य स्थितियों को बताने के लिए, और अनंत पर शून्य को विशेष शून्य नहीं मानने के लिए, [[सजातीय बहुपद]]ों के साथ काम करना और [[प्रक्षेप्य स्थान]] में शून्य पर विचार करना सुविधाजनक है। इस संदर्भ में, सजातीय बहुपद का प्रक्षेप्य शून्य <math>P(X_0, \ldots, X_n)</math> है, स्केलिंग तक, ए {{math|(''n'' + 1)}}-ट्यूपल <math>(x_0, \ldots, x_n)</math> के तत्वों का {{mvar|K}} वह अलग है {{math|(0, …, 0)}}, और ऐसा कि <math>P(x_0, \ldots, x_n) = 0 </math>. यहाँ, स्केलिंग तक का कारण है <math>(x_0, \ldots, x_n)</math> और <math>(\lambda x_0, \ldots, \lambda x_n)</math> किसी भी अशून्य के लिए समान शून्य माना जाता है <math>\lambda\in K.</math> दूसरे शब्दों में, शून्य आयाम के प्रक्षेप्य स्थान में बिंदु के [[सजातीय निर्देशांक]] का समुच्चय है {{mvar|n}}.


फिर, बेज़ाउट का प्रमेय कहता है: दिया गया {{mvar|n}}डिग्रियों के सजातीय बहुपद <math>d_1, \ldots, d_n</math> में {{math|''n'' + 1}} अनिश्चित, जिसमें [[बीजगणितीय रूप से बंद विस्तार]] में सामान्य प्रक्षेप्य शून्य की केवल सीमित संख्या होती है {{mvar|K}}, इन शून्यों की बहुलता (गणित)या अंतच्छेदन बहुलता का योग गुणनफल है <math>d_1 \cdots d_n.</math>
[[द्विचर बहुपद]] के स्थितियों में, यह कहा गया है कि डिग्री के दो बहुपद {{mvar|d}} और {{mvar|e}} दो चर में, जिनमें सकारात्मक डिग्री का कोई सामान्य कारक नहीं है, बिल्कुल है बीजगणितीय रूप से बंद क्षेत्र में सामान्य {{mvar|de}} शून्य जिसमें गुणांक होते हैं, यदि शून्य को उनकी बहुलता के साथ गिना जाता है और [[अनंत पर बिंदु]] सम्मिलित होता है।


सामान्य स्थितियों को बताने के लिए, और अनंत पर शून्य को विशेष शून्य नहीं मानने के लिए, [[सजातीय बहुपद]]ों के साथ काम करना और [[प्रक्षेप्य स्थान]] में शून्य पर विचार करना सुविधाजनक है। इस संदर्भ में, सजातीय बहुपद का प्रक्षेप्य शून्य <math>P(X_0, \ldots, X_n)</math> है, स्केलिंग तक, {{math|(''n'' + 1)}}-ट्यूपल <math>(x_0, \ldots, x_n)</math> के तत्वों का {{mvar|K}} वह अलग है {{math|(0, …, 0)}}, और ऐसा कि <math>P(x_0, \ldots, x_n) = 0 </math>. यहाँ, स्केलिंग तक का कारण है <math>(x_0, \ldots, x_n)</math> और <math>(\lambda x_0, \ldots, \lambda x_n)</math> किसी भी अशून्य के लिए समान शून्य माना जाता है कि <math>\lambda\in K.</math> दूसरे शब्दों में, शून्य आयाम {{mvar|n}} के प्रक्षेप्य स्थान में बिंदु के [[सजातीय निर्देशांक]] का समुच्चय है .


फिर, बेज़ाउट के प्रमेय में कहा गया है: {{math|''n'' + 1}} अनिश्चित में डिग्री <math>d_1, \ldots, d_n</math> के n सजातीय बहुपद दिए गए हैं, जिनमें K के बीजगणितीय रूप से बंद विस्तार में सामान्य प्रक्षेप्य शून्य की केवल एक सीमित संख्या है, योग इन शून्यों की बहुलता का गुणनफल <math>d_1 \cdots d_n.</math> है।
===जैकोबियन अनुमान===
===जैकोबियन अनुमान===
==सामान्यीकरण==
==सामान्यीकरण==


बहुपद वलय को कई तरीकों से सामान्यीकृत किया जा सकता है, जिसमें सामान्यीकृत घातांक के साथ बहुपद वलय, शक्ति श्रृंखला वलय, गैर-अनुवांशिक बहुपद वलय, [[तिरछा बहुपद वलय]] और बहुपद [[रिग (गणित)]] सम्मिलित हैं।
बहुपद वलय को कई विधियों से सामान्यीकृत किया जा सकता है, जिसमें सामान्यीकृत घातांक के साथ बहुपद वलय, शक्ति श्रृंखला वलय, गैर-अनुवांशिक बहुपद वलय, [[तिरछा बहुपद वलय]] और बहुपद [[रिग (गणित)]] सम्मिलित हैं।


=== अनंत अनेक चर ===
=== अनंत अनेक चर ===
बहुपद वलय का छोटा सा सामान्यीकरण अपरिमित रूप से अनेक अनिश्चितों की अनुमति देना है। प्रत्येक एकपदी में अभी भी केवल अनिश्चित संख्याओं की सीमित संख्या सम्मिलित होती है (जिससे इसकी डिग्री सीमित रहे), और प्रत्येक बहुपद अभी भी एकपदी का (सीमित) रैखिक संयोजन है। इस प्रकार, किसी भी व्यक्तिगत बहुपद में केवल सीमित रूप से कई अनिश्चितताएं सम्मिलित होती हैं, और बहुपदों को सम्मिलित करने वाली कोई भी परिमित गणना सीमित रूप से कई अनिश्चितताओं में बहुपदों के कुछ उपसमूह के अंदर रहती है। इस सामान्यीकरण में सामान्य बहुपद वलय का, [[मुक्त क्रमविनिमेय बीजगणित]] जैसा ही गुण है, अंतर केवल इतना है कि यह अनंत समुच्चय पर स्वतंत्र वस्तु है।
बहुपद वलय का छोटा सा सामान्यीकरण अपरिमित रूप से अनेक अनिश्चितों की अनुमति देना है। प्रत्येक एकपदी में अभी भी केवल अनिश्चित संख्याओं की सीमित संख्या सम्मिलित होती है (जिससे इसकी डिग्री सीमित रहे), और प्रत्येक बहुपद अभी भी एकपदी का (सीमित) रैखिक संयोजन है। इस प्रकार, किसी भी व्यक्तिगत बहुपद में केवल सीमित रूप से कई अनिश्चितताएं सम्मिलित होती हैं, और बहुपदों को सम्मिलित करने वाली कोई भी परिमित गणना सीमित रूप से कई अनिश्चितताओं में बहुपदों के कुछ उपसमूह के अंदर रहती है। इस सामान्यीकरण में सामान्य बहुपद वलय का, [[मुक्त क्रमविनिमेय बीजगणित]] जैसा ही गुण है, अंतर केवल इतना है कि यह अनंत समुच्चय पर स्वतंत्र वस्तु है।


एक सामान्यीकृत बहुपद के रूप में परिबद्ध डिग्री के साथ एकपदी के अनंत (या परिमित) औपचारिक योग को परिभाषित करके, सख्ती से बड़ी अंगूठी पर भी विचार किया जा सकता है। यह वलय सामान्य बहुपद वलय से बड़ा है, क्योंकि इसमें चरों का अनंत योग सम्मिलित है। चूंकि , यह कई वेरिएबल्स में पावर श्रेणी ़ रिंगया पावर श्रेणी से छोटा है। ऐसी अंगूठी का उपयोग अनंत समुच्चय पर [[सममित कार्यों की अंगूठी]] के निर्माण के लिए किया जाता है।
एक सामान्यीकृत बहुपद के रूप में परिबद्ध डिग्री के साथ एकपदी के अनंत (या परिमित) औपचारिक योग को परिभाषित करके सख्ती से बड़ी वलय पर भी विचार किया जा सकता है। यह वलय सामान्य बहुपद वलय से बड़ा है, क्योंकि इसमें चरों का अनंत योग सम्मिलित है। चूंकि यह कई वेरिएबल्स में पावर श्रेणी वलय या पावर श्रेणी से छोटा है। ऐसी वलय का उपयोग अनंत समुच्चय पर [[सममित कार्यों की अंगूठी|सममित कार्यों की]] वलय के निर्माण के लिए किया जाता है।


===सामान्यीकृत घातांक===
===सामान्यीकृत घातांक===
एक साधारण सामान्यीकरण केवल उस समुच्चय को बदलता है जिससे चर पर घातांक निकाले जाते हैं। जोड़ और गुणा के सूत्र तभी तक सार्थक हैं जब तक कोई घातांक जोड़ सके: {{nowrap|1=''X''{{i sup|''i''}} ⋅ ''X''{{i sup|''j''}} = ''X''{{i sup|''i''+''j''}}}}. समुच्चय जिसके लिए जोड़ समझ में आता है (बंद और सहयोगी है) को मोनॉयड कहा जाता है। मोनॉयड एन से रिंग आर तक कार्यों का समुच्चय जो केवल सीमित रूप से कई स्थानों पर गैर-शून्य है, उसे आर [एन] के रूप में ज्ञात रिंग की संरचना दी जा सकती है, आर में गुणांक के साथ एन की '[[मोनोइड]] रिंग'जोड़ है घटक-वार परिभाषित, जिससे यदि {{nowrap|1=''c'' = ''a'' + ''b''}}, तब {{nowrap|1=''c''<sub>''n''</sub> = ''a''<sub>''n''</sub> + ''b''<sub>''n''</sub>}} एन में प्रत्येक एन के लिए। गुणन को कॉची उत्पाद के रूप में परिभाषित किया गया है, जिससे यदि {{nowrap|1=''c'' = ''a'' ⋅ ''b''}}, फिर एन, सी में प्रत्येक एन के लिए<sub>''n''</sub> सभी का योग है a<sub>''i''</sub>b<sub>''j''</sub> जहां i, j का दायरा N के तत्वों के सभी युग्मों पर होता है जिनका योग n होता है।
एक साधारण सामान्यीकरण केवल उस समुच्चय को बदलता है जिससे चर पर घातांक निकाले जाते हैं। जोड़ और गुणा के सूत्र तभी तक सार्थक हैं जब तक कोई घातांक जोड़ सके: {{nowrap|1=''X''{{i sup|''i''}} ⋅ ''X''{{i sup|''j''}} = ''X''{{i sup|''i''+''j''}}}}. समुच्चय जिसके लिए जोड़ समझ में आता है (बंद और सहयोगी है) को मोनॉयड कहा जाता है। मोनॉयड एन से वलय आर तक कार्यों का समुच्चय जो केवल सीमित रूप से कई स्थानों पर गैर-शून्य है, उसे आर [एन] के रूप में ज्ञात वलय की संरचना दी जा सकती है, आर में गुणांक के साथ एन की '[[मोनोइड]] वलय ' जोड़ है घटक-वार परिभाषित, जिससे यदि {{nowrap|1=''c'' = ''a'' + ''b''}}, तब {{nowrap|1=''c''<sub>''n''</sub> = ''a''<sub>''n''</sub> + ''b''<sub>''n''</sub>}} एन में प्रत्येक एन के लिए। गुणन को कॉची उत्पाद के रूप में परिभाषित किया गया है, जिससे यदि {{nowrap|1=''c'' = ''a'' ⋅ ''b''}}, फिर एन, सी में प्रत्येक एन के लिए<sub>''n''</sub> सभी का योग है a<sub>''i''</sub>b<sub>''j''</sub> जहां i, j का सीमा N के तत्वों के सभी युग्मों पर होता है जिनका योग n होता है।


जब N क्रमविनिमेय है, तो फ़ंक्शन a को R[N] में औपचारिक योग के रूप में निरूपित करना सुविधाजनक है:
जब N क्रमविनिमेय है, तो फलन a को R[N] में औपचारिक योग के रूप में निरूपित करना सुविधाजनक है:
:<math>\sum_{n \in N} a_n X^n</math>
:<math>\sum_{n \in N} a_n X^n</math>
और फिर जोड़ और गुणा के सूत्र परिचित हैं:
और फिर जोड़ और गुणा के सूत्र परिचित हैं:
Line 298: Line 305:


===शक्ति श्रृंखला===
===शक्ति श्रृंखला===
पावर श्रृंखला अनंत रूप से कई गैर-शून्य शब्दों की अनुमति देकर घातांक की पसंद को अलग दिशा में सामान्यीकृत करती है। इसके लिए घातांक के लिए उपयोग किए जाने वाले मोनॉइड एन पर विभिन्न परिकल्पनाओं की आवश्यकता होती है, जिससे यह सुनिश्चित किया जा सके कि कॉची उत्पाद में योग सीमित योग हैं। वैकल्पिक रूप से, टोपोलॉजी को रिंग पर रखा जा सकता है, और फिर टोपोलॉजी को अभिसरण अनंत रकम तक सीमित कर दिया जाता है। एन की मानक पसंद के लिए, गैर-नकारात्मक पूर्णांक, कोई परेशानी नहीं है, और औपचारिक शक्ति श्रृंखला की अंगूठी को घटक-वार जोड़ के साथ एन से रिंग आर तक कार्यों के समुच्चय के रूप में परिभाषित किया गया है, और कॉची द्वारा दिया गया गुणन है। उत्पाद। घात श्रृंखला के वलय को उत्पन्न आदर्श के संबंध में बहुपद वलय के वलय के समापन के रूप में भी देखा जा सकता है {{mvar|x}}.
पावर श्रृंखला अनंत रूप से कई गैर-शून्य शब्दों की अनुमति देकर घातांक की पसंद को अलग दिशा में सामान्यीकृत करती है। इसके लिए घातांक के लिए उपयोग किए जाने वाले मोनॉइड ''N'' पर विभिन्न परिकल्पनाओं की आवश्यकता होती है, जिससे यह सुनिश्चित किया जा सके कि कॉची उत्पाद में योग सीमित योग हैं। वैकल्पिक रूप से, टोपोलॉजी को वलय पर रखा जा सकता है, और फिर टोपोलॉजी को अभिसरण अनंत रकम तक सीमित कर दिया जाता है। ''N'' की मानक पसंद के लिए, गैर-नकारात्मक पूर्णांक, कोई परेशानी नहीं है, और औपचारिक शक्ति श्रृंखला की वलय को घटक-वार जोड़ के साथ ''N'' से वलय आर तक कार्यों के समुच्चय के रूप में परिभाषित किया गया है, और कॉची {{mvar|x}} द्वारा दिया गया गुणन है। उत्पाद। घात श्रृंखला के वलय को उत्पन्न आदर्श के संबंध में बहुपद वलय के वलय के समापन के रूप में भी देखा जा सकता है  


===गैर क्रमविनिमेय बहुपद वलय===
===गैर क्रमविनिमेय बहुपद वलय===
एक से अधिक चर वाले बहुपद वलय के लिए, उत्पाद X⋅Y और Y⋅X को बस बराबर के रूप में परिभाषित किया गया है। बहुपद वलय की अधिक सामान्य धारणा तब प्राप्त होती है जब इन दो औपचारिक उत्पादों के बीच अंतर बनाए रखा जाता है। औपचारिक रूप से, रिंग आर में गुणांक के साथ एन नॉनकम्यूटिंग वेरिएबल्स में बहुपद रिंग [[मोनोइड रिंग]] आर [एन] है, जहां मोनॉइड एन एन अक्षरों पर मुक्त मोनोइड है, जिसे एन प्रतीकों के वर्णमाला पर सभी स्ट्रिंग्स के समुच्चय के रूप में भी जाना जाता है। , संयोजन द्वारा दिए गए गुणन के साथ। न तो गुणांकों और न ही चरों को आपस में परिवर्तन की आवश्यकता होती है, बल्कि गुणांक और चर दूसरे के साथ परिवर्तनशील होते हैं।
एक से अधिक चर वाले बहुपद वलय के लिए, उत्पाद X⋅Y और Y⋅X को बस समान के रूप में परिभाषित किया गया है। बहुपद वलय की अधिक सामान्य धारणा तब प्राप्त होती है जब इन दो औपचारिक उत्पादों के बीच अंतर बनाए रखा जाता है। औपचारिक रूप से, वलय आर में गुणांक के साथ एन नॉनकम्यूटिंग वेरिएबल्स में बहुपद वलय [[मोनोइड रिंग|मोनोइड]] वलय ''R''[''N''] है, जहां मोनॉइड एन एन अक्षरों पर मुक्त मोनोइड है, जिसे एन प्रतीकों के वर्णमाला पर सभी स्ट्वलय के समुच्चय के रूप में भी जाना जाता है। संयोजन द्वारा दिए गए गुणन के साथ न तो गुणांकों और न ही चरों को आपस में परिवर्तन की आवश्यकता होती है, किन्तु गुणांक और चर दूसरे के साथ परिवर्तनशील होते हैं।


जिस प्रकार क्रमविनिमय वलय R में गुणांकों के साथ n चरों में बहुपद वलय, रैंक n का मुक्त क्रमविनिमेय R-बीजगणित है, उसी प्रकार क्रमविनिमेय वलय R में गुणांकों के साथ n चरों में गैर-अनुक्रमिक बहुपद वलय, मुक्त साहचर्य, एकात्मक R-बीजगणित है। n जेनरेटर, जो n > 1 होने पर गैर-अनुवांशिक होता है।
जिस प्रकार क्रमविनिमय वलय R में गुणांकों के साथ n चरों में बहुपद वलय, रैंक n का मुक्त क्रमविनिमेय R-बीजगणित है, उसी प्रकार क्रमविनिमेय वलय R में गुणांकों के साथ n चरों में गैर-अनुक्रमिक बहुपद वलय, मुक्त साहचर्य, एकात्मक R-बीजगणित है। n जेनरेटर, जो n > 1 होने पर गैर-अनुवांशिक होता है।
Line 308: Line 315:
बहुपदों के अन्य सामान्यीकरण विभेदक और तिरछे-बहुपद वलय हैं।
बहुपदों के अन्य सामान्यीकरण विभेदक और तिरछे-बहुपद वलय हैं।


एक विभेदक बहुपद वलय वलय ''R'' और ''R'' के ''δ'' से ''R'' की [[व्युत्पत्ति (अमूर्त बीजगणित)]] ''δ'' से निर्मित विभेदक संचालकों का वलय है। यह व्युत्पत्ति ''आर'' पर संचालित होती है, और ऑपरेटर के रूप में देखे जाने पर इसे ''एक्स'' दर्शाया जाएगा। ''R'' के तत्व गुणन द्वारा ''R'' पर भी कार्य करते हैं। फ़ंक्शन संरचना को सामान्य गुणन के रूप में दर्शाया गया है। यह इस प्रकार है कि संबंध {{nowrap|1=''δ''(''ab'') = ''aδ''(''b'') + ''δ''(''a'')''b''}} पुनः लिखा जा सकता है
एक विभेदक बहुपद वलय वलय ''R'' और ''R'' के ''δ'' से ''R'' की [[व्युत्पत्ति (अमूर्त बीजगणित)]] ''δ'' से निर्मित विभेदक संचालकों का वलय है। यह व्युत्पत्ति ''R'' पर संचालित होती है, और ऑपरेटर के रूप में देखे जाने पर इसे ''एक्स'' दर्शाया जाएगा। ''R'' के तत्व गुणन द्वारा ''R'' पर भी कार्य करते हैं। फलन संरचना को सामान्य गुणन के रूप में दर्शाया गया है। यह इस प्रकार है कि संबंध {{nowrap|1=''δ''(''ab'') = ''aδ''(''b'') + ''δ''(''a'')''b''}} पुनः लिखा जा सकता है
 
जैसा
जैसा
: <math>X\cdot a = a\cdot X +\delta(a).</math>
: <math>X\cdot a = a\cdot X +\delta(a).</math>
इस संबंध को आर में गुणांक वाले एक्स में दो बहुपदों के बीच विषम गुणन को परिभाषित करने के लिए बढ़ाया जा सकता है, जो उन्हें गैर-अनुवांशिक रिंग बनाता है।
इस संबंध को ''R'' में गुणांक वाले एक्स में दो बहुपदों के बीच विषम गुणन को परिभाषित करने के लिए बढ़ाया जा सकता है, जो उन्हें गैर-अनुवांशिक वलय बनाता है।


मानक उदाहरण, जिसे [[वेइल बीजगणित]] कहा जाता है, R को (सामान्य) बहुपद वलय k[Y ] मानता है, और δ को मानक बहुपद व्युत्पन्न मानता है <math>\tfrac{\partial}{\partial Y}</math>. उपरोक्त संबंध में a = Y लेने पर, [[विहित रूपान्तरण संबंध]] प्राप्त होता है, X⋅Y − Y⋅X = 1. साहचर्यता और वितरण द्वारा इस संबंध को विस्तारित करने से स्पष्ट रूप से वेइल बीजगणित का निर्माण करने की अनुमति मिलती है। {{harv|Lam|2001|loc=§1,ex1.9}}.
मानक उदाहरण, जिसे [[वेइल बीजगणित]] कहा जाता है, R को (सामान्य) बहुपद वलय k[Y ] मानता है, और δ को मानक बहुपद व्युत्पन्न<math>\tfrac{\partial}{\partial Y}</math> मानता है उपरोक्त संबंध में a = Y लेने पर, [[विहित रूपान्तरण संबंध]] प्राप्त होता है, X⋅Y − Y⋅X = 1. साहचर्यता और वितरण द्वारा इस संबंध को विस्तारित करने से स्पष्ट रूप से वेइल बीजगणित का निर्माण करने की अनुमति मिलती है। {{harv|Lam|2001|loc=§1,ex1.9}}.


तिरछा-बहुपद वलय को ''R'' और ''R'' के वलय [[एंडोमोर्फिज्म]] ''f'' के लिए समान रूप से परिभाषित किया गया है, संबंध ''X''⋅''r'' से गुणन का विस्तार करके = ''f''(''r'')⋅''X'' साहचर्य गुणन उत्पन्न करने के लिए जो मानक जोड़ पर वितरित होता है। अधिक सामान्यतः , धनात्मक पूर्णांकों के मोनॉइड एन से ''आर'' के [[एंडोमोर्फिज्म रिंग]] में होमोमोर्फिज्म ''एफ'' दिया जाता है, सूत्र ''एक्स''<sup>&hairsp;n</sup>⋅r = F(n)(r)⋅X<sup>&hairsp;n</sup> तिरछा-बहुपद वलय बनाने की अनुमति देता है। {{harv|Lam|2001|loc=§1,ex 1.11}} तिरछा बहुपद वलय क्रॉस उत्पाद बीजगणित से निकटता से संबंधित हैं।
तिरछा-बहुपद वलय को ''R'' और ''R'' के वलय [[एंडोमोर्फिज्म]] ''f'' के लिए समान रूप से परिभाषित किया गया है, संबंध ''X''⋅''r'' = ''f''(''r'')⋅''X'' से गुणन का विस्तार करके साहचर्य गुणन उत्पन्न करने के लिए जो मानक जोड़ पर वितरित होता है। अधिक सामान्यतः धनात्मक पूर्णांकों के मोनॉइड '''N''' से ''R'' के [[एंडोमोर्फिज्म रिंग|एंडोमोर्फिज्म]] वलय में होमोमोर्फिज्म ''एफ'' दिया जाता है, सूत्र ''X''<sup> ''n''</sup>⋅''r'' = ''F''(''n'')(''r'')⋅''X''<sup> ''n''</sup> तिरछा-बहुपद वलय बनाने की अनुमति देता है। {{harv|Lam|2001|loc=§1,ex 1.11}} तिरछा बहुपद वलय क्रॉस उत्पाद बीजगणित से निकटता से संबंधित हैं।


=== बहुपद रिग ===
=== बहुपद रिग ===
एक बहुपद रिंग की परिभाषा को इस आवश्यकता को शिथिल करके सामान्यीकृत किया जा सकता है कि बीजगणितीय संरचना आर फ़ील्ड (गणित) या रिंग (गणित) है, इस आवश्यकता के लिए कि आर केवल अर्धफ़ील्ड या रिग (गणित) है; परिणामी बहुपद संरचना/विस्तार R[X] 'बहुपद रिग' है। उदाहरण के लिए, [[प्राकृतिक संख्या]] गुणांक वाले सभी बहुभिन्नरूपी बहुपदों का समुच्चय बहुपद रिग है।
एक बहुपद वलय की परिभाषा को इस आवश्यकता को शिथिल करके सामान्यीकृत किया जा सकता है कि बीजगणितीय संरचना आर क्षेत्र (गणित) या वलय (गणित) है, इस आवश्यकता के लिए कि आर केवल अर्धक्षेत्र या रिग (गणित) है; परिणामी बहुपद संरचना/विस्तार R[X] 'बहुपद रिग' है। उदाहरण के लिए, [[प्राकृतिक संख्या]] गुणांक वाले सभी बहुभिन्नरूपी बहुपदों का समुच्चय बहुपद रिग है।


== यह भी देखें ==
== यह भी देखें ==
Line 334: Line 342:
*{{Citation |last=Osborne |first=M. Scott |title=Basic homological algebra |publisher=[[Springer-Verlag]] |series=Graduate Texts in Mathematics |isbn=978-0-387-98934-1 |mr=1757274 |year=2000 |volume=196 |doi=10.1007/978-1-4612-1278-2}}
*{{Citation |last=Osborne |first=M. Scott |title=Basic homological algebra |publisher=[[Springer-Verlag]] |series=Graduate Texts in Mathematics |isbn=978-0-387-98934-1 |mr=1757274 |year=2000 |volume=196 |doi=10.1007/978-1-4612-1278-2}}


[[Category: क्रमविनिमेय बीजगणित]] [[Category: अपरिवर्तनीय सिद्धांत]] [[Category: वलय सिद्धांत]] [[Category: बहुपदों]] [[Category: निःशुल्क बीजगणितीय संरचनाएँ]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
 
 
 
[[Category: Machine Translated Page]]
[[Category:Created On 30/06/2023]]
[[Category:Created On 30/06/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Translated in Hindi]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:अपरिवर्तनीय सिद्धांत]]
[[Category:क्रमविनिमेय बीजगणित]]
[[Category:निःशुल्क बीजगणितीय संरचनाएँ]]
[[Category:बहुपदों]]
[[Category:वलय सिद्धांत]]

Latest revision as of 10:57, 14 July 2023


गणित में, विशेष रूप से बीजगणित के क्षेत्र में, एक बहुपद वलय या बहुपद बीजगणित एक वलय है (जो एक क्रमविनिमेय बीजगणित भी है) जो एक या अधिक अनिश्चित (पारंपरिक रूप से चर भी कहा जाता है) में बहुपदों के सेट से बनता है, जिसका गुणांक अधिकांशतः दूसरे वलय में एक क्षेत्र होता है।

अधिकांशतः बहुपद वलय शब्द का तात्पर्य क्षेत्र में अनिश्चित बहुपद वलय के विशेष स्थितियों से है। ऐसे बहुपद वलय का महत्व उन गुणों की उच्च संख्या पर निर्भर करता है जो पूर्णांकया बीजगणितीय_गुणों के वलय के साथ समान होते हैं।

बहुपद वलय होते हैं और अधिकांशतः गणित के कई भागो जैसे संख्या सिद्धांत, क्रमविनिमेय बीजगणित और बीजगणितीय ज्यामिति में मौलिक होते हैं। वलय सिद्धांत में, बहुपद वलय के कुछ गुणों को सामान्य बनाने के लिए वलय के कई वर्ग, जैसे अद्वितीय गुणनखंड डोमेन, नियमित वलय, समूह वलय, औपचारिक शक्ति श्रृंखला, अयस्क बहुपद, श्रेणीबद्ध वलय, प्रस्तुत किए गए हैं।

एक निकट संबंधी धारणा सदिश समष्टि पर बहुपद फलनों के वलय की है और अधिक सामान्यतः, बीजगणितीय विविधता पर नियमित फलनों के वलय की है।

परिभाषा (एकविभिन्न स्थितिया )

बहुपद वलय, K[X], X में एक क्षेत्र पर (या, अधिक सामान्यतः एक क्रमविनिमेय वलय) K को कई समकक्ष विधियों से परिभाषित किया जा सकता है। उनमें से एक है K[X] को व्यंजकों के समुच्चय के रूप में परिभाषित करना, जिसे X रूप में बहुपद कहा जाता है[1]

जहाँ p0, p1, …, pm, के गुणांक p के तत्व हैं K, pm ≠ 0 यदि m > 0, और X, X2, …, प्रतीक हैं, जिन्हें शक्तियों के रूप में माना जाता है जहाँ X और घातांक के सामान्य नियमों का पालन करें: X0 = 1, X1 = X, और किसी भी गैर-ऋणात्मक पूर्णांक के लिए k और l. प्रतीक X को अनिश्चित या परिवर्तनशील कहा जाता है[2] [3] (चर का पद बहुपद फलनों की शब्दावली से आता है। चूंकि यहाँ X का कोई मूल्य नहीं है (स्वयं के अतिरिक्त ) और बहुपद वलय में स्थिरांक होने के कारण भिन्न नहीं हो सकता है।)

दो बहुपद समान होते हैं जब प्रत्येक Xk के संगत गुणांक समान होते हैं।

कोई व्यक्ति K से बाहर एक नया तत्व X जोड़कर वलय K[X] के बारे में सोच सकता है, K के सभी तत्वों के साथ संचार करता है, और इसमें कोई अन्य विशिष्ट गुण नहीं हैं। इसका उपयोग बहुपद वलय की समतुल्य परिभाषा के लिए किया जा सकता है।

K के ऊपर X में बहुपद वलय जोड़, गुणन और अदिश गुणन से सुसज्जित है जो इसे क्रमविनिमेय बीजगणित (संरचना) बनाता है। इन संक्रियाओं को बीजीय व्यंजकों में हेरफेर करने के सामान्य नियमों के अनुसार परिभाषित किया गया है। विशेष रूप से, यदि

और

तब

और

जहाँ k = max(m, n), l = m + n,

और

इन सूत्रों में, बहुपद P और Q को शून्य गुणांक वाले डमी पदों को जोड़कर बढ़ाया जाता है जिससे सभी pi और qi जो सूत्रों में दिखाई देते हैं उन्हें परिभाषित किया गया है। विशेष रूप से यदि m < n, तब pi = 0 के लिए m < in.


अदिश गुणन, गुणन का विशेष स्थितिया है जहां p = p0 को उसके स्थिर पद (वह पद जो X से स्वतंत्र है) तक घटा दिया जाता है; वह है

यह सत्यापित करना सीधा है कि ये तीन ऑपरेशन K पर क्रमविनिमेय बीजगणित के सिद्धांतों को संतुष्ट करते हैं। इसलिए, बहुपद वलय को बहुपद बीजगणित भी कहा जाता है।

एक अन्य समकक्ष परिभाषा को अधिकांशतः पसंद किया जाता है, चूँकि कम सहज ज्ञान युक्त, क्योंकि इसे पूरी तरह से कठोर बनाना आसान होता है, जिसमें K के तत्वों के अनंत अनुक्रम (p0, p1, p2, …) के रूप में एक बहुपद को परिभाषित करना सम्मिलित है, जिसमें केवल यही गुण होता है तत्वों की एक सीमित संख्या गैर-शून्य होती है, या समकक्ष रूप से, एक अनुक्रम जिसके लिए कुछ m होता है जिससे n > m के लिए pn = 0 हो। इस स्थिति में, p0 और X को क्रमशः अनुक्रमों (p0, 0, 0, …) और (0, 1, 0, 0, …) के लिए वैकल्पिक नोटेशन के रूप में माना जाता है। ऑपरेशन नियमों का सीधा उपयोग कि अभिव्यक्ति दर्शाता है

फिर अनुक्रम के लिए वैकल्पिक संकेतन है

(p0, p1, p2, …, pm, 0, 0, …).

शब्दावली

होने देना

के साथ शून्येतर बहुपद बनें

p का अचर पद है यह शून्य बहुपद के स्थिति में शून्य है।

p की डिग्री लिखित deg(p) है सबसे वृहद k ऐसा कि का गुणांक Xk शून्य नहीं है.[4]

p का अग्रणी गुणांक है [5]

शून्य बहुपद के विशेष स्थितियों में, जिसके सभी गुणांक शून्य हैं, अग्रणी गुणांक अपरिभाषित है, और डिग्री को विभिन्न प्रकार से अपरिभाषित छोड़ दिया गया है,[6] होने के लिए परिभाषित किया गया है −1,[7] या के रूप में परिभाषित किया गया है −∞.[8]

एक अचर बहुपद या तो शून्य बहुपद होता है, या शून्य घात वाला बहुपद होता है।

एक शून्येतर बहुपद एकात्मक बहुपद है यदि इसका अग्रणी गुणांक है

दो बहुपद p और q दिए गए हैं, एक के पास है

और, क्षेत्र (गणित), या अधिक सामान्यतः अभिन्न डोमेन पर,[9]

इससे तुरंत पता चलता है कि, यदि K एक अभिन्न डोमेन है, तो K[X] भी ऐसा ही है।[10]

इससे यह भी पता चलता है कि, यदि K एक अभिन्न डोमेन है, तो एक बहुपद एक इकाई है (अर्थात, इसमें गुणात्मक व्युत्क्रम होता है) यदि और केवल यदि यह स्थिर है और K में एक इकाई है।

दो बहुपद संबद्ध तत्व हैं यदि उनमें से इकाई द्वारा दूसरे का गुणनफल है।

एक क्षेत्र में, प्रत्येक गैर-शून्य बहुपद अद्वितीय मोनिक बहुपद से जुड़ा होता है।

दो बहुपद, p और q दिए गए हैं, कोई कहता है कि p, q को विभाजित करता है, p, q का भाजक है, या q, p का एक गुणज है, यदि कोई बहुपद r ऐसा है कि q = pr है।

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

बहुपद मूल्यांकन

मान लीजिए कि K एक क्षेत्र है या अधिक सामान्यतः एक क्रमविनिमेय वलय है, और R एक वलय है जिसमें K है। K[X] में किसी भी बहुपद P और R में किसी तत्व a के लिए, P में a के साथ X का प्रतिस्थापन R के एक तत्व को परिभाषित करता है। जिसे P(a) से दर्शाया जाता है। यह तत्व बहुपद के व्यंजक द्वारा दर्शाए गए संक्रियाओं को प्रतिस्थापित करने के बाद आर में आगे बढ़ने से प्राप्त होता है। इस गणना को P का मूल्यांकन कहा जाता है। उदाहरण के लिए, यदि हमारे पास है

अपने पास

(पहले उदाहरण में R = K, और दूसरे में R = K[X])। स्वयं के स्थान पर X प्रतिस्थापित करने पर परिणाम प्राप्त होता है

यह समझाते हुए कि क्यों वाक्य "मान लीजिए P एक बहुपद है" और "मान लीजिए P(X) एक बहुपद है" समतुल्य हैं।

बहुपद P द्वारा परिभाषित बहुपद फलन K से K तक का फलन है जिसे द्वारा परिभाषित किया जाता है। यदि K एक अनंत क्षेत्र है, तो दो अलग-अलग बहुपद अलग-अलग बहुपद कार्यों को परिभाषित करते हैं, किन्तु यह गुण परिमित क्षेत्रों के लिए गलत है। उदाहरण के लिए, यदि K, q तत्वों वाला एक क्षेत्र है, तो बहुपद 0 और XqX दोनों शून्य फलन को परिभाषित करते हैं।

आर में प्रत्येक a, के लिए, ए पर मूल्यांकन, यानी, नक्शा K[X] को R तक एक बीजगणित समरूपता को परिभाषित करता है, जो कि K[X] से R तक अद्वितीय समरूपता है जो के को ठीक करता है , और X से a तक मैप करता है। दूसरे शब्दों में, K[X] में निम्नलिखित सार्वभौमिक गुण है:

K युक्त प्रत्येक वलय R और R के प्रत्येक तत्व a के लिए, K[X] से R तक एक अद्वितीय बीजगणित समरूपता है जो K को ठीक करती है, और X को a में मैप करती है।

मानचित्र की छवि (गणित), अर्थात्, का उपसमुच्चय Rप्रतिस्थापन द्वारा प्राप्त किया गया a के लिए X के तत्वों में K[X], दर्शाया गया है K[a].[11] उदाहरण के लिए, , जहाँ .

जहां तक सभी सार्वभौमिक गुणों की बात है, यह जोड़ी (K[X], X) को एक अद्वितीय समरूपता तक परिभाषित करता है, और इसलिए इसे K[X] की परिभाषा के रूप में लिया जा सकता है।

एक क्षेत्र पर एकविभिन्न बहुपद

यदि K क्षेत्र (गणित) बहुपद वलय है K[X] में कई गुण हैं जो पूर्णांकों के वलय (गणित) के समान हैं इनमें से अधिकांश समानताएँ दीर्घ विभाजन और बहुपद दीर्घ विभाजन के बीच समानता से उत्पन्न होती हैं।

इस अनुभाग में सूचीबद्ध K[X] के अधिकांश गुण सत्य नहीं रहते हैं यदि K एक क्षेत्र नहीं है, या यदि कोई कई अनिश्चित बहुपदों पर विचार करता है।

पूर्णांकों की तरह, बहुपदों के यूक्लिडियन विभाजन में विशिष्टता का गुण होता है। अर्थात्, K[X] में दो बहुपद a और b ≠ 0 दिए गए हैं, बहुपदों का एक अद्वितीय युग्म (q, r) है जैसे कि a = bq + r, और या तो r = 0 या deg(r) < deg(b) यह K[X] को एक यूक्लिडियन डोमेन बनाता है। चूँकि अधिकांश अन्य यूक्लिडियन डोमेन (पूर्णांकों को छोड़कर) में विभाजन के लिए विशिष्टता की कोई गुण नहीं है और न ही यूक्लिडियन विभाजन की गणना के लिए कोई आसान एल्गोरिदम (जैसे लंबा विभाजन) है।

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

विस्तारित यूक्लिडियन एल्गोरिदम बेज़आउट की पहचान की गणना (और सिद्ध करने) की अनुमति देता है। K[X] के स्थितियों में, इसे इस प्रकार कहा जा सकता है। संबंधित घातों m और n के दो बहुपद p और q दिए गए हैं, यदि उनके सबसे बड़े सामान्य भाजक g की घात d है, तो बहुपदों का एक अद्वितीय युग्म (a, b) होता है जैसे कि

और

(सीमित स्थितियों में इसे सच करने के लिए जहां m = d या n = d, , किसी को शून्य बहुपद की डिग्री को नकारात्मक के रूप में परिभाषित करना होगा। इसके अलावा, समानता केवल तभी हो सकती है जब p और q जुड़े हों।) विशिष्टता गुण K[X] के लिए विशिष्ट है। पूर्णांकों के स्थितियों में वही गुण सत्य है, यदि डिग्री को निरपेक्ष मानों द्वारा प्रतिस्थापित किया जाता है, किन्तु , विशिष्टता होने के लिए, किसी को a > 0 की आवश्यकता होनी चाहिए।

यूक्लिड की प्रमेयिका K[X] पर प्रयुक्त होती है। अर्थात्, यदि a, bc को विभाजित करता है, और b के साथ सहअभाज्य है, तो a, c को विभाजित करता है। कि मोनिक सबसे बड़ा सामान्य भाजक है 1. प्रमाण: परिकल्पना और बेज़ाउट की पहचान के अनुसार, e, p, और q हैं जैसे कि एae = bc और 1 = ap + bq इसलिए



अद्वितीय गुणनखंडन गुण यूक्लिड के लेम्मा से उत्पन्न होता है। पूर्णांकों के स्थितियों में, यह अंकगणित का मौलिक प्रमेय है। K[X] के स्थितियों में, इसे इस प्रकार कहा जा सकता है: प्रत्येक गैर-स्थिर बहुपद को एक अनूठे विधि से एक स्थिरांक के उत्पाद के रूप में व्यक्त किया जा सकता है, और एक या कई अघुलनशील मोनिक बहुपद; यह अपघटन कारकों के क्रम तक अद्वितीय है। दूसरे शब्दों में K[X] एक अद्वितीय गुणनखंड डोमेन है। यदि K जटिल संख्याओं का क्षेत्र है, तो बीजगणित का मौलिक प्रमेय प्रमाणित करता है कि एक अविभाज्य बहुपद अपरिवर्तनीय है यदि और केवल यदि इसकी डिग्री एक है। इस स्थितियों में अद्वितीय गुणनखंड गुण को इस प्रकार दोहराया जा सकता है: जटिल संख्याओं पर प्रत्येक गैर-स्थिर अविभाज्य बहुपद को एक स्थिरांक के उत्पाद के रूप में एक अद्वितीय विधि से व्यक्त किया जा सकता है, और Xr के रूप में एक या कई बहुपद; यह अपघटन कारकों के क्रम तक अद्वितीय है। प्रत्येक कारक के लिए, r बहुपद का एक मूल है, और एक कारक की घटनाओं की संख्या संबंधित मूल की बहुलता है।

व्युत्पत्ति

बहुपद का औपचारिक व्युत्पन्न या (औपचारिक) व्युत्पन्न

बहुपद है

वास्तविक संख्या या सम्मिश्र संख्या गुणांक वाले बहुपदों के स्थितियों में, यह मानक व्युत्पन्न है। उपरोक्त सूत्र बहुपद के व्युत्पन्न को परिभाषित करता है, तथापि गुणांक वलय से संबंधित हो, जिस पर सीमा (गणित) की कोई धारणा परिभाषित नहीं है। व्युत्पन्न बहुपद वलय को विभेदक बीजगणित बनाता है।

व्युत्पन्न का अस्तित्व बहुपद वलय के मुख्य गुणों में से है जो पूर्णांकों के साथ साझा नहीं किया जाता है और पूर्णांकों की तुलना में बहुपद वलय पर कुछ गणनाओं को आसान बनाता है।

वर्ग-मुक्त गुणनखंडन

लैग्रेंज इंटरपोलेशन

बहुपद अपघटन

गुणनखंडीकरण

गुणनखंडन को छोड़कर, के सभी पिछले गुण K[X] प्रभावी प्रमाण हैं, क्योंकि उनके प्रमाण जैसा कि ऊपर दर्शाया गया है, गुण के परीक्षण और उन बहुपदों की गणना के लिए कलन विधि से जुड़े हैं जिनके अस्तित्व पर जोर दिया गया है। इसके अतिरिक्त ये एल्गोरिदम कुशल हैं, क्योंकि उनकी कम्प्यूटेशनल जटिलता इनपुट आकार का द्विघात समय फलन है।

गुणनखंडन के लिए स्थिति पूरी तरह से अलग है: अद्वितीय गुणनखंडन का प्रमाण गुणनखंडन की विधि के लिए कोई संकेत नहीं देता है। पहले से ही पूर्णांकों के लिए, उन्हें बहुपद समय में गुणनखंडित करने के लिए मौलिक कंप्यूटर पर कोई ज्ञात एल्गोरिदम नहीं चल रहा है। यह आरएसए क्रिप्टोप्रणाली का आधार है, जिसका व्यापक रूप से सुरक्षित इंटरनेट संचार के लिए उपयोग किया जाता है।

K[X] के स्थितियों में कारक और उनकी गणना करने की विधियाँ K दृढ़ता से निर्भर करती हैं सम्मिश्र संख्याओं के ऊपर, अप्रासंगिक गुणनखंड (जिन्हें आगे गुणनखंडित नहीं किया जा सकता) सभी घात के होते हैं, जबकि, वास्तविक संख्याओं के ऊपर, घात 2 के अप्रासंगिक बहुपद होते हैं, और, तर्कसंगत संख्याओं के ऊपर, किसी के भी अप्रासंगिक बहुपद होते हैं डिग्री। उदाहरण के लिए, बहुपद तर्कसंगत संख्याओं पर अप्रासंगिक है, के रूप में गुणनखंडित किया जाता है वास्तविक संख्या से अधिक और, और जैसा सम्मिश्र संख्याओं पर है

गुणनखंडन एल्गोरिथ्म का अस्तित्व जमीनी क्षेत्र पर भी निर्भर करता है। वास्तविक या जटिल संख्याओं के स्थितियों में, एबेल-रफिनी प्रमेय से पता चलता है कि कुछ बहुपदों की जड़ें, और इस प्रकार अपरिवर्तनीय कारकों की स्पष्ट गणना नहीं की जा सकती है। इसलिए, गुणनखंडन एल्गोरिथ्म केवल कारकों के अनुमान की गणना कर सकता है। ऐसे सन्निकटनों की गणना के लिए विभिन्न एल्गोरिदम डिज़ाइन किए गए हैं, बहुपदों की मूल खोज देखें।

क्षेत्र K का एक उदाहरण है जैसे कि K के अंकगणितीय संचालन के लिए सटीक एल्गोरिदम उपस्थित हैं, किन्तु यह तय करने के लिए कोई एल्गोरिदम उपस्थित नहीं हो सकता है कि बहुपद रूप का है या नहीं अघुलनशील बहुपद है या निम्न डिग्री के बहुपदों का गुणनफल है।[12]

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

न्यूनतम बहुपद

यदि θ एक साहचर्य K-बीजगणित L का एक तत्व है, तो θ पर बहुपद मूल्यांकन K[X] से L तक अद्वितीय बीजगणित समरूपता φ है जो X से θ तक मैप करता है और K के तत्वों को प्रभावित नहीं करता है (यह पहचान है) K) पर मानचित्र। इसमें प्रत्येक बहुपद में θ के साथ X को प्रतिस्थापित करना सम्मिलित है। वह है,

इस मूल्यांकन समरूपता की छवि θ द्वारा उत्पन्न उपबीजगणित है, जो आवश्यक रूप से क्रमविनिमेय है। यदि φ इंजेक्शन है, तो θ द्वारा उत्पन्न उपबीजगणित K[X] के समरूपी है। इस स्थितियों में, इस उपबीजगणित को अधिकांशतः K[θ] द्वारा दर्शाया जाता है। समरूपता के कारण संकेतन अस्पष्टता सामान्यतः हानिरहित होती है।

यदि मूल्यांकन समरूपता इंजेक्शन नहीं है, तो इसका कारण है कि इसका कर्नेल (बीजगणित) गैर-शून्य आदर्श (वलय सिद्धांत) है, जिसमें सभी बहुपद सम्मिलित हैं जो X को θ के साथ प्रतिस्थापित करने पर शून्य हो जाते हैं। इस आदर्श में कुछ अद्वैत बहुपद के सभी गुणज सम्मिलित होते हैं, जिसे θ न्यूनतम बहुपद कहा जाता है न्यूनतम शब्द इस तथ्य से प्रेरित है कि इसकी डिग्री आदर्श के तत्वों की डिग्री के बीच न्यूनतम है।

ऐसे दो मुख्य स्थितियों हैं जहां न्यूनतम बहुपदों पर विचार किया जाता है।

क्षेत्र सिद्धांत और संख्या सिद्धांत में, K के विस्तार क्षेत्र L का एक तत्व θ, K पर बीजगणितीय है यदि यह K में गुणांक वाले कुछ बहुपद की जड़ है। θ के K पर न्यूनतम बहुपद इस प्रकार न्यूनतम डिग्री का मोनिक बहुपद है मूल के रूप में θ है। क्योंकि L एक क्षेत्र है, यह न्यूनतम बहुपद आवश्यक रूप से K पर अपरिवर्तनीय है। उदाहरण के लिए, सम्मिश्र संख्या i का न्यूनतम बहुपद (वास्तविक के साथ-साथ परिमेय पर भी) है। साइक्लोटोमिक बहुपद एकता की जड़ों के न्यूनतम बहुपद हैं।

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

भागफल वलय

K[X] के स्थितियों में आदर्श द्वारा भागफल वलय का निर्माण, सामान्य स्थिति में, तुल्यता वर्ग के समुच्चय के रूप में किया जा सकता है। चूंकि प्रत्येक तुल्यता वर्ग में न्यूनतम डिग्री का बिल्कुल बहुपद होता है, इसलिए दूसरा निर्माण अधिकांशतः अधिक सुविधाजनक होता है।

एक बहुपद दिया गया है p डिग्री का d, का भागफल वलय K[X] द्वारा उत्पन्न आदर्श (वलय सिद्धांत) द्वारा p से कम डिग्री वाले बहुपदों के सदिश समष्टि से पहचाना जा सकता है d, गुणन मापांक के साथ p गुणन के रूप में, गुणन मापांक p द्वारा विभाजन के अंतर्गत शेष सम्मिलित है p बहुपदों के (सामान्य) गुणनफल का। इस भागफल वलय को विभिन्न प्रकार से दर्शाया जाता है या केवल

वलय क्षेत्र है यदि और केवल यदि p अघुलनशील बहुपद है। वास्तव में, यदि p अपरिवर्तनीय है, प्रत्येक अशून्य बहुपद q निम्न डिग्री का सहअभाज्य है p, और बेज़ाउट की पहचान कंप्यूटिंग की अनुमति देती है r और s ऐसा है कि sp + qr = 1; इसलिए, r का गुणनात्मक व्युत्क्रम है q मापांक p. इसके विपरीत, यदि p न्यूनीकरणीय है, तो बहुपद उपस्थित हैं a, b डिग्री से कम deg(p) ऐसा है कि ab = p ; इसलिए a, b अशून्य शून्य विभाजक मॉड्यूलो हैं p, और व्युत्क्रमणीय नहीं हो सकता है

उदाहरण के लिए, सम्मिश्र संख्याओं के क्षेत्र की मानक परिभाषा को यह कहकर संक्षेपित किया जा सकता है कि यह भागफल वलय है

में X कि छवि को i द्वारा निरूपित किया जाता है . वास्तव में, उपरोक्त विवरण के अनुसार, इस भागफल में i घात के सभी बहुपद सम्मिलित हैं , जिसका स्वरूप है a + bi, साथ a और b में भागफल वलय के दो तत्वों को गुणा करने के लिए आवश्यक यूक्लिडियन विभाजन का शेष भाग बहुपद के रूप में उनके उत्पाद में i2 को −1 से प्रतिस्थापित करके प्राप्त किया जाता है (यह बिल्कुल जटिल संख्याओं के उत्पाद की सामान्य परिभाषा है)।

मान लीजिए θ K-बीजगणित A में एक बीजगणितीय तत्व है। बीजगणित से इसका अर्थ है कि θ में एक न्यूनतम बहुपद p है। पहला वलय समरूपता प्रमेय प्रमाणित करता है कि प्रतिस्थापन समरूपता प्रतिस्थापन समरूपता की छवि K[θ] पर की समरूपता उत्पन्न करती है। विशेष रूप से, यदि A, θ द्वारा उत्पन्न K का एक सरल विस्तार है, तो यह A और की पहचान करने की अनुमति देता है

मॉड्यूल

एक प्रमुख आदर्श डोमेन पर अंतिम रूप से उत्पन्न मॉड्यूल के लिए संरचना प्रमेय K[X] पर प्रयुक्त होता है, जब K एक क्षेत्र है। इसका अर्थ यह है कि K[X] पर प्रत्येक सूक्ष्म रूप से उत्पन्न मॉड्यूल को एक मुक्त मॉड्यूल के प्रत्यक्ष योग और के रूप में कई मॉड्यूल में विघटित किया जा सकता है, जहां P, K पर एक अप्रासंगिक बहुपद है और k एक सकारात्मक पूर्णांक है।

परिभाषा (बहुभिन्नरूपी स्थितिया )

दिया गया n प्रतीक अनिश्चित (चर) कहा जाता है, एकपद (शक्ति उत्पाद भी कहा जाता है)

इन अनिश्चितताओं का औपचारिक उत्पाद है, संभवतः गैर-नकारात्मक शक्ति तक बढ़ा दिया गया है। सदैव की तरह, के समान घातांक और शून्य घातांक वाले गुणनखंडों को छोड़ा जा सकता है। विशेष रूप से,

घातांकों का समूह α = (α1, …, αn) को एकपदी का मल्टीडिग्री या घातांक सदिश कहा जाता है। कम बोझिल संकेतन के लिए संक्षिप्तीकरण है

अधिकांशतः प्रयोग किया जाता है. एकपदी Xα की डिग्री, जिसे अधिकांशतः deg α या |α|, से दर्शाया जाता है, उसके घातांकों का योग है:

इन अनिश्चितों में एक बहुपद, एक क्षेत्र K में गुणांक के साथ, या अधिक सामान्यतः एक वलय, एकपदी का एक सीमित रैखिक संयोजन है

K में गुणांकों के साथ एक गैरशून्य बहुपद की डिग्री गैरशून्य गुणांक वाले उसके एकपदी की डिग्री की अधिकतम होती है।

में बहुपदों का समुच्चय, जिसे दर्शाया गया है, इस प्रकार एक सदिश समष्टि (या एक मुक्त मापांक, यदि K एक वलय है) है जिसका आधार एकपदी है।

स्वाभाविक रूप से एक गुणन से सुसज्जित है (नीचे देखें) जो एक वलय बनाता है, और K के ऊपर एक साहचर्य बीजगणित है, जिसे n में बहुपद वलय कहा जाता है जो K के ऊपर अनिश्चित है (निश्चित लेख दर्शाता है कि यह विशिष्ट रूप से नाम तक परिभाषित है और अनिश्चितों का क्रम। यदि वलय K क्रमविनिमेय है, तो भी एक क्रमविनिमेय वलय है।

संचालन में K[X1, ..., Xn]

बहुपदों का जोड़ और अदिश गुणन एक सदिश स्थान या एक विशिष्ट आधार (यहां एकपदी का आधार) से सुसज्जित मुक्त मॉड्यूल के होते हैं। स्पष्ट रूप से, मान लीजिए कि } जहां I और J घातांक सदिशों के परिमित समुच्चय हैं।

का अदिश गुणन p और अदिश राशि है

p और q का संस्करण है

जहाँ यदि और यदि इसके अतिरिक्त , यदि किसी के पास है कुछ के लिए परिणाम से संगत शून्य पद हटा दिया जाता है।

गुणा है

जहाँ में घातांक सदिश के योग का समुच्चय है I और अन्य में J (सदिश का सामान्य योग)। विशेष रूप से, दो एकपदी का गुणनफल एकपदी होता है जिसका घातांक सदिश गुणनखंडों के घातांक सदिशों का योग होता है।

साहचर्य बीजगणित के स्वयंसिद्धों का सत्यापन सीधा है।

बहुपद व्यंजक

एक बहुपद अभिव्यक्ति एक अभिव्यक्ति है जो अदिश (K के तत्व), अनिश्चित, और गैर-नकारात्मक पूर्णांक शक्तियों के अलावा, गुणा और घातांक के ऑपरेटरों के साथ बनाई गई है।

जैसा कि इन सभी संक्रियाओं को में परिभाषित किया गया है एक बहुपद अभिव्यक्ति एक बहुपद का प्रतिनिधित्व करती है, जो कि एक तत्व है एकपदी के रैखिक संयोजन के रूप में एक बहुपद की परिभाषा एक विशेष बहुपद अभिव्यक्ति है, जिसे अधिकांशतः विहित रूप कहा जाता है, बहुपद का सामान्य रूप, या विस्तारित रूप एक बहुपद अभिव्यक्ति को देखते हुए, कोई व्यक्ति अपने कारकों के बीच योग वाले सभी उत्पादों को वितरण नियम के साथ विस्तारित करके प्रतिनिधित्व बहुपद के विस्तारित रूप की गणना कर सकता है, और फिर परिवर्तनशीलता (दो स्केलर के उत्पाद को छोड़कर) और परिवर्तन के लिए सहयोगीता का उपयोग कर सकता है एक अदिश और एकपदी के उत्पादों में परिणामी योग की शर्तें; फिर समान पदों को पुनः समूहित करके विहित रूप प्राप्त किया जाता है।

एक बहुपद अभिव्यक्ति और जिस बहुपद का प्रतिनिधित्व करता है उसके बीच अंतर अपेक्षाकृत वर्तमान ही में हुआ है, और मुख्य रूप से कंप्यूटर बीजगणित के उदय से प्रेरित है, जहां, उदाहरण के लिए, यह परीक्षण कि क्या दो बहुपद अभिव्यक्ति ही बहुपद का प्रतिनिधित्व करते हैं, गैर-तुच्छ गणना हो सकती है।

श्रेणीबद्ध लक्षण वर्णन

यदि K क्रमविनिमेय वलय है, बहुपद वलय K[X1, …, Xn] में निम्नलिखित सार्वभौमिक गुण है: प्रत्येक क्रमविनिमेय बीजगणित (संरचना) के लिए|अनुविनिमेय K-बीजगणित A, और हर n-ट्यूपल (x1, …, xn) के तत्वों का A, से अद्वितीय बीजगणित समरूपता है K[X1, …, Xn] को A जो प्रत्येक को मैप करता है संबंधित को यह समरूपता मूल्यांकन समरूपता है जिसमें प्रतिस्थापन सम्मिलित है साथ प्रत्येक बहुपद में.

जैसा कि प्रत्येक सार्वभौमिक गुण के स्थितियों में होता है, यह युग्म को एक अद्वितीय समरूपता तक चित्रित करता है।

इसकी व्याख्या सहायक फ़ंक्शनलर्स के संदर्भ में भी की जा सकती है। अधिक स्पष्ट रूप से, मान लें कि SETऔर ALG क्रमशः सेट और क्रमविनिमेय K-बीजगणित की श्रेणियां हैं (यहां, और निम्नलिखित में, रूपवाद को तुच्छ रूप से परिभाषित किया गया है)। एक अन्यमनस्क कारक है जो बीजगणित को उनके अंतर्निहित सेटों पर मैप करता है। दूसरी ओर, मानचित्र दूसरी दिशा में कारक को परिभाषित करता है। (यदि X अनंत है, तो K[X], X के तत्वों की एक सीमित संख्या में सभी बहुपदों का समुच्चय है।)

बहुपद वलय के सार्वभौमिक गुण का अर्थ है कि F और POL सहायक कारक हैं। अर्थात आपत्ति है

इसे यह कहकर भी व्यक्त किया जा सकता है कि बहुपद वलय स्वतंत्र क्रमविनिमेय बीजगणित हैं, क्योंकि वे क्रमविनिमेय बीजगणित की श्रेणी में स्वतंत्र वस्तुएँ हैं। इसी प्रकार, पूर्णांक गुणांकों वाला बहुपद वलय इसके चरों के समुच्चय पर मुक्त क्रमविनिमेय वलय है, क्योंकि पूर्णांकों पर क्रमविनिमेय वलय और क्रमविनिमेय बीजगणित ही चीज़ हैं।

श्रेणीबद्ध संरचना

एक वलय पर यूनीवेरिएट बनाम मल्टीवेरिएट

में एक बहुपद को वलय के ऊपर अनिश्चित में एक अविभाज्य बहुपद के रूप में माना जा सकता है, जिसमें उन शब्दों को फिर से समूहित किया जाता है जिनमें की समान शक्ति होती है, अथार्त पहचान का उपयोग करते है

जो वलय ऑपरेशंस की वितरणशीलता और साहचर्यता के परिणामस्वरूप होता है।

इसका कारण यह है कि किसी के पास बीजगणित समरूपता है

जो प्रत्येक को अपने लिए अनिश्चित मानचित्रित करता है। (इस समरूपता को अधिकांशतः समानता के रूप में लिखा जाता है, जो इस तथ्य से उचित है कि बहुपद वलय अद्वितीय समरूपता तक परिभाषित होते हैं।)

दूसरे शब्दों में, बहुभिन्नरूपी बहुपद वलय को छोटे बहुपद वलय के ऊपर अविभाज्य बहुपद माना जा सकता है। इसका उपयोग सामान्यतः अनिश्चितों की संख्या पर गणितीय प्रेरण द्वारा बहुभिन्नरूपी बहुपद वलय ों के गुणों को सिद्ध करने के लिए किया जाता है।

ऐसी मुख्य संपत्तियाँ नीचे सूचीबद्ध हैं।

गुण जो से गुजरते हैं R को R[X]

इस अनुभाग में, R एक क्रमविनिमेय वलय है, K एक फ़ील्ड है, X एकल अनिश्चित को दर्शाता है, और, सदैव की तरह, पूर्णांकों का वलय है। यहां मुख्य वलय गुणों की सूची दी गई है जो R से R[X] तक जाने पर सत्य बने रहते हैं।

  • यदि R अभिन्न डोमेन है तो वही बात प्रयुक्त होती है R[X] (चूंकि बहुपदों के उत्पाद का अग्रणी गुणांक, यदि शून्य नहीं है, तो कारकों के अग्रणी गुणांक का उत्पाद है)।
    • विशेष रूप से, और अभिन्न डोमेन हैं.
  • यदि R अद्वितीय गुणनखंडन डोमेन है तो वही बात R[X] प्रयुक्त होती है यह गॉस की लेम्मा (बहुपद)| गॉस की लेम्मा और अद्वितीय गुणनखंड गुण का परिणाम है जहाँ L के भिन्नों का क्षेत्र R है .
    • विशेष रूप से, और अद्वितीय गुणनखंडन डोमेन हैं।
  • यदि R नोथेरियन वलय है, तो वही बात R[X] प्रयुक्त होती है .
    • विशेष रूप से, और नोथेरियन वलय हैं; यह हिल्बर्ट का आधार प्रमेय है।
  • यदि R तो फिर, नोथेरियन वलय है जहाँ क्रुल आयाम को दर्शाता है।
    • विशेष रूप से, और
  • यदि R एक नियमित वलय है, तो R[X] के लिए भी यही बात प्रयुक्त होती है; इस स्थितियों में, किसी के पास है
    जहाँ वैश्विक आयाम को दर्शाता है.
    • विशेष रूप से, और नियमित वलय हैं, और बाद वाली समानता हिल्बर्ट की सहजीवन प्रमेय है।

एक क्षेत्र पर कई अनिश्चितताएँ

एक क्षेत्र में कई चरों में बहुपद वलय अपरिवर्तनीय सिद्धांत और बीजगणितीय ज्यामिति में मौलिक हैं। उनके कुछ गुण, जैसे कि ऊपर वर्णित हैं, को एकल अनिश्चित के स्थितियों में कम किया जा सकता है, किन्तु यह सदैव स्थितिया नहीं होता है। विशेष रूप से, ज्यामितीय अनुप्रयोगों के कारण, कई रोचक गुण एफ़िन परिवर्तन या अनिश्चित के प्रक्षेप्य परिवर्तन ट्रांसफ़ॉर्मेशन के अनुसार अपरिवर्तनीय होने चाहिए। इसका अर्थ अधिकांशतः यह होता है कि कोई अनिश्चित पर पुनरावृत्ति के लिए अनिश्चित में से किसी का चयन नहीं कर सकता है।

बेज़ाउट का प्रमेय, हिल्बर्ट का नलस्टेलेंसत्ज़ और जैकोबियन अनुमान सबसे प्रसिद्ध गुणों में से हैं जो क्षेत्र में बहुभिन्नरूपी बहुपदों के लिए विशिष्ट हैं।

हिल्बर्ट का मूल प्रमेय

नलस्टेलेनसैट्ज़(शून्य-लोकस प्रमेय के लिए जर्मन) प्रमेय है, जिसे सबसे पहले डेविड हिल्बर्ट ने सिद्ध किया था, जो बीजगणित के मौलिक प्रमेय के कुछ पहलुओं को बहुभिन्नरूपी स्थितियों तक विस्तारित करता है। यह बीजगणितीय ज्यामिति के लिए मूलभूत है, क्योंकि यह बीजगणितीय गुणों के बीच शक्तिशाली संबंध स्थापित करता है और बीजगणितीय किस्मों के ज्यामितीय गुण, जो (मोटे रूप पर कहें तो) अंतर्निहित समीकरण द्वारा परिभाषित बिंदुओं का समूह हैं।

नलस्टेलेनसैट्ज़के तीन मुख्य संस्करण हैं, जिनमें से प्रत्येक किसी अन्य का परिणाम है। इनमें से दो संस्करण नीचे दिए गए हैं। तीसरे संस्करण के लिए, पाठक को नलस्टेलेनसैट्ज़पर मुख्य लेख का संदर्भ दिया जाता है।

पहला संस्करण इस तथ्य को सामान्यीकृत करता है कि एक गैर-शून्य अविभाज्य बहुपद में एक जटिल शून्य होता है यदि और केवल यदि यह एक स्थिरांक नहीं है। कथन है: में बहुपद S के एक सेट में K वाले बीजगणितीय रूप से बंद क्षेत्र में एक सामान्य शून्य होता है, यदि और केवल यदि 1, S द्वारा उत्पन्न आदर्श से संबंधित नहीं है, अर्थात, यदि 1 एक रैखिक बहुपद गुणांक वाले S के तत्वों का संयोजन नहीं है।

दूसरा संस्करण इस तथ्य को सामान्यीकृत करता है कि जटिल संख्याओं पर अप्रासंगिक बहुपद रूप के बहुपद के सहयोगी तत्व हैं कथन है: यदि K बीजगणितीय रूप से बंद है, तो अधिकतम आदर्श का रूप है


बेज़ौट का प्रमेय

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

द्विचर बहुपद के स्थितियों में, यह कहा गया है कि डिग्री के दो बहुपद d और e दो चर में, जिनमें सकारात्मक डिग्री का कोई सामान्य कारक नहीं है, बिल्कुल है बीजगणितीय रूप से बंद क्षेत्र में सामान्य de शून्य जिसमें गुणांक होते हैं, यदि शून्य को उनकी बहुलता के साथ गिना जाता है और अनंत पर बिंदु सम्मिलित होता है।

सामान्य स्थितियों को बताने के लिए, और अनंत पर शून्य को विशेष शून्य नहीं मानने के लिए, सजातीय बहुपदों के साथ काम करना और प्रक्षेप्य स्थान में शून्य पर विचार करना सुविधाजनक है। इस संदर्भ में, सजातीय बहुपद का प्रक्षेप्य शून्य है, स्केलिंग तक, (n + 1)-ट्यूपल के तत्वों का K वह अलग है (0, …, 0), और ऐसा कि . यहाँ, स्केलिंग तक का कारण है और किसी भी अशून्य के लिए समान शून्य माना जाता है कि दूसरे शब्दों में, शून्य आयाम n के प्रक्षेप्य स्थान में बिंदु के सजातीय निर्देशांक का समुच्चय है .

फिर, बेज़ाउट के प्रमेय में कहा गया है: n + 1 अनिश्चित में डिग्री के n सजातीय बहुपद दिए गए हैं, जिनमें K के बीजगणितीय रूप से बंद विस्तार में सामान्य प्रक्षेप्य शून्य की केवल एक सीमित संख्या है, योग इन शून्यों की बहुलता का गुणनफल है।

जैकोबियन अनुमान

सामान्यीकरण

बहुपद वलय को कई विधियों से सामान्यीकृत किया जा सकता है, जिसमें सामान्यीकृत घातांक के साथ बहुपद वलय, शक्ति श्रृंखला वलय, गैर-अनुवांशिक बहुपद वलय, तिरछा बहुपद वलय और बहुपद रिग (गणित) सम्मिलित हैं।

अनंत अनेक चर

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

एक सामान्यीकृत बहुपद के रूप में परिबद्ध डिग्री के साथ एकपदी के अनंत (या परिमित) औपचारिक योग को परिभाषित करके सख्ती से बड़ी वलय पर भी विचार किया जा सकता है। यह वलय सामान्य बहुपद वलय से बड़ा है, क्योंकि इसमें चरों का अनंत योग सम्मिलित है। चूंकि यह कई वेरिएबल्स में पावर श्रेणी वलय या पावर श्रेणी से छोटा है। ऐसी वलय का उपयोग अनंत समुच्चय पर सममित कार्यों की वलय के निर्माण के लिए किया जाता है।

सामान्यीकृत घातांक

एक साधारण सामान्यीकरण केवल उस समुच्चय को बदलता है जिससे चर पर घातांक निकाले जाते हैं। जोड़ और गुणा के सूत्र तभी तक सार्थक हैं जब तक कोई घातांक जोड़ सके: XiXj = Xi+j. समुच्चय जिसके लिए जोड़ समझ में आता है (बंद और सहयोगी है) को मोनॉयड कहा जाता है। मोनॉयड एन से वलय आर तक कार्यों का समुच्चय जो केवल सीमित रूप से कई स्थानों पर गैर-शून्य है, उसे आर [एन] के रूप में ज्ञात वलय की संरचना दी जा सकती है, आर में गुणांक के साथ एन की 'मोनोइड वलय ' जोड़ है घटक-वार परिभाषित, जिससे यदि c = a + b, तब cn = an + bn एन में प्रत्येक एन के लिए। गुणन को कॉची उत्पाद के रूप में परिभाषित किया गया है, जिससे यदि c = ab, फिर एन, सी में प्रत्येक एन के लिएn सभी का योग है aibj जहां i, j का सीमा N के तत्वों के सभी युग्मों पर होता है जिनका योग n होता है।

जब N क्रमविनिमेय है, तो फलन a को R[N] में औपचारिक योग के रूप में निरूपित करना सुविधाजनक है:

और फिर जोड़ और गुणा के सूत्र परिचित हैं:

और

जहां बाद वाले योग को N में सभी i, j पर लिया जाता है, जो कि n का योग है।

कुछ लेखक जैसे (Lang 2002, II,§3) इस मोनॉइड परिभाषा को प्रारंभिक बिंदु के रूप में लेने के लिए यहां तक ​​​​जाएं, और नियमित एकल चर बहुपद विशेष स्थितियों हैं जहां एन गैर-नकारात्मक पूर्णांकों का मोनॉइड है। अनेक चरों वाले बहुपदों में N को गैर-नकारात्मक पूर्णांकों के मोनॉइड की कई प्रतियों का प्रत्यक्ष उत्पाद माना जाता है।

N को गैर-ऋणात्मक परिमेय संख्याओं का योगात्मक मोनोइड मानकर वलयों और समूहों के कई रोचक उदाहरण बनाए जाते हैं, (Osbourne 2000, §4.4). पुइसेक्स श्रृंखला भी देखें।

शक्ति श्रृंखला

पावर श्रृंखला अनंत रूप से कई गैर-शून्य शब्दों की अनुमति देकर घातांक की पसंद को अलग दिशा में सामान्यीकृत करती है। इसके लिए घातांक के लिए उपयोग किए जाने वाले मोनॉइड N पर विभिन्न परिकल्पनाओं की आवश्यकता होती है, जिससे यह सुनिश्चित किया जा सके कि कॉची उत्पाद में योग सीमित योग हैं। वैकल्पिक रूप से, टोपोलॉजी को वलय पर रखा जा सकता है, और फिर टोपोलॉजी को अभिसरण अनंत रकम तक सीमित कर दिया जाता है। N की मानक पसंद के लिए, गैर-नकारात्मक पूर्णांक, कोई परेशानी नहीं है, और औपचारिक शक्ति श्रृंखला की वलय को घटक-वार जोड़ के साथ N से वलय आर तक कार्यों के समुच्चय के रूप में परिभाषित किया गया है, और कॉची x द्वारा दिया गया गुणन है। उत्पाद। घात श्रृंखला के वलय को उत्पन्न आदर्श के संबंध में बहुपद वलय के वलय के समापन के रूप में भी देखा जा सकता है

गैर क्रमविनिमेय बहुपद वलय

एक से अधिक चर वाले बहुपद वलय के लिए, उत्पाद X⋅Y और Y⋅X को बस समान के रूप में परिभाषित किया गया है। बहुपद वलय की अधिक सामान्य धारणा तब प्राप्त होती है जब इन दो औपचारिक उत्पादों के बीच अंतर बनाए रखा जाता है। औपचारिक रूप से, वलय आर में गुणांक के साथ एन नॉनकम्यूटिंग वेरिएबल्स में बहुपद वलय मोनोइड वलय R[N] है, जहां मोनॉइड एन एन अक्षरों पर मुक्त मोनोइड है, जिसे एन प्रतीकों के वर्णमाला पर सभी स्ट्वलय के समुच्चय के रूप में भी जाना जाता है। संयोजन द्वारा दिए गए गुणन के साथ न तो गुणांकों और न ही चरों को आपस में परिवर्तन की आवश्यकता होती है, किन्तु गुणांक और चर दूसरे के साथ परिवर्तनशील होते हैं।

जिस प्रकार क्रमविनिमय वलय R में गुणांकों के साथ n चरों में बहुपद वलय, रैंक n का मुक्त क्रमविनिमेय R-बीजगणित है, उसी प्रकार क्रमविनिमेय वलय R में गुणांकों के साथ n चरों में गैर-अनुक्रमिक बहुपद वलय, मुक्त साहचर्य, एकात्मक R-बीजगणित है। n जेनरेटर, जो n > 1 होने पर गैर-अनुवांशिक होता है।

विभेदक और तिरछा-बहुपद वलय

बहुपदों के अन्य सामान्यीकरण विभेदक और तिरछे-बहुपद वलय हैं।

एक विभेदक बहुपद वलय वलय R और R के δ से R की व्युत्पत्ति (अमूर्त बीजगणित) δ से निर्मित विभेदक संचालकों का वलय है। यह व्युत्पत्ति R पर संचालित होती है, और ऑपरेटर के रूप में देखे जाने पर इसे एक्स दर्शाया जाएगा। R के तत्व गुणन द्वारा R पर भी कार्य करते हैं। फलन संरचना को सामान्य गुणन के रूप में दर्शाया गया है। यह इस प्रकार है कि संबंध δ(ab) = (b) + δ(a)b पुनः लिखा जा सकता है

जैसा

इस संबंध को R में गुणांक वाले एक्स में दो बहुपदों के बीच विषम गुणन को परिभाषित करने के लिए बढ़ाया जा सकता है, जो उन्हें गैर-अनुवांशिक वलय बनाता है।

मानक उदाहरण, जिसे वेइल बीजगणित कहा जाता है, R को (सामान्य) बहुपद वलय k[Y ] मानता है, और δ को मानक बहुपद व्युत्पन्न मानता है उपरोक्त संबंध में a = Y लेने पर, विहित रूपान्तरण संबंध प्राप्त होता है, X⋅Y − Y⋅X = 1. साहचर्यता और वितरण द्वारा इस संबंध को विस्तारित करने से स्पष्ट रूप से वेइल बीजगणित का निर्माण करने की अनुमति मिलती है। (Lam 2001, §1,ex1.9).

तिरछा-बहुपद वलय को R और R के वलय एंडोमोर्फिज्म f के लिए समान रूप से परिभाषित किया गया है, संबंध Xr = f(r)⋅X से गुणन का विस्तार करके साहचर्य गुणन उत्पन्न करने के लिए जो मानक जोड़ पर वितरित होता है। अधिक सामान्यतः धनात्मक पूर्णांकों के मोनॉइड N से R के एंडोमोर्फिज्म वलय में होमोमोर्फिज्म एफ दिया जाता है, सूत्र Xnr = F(n)(r)⋅Xn तिरछा-बहुपद वलय बनाने की अनुमति देता है। (Lam 2001, §1,ex 1.11) तिरछा बहुपद वलय क्रॉस उत्पाद बीजगणित से निकटता से संबंधित हैं।

बहुपद रिग

एक बहुपद वलय की परिभाषा को इस आवश्यकता को शिथिल करके सामान्यीकृत किया जा सकता है कि बीजगणितीय संरचना आर क्षेत्र (गणित) या वलय (गणित) है, इस आवश्यकता के लिए कि आर केवल अर्धक्षेत्र या रिग (गणित) है; परिणामी बहुपद संरचना/विस्तार R[X] 'बहुपद रिग' है। उदाहरण के लिए, प्राकृतिक संख्या गुणांक वाले सभी बहुभिन्नरूपी बहुपदों का समुच्चय बहुपद रिग है।

यह भी देखें

संदर्भ

  1. Herstein 1975, p. 153
  2. Herstein, Hall p. 73
  3. Lang 2002, p. 97
  4. Herstein 1975, p. 154
  5. Lang 2002, p. 100
  6. Anton, Howard; Bivens, Irl C.; Davis, Stephen (2012), Calculus Single Variable, Wiley, p. 31, ISBN 9780470647707.
  7. Sendra, J. Rafael; Winkler, Franz; Pérez-Diaz, Sonia (2007), Rational Algebraic Curves: A Computer Algebra Approach, Algorithms and Computation in Mathematics, vol. 22, Springer, p. 250, ISBN 9783540737247.
  8. Eves, Howard Whitley (1980), Elementary Matrix Theory, Dover, p. 183, ISBN 9780486150277.
  9. Herstein 1975, pp. 155, 162
  10. Herstein 1975, p. 162
  11. Knapp, Anthony W. (2006), Basic Algebra, Birkhäuser, p. 121.
  12. Fröhlich, A.; Shepherson, J. C. (1955), "On the factorisation of polynomials in a finite number of steps", Mathematische Zeitschrift, 62 (1): 331–334, doi:10.1007/BF01180640, ISSN 0025-5874, S2CID 119955899