गैलोइस विस्तार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 1: Line 1:
{{Short description|Algebraic field extension}}
{{Short description|Algebraic field extension}}
गणित में, '''गैलोइस विस्तार''' बीजगणितीय क्षेत्र विस्तार एक्सटेंशन ई/एफ है जो [[सामान्य विस्तार|सामान्य]] विस्तार और भिन्न करने योग्य है;{{sfn|Lang|2002|p=262}} या समकक्ष, ई/एफ बीजगणितीय है और [[ऑटोमोर्फिज्म समूह]] ऑट (ई/एफ) द्वारा निश्चित किया गया बिल्कुल आधार क्षेत्र है। इस प्रकार क्षेत्र एफ. गैलोज़ विस्तार होने का महत्व यह है कि विस्तार में गैलोज़ समूह है और गैलोज़ सिद्धांत के मौलिक प्रमेय का पालन करता है।{{efn|See the article [[Galois group]] for definitions of some of these terms and some examples.}}
गणित में, '''गैलोइस विस्तार''' बीजगणितीय क्षेत्र विस्तार एक्सटेंशन ई/एफ होता है जो [[सामान्य विस्तार|सामान्य]] विस्तार और भिन्न करने योग्य होता है,{{sfn|Lang|2002|p=262}} या समकक्ष, ई/एफ बीजगणितीय होता है और [[ऑटोमोर्फिज्म समूह]] ऑट (ई/एफ) द्वारा निश्चित आधार क्षेत्र होता है। इस प्रकार क्षेत्र एफ गैलोज़ विस्तार होने का महत्व यह होता है कि विस्तार में गैलोज़ समूह होता है और गैलोज़ सिद्धांत के मौलिक प्रमेय का पालन करता है।{{efn|See the article [[Galois group]] for definitions of some of these terms and some examples.}}


[[एमिल आर्टिन]] का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है: कि यदि <math>E</math> दिया गया क्षेत्र है और <math>G</math> निश्चित क्षेत्र <math>F</math> के साथ '''<math>E</math>''' के ऑटोमोर्फिज्म का सीमित समूह है, तब '''<math>E/F</math>''' गैलोज़ विस्तार है। {{sfn|Lang|2002|p=264|loc=Theorem 1.8}}
[[एमिल आर्टिन]] का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है जिससे कि यदि <math>E</math> दिया गया क्षेत्र है और <math>G</math> निश्चित क्षेत्र <math>F</math> के साथ '''<math>E</math>''' के ऑटोमोर्फिज्म का सीमित समूह होता है, तब '''<math>E/F</math>''' गैलोज़ विस्तार होता है।{{sfn|Lang|2002|p=264|loc=Theorem 1.8}}


==गैलोइस विस्तार की विशेषता==
==गैलोइस विस्तार की विशेषता==
एमिल आर्टिन का महत्वपूर्ण प्रमेय बताता है कि सीमित विस्तार के लिए <math>E/F,</math> निम्नलिखित में से प्रत्येक कथन उस कथन के समतुल्य है <math>E/F</math> गैलोज़ है:
एमिल आर्टिन का महत्वपूर्ण प्रमेय बताता है कि सीमित विस्तार के लिए <math>E/F,</math> निम्नलिखित में से प्रत्येक कथन उस कथन के समतुल्य <math>E/F</math> गैलोज़ होता है।


*<math>E/F</math> सामान्य विस्तार और भिन्न करने योग्य विस्तार है।
*<math>E/F</math> सामान्य विस्तार और भिन्न करने योग्य विस्तार होता है।
*<math>E</math> गुणांकों के साथ पृथक्करणीय बहुपद का [[विभाजन क्षेत्र]] है <math>F.</math>
*<math>E</math> गुणांकों के साथ पृथक्करणीय बहुपद का [[विभाजन क्षेत्र]] <math>F.</math> होता है।
*<math>|\!\operatorname{Aut}(E/F)| = [E:F],</math> अर्थात्, ऑटोमोर्फिज्म की संख्या विस्तार की [[डिग्री (क्षेत्र सिद्धांत)]] के सामान्तर होती है।
*<math>|\!\operatorname{Aut}(E/F)| = [E:F],</math> अर्थात्, ऑटोमोर्फिज्म की संख्या विस्तार की [[डिग्री (क्षेत्र सिद्धांत)]] के सामान्तर होती है।


अन्य समकक्ष कथन हैं:
अन्य समकक्ष कथन हैं:


*प्रत्येक अघुलनशील बहुपद में <math>F[x]</math> कम से कम जड़ के साथ <math>E</math> विभाजित हो जाता है <math>E</math> और वियोज्य है.
*प्रत्येक अघुलनशील बहुपद में <math>F[x]</math> कम से कम जड़ के साथ <math>E</math> विभाजित हो जाता है और <math>E</math> वियोज्य होता है।
*<math>|\!\operatorname{Aut}(E/F)| \geq [E:F],</math> अर्थात्, ऑटोमोर्फिज्म की संख्या कम से कम विस्तार की डिग्री है।
*<math>|\!\operatorname{Aut}(E/F)| \geq [E:F],</math> अर्थात्, ऑटोमोर्फिज्म की संख्या कम से कम विस्तार की डिग्री होती है।
*<math>F</math> के उपसमूह का निश्चित क्षेत्र है <math>\operatorname{Aut}(E).</math>
*<math>F</math> के उपसमूह का निश्चित क्षेत्र <math>\operatorname{Aut}(E).</math> होता है।
*<math>F</math> का निश्चित क्षेत्र है <math>\operatorname{Aut}(E/F).</math>
*<math>F</math> का निश्चित क्षेत्र <math>\operatorname{Aut}(E/F).</math> होता है।
*गैलोइस सिद्धांत का एक-से-मौलिक प्रमेय है उपक्षेत्रों के मध्य पत्राचार का स्पष्ट विवरण <math>E/F</math> और के उपसमूह <math>\operatorname{Aut}(E/F).</math>
*गैलोइस सिद्धांत का मौलिक प्रमेय है अतः उपक्षेत्रों के मध्य पत्राचार का स्पष्ट विवरण <math>E/F</math> और के उपसमूह <math>\operatorname{Aut}(E/F).</math> होता है।
==उदाहरण==
==उदाहरण==
गैलोज़ विस्तार के उदाहरण बनाने के दो मूलभूत विधिया हैं।
गैलोज़ विस्तार के उदाहरण बनाने की दो मूलभूत विधिया होती हैं।


* कोई भी क्षेत्र लें <math>E</math>, का कोई भी परिमित उपसमूह <math>\operatorname{Aut}(E)</math>, और जाने <math>F</math> निश्चित क्षेत्र हो.
* कोई भी क्षेत्र <math>E</math> लें सकते है, जिसका कोई भी परिमित उपसमूह <math>\operatorname{Aut}(E)</math>, और <math>F</math> निश्चित क्षेत्र होता है।
* कोई भी क्षेत्र लें <math>F</math>, कोई भी वियोज्य बहुपद <math>F[x]</math>, और जाने <math>E</math> इसका विभाजन क्षेत्र हो.
* कोई भी क्षेत्र <math>F</math> लें सकते है, अतः कोई भी वियोज्य बहुपद <math>F[x]</math>, और <math>E</math> इसका विभाजन क्षेत्र होता है।


इस प्रकार परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) [[2 का वर्गमूल]] गैलोज़ विस्तार देता है, जबकि 2 का घनमूल गैर-गैलोइस विस्तार देता है। यह दोनों विस्तार भिन्न-भिन्न हैं, क्योंकि इनमें [[विशेषता शून्य]] है। उनमें से पहला विभाजन क्षेत्र है <math>x^2 -2</math>; दूसरे में सामान्य विस्तार है इस प्रकार जिसमें जटिल एकता_की_जड़ सम्मिलित है और इसलिए यह विभाजन क्षेत्र नहीं है। वास्तव में, इसमें पहचान के अतिरिक्त कोई ऑटोमोर्फिज्म नहीं है, क्योंकि यह वास्तविक संख्याओं में निहित है <math>x^3 -2</math> केवल ही वास्तविक जड़ है‚ अधिक विस्तृत उदाहरणों के लिए, गैलोज़ सिद्धांत के मौलिक प्रमेय पर पृष्ठ देखें।
इस प्रकार परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) [[2 का वर्गमूल]] गैलोज़ विस्तार देता है, जबकि 2 का घनमूल गैर-गैलोइस विस्तार देता है। यह दोनों विस्तार भिन्न-भिन्न होते हैं, जिससे कि इनमें [[विशेषता शून्य]] होती है। इस प्रकार उनमें से पहला विभाजन क्षेत्र <math>x^2 -2</math> होता है, अतः दूसरे में सामान्य विस्तार होता है। सामान्यतः जिसमें जटिल एकता की जड़ सम्मिलित होती है और इसलिए यह विभाजन क्षेत्र नहीं होता है। अतः वास्तव में, इसमें पहचान के अतिरिक्त कोई ऑटोमोर्फिज्म नहीं होता है, जिससे कि यह वास्तविक संख्याओं में निहित होता है, अतः केवल <math>x^3 -2</math> वास्तविक जड़ होती है‚ अधिक विस्तृत उदाहरणों के लिए, गैलोज़ सिद्धांत के मौलिक प्रमेय पर पृष्ठ देख सकते है।


इस प्रकार [[बीजगणितीय समापन]] <math>\bar K</math> मनमाने क्षेत्र का <math>K</math> गैलोइस खत्म हो गया है <math>K</math> यदि और केवल यदि <math>K</math> आदर्श क्षेत्र है.
इस प्रकार [[बीजगणितीय समापन]] <math>\bar K</math> अनैतिक क्षेत्र का <math>K</math> गैलोइस समाप्त हो गया है <math>K</math> और केवल <math>K</math> आदर्श क्षेत्र होता है।


== टिप्पणियाँ ==
== टिप्पणियाँ ==

Revision as of 14:46, 12 July 2023

गणित में, गैलोइस विस्तार बीजगणितीय क्षेत्र विस्तार एक्सटेंशन ई/एफ होता है जो सामान्य विस्तार और भिन्न करने योग्य होता है,[1] या समकक्ष, ई/एफ बीजगणितीय होता है और ऑटोमोर्फिज्म समूह ऑट (ई/एफ) द्वारा निश्चित आधार क्षेत्र होता है। इस प्रकार क्षेत्र एफ गैलोज़ विस्तार होने का महत्व यह होता है कि विस्तार में गैलोज़ समूह होता है और गैलोज़ सिद्धांत के मौलिक प्रमेय का पालन करता है।[lower-alpha 1]

एमिल आर्टिन का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है जिससे कि यदि दिया गया क्षेत्र है और निश्चित क्षेत्र के साथ के ऑटोमोर्फिज्म का सीमित समूह होता है, तब गैलोज़ विस्तार होता है।[2]

गैलोइस विस्तार की विशेषता

एमिल आर्टिन का महत्वपूर्ण प्रमेय बताता है कि सीमित विस्तार के लिए निम्नलिखित में से प्रत्येक कथन उस कथन के समतुल्य गैलोज़ होता है।

  • सामान्य विस्तार और भिन्न करने योग्य विस्तार होता है।
  • गुणांकों के साथ पृथक्करणीय बहुपद का विभाजन क्षेत्र होता है।
  • अर्थात्, ऑटोमोर्फिज्म की संख्या विस्तार की डिग्री (क्षेत्र सिद्धांत) के सामान्तर होती है।

अन्य समकक्ष कथन हैं:

  • प्रत्येक अघुलनशील बहुपद में कम से कम जड़ के साथ विभाजित हो जाता है और वियोज्य होता है।
  • अर्थात्, ऑटोमोर्फिज्म की संख्या कम से कम विस्तार की डिग्री होती है।
  • के उपसमूह का निश्चित क्षेत्र होता है।
  • का निश्चित क्षेत्र होता है।
  • गैलोइस सिद्धांत का मौलिक प्रमेय है अतः उपक्षेत्रों के मध्य पत्राचार का स्पष्ट विवरण और के उपसमूह होता है।

उदाहरण

गैलोज़ विस्तार के उदाहरण बनाने की दो मूलभूत विधिया होती हैं।

  • कोई भी क्षेत्र लें सकते है, जिसका कोई भी परिमित उपसमूह , और निश्चित क्षेत्र होता है।
  • कोई भी क्षेत्र लें सकते है, अतः कोई भी वियोज्य बहुपद , और इसका विभाजन क्षेत्र होता है।

इस प्रकार परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) 2 का वर्गमूल गैलोज़ विस्तार देता है, जबकि 2 का घनमूल गैर-गैलोइस विस्तार देता है। यह दोनों विस्तार भिन्न-भिन्न होते हैं, जिससे कि इनमें विशेषता शून्य होती है। इस प्रकार उनमें से पहला विभाजन क्षेत्र होता है, अतः दूसरे में सामान्य विस्तार होता है। सामान्यतः जिसमें जटिल एकता की जड़ सम्मिलित होती है और इसलिए यह विभाजन क्षेत्र नहीं होता है। अतः वास्तव में, इसमें पहचान के अतिरिक्त कोई ऑटोमोर्फिज्म नहीं होता है, जिससे कि यह वास्तविक संख्याओं में निहित होता है, अतः केवल वास्तविक जड़ होती है‚ अधिक विस्तृत उदाहरणों के लिए, गैलोज़ सिद्धांत के मौलिक प्रमेय पर पृष्ठ देख सकते है।

इस प्रकार बीजगणितीय समापन अनैतिक क्षेत्र का गैलोइस समाप्त हो गया है और केवल आदर्श क्षेत्र होता है।

टिप्पणियाँ

  1. See the article Galois group for definitions of some of these terms and some examples.

उद्धरण

  1. Lang 2002, p. 262.
  2. Lang 2002, p. 264, Theorem 1.8.

संदर्भ

  • Lang, Serge (2002), Algebra, Graduate Texts in Mathematics, vol. 211 (Revised third ed.), New York: Springer-Verlag, ISBN 978-0-387-95385-4, MR 1878556

अग्रिम पठन