विभाजन क्षेत्र: Difference between revisions
(Created page with "{{Short description|Field generated by all rupture-fields of a polynomial over a field}} {{about|the splitting field of a polynomial| the splitting field of a CSA|central simp...") |
No edit summary |
||
Line 1: | Line 1: | ||
{{Short description|Field generated by all rupture-fields of a polynomial over a field}} | {{Short description|Field generated by all rupture-fields of a polynomial over a field}} | ||
{{about| | {{about|बहुपद का विभाजन क्षेत्र|सीएसए का विभाजन क्षेत्र|केंद्रीय सरल बीजगणित}} | ||
[[अमूर्त बीजगणित]] में, किसी क्षेत्र | [[अमूर्त बीजगणित]] में, किसी क्षेत्र में गुणांक वाले [[बहुपद]] का विभाजन क्षेत्र उस क्षेत्र का सबसे छोटा क्षेत्र विस्तार होता है, जिस पर बहुपद ''विभाजित'' होता है, अर्थात, रैखिक कारकों में विघटित होता है। | ||
==परिभाषा== | ==परिभाषा== | ||
एक क्षेत्र ''K'' पर एक बहुपद ''p | एक क्षेत्र ''K'' पर एक बहुपद ''p(X)'' का विभाजन क्षेत्र ''K'' का एक क्षेत्र विस्तार ''L'' है, जिस पर ''p'' रैखिक कारकों में गुणनखंड करता है। | ||
:<math>p(X) = c\prod_{i=1}^{\deg(p)} (X - a_i)</math> | :<math>p(X) = c\prod_{i=1}^{\deg(p)} (X - a_i)</math> | ||
: | |||
:जहाँ <math>c\in K</math>और प्रत्येक i के लिए हमारे पास <math>X - a_i \in L[X]</math>विस्तार ''L'' तब ''K'' के ऊपर न्यूनतम डिग्री का विस्तार है जिसमें ''p'' विभाजित होता है। यह दिखाया जा सकता है कि ऐसे विभाजन क्षेत्र मौजूद हैं और आइसोमोर्फिज़्म तक अद्वितीय हैं। उस समरूपता में स्वतंत्रता की मात्रा को ''p'' के गैलोइस समूह के रूप में जाना जाता है (यदि हम मानते हैं कि यह अलग करने योग्य है)। | |||
==गुण== | ==गुण== | ||
एक | एक विस्तार ''L'' जो ''K'' के ऊपर बहुपद ''p(X)'' के समुच्चय के लिए एक विभाजक क्षेत्र है, ''K'' का सामान्य विस्तार कहलाता है। | ||
[[बीजगणितीय रूप से बंद फ़ील्ड]] A को देखते हुए, जिसमें K शामिल है, K और A के बीच p का एक अद्वितीय विभाजन | [[बीजगणितीय रूप से बंद फ़ील्ड|बीजगणितीय रूप से बंद क्षेत्र]] ''A'' को देखते हुए, जिसमें ''K'' शामिल है, ''K'' और ''A'' के बीच ''p'' का एक अद्वितीय विभाजन क्षेत्र ''L'' है, जो ''p'' की मूल द्वारा उत्पन्न होता है। यदि ''K'' सम्मिश्र संख्याओं का एक उपक्षेत्र है, तो अस्तित्व तत्काल है। दूसरी ओर, बीजीय समापन का अस्तित्व, सामान्य तौर पर, विभाजन क्षेत्र परिणाम से 'सीमा तक जाने' से सिद्ध होता है, इसलिए परिपत्र तर्क से बचने के लिए एक स्वतंत्र प्रमाण की आवश्यकता होती है। | ||
K के एक अलग करने योग्य विस्तार K' को देखते हुए, K' का | ''K'' के एक अलग करने योग्य विस्तार ''K'<nowiki/>'' को देखते हुए, ''K'<nowiki/>'' का एक गैलोज़ क्लोजर L एक प्रकार का विभाजन क्षेत्र है, और ''K'' का एक गैलोज़ विस्तार भी है जिसमें ''K'<nowiki/>'' शामिल है जो कि एक स्पष्ट अर्थ में न्यूनतम है। इस तरह के गैलोइस क्लोजर में ''K'' के ऊपर सभी बहुपद ''p'' के लिए एक विभाजन क्षेत्र होना चाहिए जो कि ''K''' के तत्वों के ''K'' के ऊपर न्यूनतम बहुपद हैं। | ||
==विभाजन क्षेत्रों का निर्माण== | ==विभाजन क्षेत्रों का निर्माण== | ||
===प्रेरणा=== | ===प्रेरणा=== | ||
प्राचीन यूनानियों के समय से ही बहुपदों के एक फलन का मूल खोजना एक महत्वपूर्ण समस्या रही है। हालाँकि, कुछ बहुपद, जैसे {{math|''x''<sup>2</sup> + 1}} ऊपर {{math|'''R'''}}, [[वास्तविक संख्या]]ओं का कोई मूल नहीं होता। ऐसे बहुपद के लिए विभाजन क्षेत्र का निर्माण करके कोई भी नए क्षेत्र में बहुपद की | प्राचीन यूनानियों के समय से ही बहुपदों के एक फलन का मूल खोजना एक महत्वपूर्ण समस्या रही है। हालाँकि, कुछ बहुपद, जैसे {{math|''x''<sup>2</sup> + 1}} ऊपर {{math|'''R'''}}, [[वास्तविक संख्या]]ओं का कोई मूल नहीं होता। ऐसे बहुपद के लिए विभाजन क्षेत्र का निर्माण करके कोई भी नए क्षेत्र में बहुपद की मूल पा सकता है। | ||
===निर्माण=== | ===निर्माण=== | ||
मान लीजिए कि F एक क्षेत्र है और p(X) एक बहुपद n की घात वाले [[बहुपद वलय]] F[X] में एक बहुपद है। K के निर्माण की सामान्य प्रक्रिया, F पर p(X) का विभाजन क्षेत्र, | मान लीजिए कि ''F'' एक क्षेत्र है और ''p(X)'' एक बहुपद ''n'' की घात वाले [[बहुपद वलय]] F[''X''] में एक बहुपद है। ''K'' के निर्माण की सामान्य प्रक्रिया, ''F'' पर ''p(X)'' का विभाजन क्षेत्र, क्षेत्र की एक श्रृंखला <math>F=K_0 \subset K_1 \subset \cdots \subset K_{r-1} \subset K_r=K</math>का निर्माण करना है। ऐसा कि Ki, Ki −1 का विस्तार है जिसमें p(X) का एक नया मूल है। चूंकि ''p(X)'' में अधिकतम ''n'' मूल हैं इसलिए निर्माण के लिए अधिकतम ''n'' एक्सटेंशन की आवश्यकता होगी। ''K<sub>i</sub>'' के निर्माण के चरण निम्नानुसार दिए गए हैं: | ||
* बहुपदों का गुणनखंडन | * बहुपदों का गुणनखंडन बीजगणितीय विस्तारों पर गुणनखंडन (ट्रेजर विधि) ''p''(''X'') ''K'' ऊपर<sub>i</sub>[[अघुलनशील बहुपद]] कारकों में <math>f_1(X)f_2(X) \cdots f_k(X)</math>. | ||
* कोई भी अरेखीय अघुलनशील कारक f(X) = f चुनें<sub>''i'' </sub>(एक्स)। | * कोई भी अरेखीय अघुलनशील कारक f(X) = f चुनें<sub>''i'' </sub>(एक्स)। | ||
* | * क्षेत्र एक्सटेंशन K का निर्माण करें<sub>''i'' +1</sub> के<sub>i</sub>भागफल वलय K के रूप में<sub>''i'' +1</sub> = के<sub>''i'' </sub>[X] / (f(X)) जहां (f(X)) K में [[आदर्श (रिंग सिद्धांत)]] को दर्शाता है<sub>''i'' </sub>[एक्स] एफ(एक्स) द्वारा उत्पन्न। | ||
* K के लिए प्रक्रिया दोहराएँ<sub>''i'' +1</sub> जब तक p(X) पूरी तरह से कारक न हो जाए। | * K के लिए प्रक्रिया दोहराएँ<sub>''i'' +1</sub> जब तक p(X) पूरी तरह से कारक न हो जाए। | ||
अघुलनशील कारक एफ<sub>''i'' </sub>भागफल निर्माण में प्रयुक्त (X) को मनमाने ढंग से चुना जा सकता है। यद्यपि कारकों के अलग-अलग विकल्प अलग-अलग उपक्षेत्र अनुक्रमों को जन्म दे सकते हैं, परिणामी विभाजन क्षेत्र समरूपी होंगे। | अघुलनशील कारक एफ<sub>''i'' </sub>भागफल निर्माण में प्रयुक्त (X) को मनमाने ढंग से चुना जा सकता है। यद्यपि कारकों के अलग-अलग विकल्प अलग-अलग उपक्षेत्र अनुक्रमों को जन्म दे सकते हैं, परिणामी विभाजन क्षेत्र समरूपी होंगे। | ||
चूँकि f(X) अपरिवर्तनीय है, (f(X)) K का [[अधिकतम आदर्श]] है<sub>''i'' </sub>[एक्स] और के<sub>''i'' </sub>[X] / (f(X)) वास्तव में एक | चूँकि f(X) अपरिवर्तनीय है, (f(X)) K का [[अधिकतम आदर्श]] है<sub>''i'' </sub>[एक्स] और के<sub>''i'' </sub>[X] / (f(X)) वास्तव में एक क्षेत्र है। इसके अलावा, अगर हम जाने दें <math>\pi : K_i[X] \to K_i[X]/(f(X))</math> फिर उसके भागफल पर वलय (गणित) का प्राकृतिक प्रक्षेपण हो | ||
:<math>f(\pi(X)) = \pi(f(X)) = f(X)\ \bmod\ f(X) = 0</math> | :<math>f(\pi(X)) = \pi(f(X)) = f(X)\ \bmod\ f(X) = 0</math> | ||
इसलिए π(X) f(X) और p(X) का मूल है। | इसलिए π(X) f(X) और p(X) का मूल है। | ||
Line 35: | Line 37: | ||
एकल विस्तार की डिग्री <math>[K_{i+1} : K_i]</math> अपरिवर्तनीय कारक f(X) की डिग्री के बराबर है। विस्तार की डिग्री [K : F] द्वारा दी गई है <math>[K_r : K_{r-1}] \cdots [K_2 : K_1] [K_1 : F]</math> और अधिकतम n है! | एकल विस्तार की डिग्री <math>[K_{i+1} : K_i]</math> अपरिवर्तनीय कारक f(X) की डिग्री के बराबर है। विस्तार की डिग्री [K : F] द्वारा दी गई है <math>[K_r : K_{r-1}] \cdots [K_2 : K_1] [K_1 : F]</math> और अधिकतम n है! | ||
=== | === क्षेत्र K<sub>''i'' </sub>[एक्स]/(एफ(एक्स)) === | ||
जैसा कि ऊपर बताया गया है, भागफल वलय K<sub>''i'' +1</sub> = के<sub>''i'' </sub>[X]/(f(X)) एक ऐसा क्षेत्र है जब f(X) अपरिवर्तनीय है। इसके तत्व स्वरूप के हैं | जैसा कि ऊपर बताया गया है, भागफल वलय K<sub>''i'' +1</sub> = के<sub>''i'' </sub>[X]/(f(X)) एक ऐसा क्षेत्र है जब f(X) अपरिवर्तनीय है। इसके तत्व स्वरूप के हैं | ||
Line 82: | Line 84: | ||
=== घन उदाहरण === | === घन उदाहरण === | ||
होने देना {{mvar|K}} तर्कसंगत संख्या | होने देना {{mvar|K}} तर्कसंगत संख्या क्षेत्र बनें {{math|'''Q'''}} और {{math|''p''(''x'') {{=}} ''x''<sup>3</sup> − 2}}. की प्रत्येक मूल {{mvar|p}} बराबर है {{math|{{radic|2|3}}}}[[एकता का घनमूल]] गुना। इसलिए, यदि हम एकता के घनमूलों को इससे निरूपित करते हैं | ||
:<math>\omega_1 = 1,\,</math> <!-- do not delete "\,": it improves the display of formula on certain browsers. --> | :<math>\omega_1 = 1,\,</math> <!-- do not delete "\,": it improves the display of formula on certain browsers. --> | ||
:<math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2} i,</math> | :<math>\omega_2 = -\frac{1}{2} + \frac{\sqrt{3}}{2} i,</math> | ||
:<math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2} i.</math> | :<math>\omega_3 = -\frac{1}{2} - \frac{\sqrt{3}}{2} i.</math> | ||
कोई भी क्षेत्र जिसमें दो अलग-अलग | कोई भी क्षेत्र जिसमें दो अलग-अलग मूल हों {{mvar|p}} में एकता के दो अलग-अलग घनमूलों के बीच का भागफल शामिल होगा। ऐसा भागफल एकता का आदिम मूल है, एकता का घनमूल - दोनों में से एक है <math>\omega_2</math> या <math>\omega_3=1/\omega_2</math>. यह एक विभाजन क्षेत्र का अनुसरण करता है {{mvar|L}} का {{mvar|p}} में ω होगा<sub>2</sub>, साथ ही 2 का वास्तविक घनमूल; [[बातचीत (तर्क)]], का कोई भी विस्तार {{math|'''Q'''}} इन तत्वों से युक्त सभी मूल शामिल हैं {{mvar|p}}. इस प्रकार | ||
:<math>L = \mathbf{Q}(\sqrt[3]{2}, \omega_2) = \{ a + b\sqrt[3]{2} + c{\sqrt[3]{2}}^2 + d\omega_2 + e\sqrt[3]{2}\omega_2 + f{\sqrt[3]{2}}^2 \omega_2 \mid a,b,c,d,e,f \in \mathbf{Q} \}</math> | :<math>L = \mathbf{Q}(\sqrt[3]{2}, \omega_2) = \{ a + b\sqrt[3]{2} + c{\sqrt[3]{2}}^2 + d\omega_2 + e\sqrt[3]{2}\omega_2 + f{\sqrt[3]{2}}^2 \omega_2 \mid a,b,c,d,e,f \in \mathbf{Q} \}</math> | ||
ध्यान दें कि पिछले भाग में उल्लिखित निर्माण प्रक्रिया को इस उदाहरण में लागू करने से शुरुआत होती है <math>K_0 = \mathbf{Q}</math> और मैदान का निर्माण करता है <math>K_1 = \mathbf{Q}[X] / (X^3 - 2)</math>. यह | ध्यान दें कि पिछले भाग में उल्लिखित निर्माण प्रक्रिया को इस उदाहरण में लागू करने से शुरुआत होती है <math>K_0 = \mathbf{Q}</math> और मैदान का निर्माण करता है <math>K_1 = \mathbf{Q}[X] / (X^3 - 2)</math>. यह क्षेत्र विभाजन क्षेत्र नहीं है, बल्कि इसमें एक (कोई भी) रूट शामिल है। हालाँकि, बहुपद <math>Y^3 - 2</math> पर अप्रासंगिक बहुपद नहीं है <math>K_1</math> और वास्तव में: | ||
:<math>Y^3 -2 = (Y - X)(Y^2 + XY + X^2).</math> | :<math>Y^3 -2 = (Y - X)(Y^2 + XY + X^2).</math> | ||
Line 96: | Line 98: | ||
===अन्य उदाहरण=== | ===अन्य उदाहरण=== | ||
* x का विभाजन क्षेत्र<sup>q</sup> − x ओवर 'F'<sub>''p''</sub> अद्वितीय [[परिमित क्षेत्र]] F है<sub>''q''</sub> क्यू = पी के लिए<sup>n</sup>.<ref>{{Cite book|title=अंकगणित में एक पाठ्यक्रम|last=Serre}}</ref> कभी-कभी इस | * x का विभाजन क्षेत्र<sup>q</sup> − x ओवर 'F'<sub>''p''</sub> अद्वितीय [[परिमित क्षेत्र]] F है<sub>''q''</sub> क्यू = पी के लिए<sup>n</sup>.<ref>{{Cite book|title=अंकगणित में एक पाठ्यक्रम|last=Serre}}</ref> कभी-कभी इस क्षेत्र को GF(q) द्वारा दर्शाया जाता है। | ||
* x का विभाजन क्षेत्र<sup>2</sup>+1 ओवर एफ<sub>7</sub> एफ है<sub>49</sub>; बहुपद का F में कोई मूल नहीं है<sub>7</sub>, यानी, −1 वहां एक [[वर्ग (बीजगणित)]] नहीं है, क्योंकि 7, 1 मॉड्यूल 4 का [[मॉड्यूलर अंकगणित]] नहीं है।<ref>Instead of applying this characterization of [[parity (mathematics)|odd]] [[prime number|prime]] moduli for which −1 is a square, one could just check that the set of squares in '''F'''<sub>7</sub> is the set of classes of 0, 1, 4, and 2, which does not include the class of −1 ≡ 6.</ref> | * x का विभाजन क्षेत्र<sup>2</sup>+1 ओवर एफ<sub>7</sub> एफ है<sub>49</sub>; बहुपद का F में कोई मूल नहीं है<sub>7</sub>, यानी, −1 वहां एक [[वर्ग (बीजगणित)]] नहीं है, क्योंकि 7, 1 मॉड्यूल 4 का [[मॉड्यूलर अंकगणित]] नहीं है।<ref>Instead of applying this characterization of [[parity (mathematics)|odd]] [[prime number|prime]] moduli for which −1 is a square, one could just check that the set of squares in '''F'''<sub>7</sub> is the set of classes of 0, 1, 4, and 2, which does not include the class of −1 ≡ 6.</ref> | ||
* x का विभाजन क्षेत्र<sup>2</sup> - 1 ओवर एफ<sub>7</sub> एफ है<sub>7</sub> एक्स के बाद से<sup>2</sup> − 1 = (x + 1)(x − 1) पहले से ही रैखिक कारकों में विभाजित है। | * x का विभाजन क्षेत्र<sup>2</sup> - 1 ओवर एफ<sub>7</sub> एफ है<sub>7</sub> एक्स के बाद से<sup>2</sup> − 1 = (x + 1)(x − 1) पहले से ही रैखिक कारकों में विभाजित है। | ||
* हम f(x) = x के विभाजन क्षेत्र की गणना करते हैं<sup>3</sup> + x + 1 ओवर 'एफ'<sub>2</sub>. यह सत्यापित करना आसान है कि f(x) का 'F' में कोई मूल नहीं है।<sub>2</sub>, इसलिए f(x) 'F' में अप्रासंगिक है<sub>2</sub>[एक्स]। 'F' में r = x + (f(x)) डालें<sub>2</sub>[x]/(f(x)) तो 'F'<sub>2</sub>(r ) एक | * हम f(x) = x के विभाजन क्षेत्र की गणना करते हैं<sup>3</sup> + x + 1 ओवर 'एफ'<sub>2</sub>. यह सत्यापित करना आसान है कि f(x) का 'F' में कोई मूल नहीं है।<sub>2</sub>, इसलिए f(x) 'F' में अप्रासंगिक है<sub>2</sub>[एक्स]। 'F' में r = x + (f(x)) डालें<sub>2</sub>[x]/(f(x)) तो 'F'<sub>2</sub>(r ) एक क्षेत्र है और x<sup>3</sup> + x + 1 = (x + r)(x<sup>2</sup> + ax + b) 'F' में<sub>2</sub>(आर&हेयरस्प;)[x]। ध्यान दें कि हम − के लिए + लिख सकते हैं क्योंकि [[विशेषता (बीजगणित)]] दो है। गुणांकों की तुलना करने से पता चलता है कि a = r और b = 1 + r<sup>2</sup>. एफ के तत्व<sub>2</sub>(r ) को c + dr + er के रूप में सूचीबद्ध किया जा सकता है<sup>2</sup>, जहां c, d, e 'F' में हैं<sub>2</sub>. आठ तत्व हैं: 0, 1, आर, 1 + आर, आर<sup>2</sup>, 1 + आर<sup>2</sup>, र + र<sup>2</sup>और 1+र+र<sup>2</sup>. इन्हें x में प्रतिस्थापित करने पर<sup>2</sup> + आरएक्स + 1 + आर<sup>2</sup>हम पहुंचते हैं (आर<sup>2</sup>)<sup>2</sup> + r(r<sup>2</sup>) + 1 + आर<sup>2</sup>=आर<sup>4</sup>+आर<sup>3</sup> + 1 + आर<sup>2</sup> = 0, इसलिए x<sup>3</sup> + x + 1 = (x + r)(x + r<sup>2</sup>)(x + (r + r<sup>2</sup>)) 'F' में r के लिए<sub>2</sub>[x]/(f(x)); ई = 'एफ'<sub>2</sub>(r ) x का विभाजन क्षेत्र है<sup>3</sup> + x + 1 ओवर 'एफ'<sub>2</sub>. | ||
<!-- | <!-- | ||
==See also== | ==See also== |
Revision as of 12:41, 11 July 2023
अमूर्त बीजगणित में, किसी क्षेत्र में गुणांक वाले बहुपद का विभाजन क्षेत्र उस क्षेत्र का सबसे छोटा क्षेत्र विस्तार होता है, जिस पर बहुपद विभाजित होता है, अर्थात, रैखिक कारकों में विघटित होता है।
परिभाषा
एक क्षेत्र K पर एक बहुपद p(X) का विभाजन क्षेत्र K का एक क्षेत्र विस्तार L है, जिस पर p रैखिक कारकों में गुणनखंड करता है।
- जहाँ और प्रत्येक i के लिए हमारे पास विस्तार L तब K के ऊपर न्यूनतम डिग्री का विस्तार है जिसमें p विभाजित होता है। यह दिखाया जा सकता है कि ऐसे विभाजन क्षेत्र मौजूद हैं और आइसोमोर्फिज़्म तक अद्वितीय हैं। उस समरूपता में स्वतंत्रता की मात्रा को p के गैलोइस समूह के रूप में जाना जाता है (यदि हम मानते हैं कि यह अलग करने योग्य है)।
गुण
एक विस्तार L जो K के ऊपर बहुपद p(X) के समुच्चय के लिए एक विभाजक क्षेत्र है, K का सामान्य विस्तार कहलाता है।
बीजगणितीय रूप से बंद क्षेत्र A को देखते हुए, जिसमें K शामिल है, K और A के बीच p का एक अद्वितीय विभाजन क्षेत्र L है, जो p की मूल द्वारा उत्पन्न होता है। यदि K सम्मिश्र संख्याओं का एक उपक्षेत्र है, तो अस्तित्व तत्काल है। दूसरी ओर, बीजीय समापन का अस्तित्व, सामान्य तौर पर, विभाजन क्षेत्र परिणाम से 'सीमा तक जाने' से सिद्ध होता है, इसलिए परिपत्र तर्क से बचने के लिए एक स्वतंत्र प्रमाण की आवश्यकता होती है।
K के एक अलग करने योग्य विस्तार K' को देखते हुए, K' का एक गैलोज़ क्लोजर L एक प्रकार का विभाजन क्षेत्र है, और K का एक गैलोज़ विस्तार भी है जिसमें K' शामिल है जो कि एक स्पष्ट अर्थ में न्यूनतम है। इस तरह के गैलोइस क्लोजर में K के ऊपर सभी बहुपद p के लिए एक विभाजन क्षेत्र होना चाहिए जो कि K' के तत्वों के K के ऊपर न्यूनतम बहुपद हैं।
विभाजन क्षेत्रों का निर्माण
प्रेरणा
प्राचीन यूनानियों के समय से ही बहुपदों के एक फलन का मूल खोजना एक महत्वपूर्ण समस्या रही है। हालाँकि, कुछ बहुपद, जैसे x2 + 1 ऊपर R, वास्तविक संख्याओं का कोई मूल नहीं होता। ऐसे बहुपद के लिए विभाजन क्षेत्र का निर्माण करके कोई भी नए क्षेत्र में बहुपद की मूल पा सकता है।
निर्माण
मान लीजिए कि F एक क्षेत्र है और p(X) एक बहुपद n की घात वाले बहुपद वलय F[X] में एक बहुपद है। K के निर्माण की सामान्य प्रक्रिया, F पर p(X) का विभाजन क्षेत्र, क्षेत्र की एक श्रृंखला का निर्माण करना है। ऐसा कि Ki, Ki −1 का विस्तार है जिसमें p(X) का एक नया मूल है। चूंकि p(X) में अधिकतम n मूल हैं इसलिए निर्माण के लिए अधिकतम n एक्सटेंशन की आवश्यकता होगी। Ki के निर्माण के चरण निम्नानुसार दिए गए हैं:
- बहुपदों का गुणनखंडन बीजगणितीय विस्तारों पर गुणनखंडन (ट्रेजर विधि) p(X) K ऊपरiअघुलनशील बहुपद कारकों में .
- कोई भी अरेखीय अघुलनशील कारक f(X) = f चुनेंi (एक्स)।
- क्षेत्र एक्सटेंशन K का निर्माण करेंi +1 केiभागफल वलय K के रूप मेंi +1 = केi [X] / (f(X)) जहां (f(X)) K में आदर्श (रिंग सिद्धांत) को दर्शाता हैi [एक्स] एफ(एक्स) द्वारा उत्पन्न।
- K के लिए प्रक्रिया दोहराएँi +1 जब तक p(X) पूरी तरह से कारक न हो जाए।
अघुलनशील कारक एफi भागफल निर्माण में प्रयुक्त (X) को मनमाने ढंग से चुना जा सकता है। यद्यपि कारकों के अलग-अलग विकल्प अलग-अलग उपक्षेत्र अनुक्रमों को जन्म दे सकते हैं, परिणामी विभाजन क्षेत्र समरूपी होंगे।
चूँकि f(X) अपरिवर्तनीय है, (f(X)) K का अधिकतम आदर्श हैi [एक्स] और केi [X] / (f(X)) वास्तव में एक क्षेत्र है। इसके अलावा, अगर हम जाने दें फिर उसके भागफल पर वलय (गणित) का प्राकृतिक प्रक्षेपण हो
इसलिए π(X) f(X) और p(X) का मूल है।
एकल विस्तार की डिग्री अपरिवर्तनीय कारक f(X) की डिग्री के बराबर है। विस्तार की डिग्री [K : F] द्वारा दी गई है और अधिकतम n है!
क्षेत्र Ki [एक्स]/(एफ(एक्स))
जैसा कि ऊपर बताया गया है, भागफल वलय Ki +1 = केi [X]/(f(X)) एक ऐसा क्षेत्र है जब f(X) अपरिवर्तनीय है। इसके तत्व स्वरूप के हैं
जहां सीjके में हैंiऔर α = π(एक्स). (यदि कोई के पर विचार करता हैi +1 K के ऊपर एक सदिश समष्टि के रूप मेंiफिर शक्तियां αjके लिए 0 ≤ j ≤ n−1 एक आधार बनाएं (रैखिक बीजगणित)।)
K के तत्वi +1 n से कम घात वाले α में बहुपद के रूप में माना जा सकता है। के में जोड़i +1 बहुपद जोड़ के नियमों द्वारा दिया जाता है और गुणन बहुपद गुणन मॉड्यूल f(X) द्वारा दिया जाता है। अर्थात्, K में g(α) और h(α) के लिएi +1 उनका उत्पाद g(α)h(α) = r(α) है जहां K में f(X) से विभाजित करने पर r(X) g(X)h(X) का शेषफल हैi [एक्स]।
शेष r(X) की गणना बहुपदों के लंबे विभाजन के माध्यम से की जा सकती है, हालाँकि एक सीधा कमी नियम भी है जिसका उपयोग सीधे r(α) = g(α)h(α) की गणना करने के लिए किया जा सकता है। पहले चलो
बहुपद एक क्षेत्र के ऊपर है इसलिए व्यापकता की हानि के बिना कोई f(X) को एकात्मक बहुपद मान सकता है। अब α, f(X) का मूल है, इसलिए
यदि उत्पाद g(α)h(α) का एक पद α हैमके साथ m ≥ n इसे इस प्रकार कम किया जा सकता है:
- .
कमी नियम के उदाहरण के रूप में, K को लेंi= 'Q'[X], परिमेय संख्या गुणांक वाले बहुपदों का वलय, और f(X) = X लें7 − 2. चलो और h(α) = α 3 +1 Q[X]/(X के दो तत्व हों7 − 2). f(X) द्वारा दिया गया कमी नियम α है7</sp>=2 एसपी
उदाहरण
सम्मिश्र संख्याएँ
बहुपद वलय R[x] और अपरिवर्तनीय बहुपद पर विचार करें x2 + 1. भागफल वलय R[x] / (x2 + 1) सर्वांगसमता संबंध द्वारा दिया गया है x2 ≡ −1. परिणामस्वरूप, के तत्व (या समतुल्य वर्ग)। R[x] / (x2 + 1) रूप के हैं a + bx जहां ए और बी 'आर' से संबंधित हैं। इसे देखने के लिए, उस पर ध्यान दें x2 ≡ −1 यह इस प्रकार है कि x3 ≡ −x, x4 ≡ 1, x5 ≡ x, वगैरह।; और इसलिए, उदाहरण के लिए p + qx + rx2 + sx3 ≡ p + qx + r(−1) + s(−x) = (p − r) + (q − s)x.
जोड़ और गुणन संचालन पहले सामान्य बहुपद जोड़ और गुणन का उपयोग करके दिया जाता है, लेकिन फिर मॉड्यूलो को कम करके दिया जाता है x2 + 1, यानी इस तथ्य का उपयोग करना x2 ≡ −1, x3 ≡ −x, x4 ≡ 1, x5 ≡ x, आदि। इस प्रकार:
अगर हम पहचान लें a + bx (ए,बी) के साथ तो हम देखते हैं कि जोड़ और गुणा दिए गए हैं
हम दावा करते हैं कि, एक क्षेत्र के रूप में, भागफल वलय R[x] / (x2 + 1) सम्मिश्र संख्याओं का समरूपी है, C. एक सामान्य सम्मिश्र संख्या इस प्रकार की होती है a + bi, जहां ए और बी वास्तविक संख्याएं हैं और i2 = −1.जोड़ और गुणा द्वारा दिया जाता है
अगर हम पहचान लें a + bi (ए, बी) के साथ तो हम देखते हैं कि जोड़ और गुणा दिए गए हैं
पिछली गणनाओं से पता चलता है कि जोड़ और गुणा एक ही तरह से व्यवहार करते हैं R[x] / (x2 + 1) और सी. वास्तव में, हम देखते हैं कि बीच का नक्शा R[x] / (x2 + 1) और सी द्वारा दिया गया a + bx → a + biजोड़ और गुणन के संबंध में एक समरूपता है। यह भी स्पष्ट है कि मानचित्र a + bx → a + bi विशेषण और विशेषण दोनों है; मतलब है कि a + bx → a + bi एक विशेषण समरूपता है, अर्थात, एक वलय समरूपता। जैसा कि दावा किया गया है, यह इस प्रकार है: R[x] / (x2 + 1) ≅ C.
1847 में, ऑगस्टिन-लुई कॉची ने जटिल संख्याओं को परिभाषित करने के लिए इस दृष्टिकोण का उपयोग किया।[1]
घन उदाहरण
होने देना K तर्कसंगत संख्या क्षेत्र बनें Q और p(x) = x3 − 2. की प्रत्येक मूल p बराबर है 3√2एकता का घनमूल गुना। इसलिए, यदि हम एकता के घनमूलों को इससे निरूपित करते हैं
कोई भी क्षेत्र जिसमें दो अलग-अलग मूल हों p में एकता के दो अलग-अलग घनमूलों के बीच का भागफल शामिल होगा। ऐसा भागफल एकता का आदिम मूल है, एकता का घनमूल - दोनों में से एक है या . यह एक विभाजन क्षेत्र का अनुसरण करता है L का p में ω होगा2, साथ ही 2 का वास्तविक घनमूल; बातचीत (तर्क), का कोई भी विस्तार Q इन तत्वों से युक्त सभी मूल शामिल हैं p. इस प्रकार
ध्यान दें कि पिछले भाग में उल्लिखित निर्माण प्रक्रिया को इस उदाहरण में लागू करने से शुरुआत होती है और मैदान का निर्माण करता है . यह क्षेत्र विभाजन क्षेत्र नहीं है, बल्कि इसमें एक (कोई भी) रूट शामिल है। हालाँकि, बहुपद पर अप्रासंगिक बहुपद नहीं है और वास्तव में:
ध्यान दें कि यह एक अनिश्चित (चर) नहीं है, और वास्तव में इसका एक तत्व है . अब, प्रक्रिया को जारी रखते हुए, हम प्राप्त करते हैं जो वास्तव में विभाजन क्षेत्र है और इसके द्वारा फैला हुआ है -आधार . ध्यान दें कि अगर हम इसकी तुलना करें ऊपर से हम पहचान सकते हैं और .
अन्य उदाहरण
- x का विभाजन क्षेत्रq − x ओवर 'F'p अद्वितीय परिमित क्षेत्र F हैq क्यू = पी के लिएn.[2] कभी-कभी इस क्षेत्र को GF(q) द्वारा दर्शाया जाता है।
- x का विभाजन क्षेत्र2+1 ओवर एफ7 एफ है49; बहुपद का F में कोई मूल नहीं है7, यानी, −1 वहां एक वर्ग (बीजगणित) नहीं है, क्योंकि 7, 1 मॉड्यूल 4 का मॉड्यूलर अंकगणित नहीं है।[3]
- x का विभाजन क्षेत्र2 - 1 ओवर एफ7 एफ है7 एक्स के बाद से2 − 1 = (x + 1)(x − 1) पहले से ही रैखिक कारकों में विभाजित है।
- हम f(x) = x के विभाजन क्षेत्र की गणना करते हैं3 + x + 1 ओवर 'एफ'2. यह सत्यापित करना आसान है कि f(x) का 'F' में कोई मूल नहीं है।2, इसलिए f(x) 'F' में अप्रासंगिक है2[एक्स]। 'F' में r = x + (f(x)) डालें2[x]/(f(x)) तो 'F'2(r ) एक क्षेत्र है और x3 + x + 1 = (x + r)(x2 + ax + b) 'F' में2(आर&हेयरस्प;)[x]। ध्यान दें कि हम − के लिए + लिख सकते हैं क्योंकि विशेषता (बीजगणित) दो है। गुणांकों की तुलना करने से पता चलता है कि a = r और b = 1 + r2. एफ के तत्व2(r ) को c + dr + er के रूप में सूचीबद्ध किया जा सकता है2, जहां c, d, e 'F' में हैं2. आठ तत्व हैं: 0, 1, आर, 1 + आर, आर2, 1 + आर2, र + र2और 1+र+र2. इन्हें x में प्रतिस्थापित करने पर2 + आरएक्स + 1 + आर2हम पहुंचते हैं (आर2)2 + r(r2) + 1 + आर2=आर4+आर3 + 1 + आर2 = 0, इसलिए x3 + x + 1 = (x + r)(x + r2)(x + (r + r2)) 'F' में r के लिए2[x]/(f(x)); ई = 'एफ'2(r ) x का विभाजन क्षेत्र है3 + x + 1 ओवर 'एफ'2.
टिप्पणियाँ
- ↑ Cauchy, Augustin-Louis (1847), "Mémoire sur la théorie des équivalences algébriques, substituée à la théorie des imaginaires", Comptes Rendus Hebdomadaires des Séances de l'Académie des Sciences (in français), 24: 1120–1130
- ↑ Serre. अंकगणित में एक पाठ्यक्रम.
- ↑ Instead of applying this characterization of odd prime moduli for which −1 is a square, one could just check that the set of squares in F7 is the set of classes of 0, 1, 4, and 2, which does not include the class of −1 ≡ 6.
संदर्भ
- Dummit, David S., and Foote, Richard M. (1999). Abstract Algebra (2nd ed.). New York: John Wiley & Sons, Inc. ISBN 0-471-36857-1.
- "Splitting field of a polynomial", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Weisstein, Eric W. "Splitting field". MathWorld.