गैलोइस विस्तार: Difference between revisions
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.}} | ||
[[एमिल आर्टिन]] का परिणाम | [[एमिल आर्टिन]] का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है: कि यदि <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> गैलोज़ है: | ||
Line 19: | Line 19: | ||
*गैलोइस सिद्धांत का एक-से-एक मौलिक प्रमेय है#उपक्षेत्रों के मध्य पत्राचार का स्पष्ट विवरण <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>F</math>, कोई भी वियोज्य बहुपद <math>F[x]</math>, और जाने <math>E</math> इसका विभाजन क्षेत्र हो. | ||
परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) [[2 का वर्गमूल]] एक गैलोज़ विस्तार देता है, जबकि 2 का घनमूल एक गैर-गैलोइस विस्तार देता है। यह दोनों | इस प्रकार परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) [[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> एक आदर्श क्षेत्र है. | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Line 32: | Line 32: | ||
== उद्धरण == | == उद्धरण == | ||
{{reflist}} | {{reflist}} | ||
== संदर्भ == | == संदर्भ == | ||
{{refbegin}} | {{refbegin}} | ||
*{{Lang Algebra|3rd}} | *{{Lang Algebra|3rd}} | ||
{{refend}} | {{refend}} | ||
== अग्रिम पठन == | == अग्रिम पठन == | ||
{{refbegin|2}} | {{refbegin|2}} |
Revision as of 21:34, 11 July 2023
गणित में, गैलोइस विस्तार एक बीजगणितीय क्षेत्र विस्तार एक्सटेंशन ई/एफ है जो सामान्य विस्तार और भिन्न करने योग्य है;[1] या समकक्ष, ई/एफ बीजगणितीय है और ऑटोमोर्फिज्म समूह ऑट (ई/एफ) द्वारा निश्चित किया गया बिल्कुल आधार क्षेत्र है। इस प्रकार क्षेत्र एफ. गैलोज़ विस्तार होने का महत्व यह है कि विस्तार में गैलोज़ समूह है और गैलोज़ सिद्धांत के मौलिक प्रमेय का पालन करता है।[lower-alpha 1]
एमिल आर्टिन का परिणाम किसी को गैलोइस विस्तार का निर्माण इस प्रकार करने की अनुमति देता है: कि यदि एक दिया गया क्षेत्र है और निश्चित क्षेत्र के साथ के ऑटोमोर्फिज्म का एक सीमित समूह है, तब एक गैलोज़ विस्तार है। [2]
गैलोइस विस्तार की विशेषता
एमिल आर्टिन का एक महत्वपूर्ण प्रमेय बताता है कि एक सीमित विस्तार के लिए निम्नलिखित में से प्रत्येक कथन उस कथन के समतुल्य है गैलोज़ है:
- एक सामान्य विस्तार और एक भिन्न करने योग्य विस्तार है।
- गुणांकों के साथ एक पृथक्करणीय बहुपद का विभाजन क्षेत्र है
- अर्थात्, ऑटोमोर्फिज्म की संख्या विस्तार की डिग्री (क्षेत्र सिद्धांत) के सामान्तर होती है।
अन्य समकक्ष कथन हैं:
- प्रत्येक अघुलनशील बहुपद में कम से कम एक जड़ के साथ विभाजित हो जाता है और वियोज्य है.
- अर्थात्, ऑटोमोर्फिज्म की संख्या कम से कम विस्तार की डिग्री है।
- के एक उपसमूह का निश्चित क्षेत्र है
- का निश्चित क्षेत्र है
- गैलोइस सिद्धांत का एक-से-एक मौलिक प्रमेय है#उपक्षेत्रों के मध्य पत्राचार का स्पष्ट विवरण और के उपसमूह
उदाहरण
गैलोज़ विस्तार के उदाहरण बनाने के दो मूलभूत विधिया हैं।
- कोई भी क्षेत्र लें , का कोई भी परिमित उपसमूह , और जाने निश्चित क्षेत्र हो.
- कोई भी क्षेत्र लें , कोई भी वियोज्य बहुपद , और जाने इसका विभाजन क्षेत्र हो.
इस प्रकार परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) 2 का वर्गमूल एक गैलोज़ विस्तार देता है, जबकि 2 का घनमूल एक गैर-गैलोइस विस्तार देता है। यह दोनों विस्तार भिन्न-भिन्न हैं, क्योंकि इनमें विशेषता शून्य है। उनमें से पहला विभाजन क्षेत्र है ; दूसरे में सामान्य विस्तार है इस प्रकार जिसमें जटिल एकता_की_जड़ सम्मिलित है और इसलिए यह एक विभाजन क्षेत्र नहीं है। वास्तव में, इसमें पहचान के अतिरिक्त कोई ऑटोमोर्फिज्म नहीं है, क्योंकि यह वास्तविक संख्याओं में निहित है केवल एक ही वास्तविक जड़ है‚ अधिक विस्तृत उदाहरणों के लिए, गैलोज़ सिद्धांत के मौलिक प्रमेय पर पृष्ठ देखें।
इस प्रकार एक बीजगणितीय समापन एक मनमाने क्षेत्र का गैलोइस खत्म हो गया है यदि और केवल यदि एक आदर्श क्षेत्र है.
टिप्पणियाँ
- ↑ See the article Galois group for definitions of some of these terms and some examples.
उद्धरण
संदर्भ
- 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
अग्रिम पठन
- Artin, Emil (1998) [1944]. Galois Theory. Edited and with a supplemental chapter by Arthur N. Milgram. Mineola, NY: Dover Publications. ISBN 0-486-62342-4. MR 1616156.
- Bewersdorff, Jörg (2006). Galois theory for beginners. Student Mathematical Library. Vol. 35. Translated from the second German (2004) edition by David Kramer. American Mathematical Society. doi:10.1090/stml/035. ISBN 0-8218-3817-2. MR 2251389. S2CID 118256821.
- Edwards, Harold M. (1984). Galois Theory. Graduate Texts in Mathematics. Vol. 101. New York: Springer-Verlag. ISBN 0-387-90980-X. MR 0743418. (Galois' original paper, with extensive background and commentary.)
- Funkhouser, H. Gray (1930). "A short account of the history of symmetric functions of roots of equations". American Mathematical Monthly. The American Mathematical Monthly, Vol. 37, No. 7. 37 (7): 357–365. doi:10.2307/2299273. JSTOR 2299273.
- "Galois theory", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
- Jacobson, Nathan (1985). Basic Algebra I (2nd ed.). W.H. Freeman and Company. ISBN 0-7167-1480-9. (Chapter 4 gives an introduction to the field-theoretic approach to Galois theory.)
- Janelidze, G.; Borceux, Francis (2001). Galois theories. Cambridge University Press. ISBN 978-0-521-80309-0. (This book introduces the reader to the Galois theory of Grothendieck, and some generalisations, leading to Galois groupoids.)
- Lang, Serge (1994). Algebraic Number Theory. Graduate Texts in Mathematics. Vol. 110 (Second ed.). Berlin, New York: Springer-Verlag. doi:10.1007/978-1-4612-0853-2. ISBN 978-0-387-94225-4. MR 1282723.
- Postnikov, Mikhail Mikhaĭlovich (2004). Foundations of Galois Theory. With a foreword by P. J. Hilton. Reprint of the 1962 edition. Translated from the 1960 Russian original by Ann Swinfen. Dover Publications. ISBN 0-486-43518-0. MR 2043554.
- Rotman, Joseph (1998). Galois Theory. Universitext (Second ed.). Springer. doi:10.1007/978-1-4612-0617-0. ISBN 0-387-98541-7. MR 1645586.
- Völklein, Helmut (1996). Groups as Galois groups: an introduction. Cambridge Studies in Advanced Mathematics. Vol. 53. Cambridge University Press. doi:10.1017/CBO9780511471117. ISBN 978-0-521-56280-5. MR 1405612.
- van der Waerden, Bartel Leendert (1931). Moderne Algebra (in German). Berlin: Springer.
{{cite book}}
: CS1 maint: unrecognized language (link). English translation (of 2nd revised edition): Modern algebra. New York: Frederick Ungar. 1949. (Later republished in English by Springer under the title "Algebra".) - Pop, Florian (2001). "(Some) New Trends in Galois Theory and Arithmetic" (PDF).