न्यूनतम बहुपद (क्षेत्र सिद्धांत): Difference between revisions

Revision as of 14:56, 15 February 2023

क्षेत्र सिद्धांत में, गणित की एक शाखा, क्षेत्र विस्तार के एक तत्व α का न्यूनतम बहुपद, क्षेत्र में गुणांक वाले सबसे कम डिग्री का बहुपद है, जैसे कि α बहुपद की जड़ है। यदि α का न्यूनतम बहुपद मौजूद है, तो यह अद्वितीय है। बहुपद में उच्चतम घात पद का गुणांक 1 होना आवश्यक है।

अधिक औपचारिक रूप से, एक न्यूनतम बहुपद को क्षेत्र विस्तार E/F और विस्तार क्षेत्र E/F के एक तत्व के सापेक्ष परिभाषित किया जाता है। किसी तत्व का न्यूनतम बहुपद, यदि वह मौजूद है, F [x] का एक सदस्य है, चर x में बहुपदों का वृत्त F में गुणांक के साथ है। E के एक तत्व α को देखते हुए, Jα को F[x] में सभी बहुपदों f(x) का श्रेणी होने दें, जैसे कि f(α) = 0। तत्व α को Jα में प्रत्येक बहुपद का मूल या शून्य कहा जाता है

अधिक विशेष रूप से, Jα F [x] से E तक वृत्त समरूपता का आधार है जो बहुपद g को तत्व α पर उनके मान g (α) में भेजता है। क्योंकि यह एक वृत्त समरूपता का आधार है, Jα बहुपद वलय F [x] का एक आदर्श बहुपद जोड़ और घटाव (शून्य बहुपद युक्त) के साथ-साथ F के तत्वों द्वारा गुणन के संकुचित कम है (जो अदिश गुणन है यदि F [x] को F पर एक सदिश स्थान माना जाता है)।

शून्य बहुपद, जिसके सभी गुणांक 0 हैं, प्रत्येक Jα में है क्योंकि सभी α और i के लिए 0αi = 0 है। यह α के विभिन्न मानों को प्रकारों में वर्गीकृत करने के लिए शून्य बहुपद को निष्फल बनाता है, इसलिए इसे छोड़ दिया जाता है। यदि Jα में कोई शून्येतर बहुपद हैं, अर्थात यदि उत्तरार्द्ध शून्य आदर्श नहीं है, तो α को F पर एक बीजगणितीय तत्व कहा जाता है, और Jα में कम से कम डिग्री का एक मोनिक बहुपद मौजूद है। यह E/F के सन्दर्भ में α का न्यूनतम बहुपद है। यह F पर अद्वितीय और अलघुकरणीय है। यदि शून्य बहुपद Jα का एकमात्र सदस्य है, तो α को F पर अनुवांशिक तत्व कहा जाता है और E/F के संबंध में कोई न्यूनतम बहुपद नहीं है।

क्षेत्र विस्तार के निर्माण और विश्लेषण के लिए न्यूनतम बहुपद उपयोगी होते हैं। जब α न्यूनतम बहुपद f(x) के साथ बीजगणितीय होता है, तो सबसे छोटा क्षेत्र जिसमें F और α दोनों सम्मिलित होते हैं, भागफल वलय F[x]/⟨f(x)⟩ के लिए समरूप होता है, जहां ⟨f(x)⟩ का आदर्श है F[x] f(x) द्वारा उत्पन्न। संयुग्मी तत्वों को परिभाषित करने के लिए न्यूनतम बहुपद का भी उपयोग किया जाता है।

परिभाषा

मान लीजिए E/F एक क्षेत्र विस्तार है, α E का एक अवयव है, और F[x] x के ऊपर F में बहुपदों का वलय है। तत्व α का एक न्यूनतम बहुपद होता है जब α F पर बीजगणितीय होता है, अर्थात, जब F[x] में कुछ शून्येतर बहुपद f(x) के लिए f(α) = 0 होता है। तब α के न्यूनतम बहुपद को F [x] में सभी बहुपदों के बीच कम से कम डिग्री के मोनिक बहुपद के रूप में परिभाषित किया जाता है जिसमें α एक जड़ के रूप में होता है।

गुण

इस पूरे खंड में, मान लीजिए कि E/F उपरोक्त के अनुसार F पर एक क्षेत्र विस्तार है, मान लीजिए α ∈ E, F पर एक बीजगणितीय तत्व है और Jα को α पर लुप्त होने वाले बहुपदों का आदर्श मान लीजिए।

विशिष्टता

α का न्यूनतम बहुपद f अद्वितीय है।

इसे सिद्ध करने के लिए, मान लीजिए कि न्यूनतम घात n > 0 के Jα में f और g एकात्मक बहुपद हैं। हमारे पास r := f−g ∈ Jα है (क्योंकि अनुवर्ती जोड़/घटाव के संकुचित कम है) और वह m := deg(r) < n (क्योंकि बहुपद एक ही डिग्री के मोनिक हैं)। यदि आर शून्य नहीं है, तो आर / सेमी (आर में उच्चतम डिग्री के शून्येतर गुणांक के लिए सेमी ∈ एफ लिखना) डिग्री एम <एन का एक मोनिक बहुपद है जैसे कि आर / सेमी ∈ जेए (क्योंकि उत्तरार्द्ध के संकुचित कम है गुणन/विभाजन एफ के शून्येतर तत्वों द्वारा), जो एन के लिए न्यूनतमता की हमारी मूल धारणा के विपरीत है। हम यह निष्कर्ष निकालते हैं कि 0 = r = f - g, यानी कि f = g।

अपरिवर्तनीयता

α का न्यूनतम बहुपद f अप्रासंगिक है, अर्थात इसे दो बहुपदों g और h के दृढता से कम डिग्री के लिए f = gh के रूप में कारक नहीं बनाया जा सकता है।

इसे सिद्ध करने के लिए, पहले देखें कि कोई भी गुणनखंडन f = gh का तात्पर्य है कि या तो g(α) = 0 या h(α) = 0, क्योंकि f(α) = 0 और F एक क्षेत्र है (इसलिए एक अभिन्न क्षेत्र भी है)। जी और एच दोनों को एफ दृढता से कम डिग्री का चयन करना तब एफ पर न्यूनतम आवश्यकता का खंडन करेगा, इसलिए एफ को अप्रासंगिक होना चाहिए।

न्यूनतम बहुपद जे उत्पन्न करता है_α

α का न्यूनतम बहुपद f आदर्श Jα उत्पन्न करता है, अर्थात Jα में प्रत्येक g को F[x] में कुछ h' के लिए g=fh के रूप में गुणनखंडित किया जा सकता है।

यह सिद्ध करने के लिए, यह निरीक्षण करना पर्याप्त है कि F[x] एक प्रमुख आदर्श क्षेत्र है, क्योंकि F एक क्षेत्र है: इसका अर्थ है कि F[x] में प्रत्येक आदर्श I उनमें से Jα, एक तत्व f द्वारा उत्पन्न होता है। शून्य आदर्श I = {0} के अपवाद के साथ, उत्पादक वस्तु f को शून्येतर होना चाहिए और यह न्यूनतम डिग्री का अद्वितीय बहुपद होना चाहिए, F में एक कारक तक (क्योंकि fg की डिग्री दृढता से उससे बड़ी है) f जब भी g शून्य से अधिक डिग्री का हो। विशेष रूप से, एक अद्वितीय मोनिक उत्पादक वस्तु f है, और सभी उत्पादक वस्तु को अलघुकरणीय होना चाहिए। जब I को F पर α बीजगणितीय के लिए Jα चुना जाता है, तो मोनिक जनरेटर f α का न्यूनतम बहुपद होता है।

उदाहरण

गाल्वा क्षेत्र विस्तार का न्यूनतम बहुपद

गाल्वा क्षेत्र विस्तार दिया गया है $L/K$ किसी का न्यूनतम बहुपद कोई $\alpha \in L$ के अंदर $K$ के रूप में गणना नही की जा सकती है

$f(x)=\prod _{\sigma \in {\text{Gal}}(L/K)}(x-\sigma (\alpha ))$

अगर $\alpha$ गैलोज क्रिया में कोई स्थिरक नहीं है। चूँकि यह अप्रासंगिक है, जिसकी जड़ों को देखकर इसका अनुमान लगाया जा सकता है $f'$ , यह न्यूनतम बहुपद है। ध्यान दें कि उसी प्रकार का सूत्र प्रतिस्थापित करके पाया जा सकता है $G={\text{Gal}}(L/K)$ साथ $G/N$ जहां $N={\text{Stab}}(\alpha )$ का स्थिरक समूह है $\alpha$ . उदाहरण के लिए, यदि $\alpha \in K$ तो इसका स्थिरक है $G$ , इसलिए $(x-\alpha )$ इसका न्यूनतम बहुपद है।

द्विघात क्षेत्र विस्तार

क्यू (√2)

यदि एफ = 'क्यू', ई = 'आर', α = √2, तो α के लिए न्यूनतम बहुपद a(x) = x² − 2 है। आधार क्षेत्र F महत्वपूर्ण है क्योंकि यह a(x) के गुणांकों की संभावनाओं को निर्धारित करता है। उदाहरण के लिए, यदि हम F = 'R' लेते हैं, तो α = √2 के लिए न्यूनतम बहुपद a(x) = x - √2 है।

क्यू (√d)

सामान्यता, वर्ग-मुक्त द्वारा दिए गए द्विघात विस्तार के लिए $d$ , किसी तत्व के न्यूनतम बहुपद की गणना करना $a+b{\sqrt {d}}$ गाल्वा सिद्धांत का उपयोग करके पाया जा सकता है। तब

${\begin{aligned}f(x)&=(x-(a+b{\sqrt {d}}))(x-(a-b{\sqrt {d}}))\\&=x^{2}-2ax+(a^{2}-b^{2}d)\end{aligned}}$

विशेष रूप से, इसका तात्पर्य है $2a\in \mathbb {Z}$ और $a^{2}-b^{2}d\in \mathbb {Z}$ . यह निर्धारित करने के लिए उपयोग किया जा सकता है ${\mathcal {O}}_{\mathbb {Q} ({\sqrt {d}})}$ मापांक अंकगणित का उपयोग करके संबंधों की एक श्रृंखला के माध्यम से।

द्विवर्गीय क्षेत्र विस्तार

यदि α = √2 + √3, तो Q[x] में न्यूनतम बहुपद a(x) = x⁴ − 10x² + 1 = (x - √2 − √3)(x + √2 − √3)(x - √2 + √3)(x + √2 + √3).

ध्यान दें यदि $\alpha ={\sqrt {2}}$ तब गाल्वा पर क्रिया ${\sqrt {3}}$ स्थिर $\alpha$ . अतः भागफल समूह का प्रयोग करके न्यूनतम बहुपद ज्ञात किया जा सकता है ${\text{Gal}}(\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})/\mathbb {Q} )/{\text{Gal}}(\mathbb {Q} ({\sqrt {3}})/\mathbb {Q} )$ .

एकता की जड़ें

एकता के मूलों के Q[x] में न्यूनतम बहुपद चक्रीय बहुपद हैं।

स्विनर्टन-डायर बहुपद

प्रथम n अभाज्य संख्याओं के वर्गमूलों के योग के Q[x] में न्यूनतम बहुपद समान रूप से निर्माण होता है, और इसे स्विनर्टन-डायर बहुपद कहा जाता है।

यह भी देखें

संदर्भ

Weisstein, Eric W. "Algebraic Number Minimal Polynomial". MathWorld.
Minimal polynomial at PlanetMath.
Pinter, Charles C. A Book of Abstract Algebra. Dover Books on Mathematics Series. Dover Publications, 2010, p. 270–273. ISBN 978-0-486-47417-5

@@ Line 1: / Line 1: @@
 {{Short description|Concept in abstract algebra}}
-{{for|the minimal polynomial of a matrix|Minimal polynomial (linear algebra)}}
+{{for|एक आव्यूह का न्यूनतम बहुपद|न्यूनतम बहुपद (रैखिक बीजगणित)}}
 क्षेत्र सिद्धांत में, गणित की एक शाखा, क्षेत्र विस्तार के एक तत्व α का न्यूनतम बहुपद, क्षेत्र में गुणांक वाले सबसे कम डिग्री का बहुपद है, जैसे कि α बहुपद की जड़ है। यदि α का न्यूनतम बहुपद मौजूद है, तो यह अद्वितीय है। बहुपद में उच्चतम घात पद का गुणांक 1 होना आवश्यक है।
 अधिक औपचारिक रूप से, एक न्यूनतम बहुपद को क्षेत्र विस्तार E/F और विस्तार क्षेत्र E/F के एक तत्व के सापेक्ष परिभाषित किया जाता है। किसी तत्व का न्यूनतम बहुपद, यदि वह मौजूद है, F [x] का एक सदस्य है, चर x में बहुपदों का वृत्त F में गुणांक के साथ है। E के एक तत्व α को देखते हुए, Jα को F[x] में सभी बहुपदों f(x) का श्रेणी होने दें, जैसे कि f(α) = 0। तत्व α को Jα में प्रत्येक बहुपद का मूल या शून्य कहा जाता है
-अधिक विशेष रूप से, Jα F [x] से E तक वृत्त समरूपता का आधार है जो बहुपद g को तत्व α पर उनके मान g (α) में भेजता है। क्योंकि यह एक वृत्त समरूपता का आधार है, Jα बहुपद वलय F [x] का एक आदर्श बहुपद जोड़ और घटाव (शून्य बहुपद युक्त) के साथ-साथ F के तत्वों द्वारा गुणन के तहत बंद है (जो अदिश गुणन है यदि F [x] को F पर एक सदिश स्थान माना जाता है)।
+अधिक विशेष रूप से, Jα F [x] से E तक वृत्त समरूपता का आधार है जो बहुपद g को तत्व α पर उनके मान g (α) में भेजता है। क्योंकि यह एक वृत्त समरूपता का आधार है, Jα बहुपद वलय F [x] का एक आदर्श बहुपद जोड़ और घटाव (शून्य बहुपद युक्त) के साथ-साथ F के तत्वों द्वारा गुणन के संकुचित कम है (जो अदिश गुणन है यदि F [x] को F पर एक सदिश स्थान माना जाता है)।
-शून्य बहुपद, जिसके सभी गुणांक 0 हैं, '''प्रत्येक''' में है {{math|''J''<sub>''&alpha;''</sub>}} तब से {{math|1=0''&alpha;''<sup>''i''</sup> = 0}} सभी के लिए {{math|''&alpha;''}} और {{math|''i''}}. यह शून्य बहुपद को के विभिन्न मानों को वर्गीकृत करने के लिए अनुपयोगी बनाता है {{math|''&alpha;''}} प्रकारों में, इसलिए यह अपेक्षित है। यदि कोई शून्येतर बहुपद है {{math|''J''<sub>''&alpha;''</sub>}}, यानी यदि उत्तरार्द्ध शून्य आदर्श नहीं है, तब {{math|''&alpha;''}} एक [[बीजगणितीय तत्व]] कहा जाता है {{math|''F''}}, और कम से कम डिग्री का एक [[मोनिक बहुपद]] मौजूद है {{math|''J''<sub>''&alpha;''</sub>}}. यह का न्यूनतम बहुपद है {{math|''&alpha;''}} इसके संबंध में {{math|''E''/''F''}}. यह अद्वितीय और [[अलघुकरणीय बहुपद]] है {{math|''F''}}. यदि शून्य बहुपद का एकमात्र सदस्य है {{math|''J''<sub>''&alpha;''</sub>}}, तब {{math|''&alpha;''}} [[पारलौकिक तत्व]] कहा जाता है {{math|''F''}} और के संबंध में कोई न्यूनतम बहुपद नहीं है {{math|''E''/''F''}}.
+शून्य बहुपद, जिसके सभी गुणांक 0 हैं, प्रत्येक Jα में है क्योंकि सभी α और i के लिए 0αi = 0 है। यह α के विभिन्न मानों को प्रकारों में वर्गीकृत करने के लिए शून्य बहुपद को निष्फल बनाता है, इसलिए इसे छोड़ दिया जाता है। यदि Jα में कोई  शून्येतर बहुपद हैं, अर्थात यदि उत्तरार्द्ध शून्य आदर्श नहीं है, तो α को F पर एक बीजगणितीय तत्व कहा जाता है, और Jα में कम से कम डिग्री का एक मोनिक बहुपद मौजूद है। यह E/F के सन्दर्भ में α का न्यूनतम बहुपद है। यह F पर अद्वितीय और अलघुकरणीय है। यदि शून्य बहुपद Jα का एकमात्र सदस्य है, तो α को F पर अनुवांशिक तत्व कहा जाता है और E/F के संबंध में कोई न्यूनतम बहुपद नहीं है।
-फ़ील्ड एक्सटेंशन के निर्माण और विश्लेषण के लिए न्यूनतम बहुपद उपयोगी होते हैं। कब {{math|''&alpha;''}} न्यूनतम बहुपद के साथ बीजगणितीय है {{math|''f''(''x'')}}, वह सबसे छोटा फ़ील्ड जिसमें दोनों शामिल हैं {{math|''F''}} और {{math|''&alpha;''}} भागफल वलय के लिए वलय समरूपता है {{math|''F''[''x'']/⟨''f''(''x'')⟩}}, कहाँ {{math|⟨''f''(''x'')⟩}} का आदर्श है {{math|''F''[''x'']}} द्वारा उत्पन्न {{math|''f''(''x'')}}. संयुग्मी तत्वों को परिभाषित करने के लिए न्यूनतम बहुपद का भी उपयोग किया जाता है।
+क्षेत्र विस्तार के निर्माण और विश्लेषण के लिए न्यूनतम बहुपद उपयोगी होते हैं। जब α न्यूनतम बहुपद f(x) के साथ बीजगणितीय होता है, तो सबसे छोटा क्षेत्र जिसमें F और α दोनों सम्मिलित होते हैं, भागफल वलय F[x]/⟨f(x)⟩ के लिए समरूप होता है,  जहां ⟨f(x)⟩ का आदर्श है F[x] f(x) द्वारा उत्पन्न। संयुग्मी तत्वों को परिभाषित करने के लिए न्यूनतम बहुपद का भी उपयोग किया जाता है।
 == परिभाषा ==
-मान लीजिए कि E/F एक क्षेत्र विस्तार है, α E का एक अवयव है, और F[x] x पर F में बहुपदों का वलय है। तत्व α का न्यूनतम बहुपद होता है जब α, F पर बीजगणितीय होता है, जब f(α) ) = 0 F[x] में कुछ गैर-शून्य बहुपद f(x) के लिए। फिर α के न्यूनतम बहुपद को F [x] में सभी बहुपदों के बीच कम से कम डिग्री के मोनिक बहुपद के रूप में परिभाषित किया जाता है जिसमें α एक जड़ के रूप में होता है।
+मान लीजिए E/F एक क्षेत्र विस्तार है, α E का एक अवयव है, और F[x] x के ऊपर F में बहुपदों का वलय है। तत्व α का एक न्यूनतम बहुपद होता है जब α F पर बीजगणितीय होता है, अर्थात, जब F[x] में कुछ शून्येतर बहुपद f(x) के लिए f(α) = 0 होता है। तब α के न्यूनतम बहुपद को F [x] में सभी बहुपदों के बीच कम से कम डिग्री के मोनिक बहुपद के रूप में परिभाषित किया जाता है जिसमें α एक जड़ के रूप में होता है।
 == गुण ==
-इस पूरे खंड में, मान लीजिए E/F ऊपर दिए अनुसार F पर एक क्षेत्र विस्तार है, मान लीजिए α ∈ E, F के ऊपर एक बीजगणितीय तत्व है और J को<sub>''α''</sub> α पर लुप्त होने वाले बहुपदों का आदर्श बनें।
+इस पूरे खंड में, मान लीजिए कि E/F उपरोक्त के अनुसार F पर एक क्षेत्र विस्तार है, मान लीजिए α ∈ E, F पर एक बीजगणितीय तत्व है और Jα को α पर लुप्त होने वाले बहुपदों का आदर्श मान लीजिए।
 === विशिष्टता ===
@@ Line 24: / Line 24: @@
 α का न्यूनतम बहुपद f अद्वितीय है।
-इसे सिद्ध करने के लिए, मान लीजिए कि J में f और g एकात्मक बहुपद हैं<sub>''α''</sub> न्यूनतम डिग्री n > 0. हमारे पास r := f−g ∈ J है<sub>''α''</sub> (क्योंकि बाद वाला जोड़/घटाव के तहत बंद है) और वह m := deg(r) < n (क्योंकि बहुपद एक ही डिग्री के मोनिक हैं)। यदि आर शून्य नहीं है, तो आर / सी<sub>''m''</sub> (लेखन सी<sub>''m''</sub> ∈ एफ आर में उच्चतम डिग्री के गैर-शून्य गुणांक के लिए) डिग्री एम <एन का एक मोनिक बहुपद है जैसे कि आर / सी<sub>''m''</sub> ∈ जे<sub>''α''</sub> (क्योंकि उत्तरार्द्ध एफ के गैर-शून्य तत्वों द्वारा गुणा/विभाजन के तहत बंद है), जो एन के लिए न्यूनतमता की हमारी मूल धारणा के विपरीत है। हम यह निष्कर्ष निकालते हैं कि 0 = r = f - g, यानी कि f = g।
+इसे सिद्ध करने के लिए, मान लीजिए कि न्यूनतम घात n > 0 के Jα में f और g एकात्मक बहुपद हैं। हमारे पास r := f−g ∈ Jα है (क्योंकि अनुवर्ती जोड़/घटाव के  संकुचित कम है) और वह m := deg(r) < n (क्योंकि बहुपद एक ही डिग्री के मोनिक हैं)। यदि आर शून्य नहीं है, तो आर / सेमी (आर में उच्चतम डिग्री के शून्येतर गुणांक के लिए सेमी ∈ एफ लिखना) डिग्री एम <एन का एक मोनिक बहुपद है जैसे कि आर / सेमी ∈ जेए (क्योंकि उत्तरार्द्ध के संकुचित कम है गुणन/विभाजन एफ के शून्येतर तत्वों द्वारा), जो एन के लिए न्यूनतमता की हमारी मूल धारणा के विपरीत है। हम यह निष्कर्ष निकालते हैं कि 0 = r = f - g, यानी कि f = g।
-=== इर्रेड्यूसबिलिटी ===
+=== अपरिवर्तनीयता ===
-α का न्यूनतम बहुपद f अप्रासंगिक है, अर्थात इसे दो बहुपदों g और h के सख्ती से कम डिग्री के लिए f = gh के रूप में कारक नहीं बनाया जा सकता है।
+α का न्यूनतम बहुपद f अप्रासंगिक है, अर्थात इसे दो बहुपदों g और h के दृढता से कम डिग्री के लिए f = gh के रूप में कारक नहीं बनाया जा सकता है।
-इसे सिद्ध करने के लिए, पहले देखें कि कोई भी गुणनखंडन f = gh का तात्पर्य है कि या तो g(α) = 0 या h(α) = 0, क्योंकि f(α) = 0 और F एक क्षेत्र है (इसलिए एक [[अभिन्न डोमेन]] भी है)। जी और एच दोनों को एफ से सख्ती से कम डिग्री का चयन करना तब एफ पर न्यूनतम आवश्यकता का खंडन करेगा, इसलिए एफ को अप्रासंगिक होना चाहिए।
+इसे सिद्ध करने के लिए, पहले देखें कि कोई भी गुणनखंडन f = gh का तात्पर्य है कि या तो g(α) = 0 या h(α) = 0, क्योंकि f(α) = 0 और F एक क्षेत्र है (इसलिए एक अभिन्न क्षेत्र भी है)। जी और एच दोनों को एफ दृढता से कम डिग्री का चयन करना तब एफ पर न्यूनतम आवश्यकता का खंडन करेगा, इसलिए एफ को अप्रासंगिक होना चाहिए।
 === न्यूनतम बहुपद जे उत्पन्न करता है<sub>''α''</sub> ===
-α का न्यूनतम बहुपद f आदर्श J उत्पन्न करता है<sub>''α''</sub>, यानी जे में हर जी<sub>''α''</sub> F[x] में कुछ h' के लिए g=fh के रूप में गुणनखण्ड किया जा सकता है।
+α का न्यूनतम बहुपद f आदर्श Jα उत्पन्न करता है, अर्थात Jα में प्रत्येक g को F[x] में कुछ h' के लिए g=fh के रूप में गुणनखंडित किया जा सकता है।
-यह साबित करने के लिए, यह निरीक्षण करना पर्याप्त है कि F[x] एक [[प्रमुख आदर्श डोमेन]] है, क्योंकि F एक क्षेत्र है: इसका मतलब है कि F[x], J में हर आदर्श I<sub>''α''</sub> उनमें से, एक तत्व f द्वारा उत्पन्न होता है। शून्य आदर्श I = {0} के अपवाद के साथ, जनरेटर f को गैर-शून्य होना चाहिए और यह न्यूनतम डिग्री का अद्वितीय बहुपद होना चाहिए, F में एक कारक तक (क्योंकि fg की डिग्री सख्ती से उससे बड़ी है) f जब भी g शून्य से अधिक डिग्री का हो)। विशेष रूप से, एक अद्वितीय मोनिक जनरेटर f है, और सभी जनरेटर को अलघुकरणीय होना चाहिए। जब मुझे J होने के लिए चुना जाता है<sub>''α''</sub>, एफ पर α बीजगणितीय के लिए, फिर मोनिक जेनरेटर एफ α का न्यूनतम बहुपद है।
+यह सिद्ध करने के लिए, यह निरीक्षण करना पर्याप्त है कि F[x] एक प्रमुख आदर्श क्षेत्र है, क्योंकि F एक क्षेत्र है: इसका अर्थ है कि F[x] में प्रत्येक आदर्श I उनमें से Jα, एक तत्व f द्वारा उत्पन्न होता है। शून्य आदर्श I = {0} के अपवाद के साथ, उत्पादक वस्तु f को शून्येतर होना चाहिए और यह न्यूनतम डिग्री का अद्वितीय बहुपद होना चाहिए, F में एक कारक तक (क्योंकि fg की डिग्री दृढता से उससे बड़ी है) f जब भी g शून्य से अधिक डिग्री का हो। विशेष रूप से, एक अद्वितीय मोनिक उत्पादक वस्तु f है, और सभी उत्पादक वस्तु को अलघुकरणीय होना चाहिए। जब I को F पर α बीजगणितीय के लिए Jα चुना जाता है, तो मोनिक जनरेटर f α का न्यूनतम बहुपद होता है।
 == उदाहरण ==
-=== गैल्वा क्षेत्र विस्तार का न्यूनतम बहुपद ===
+=== गाल्वा क्षेत्र विस्तार का न्यूनतम बहुपद ===
-गैलोज फील्ड एक्सटेंशन दिया गया है <math>L/K</math> किसी का न्यूनतम बहुपद <math>\alpha \in L</math> अंदर नही <math>K</math> <blockquote> के रूप में गणना की जा सकती है<math>f(x) = \prod_{\sigma \in \text{Gal}(L/K)} (x - \sigma(\alpha))</math></blockquote>अगर <math>\alpha</math> गैलोज कार्रवाई में कोई स्टेबलाइजर्स नहीं है। चूँकि यह अप्रासंगिक है, जिसकी जड़ों को देखकर इसका अनुमान लगाया जा सकता है <math>f'</math>, यह न्यूनतम बहुपद है। ध्यान दें कि उसी प्रकार का सूत्र प्रतिस्थापित करके पाया जा सकता है <math>G = \text{Gal}(L/K)</math> साथ <math>G/N</math> कहाँ <math>N = \text{Stab}(\alpha)</math> का स्टेबलाइजर समूह है <math>\alpha</math>. उदाहरण के लिए, अगर <math>\alpha \in K</math> तो इसका स्टेबलाइजर है <math>G</math>, इस तरह <math>(x-\alpha)</math> इसका न्यूनतम बहुपद है।
+गाल्वा क्षेत्र विस्तार दिया गया है <math>L/K</math> किसी का न्यूनतम बहुपद कोई <math>\alpha \in L</math> के अंदर <math>K</math> के रूप में गणना नही की जा सकती है
+<math>f(x) = \prod_{\sigma \in \text{Gal}(L/K)} (x - \sigma(\alpha))</math>
+अगर <math>\alpha</math> गैलोज क्रिया में कोई  स्थिरक नहीं है। चूँकि यह अप्रासंगिक है, जिसकी जड़ों को देखकर इसका अनुमान लगाया जा सकता है <math>f'</math>, यह न्यूनतम बहुपद है। ध्यान दें कि उसी प्रकार का सूत्र प्रतिस्थापित करके पाया जा सकता है <math>G = \text{Gal}(L/K)</math> साथ <math>G/N</math> जहां <math>N = \text{Stab}(\alpha)</math> का स्थिरक समूह है <math>\alpha</math>. उदाहरण के लिए,  यदि <math>\alpha \in K</math> तो इसका स्थिरक है <math>G</math>, इसलिए <math>(x-\alpha)</math> इसका न्यूनतम बहुपद है।
 === द्विघात क्षेत्र विस्तार ===
 ==== क्यू ({{radic|2}}) ====
-अगर एफ = 'क्यू', ई = 'आर', α = {{radic|2}}, तो α के लिए न्यूनतम बहुपद a(x) = x है<sup>2</sup> − 2. आधार क्षेत्र F महत्वपूर्ण है क्योंकि यह a(x) के गुणांकों की संभावनाओं को निर्धारित करता है। उदाहरण के लिए, यदि हम F = 'R' लेते हैं, तो α = के लिए अल्पिष्ठ बहुपद {{radic|2}} a(x) = x - है {{radic|2}}.
+यदि एफ = 'क्यू', ई = 'आर', α = {{radic|2}}, तो α के लिए न्यूनतम बहुपद a(x) =  ''x''<sup>2</sup> − 2 है। आधार क्षेत्र F महत्वपूर्ण है क्योंकि यह a(x) के गुणांकों की संभावनाओं को निर्धारित करता है। उदाहरण के लिए, यदि हम F = 'R' लेते हैं, तो α = {{radic|2}} के लिए न्यूनतम बहुपद a(x) = x - {{radic|2}} है।
 ==== क्यू ({{radic|d}}) ====
-सामान्य तौर पर, वर्ग-मुक्त द्वारा दिए गए द्विघात विस्तार के लिए <math>d</math>, किसी तत्व के न्यूनतम बहुपद की गणना करना <math>a + b\sqrt{d}</math> गैलोज़ सिद्धांत का उपयोग करके पाया जा सकता है। फिर <ब्लॉककोट><math>\begin{align}
+सामान्यता, वर्ग-मुक्त द्वारा दिए गए द्विघात विस्तार के लिए <math>d</math>, किसी तत्व के न्यूनतम बहुपद की गणना करना <math>a + b\sqrt{d}</math> गाल्वा सिद्धांत का उपयोग करके पाया जा सकता है। तब
+<math>\begin{align}
 f(x) &= (x - (a+b\sqrt{d}))(x - (a - b\sqrt{d})) \\
 &= x^2 - 2ax + (a^2 - b^2d)
-\end{align}</math></blockquote>विशेष रूप से, इसका तात्पर्य है <math>2a \in \mathbb{Z}</math> और <math>a^2 - b^2d \in \mathbb{Z}</math>. यह निर्धारित करने के लिए इस्तेमाल किया जा सकता है <math>\mathcal{O}_{\mathbb{Q}(\sqrt{d})}</math> एक द्विघात पूर्णांक के माध्यम से#पूर्णांकों के वलय का निर्धारण।
+\end{align}</math>
+विशेष रूप से, इसका तात्पर्य है <math>2a \in \mathbb{Z}</math> और <math>a^2 - b^2d \in \mathbb{Z}</math>. यह निर्धारित करने के लिए उपयोग किया जा सकता है <math>\mathcal{O}_{\mathbb{Q}(\sqrt{d})}</math>  मापांक अंकगणित का उपयोग करके संबंधों की एक श्रृंखला के माध्यम से।
-=== द्विवर्गीय फ़ील्ड एक्सटेंशन ===
+=== द्विवर्गीय क्षेत्र विस्तार ===
-अगर α = {{radic|2}} + {{radic|3}}, तो Q[''x''] में न्यूनतम बहुपद ''a''(''x'') = ''x'' है<sup>4</sup> − 10x<sup>2</sup> + 1 = (x - {{radic|2}} −  {{radic|3}})(एक्स + {{radic|2}} − {{radic|3}})(एक्स - {{radic|2}} + {{radic|3}})(एक्स + {{radic|2}} + {{radic|3}}).
+यदि α = {{radic|2}} + {{radic|3}}, तो Q[''x''] में न्यूनतम बहुपद ''a''(''x'') = ''x''<sup>4</sup>  − 10x<sup>2</sup> + 1 = (x - {{radic|2}} −  {{radic|3}})(x + {{radic|2}} − {{radic|3}})(x - {{radic|2}} + {{radic|3}})(x + {{radic|2}} + {{radic|3}}).
-ध्यान दें अगर <math>\alpha = \sqrt{2}</math> फिर गाल्वा कार्रवाई चालू <math>\sqrt{3}</math> स्थिर <math>\alpha</math>. अतः भागफल समूह का प्रयोग करके न्यूनतम बहुपद ज्ञात किया जा सकता है <math>\text{Gal}(\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q})/\text{Gal}(\mathbb{Q}(\sqrt{3})/\mathbb{Q})</math>.
+ध्यान दें यदि  <math>\alpha = \sqrt{2}</math> तब गाल्वा पर क्रिया <math>\sqrt{3}</math> स्थिर <math>\alpha</math>. अतः भागफल समूह का प्रयोग करके न्यूनतम बहुपद ज्ञात किया जा सकता है <math>\text{Gal}(\mathbb{Q}(\sqrt{2},\sqrt{3})/\mathbb{Q})/\text{Gal}(\mathbb{Q}(\sqrt{3})/\mathbb{Q})</math>.
-=== [[एकता की जड़]]ें ===
+=== एकता की जड़ें ===
-एकता की जड़ के Q[''x''] में न्यूनतम बहुपद [[साइक्लोटोमिक बहुपद]] हैं।
+एकता के मूलों के Q[x] में न्यूनतम बहुपद  [[साइक्लोटोमिक बहुपद|चक्रीय बहुपद]]  हैं।
 === [[स्विनर्टन-डायर बहुपद]] ===
-प्रथम ''n'' अभाज्य संख्याओं के वर्गमूलों के योग के Q[''x''] में न्यूनतम बहुपद का समान रूप से निर्माण किया जाता है, और इसे स्विनर्टन-डायर बहुपद कहा जाता है।
+प्रथम ''n'' अभाज्य संख्याओं के वर्गमूलों के योग के Q[''x''] में न्यूनतम बहुपद समान रूप से निर्माण होता है, और इसे स्विनर्टन-डायर बहुपद कहा जाता है।
 == यह भी देखें ==
@@ Line 69: / Line 77: @@
 * [[पूर्णांकों का वलय]]
 * [[बीजगणितीय संख्या क्षेत्र]]
-* 2cos(2pi/n) का न्यूनतम बहुपद | का न्यूनतम बहुपद <math>2\cos(2\pi/n)</math>
+* न्यूनतम बहुपद का <math>2\cos(2\pi/n)</math>
 == संदर्भ ==

Anonymous

Search

न्यूनतम बहुपद (क्षेत्र सिद्धांत): Difference between revisions

Namespaces

More

Page actions

Revision as of 14:56, 15 February 2023

Contents

परिभाषा