गैलोज़ विस्तार: Difference between revisions
No edit summary |
No edit summary |
||
(4 intermediate revisions by 3 users not shown) | |||
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.}} | ||
[[एमिल आर्टिन]] का परिणाम निम्नानुसार गैलोज़ विस्तार का निर्माण करने की अनुमति देता है: यदि ई एक दिया गया | [[एमिल आर्टिन|'''एमिल आर्टिन''']] का परिणाम निम्नानुसार गैलोज़ विस्तार का निर्माण करने की अनुमति देता है: यदि ई एक दिया गया क्षेत्र है और जी निश्चित क्षेत्र एफ के साथ ई के ऑटोमोर्फिज्म का एक सीमित समूह है, तो ई/एफ एक गैलोज़ विस्तार है।{{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> एक सामान्य विस्तार और एक अलग करने योग्य विस्तार है। | ||
Line 11: | Line 11: | ||
*<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> और वियोज्य है. | ||
Line 17: | Line 17: | ||
*<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</math>, का कोई भी परिमित उपसमूह <math>\operatorname{Aut}(E)</math>, और जाने <math>F</math> निश्चित क्षेत्र हो. | ||
* कोई भी | * कोई भी क्षेत्र लें <math>F</math>, कोई भी वियोज्य बहुपद <math>F[x]</math>, और जाने <math>E</math> इसका विभाजन क्षेत्र हो. | ||
परिमेय संख्या क्षेत्र के साथ संयोजन (क्षेत्र सिद्धांत) [[2 का वर्गमूल]] एक गैलोज़ विस्तार देता है, जबकि 2 का घनमूल एक गैर-गैलोइस विस्तार देता है। ये दोनों विस्तार अलग-अलग हैं, क्योंकि इनमें [[विशेषता शून्य]] है। उनमें से पहला विभाजन क्षेत्र है <math>x^2 -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>\bar K</math> एक मनमाने क्षेत्र का <math>K</math> गैलोइस खत्म हो गया है <math>K</math> यदि और केवल यदि <math>K</math> एक आदर्श क्षेत्र है. | ||
== टिप्पणियाँ == | == टिप्पणियाँ == | ||
Line 54: | Line 54: | ||
{{refend}} | {{refend}} | ||
{{DEFAULTSORT:Galois Extension}} | {{DEFAULTSORT:Galois Extension}} | ||
[[Category:CS1 maint|Galois Extension]] | |||
[[Category:Created On 30/06/2023|Galois Extension]] | |||
[[Category: | [[Category:Lua-based templates|Galois Extension]] | ||
[[Category:Created On 30/06/2023]] | [[Category:Machine Translated Page|Galois Extension]] | ||
[[Category:Pages with script errors|Galois Extension]] | |||
[[Category:Templates Vigyan Ready|Galois Extension]] | |||
[[Category:Templates that add a tracking category|Galois Extension]] | |||
[[Category:Templates that generate short descriptions|Galois Extension]] | |||
[[Category:Templates using TemplateData|Galois Extension]] | |||
[[Category:गैलोइस सिद्धांत|Galois Extension]] | |||
[[Category:फ़ील्ड एक्सटेंशन|Galois Extension]] | |||
[[Category:बीजगणितीय संख्या सिद्धांत|Galois Extension]] |
Latest revision as of 17:07, 10 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).