आदिम तत्व प्रमेय: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(4 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[क्षेत्र सिद्धांत (गणित)|क्षेत्र सिद्धांत]] में, आदिम तत्व प्रमेय एक क्षेत्र विस्तार की डिग्री को चिह्नित करने का परिणाम है जो एक तत्व द्वारा उत्पन्न किया जा सकता है। इस तरह से  उत्पन्न करने वाले तत्व को क्षेत्र विस्तार का आदिम तत्व कहा जाता है, और इस सन्दर्भ में विस्तार को एक साधारण विस्तार कहा जाता है। प्रमेय कहता है कि एक परिमित विस्तार सरल है अगर मध्यवर्ती क्षेत्र अत्यधिक् हैं। एक पुराना परिणाम, जिसे प्रायः आदिम तत्व प्रमेय भी कहा जाता है,यह बताता है कि प्रत्येक परिमित [[वियोज्य विस्तार]] सरल है; इसे पूर्व प्रमेय परिणाम के रूप में देखा जा सकता है। इन प्रमेयों का विशेष रूप से अर्थ है कि परिमेय संख्याओं पर सभी [[बीजगणितीय संख्या क्षेत्र]] और सभी विस्तार जिसमें दोनों क्षेत्र परिमित हैं, सरल हैं।
[[क्षेत्र सिद्धांत (गणित)|क्षेत्र सिद्धांत]] में, आदिम तत्व प्रमेय एक क्षेत्र विस्तार की डिग्री को चिह्नित करने का परिणाम है जो एक तत्व द्वारा उत्पन्न किया जा सकता है। इस तरह से  उत्पन्न करने वाले तत्व को क्षेत्र विस्तार का आदिम तत्व कहा जाता है, और इस सन्दर्भ में विस्तार को एक साधारण विस्तार कहा जाता है। प्रमेय कहता है कि एक परिमित विस्तार सरल है यदि मध्यवर्ती क्षेत्र अत्यधिक् हैं। एक पुराना परिणाम, जिसे प्रायः आदिम तत्व प्रमेय भी कहा जाता है,यह बताता है कि प्रत्येक परिमित [[वियोज्य विस्तार]] सरल है; इसे पूर्व प्रमेय परिणाम के रूप में देखा जा सकता है। इन प्रमेयों का विशेष रूप से अर्थ है कि परिमेय संख्याओं पर सभी [[बीजगणितीय संख्या क्षेत्र]] और सभी विस्तार जिसमें दोनों क्षेत्र परिमित और सरल हैं।


=== शब्दावली, ===
=== शब्दावली, ===
होने देना <math>E/F</math> फील्ड एक्सटेंशन हो। तत्व <math>\alpha\in E</math> के लिए आदिम तत्व है <math>E/F</math> अगर <math>E=F(\alpha),</math> यानी अगर हर तत्व <math>E</math> में एक [[तर्कसंगत कार्य]] के रूप में लिखा जा सकता है <math>\alpha</math> में गुणांक के साथ <math>F</math>. यदि ऐसा कोई आदिम तत्व मौजूद है, तो <math>E/F</math> सरल विस्तार कहा जाता है।
मान लीजिये  <math>E/F</math> क्षेत्र विस्तार है । तत्व <math>\alpha\in E</math> के लिए आदिम तत्व है <math>E/F</math> यदि <math>E=F(\alpha),</math> यानी यदि सभी तत्व <math>E</math> में <math>\alpha</math> में गुणांक के साथ <math>F</math> एक [[तर्कसंगत कार्य]] के रूप में लिखा जा सकता है . यदि ऐसा कोई आदिम तत्व मौजूद है, तो <math>E/F</math> को सरल विस्तार कहा जाता है।


यदि फील्ड एक्सटेंशन <math>E/F</math> आदिम तत्व है <math>\alpha</math> और परिमित डिग्री का है <math>n = [E:F]</math>, तब E के प्रत्येक अवयव x को विशिष्ट रूप में लिखा जा सकता है
यदि क्षेत्र विस्तार <math>E/F</math> आदिम तत्व <math>\alpha</math> है और <math>n = [E:F]</math> परिमित श्रेणीं का है , तब E के प्रत्येक अवयव x को विशिष्ट रूप में लिखा जा सकता है


:<math>x=f_{n-1}{\alpha}^{n-1}+\cdots+f_1{\alpha}+f_0,</math>
:<math>x=f_{n-1}{\alpha}^{n-1}+\cdots+f_1{\alpha}+f_0,</math>
कहाँ <math>f_i\in F</math> सभी के लिए मैं यानी सेट
जहाँ <math>f_i\in F</math> सभी के लिए मैं संमुच्चय


:<math>\{1,\alpha,\ldots,{\alpha}^{n-1}\}</math>
:<math>\{1,\alpha,\ldots,{\alpha}^{n-1}\}</math>
E के लिए F पर सदिश समष्टि के रूप में एक [[आधार (रैखिक बीजगणित)]] है।
E के लिए F पर सदिश समष्टि के रूप में [[आधार (रैखिक बीजगणित)|आधार]] है।


=== उदाहरण ===
=== उदाहरण ===
यदि कोई परिमेय संख्याओं से जुड़ता है <math>F = \mathbb{Q}</math> दो अपरिमेय संख्याएँ <math>\sqrt{2}</math> और <math>\sqrt{3}</math> विस्तार क्षेत्र प्राप्त करने के लिए <math>E=\mathbb{Q}(\sqrt{2},\sqrt{3})</math> एक क्षेत्र विस्तार की डिग्री 4, कोई दिखा सकता है कि यह विस्तार सरल है, जिसका अर्थ है <math>E=\mathbb{Q}(\alpha)</math> एक के लिए <math>\alpha\in E</math>. ले रहा <math>\alpha = \sqrt{2} + \sqrt{3} </math>, शक्तियां 1, α<sup></सुप>, <sup>2</सुप>, <sup>3</sup> को 1 के [[रैखिक संयोजन]]ों के रूप में विस्तारित किया जा सकता है, <math>\sqrt{2}</math>, <math>\sqrt{3}</math>, <math>\sqrt{6}</math> पूर्णांक गुणांक के साथ। के लिए रैखिक समीकरणों की इस प्रणाली को हल कर सकते हैं <math>\sqrt{2}</math> और <math>\sqrt{3}</math> ऊपर <math>\mathbb{Q}(\alpha)</math>, प्राप्त करने के लिए  <math>\sqrt{2} = \tfrac12(\alpha^3-9\alpha)</math> और <math>\sqrt{3} = -\tfrac12(\alpha^3-11\alpha)</math>. इससे पता चलता है α वास्तव में एक आदिम तत्व है:
यदि कोई <math>F = \mathbb{Q}</math> परिमेय संख्याओं से जुड़ता है और दो अपरिमेय संख्याएँ <math>\sqrt{2}</math> और <math>\sqrt{3}</math> विस्तार क्षेत्र प्राप्त करने के लिए <math>E=\mathbb{Q}(\sqrt{2},\sqrt{3})</math> क्षेत्र विस्तार की डिग्री 4 है , तो यह दिखाया जा सकता है कि यह विस्तार सरल है, जिसका अर्थ है <math>E=\mathbb{Q}(\alpha)</math> के लिए <math>\alpha\in E</math>. <math>\alpha = \sqrt{2} + \sqrt{3} </math> को संदर्रभित कर रहा  , घातांक  1, 1, α , α<sup>2</sup>, α<sup>3</sup>   <math>\sqrt{2}</math>, <math>\sqrt{3}</math>, <math>\sqrt{6}</math> पूर्णांक गुणांक के रैखिक संयोजनों के रूप में विस्तारित किया जा सकता है, । के लिए रैखिक समीकरणों की इस प्रणाली को हल कर सकते हैं <math>\sqrt{2}</math> और <math>\sqrt{3}</math> ऊपर <math>\mathbb{Q}(\alpha)</math>, प्राप्त करने के लिए  <math>\sqrt{2} = \tfrac12(\alpha^3-9\alpha)</math> और <math>\sqrt{3} = -\tfrac12(\alpha^3-11\alpha)</math>. इससे पता चलता है α वास्तव में एक आदिम तत्व है:
:<math>\mathbb{Q}(\sqrt 2, \sqrt 3)=\mathbb{Q}(\sqrt2 + \sqrt3).</math>
:<math>\mathbb{Q}(\sqrt 2, \sqrt 3)=\mathbb{Q}(\sqrt2 + \sqrt3).</math>




=== प्रमेय ===
=== प्रमेय ===
पारम्परिक आदिम तत्व प्रमेय कहता है:
पारम्परिक आदिम तत्व प्रमेय कहता है:परिमित श्रेणी का प्रत्येक वियोज्य विस्तार क्षेत्र विस्तार सरल है। यह प्रमेय बीजगणितीय संख्या क्षेत्रों पर लागू होता है, अर्थात परिमेय संख्या Q के परिमित विस्तार, चूंकि Q में [[विशेषता (बीजगणित)|विशेषता]] 0 है और इसलिए Q पर प्रत्येक परिमित विस्तार वियोज्य है। निम्नलिखित आदिम तत्व प्रमेय <ref name=":0" /> अधिक सामान्य है:एक परिमित क्षेत्र विस्तार <math>E/F</math> सरल है यदि वहाँ बहुत से मध्यवर्ती क्षेत्र K के साथ मौजूद हैं <math>E\supseteq K\supseteq F</math>.
:परिमित डिग्री का प्रत्येक वियोज्य विस्तार क्षेत्र विस्तार सरल है।
 
यह प्रमेय बीजगणितीय संख्या क्षेत्रों पर लागू होता है, अर्थात परिमेय संख्या Q के परिमित विस्तार, चूंकि Q में [[विशेषता (बीजगणित)|विशेषता]] 0 है और इसलिए Q पर प्रत्येक परिमित विस्तार वियोज्य है।
 
निम्नलिखित आदिम तत्व प्रमेय <ref name=":0" /> अधिक सामान्य है:
: एक परिमित क्षेत्र विस्तार <math>E/F</math> सरल है अगर वहाँ बहुत से मध्यवर्ती क्षेत्र K के साथ मौजूद हैं <math>E\supseteq K\supseteq F</math>.


गैलोज़ सिद्धांत के मौलिक प्रमेय का उपयोग करते हुए, पूर्व प्रमेय बाद वाले से तुरंत अनुसरण करता है।
गैलोज़ सिद्धांत के मौलिक प्रमेय का उपयोग करते हुए, पूर्व प्रमेय बाद वाले से तुरंत अनुसरण करता है।
Line 34: Line 28:


== रचनात्मक परिणाम ==
== रचनात्मक परिणाम ==
आम तौर पर, एक परिमित वियोज्य विस्तार E / F के लिए सभी आदिम तत्वों का सेट, E के उचित F-उपस्थानों के एक परिमित संग्रह का पूरक है, अर्थात् मध्यवर्ती क्षेत्र। यह कथन परिमित क्षेत्रों के मामले में कुछ भी नहीं कहता है, जिसके लिए क्षेत्र के [[गुणक समूह]] (एक [[चक्रीय समूह]]) के एक जनरेटर को खोजने के लिए समर्पित एक कम्प्यूटेशनल सिद्धांत है, जो एक आदिम तत्व है (आदिम तत्व (परिमित क्षेत्र देखें) )). जहां एफ अनंत है, एक कबूतर सिद्धांत प्रमाण तकनीक दो तत्वों द्वारा उत्पन्न रैखिक उप-स्थान पर विचार करती है और यह साबित करती है कि केवल बहुत ही रैखिक संयोजन हैं
सामान्यतः,परिमित वियोज्य विस्तार E / F के लिए सभी आदिम तत्वों का समुच्चय, E के उचित F-उपस्थानों के परिमित संग्रह का पूरक है, अर्थात् मध्यवर्ती क्षेत्र कथन परिमित क्षेत्रों के संदर्भो में कुछ नहीं कहता है, क्षेत्र के [[गुणक समूह]] एक [[चक्रीय समूह]] के जनरेटर को खोजने के लिए समर्पित एक संगणनीय सिद्धांत है, जो एक आदिम तत्व है. जहां F अनंत है, एक कोष्ठ सिद्धांत प्रमाण तकनीक दो तत्वों द्वारा उत्पन्न रैखिक उप-स्थान पर विचार करती है और यह प्रमाणित करती है कि केवल बहुत ही रैखिक संयोजन हैं


:<math>\gamma = \alpha + c \beta\ </math>
:<math>\gamma = \alpha + c \beta\ </math>
सी में एफ के साथ, जो उपक्षेत्र उत्पन्न करने में विफल रहता है जिसमें दोनों तत्व होते हैं:
C में F के साथ, जो उपक्षेत्र उत्पन्न करने में विफल रहता है जिसमें दोनों तत्व होते हैं:
 
:जैसा <math>F(\alpha,\beta)/F(\alpha+c\beta)</math> एक वियोज्य विस्तार है, अगर <math>F(\alpha+c\beta) \subsetneq F(\alpha,\beta)</math> एक गैर-तुच्छ एम्बेडिंग मौजूद है <math>\sigma : F(\alpha,\beta)\to \overline{F}</math> किस पर प्रतिबंध <math>F(\alpha+c\beta)</math> पहचान है जिसका अर्थ है <math> \sigma(\alpha)+c \sigma(\beta) = \alpha+c \beta</math> और <math>\sigma(\beta) \ne \beta</math> ताकि <math> c = \frac{\sigma(\alpha)-\alpha}{\beta-\sigma(\beta)}</math>. सी के लिए यह अभिव्यक्ति केवल ले सकती है <math>[F(\alpha):F] [F(\beta):F]</math> विभिन्न मूल्य। के अन्य सभी मूल्यों के लिए <math>c\in F</math> तब <math>F(\alpha,\beta) = F(\alpha+c\beta)</math>.
 
यह दिखाने के एक तरीके के रूप में लगभग तत्काल है कि कैसे स्टीनिट्ज़ का परिणाम शास्त्रीय परिणाम का अर्थ है, और मध्यवर्ती क्षेत्रों के परिणामों की संख्या के मामले में असाधारण सी की संख्या के लिए एक बाध्यता है (यह संख्या कुछ ऐसी है जो खुद गैलोइस सिद्धांत से बंधी हो सकती है और संभवतः)। इसलिए, इस मामले में आदिम तत्वों को खोजने के लिए ट्रायल-एंड-एरर एक संभावित व्यावहारिक तरीका है।


== इतिहास ==
:जैसा <math>F(\alpha,\beta)/F(\alpha+c\beta)</math> एक वियोज्य विस्तार है, यदि <math>F(\alpha+c\beta) \subsetneq F(\alpha,\beta)</math> एक गैर-तुच्छ एम्बेडिंग उपस्थित है <math>\sigma : F(\alpha,\beta)\to \overline{F}</math>जिस पर प्रतिबंध <math>F(\alpha+c\beta)</math> पहचान है जिसका अर्थ है <math> \sigma(\alpha)+c \sigma(\beta) = \alpha+c \beta</math> और <math>\sigma(\beta) \ne \beta</math> ताकि <math> c = \frac{\sigma(\alpha)-\alpha}{\beta-\sigma(\beta)}</math>. C के लिए यह अभिव्यक्ति केवल ले सकती है <math>[F(\alpha):F] [F(\beta):F]</math> विभिन्न मूल्य के अन्य सभी मूल्यों के लिए <math>c\in F</math> तब <math>F(\alpha,\beta) = F(\alpha+c\beta)</math>.
1831 के अपने पहले संस्मरण में,<ref>{{Cite book|last=Neumann|first=Peter M.|url=https://www.worldcat.org/oclc/757486602|title=The mathematical writings of Évariste Galois|date=2011|publisher=European Mathematical Society|others=|isbn=978-3-03719-104-0|location=Zürich|oclc=757486602}}</ref> Évariste Galois ने परिमेय संख्याओं पर एक बहुपद के बंटवारे के क्षेत्र के मामले में शास्त्रीय आदिम तत्व प्रमेय का एक प्रमाण तैयार किया। उनके स्केच में अंतराल को आसानी से भरा जा सकता था<ref>{{Cite book|last=Tignol|first=Jean-Pierre|url=https://www.worldscientific.com/worldscibooks/10.1142/9719|title=Galois' Theory of Algebraic Equations|date=February 2016|publisher=WORLD SCIENTIFIC|isbn=978-981-4704-69-4|edition=2|location=|pages=231|language=en|doi=10.1142/9719|oclc=1020698655}}</ref> (जैसा कि रेफरी सिमोन डेनिस पोइसन द्वारा टिप्पणी की गई थी; गाल्वा का संस्मरण 1846 तक प्रकाशित नहीं हुआ था) एक प्रमेय का शोषण करके<ref>{{Cite book|last=Tignol|first=Jean-Pierre|url=https://www.worldscientific.com/worldscibooks/10.1142/9719|title=Galois' Theory of Algebraic Equations|date=February 2016|publisher=WORLD SCIENTIFIC|isbn=978-981-4704-69-4|edition=2|pages=135|language=en|doi=10.1142/9719|oclc=1020698655}}</ref><ref name=":1">{{Cite book|last=Cox|first=David A.|url=https://www.worldcat.org/oclc/784952441|title=Galois theory|date=2012|publisher=John Wiley & Sons|isbn=978-1-118-21845-7|edition=2nd|location=Hoboken, NJ|pages=322|oclc=784952441}}</ref> 1771 से [[जोसेफ-लुई लाग्रेंज]] का, जिसे गैल्वा निश्चित रूप से जानता था। ऐसा लगता है कि लग्रेंज पहले से ही क्षेत्रों को विभाजित करने के लिए आदिम तत्व प्रमेय के बारे में जानते थे।<ref name=":1" />गैलोज़ ने तब इस प्रमेय का इस्तेमाल गैलोज़ समूह के अपने विकास में भारी रूप से किया था। तब से इसका उपयोग गैलोज़ सिद्धांत के विकास और गैलोज़ सिद्धांत के मौलिक प्रमेय में किया गया है। 1910 में क्षेत्र सिद्धांत (गणित) पर एक प्रभावशाली लेख में दो आदिम तत्व प्रमेयों को उनके आधुनिक रूप में अर्न्स्ट स्टीनित्ज़ द्वारा सिद्ध किया गया था;<ref name=":0">{{Cite journal|last=Steinitz|first=Ernst|date=1910|title=Algebraische Theorie der Körper.|url=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0137?tify=%7B%22view%22:%22info%22,%22pages%22:%5B171%5D%7D|journal=Journal für die reine und angewandte Mathematik|language=de|volume=137|pages=167–309|doi=10.1515/crll.1910.137.167|issn=1435-5345}}</ref> स्टीनिट्ज़ ने शास्त्रीय एक प्रमेय को आदिम तत्वों का और दूसरे को मध्यवर्ती क्षेत्रों का प्रमेय कहा। [[एमिल आर्टिन]] ने 1930 के दशक में आदिम तत्व प्रमेयों के उपयोग के बिना गाल्वा सिद्धांत का सुधार किया।<ref>{{cite book|last=Kleiner|first=Israel|title=A History of Abstract Algebra|date=2007|publisher=Springer|isbn=978-0-8176-4685-1|pages=64|chapter=§4.1 Galois theory|chapter-url=https://books.google.com/books?id=udj-1UuaOiIC&pg=PA64}}</ref><ref>{{Cite book|last=Artin|first=Emil|url=https://www.worldcat.org/oclc/38144376|title=Galois theory|date=1998|publisher=Dover Publications|others=Arthur N. Milgram|isbn=0-486-62342-4|edition=Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press|location=Mineola, N.Y.|oclc=38144376}}</ref>


यह दिखाने के विधि के रूप में लगभगअविलम्ब  है कि कैसे स्टीनिट्ज़ का परिणाम पारम्परिक परिणाम का अर्थ है, और मध्यवर्ती क्षेत्रों के परिणामों की संख्या के मामले में असाधारण C की संख्या के लिए एक बाध्यता है यह संख्या कुछ ऐसी है जो स्वयं गैलोइस सिद्धांत से बंधी हो सकती है और संभवतः इस मामले में आदिम तत्वों को खोजने के लिए प्रयोग और त्रुटी एक संभावित व्यावहारिक विधि  है।


=== इतिहास ===
इवरिस्ट गैलोइस ने 1831 ई० में अपने पहले संस्मरण में,<ref>{{Cite book|last=Neumann|first=Peter M.|url=https://www.worldcat.org/oclc/757486602|title=The mathematical writings of Évariste Galois|date=2011|publisher=European Mathematical Society|others=|isbn=978-3-03719-104-0|location=Zürich|oclc=757486602}}</ref> परिमेय संख्याओं पर एक बहुपद के बंटवारे के क्षेत्र के प्रकरण में पारम्परिक आदिम तत्व प्रमेय का एक प्रमाण तैयार किया। उनके रेखाचित्र में अंतराल को सरलता से भरा जा सकता था<ref>{{Cite book|last=Tignol|first=Jean-Pierre|url=https://www.worldscientific.com/worldscibooks/10.1142/9719|title=Galois' Theory of Algebraic Equations|date=February 2016|publisher=WORLD SCIENTIFIC|isbn=978-981-4704-69-4|edition=2|location=|pages=231|language=en|doi=10.1142/9719|oclc=1020698655}}</ref> जैसा कि रेफरी सिमोन डेनिस पोइसन द्वारा टिप्पणी की गई थी; गाल्वा का संस्मरण 1846 तक प्रकाशित नहीं हुआ था एक प्रमेय का शोषण करके<ref>{{Cite book|last=Tignol|first=Jean-Pierre|url=https://www.worldscientific.com/worldscibooks/10.1142/9719|title=Galois' Theory of Algebraic Equations|date=February 2016|publisher=WORLD SCIENTIFIC|isbn=978-981-4704-69-4|edition=2|pages=135|language=en|doi=10.1142/9719|oclc=1020698655}}</ref><ref name=":1">{{Cite book|last=Cox|first=David A.|url=https://www.worldcat.org/oclc/784952441|title=Galois theory|date=2012|publisher=John Wiley & Sons|isbn=978-1-118-21845-7|edition=2nd|location=Hoboken, NJ|pages=322|oclc=784952441}}</ref> 1771 से [[जोसेफ-लुई लाग्रेंज]] का, जिसे गैल्वा निश्चित रूप से जानता था। ऐसा लगता है कि लग्रेंज पहले से ही क्षेत्रों को विभाजित करने के लिए आदिम तत्व प्रमेय के बारे में जानते थे।<ref name=":1" />गैलोज़ ने तब इस प्रमेय का प्रयोग गैलोज़ समूह के अपने विकास में भारी रूप से किया था। तब से इसका उपयोग गैलोज़ सिद्धांत के विकास और गैलोज़ सिद्धांत के मौलिक प्रमेय में किया गया है। 1910 में क्षेत्र सिद्धांत गणित पर एक प्रभावशाली लेख में दो आदिम तत्व प्रमेयों को उनके आधुनिक रूप में अर्न्स्ट स्टीनित्ज़ द्वारा सिद्ध किया गया था;<ref name=":0">{{Cite journal|last=Steinitz|first=Ernst|date=1910|title=Algebraische Theorie der Körper.|url=https://gdz.sub.uni-goettingen.de/id/PPN243919689_0137?tify=%7B%22view%22:%22info%22,%22pages%22:%5B171%5D%7D|journal=Journal für die reine und angewandte Mathematik|language=de|volume=137|pages=167–309|doi=10.1515/crll.1910.137.167|issn=1435-5345}}</ref> स्टीनिट्ज़ ने पारम्परिक प्रमेय को आदिम तत्वों का और दूसरे को मध्यवर्ती क्षेत्रों का प्रमेय कहा। [[एमिल आर्टिन]] ने 1930 के दशक में आदिम तत्व प्रमेयों के उपयोग के बिना गाल्वा सिद्धांत का सुधार किया।<ref>{{cite book|last=Kleiner|first=Israel|title=A History of Abstract Algebra|date=2007|publisher=Springer|isbn=978-0-8176-4685-1|pages=64|chapter=§4.1 Galois theory|chapter-url=https://books.google.com/books?id=udj-1UuaOiIC&pg=PA64}}</ref><ref>{{Cite book|last=Artin|first=Emil|url=https://www.worldcat.org/oclc/38144376|title=Galois theory|date=1998|publisher=Dover Publications|others=Arthur N. Milgram|isbn=0-486-62342-4|edition=Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press|location=Mineola, N.Y.|oclc=38144376}}</ref>
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
Line 56: Line 48:
* [http://planetmath.org/ProofOfPrimitiveElementTheorem The primitive element theorem at planetmath.org]
* [http://planetmath.org/ProofOfPrimitiveElementTheorem The primitive element theorem at planetmath.org]
* [http://www.math.cornell.edu/~kbrown/6310/primitive.pdf The primitive element theorem on Ken Brown's website (pdf file)]
* [http://www.math.cornell.edu/~kbrown/6310/primitive.pdf The primitive element theorem on Ken Brown's website (pdf file)]
[[Category: क्षेत्र (गणित)]] [[Category: अमूर्त बीजगणित में प्रमेय]]


[[Category: Machine Translated Page]]
[[Category:CS1 Deutsch-language sources (de)]]
[[Category:CS1 English-language sources (en)]]
[[Category:Created On 13/02/2023]]
[[Category:Created On 13/02/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:अमूर्त बीजगणित में प्रमेय]]
[[Category:क्षेत्र (गणित)]]

Latest revision as of 10:06, 22 February 2023

क्षेत्र सिद्धांत में, आदिम तत्व प्रमेय एक क्षेत्र विस्तार की डिग्री को चिह्नित करने का परिणाम है जो एक तत्व द्वारा उत्पन्न किया जा सकता है। इस तरह से उत्पन्न करने वाले तत्व को क्षेत्र विस्तार का आदिम तत्व कहा जाता है, और इस सन्दर्भ में विस्तार को एक साधारण विस्तार कहा जाता है। प्रमेय कहता है कि एक परिमित विस्तार सरल है यदि मध्यवर्ती क्षेत्र अत्यधिक् हैं। एक पुराना परिणाम, जिसे प्रायः आदिम तत्व प्रमेय भी कहा जाता है,यह बताता है कि प्रत्येक परिमित वियोज्य विस्तार सरल है; इसे पूर्व प्रमेय परिणाम के रूप में देखा जा सकता है। इन प्रमेयों का विशेष रूप से अर्थ है कि परिमेय संख्याओं पर सभी बीजगणितीय संख्या क्षेत्र और सभी विस्तार जिसमें दोनों क्षेत्र परिमित और सरल हैं।

शब्दावली,

मान लीजिये क्षेत्र विस्तार है । तत्व के लिए आदिम तत्व है यदि यानी यदि सभी तत्व में में गुणांक के साथ एक तर्कसंगत कार्य के रूप में लिखा जा सकता है . यदि ऐसा कोई आदिम तत्व मौजूद है, तो को सरल विस्तार कहा जाता है।

यदि क्षेत्र विस्तार आदिम तत्व है और परिमित श्रेणीं का है , तब E के प्रत्येक अवयव x को विशिष्ट रूप में लिखा जा सकता है

जहाँ सभी के लिए मैं संमुच्चय

E के लिए F पर सदिश समष्टि के रूप में आधार है।

उदाहरण

यदि कोई परिमेय संख्याओं से जुड़ता है और दो अपरिमेय संख्याएँ और विस्तार क्षेत्र प्राप्त करने के लिए क्षेत्र विस्तार की डिग्री 4 है , तो यह दिखाया जा सकता है कि यह विस्तार सरल है, जिसका अर्थ है के लिए . को संदर्रभित कर रहा , घातांक 1, 1, α , α2, α3 , , पूर्णांक गुणांक के रैखिक संयोजनों के रूप में विस्तारित किया जा सकता है, । के लिए रैखिक समीकरणों की इस प्रणाली को हल कर सकते हैं और ऊपर , प्राप्त करने के लिए और . इससे पता चलता है α वास्तव में एक आदिम तत्व है:


प्रमेय

पारम्परिक आदिम तत्व प्रमेय कहता है:परिमित श्रेणी का प्रत्येक वियोज्य विस्तार क्षेत्र विस्तार सरल है। यह प्रमेय बीजगणितीय संख्या क्षेत्रों पर लागू होता है, अर्थात परिमेय संख्या Q के परिमित विस्तार, चूंकि Q में विशेषता 0 है और इसलिए Q पर प्रत्येक परिमित विस्तार वियोज्य है। निम्नलिखित आदिम तत्व प्रमेय [1] अधिक सामान्य है:एक परिमित क्षेत्र विस्तार सरल है यदि वहाँ बहुत से मध्यवर्ती क्षेत्र K के साथ मौजूद हैं .

गैलोज़ सिद्धांत के मौलिक प्रमेय का उपयोग करते हुए, पूर्व प्रमेय बाद वाले से तुरंत अनुसरण करता है।

विशेषता पी

एक गैर-वियोज्य विस्तार के लिए P की विशेषता, फिर भी एक आदिम तत्व है यद्यपि डिग्री P है: वास्तव में, कोई गैर-तुच्छ मध्यवर्ती उपक्षेत्र नहीं हो सकता है क्योंकि उनकी डिग्री प्रमुख P के कारक होंगे।

जब = P2, कोई आदिम तत्व नहीं हो सकता। सबसे सरल उदाहरण है ,P तत्वों के साथ परिमित क्षेत्र पर दो अनिश्चित T और U में तर्कसंगत कार्यों का क्षेत्र, और . वास्तव में, किसी भी α = G के लिए, फ्रोबेनियस एंडोमोर्फिज्म दर्शाता है कि तत्व αp F में स्थित है, इसलिए α का मूल है , और α आदिम तत्व नहीं हो सकता (डिग्री p2 ओवर F), लेकिन इसकेअतिरिक्त F(α) एक गैर-तुच्छ मध्यवर्ती क्षेत्र है।

रचनात्मक परिणाम

सामान्यतः,परिमित वियोज्य विस्तार E / F के लिए सभी आदिम तत्वों का समुच्चय, E के उचित F-उपस्थानों के परिमित संग्रह का पूरक है, अर्थात् मध्यवर्ती क्षेत्र कथन परिमित क्षेत्रों के संदर्भो में कुछ नहीं कहता है, क्षेत्र के गुणक समूह एक चक्रीय समूह के जनरेटर को खोजने के लिए समर्पित एक संगणनीय सिद्धांत है, जो एक आदिम तत्व है. जहां F अनंत है, एक कोष्ठ सिद्धांत प्रमाण तकनीक दो तत्वों द्वारा उत्पन्न रैखिक उप-स्थान पर विचार करती है और यह प्रमाणित करती है कि केवल बहुत ही रैखिक संयोजन हैं

C में F के साथ, जो उपक्षेत्र उत्पन्न करने में विफल रहता है जिसमें दोनों तत्व होते हैं:

जैसा एक वियोज्य विस्तार है, यदि एक गैर-तुच्छ एम्बेडिंग उपस्थित है जिस पर प्रतिबंध पहचान है जिसका अर्थ है और ताकि . C के लिए यह अभिव्यक्ति केवल ले सकती है विभिन्न मूल्य के अन्य सभी मूल्यों के लिए तब .

यह दिखाने के विधि के रूप में लगभगअविलम्ब है कि कैसे स्टीनिट्ज़ का परिणाम पारम्परिक परिणाम का अर्थ है, और मध्यवर्ती क्षेत्रों के परिणामों की संख्या के मामले में असाधारण C की संख्या के लिए एक बाध्यता है यह संख्या कुछ ऐसी है जो स्वयं गैलोइस सिद्धांत से बंधी हो सकती है और संभवतः इस मामले में आदिम तत्वों को खोजने के लिए प्रयोग और त्रुटी एक संभावित व्यावहारिक विधि है।

इतिहास

इवरिस्ट गैलोइस ने 1831 ई० में अपने पहले संस्मरण में,[2] परिमेय संख्याओं पर एक बहुपद के बंटवारे के क्षेत्र के प्रकरण में पारम्परिक आदिम तत्व प्रमेय का एक प्रमाण तैयार किया। उनके रेखाचित्र में अंतराल को सरलता से भरा जा सकता था[3] जैसा कि रेफरी सिमोन डेनिस पोइसन द्वारा टिप्पणी की गई थी; गाल्वा का संस्मरण 1846 तक प्रकाशित नहीं हुआ था एक प्रमेय का शोषण करके[4][5] 1771 से जोसेफ-लुई लाग्रेंज का, जिसे गैल्वा निश्चित रूप से जानता था। ऐसा लगता है कि लग्रेंज पहले से ही क्षेत्रों को विभाजित करने के लिए आदिम तत्व प्रमेय के बारे में जानते थे।[5]गैलोज़ ने तब इस प्रमेय का प्रयोग गैलोज़ समूह के अपने विकास में भारी रूप से किया था। तब से इसका उपयोग गैलोज़ सिद्धांत के विकास और गैलोज़ सिद्धांत के मौलिक प्रमेय में किया गया है। 1910 में क्षेत्र सिद्धांत गणित पर एक प्रभावशाली लेख में दो आदिम तत्व प्रमेयों को उनके आधुनिक रूप में अर्न्स्ट स्टीनित्ज़ द्वारा सिद्ध किया गया था;[1] स्टीनिट्ज़ ने पारम्परिक प्रमेय को आदिम तत्वों का और दूसरे को मध्यवर्ती क्षेत्रों का प्रमेय कहा। एमिल आर्टिन ने 1930 के दशक में आदिम तत्व प्रमेयों के उपयोग के बिना गाल्वा सिद्धांत का सुधार किया।[6][7]

संदर्भ

  1. 1.0 1.1 Steinitz, Ernst (1910). "Algebraische Theorie der Körper". Journal für die reine und angewandte Mathematik (in Deutsch). 137: 167–309. doi:10.1515/crll.1910.137.167. ISSN 1435-5345.
  2. Neumann, Peter M. (2011). The mathematical writings of Évariste Galois. Zürich: European Mathematical Society. ISBN 978-3-03719-104-0. OCLC 757486602.
  3. Tignol, Jean-Pierre (February 2016). Galois' Theory of Algebraic Equations (in English) (2 ed.). WORLD SCIENTIFIC. p. 231. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
  4. Tignol, Jean-Pierre (February 2016). Galois' Theory of Algebraic Equations (in English) (2 ed.). WORLD SCIENTIFIC. p. 135. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
  5. 5.0 5.1 Cox, David A. (2012). Galois theory (2nd ed.). Hoboken, NJ: John Wiley & Sons. p. 322. ISBN 978-1-118-21845-7. OCLC 784952441.
  6. Kleiner, Israel (2007). "§4.1 Galois theory". A History of Abstract Algebra. Springer. p. 64. ISBN 978-0-8176-4685-1.
  7. Artin, Emil (1998). Galois theory. Arthur N. Milgram (Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press ed.). Mineola, N.Y.: Dover Publications. ISBN 0-486-62342-4. OCLC 38144376.


बाहरी संबंध