बीजगणितीय समापन: Difference between revisions

Revision as of 16:03, 16 March 2023

गणित में, अमूर्त बीजगणित, क्षेत्र K का बीजगणितीय समापन K का बीजगणितीय विस्तार है, जो बीजगणितीय रूप से बंद क्षेत्र है। यह गणित में कई क्लोजर में से है।

ज़ोर्न के लेम्मा^[1]^[2]^[3] या अल्ट्राफिल्टर लेम्मा,^[4]^[5] का उपयोग करते हुए, यह दिखाया जा सकता है कि बीजगणितीय समापन और विखंडन क्षेत्रों का अस्तित्व, और यह कि क्षेत्र K का बीजगणितीय समापन समरूपता तक अद्वितीय है, जो K के प्रत्येक सदस्य को निश्चित बिंदु करता है। इस आवश्यक अद्वितीयता के कारण, हम प्रायः बोलते हैं K के बीजगणितीय बंद होने के अतिरिक्त K के बीजगणितीय समापन का।

एक क्षेत्र K के बीजगणितीय समापन को K के सबसे बड़े बीजगणितीय विस्तार के रूप में माना जा सकता है। इसे देखने के लिए, ध्यान दें कि यदि L, K का कोई बीजगणितीय विस्तार है, तो L का बीजगणितीय संवरण भी K का बीजगणितीय संवरण है, और इसलिए L, K के बीजगणितीय संवरण में समाहित है। K का बीजगणितीय बंद भी सबसे छोटा बीजगणितीय रूप से बंद क्षेत्र है जिसमें K है, क्योंकि यदि M कोई बीजगणितीय रूप से बंद क्षेत्र है जिसमें K है, तो M के तत्व जो बीजगणितीय विस्तार K हैं, K का बीजगणितीय समापन बनाते हैं।

एक क्षेत्र K के बीजगणितीय समापन में K के समान ही कार्डिनल संख्या होती है यदि K अनंत है, और यदि K परिमित है तो गणनात्मक रूप से अनंत है।^[3]

उदाहरण

बीजगणित का मौलिक प्रमेय बताता है कि वास्तविक संख्याओं के क्षेत्र का बीजगणितीय समापन जटिल संख्याओं का क्षेत्र है।
परिमेय संख्याओं के क्षेत्र का बीजगणितीय समापन बीजगणितीय संख्याओं का क्षेत्र है।
संमिश्र संख्याओं के भीतर कई गणनीय बीजगणितीय रूप से बंद क्षेत्र हैं, और बीजगणितीय संख्याओं के क्षेत्र को सख्ती से समाहित करते हैं; ये परिमेय संख्याओं के अनुवांशिक विस्तार के बीजगणितीय समापन हैं, उदा। Q(π) का बीजगणितीय समापन।
अभाज्य संख्या शक्ति क्रम q के परिमित क्षेत्र के लिए, बीजगणितीय समापन एक गणनीय रूप से अनंत क्षेत्र है जिसमें क्रम q के क्षेत्र की एक प्रति होती हैⁿ प्रत्येक सकारात्मक पूर्णांक n के लिए (और वास्तव में इन प्रतियों का मिलन है)।^[6]

एक बीजगणितीय समापन और विभाजन क्षेत्रों का अस्तित्व

होने देना $S=\{f_{\lambda }|\lambda \in \Lambda \}$ K[x] में सभी मोनिक इरेड्यूसिबल बहुपदों का समुच्चय हो। प्रत्येक के लिए $f_{\lambda }\in S$ , नए चर पेश करें $u_{\lambda ,1},\ldots ,u_{\lambda ,d}$ कहाँ $d={\rm {degree}}(f_{\lambda })$ . बता दें कि R द्वारा उत्पन्न K के ऊपर बहुपद वलय है $u_{\lambda ,i}$ सभी के लिए $\lambda \in \Lambda$ और सभी $i\leq {\rm {degree}}(f_{\lambda })$ . लिखना

f_{\lambda }-\prod _{i=1}^{d}(x-u_{\lambda ,i})=\sum _{j=0}^{d-1}r_{\lambda ,j}\cdot x^{j}\in R[x]

साथ $r_{\lambda ,j}\in R$ . चलो मैं द्वारा उत्पन्न आर में आदर्श हो $r_{\lambda ,j}$ . चूँकि I, R से पूरी तरह छोटा है, ज़ोर्न लेम्मा का तात्पर्य है कि R में अधिकतम आदर्श M मौजूद है जिसमें I शामिल है। फील्ड के₁= आर/एम में संपत्ति है कि हर बहुपद $f_{\lambda }$ के गुणांक के साथ के उत्पाद के रूप में विभाजित होता है $x-(u_{\lambda ,i}+M),$ और इसलिए K में सभी जड़ें हैं₁. उसी तरह, एक एक्सटेंशन K₂ के₁ निर्माण किया जा सकता है, आदि। इन सभी एक्सटेंशनों का मिलन K का बीजगणितीय समापन है, क्योंकि इस नए क्षेत्र में गुणांक वाले किसी भी बहुपद के गुणांक कुछ K में होते हैं।_n पर्याप्त रूप से बड़े n के साथ, और फिर इसकी जड़ें K में हैं_n+1, और इसलिए संघ में ही।

यह उसी रेखा के साथ दिखाया जा सकता है कि के [एक्स] के किसी भी उपसमुच्चय एस के लिए, के पर एस के विभाजन क्षेत्र मौजूद हैं।

वियोज्य क्लोजर

एक बीजगणितीय समापन K^{K के alg में अद्वितीय वियोज्य एक्सटेंशन K होता है^{K का sep} जिसमें K के भीतर K के सभी (बीजीय) वियोज्य विस्तार शामिल हैं^अलग. इस उप-विस्तार को K का 'वियोज्य समापन' कहा जाता है। चूंकि एक वियोज्य विस्तार का वियोज्य विस्तार फिर से वियोज्य है, K का कोई परिमित वियोज्य विस्तार नहीं है^sep, of Degree > 1. इसे दूसरे तरीके से कहते हुए, K अलग-अलग बंद बीजगणितीय विस्तार क्षेत्र में समाहित है। यह अद्वितीय है (समरूपता तक)।^[7]
वियोज्य क्लोजर पूर्ण बीजगणितीय क्लोजर है यदि और केवल यदि K एक पूर्ण क्षेत्र है। उदाहरण के लिए, यदि K अभिलाक्षणिक p का क्षेत्र है और यदि X, K पर पारलौकिक है, $K(X)({\sqrt[{p}]{X}})\supset K(X)$ एक गैर-वियोज्य बीजगणितीय क्षेत्र विस्तार है।}

सामान्य तौर पर, K का पूर्ण Galois समूह K का Galois समूह है^{सितम्बर} ओवर के.^[8]

यह भी देखें

बीजगणितीय रूप से बंद क्षेत्र
बीजगणितीय विस्तार
प्यूसेक्स विस्तार
पूरा क्षेत्र

संदर्भ

↑ McCarthy (1991) p.21
↑ M. F. Atiyah and I. G. Macdonald (1969). Introduction to commutative algebra. Addison-Wesley publishing Company. pp. 11–12.
↑ ^3.0 ^3.1 Kaplansky (1972) pp.74-76
↑ Banaschewski, Bernhard (1992), "Algebraic closure without choice.", Z. Math. Logik Grundlagen Math., 38 (4): 383–385, doi:10.1002/malq.19920380136, Zbl 0739.03027
↑ Mathoverflow discussion
↑ Brawley, Joel V.; Schnibben, George E. (1989), "2.2 The Algebraic Closure of a Finite Field", Infinite Algebraic Extensions of Finite Fields, Contemporary Mathematics, vol. 95, American Mathematical Society, pp. 22–23, ISBN 978-0-8218-5428-0, Zbl 0674.12009.
↑ McCarthy (1991) p.22
↑ Fried, Michael D.; Jarden, Moshe (2008). फील्ड अंकगणित. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd ed.). Springer-Verlag. p. 12. ISBN 978-3-540-77269-9. Zbl 1145.12001.

Kaplansky, Irving (1972). Fields and rings. Chicago lectures in mathematics (Second ed.). University of Chicago Press. ISBN 0-226-42451-0. Zbl 1001.16500.
McCarthy, Paul J. (1991). Algebraic extensions of fields (Corrected reprint of the 2nd ed.). New York: Dover Publications. Zbl 0768.12001.

[McC21-1] McCarthy (1991) p.21

[2] M. F. Atiyah and I. G. Macdonald (1969). Introduction to commutative algebra. Addison-Wesley publishing Company. pp. 11–12.

[Kap7476-3] 3.0 ^3.1 Kaplansky (1972) pp.74-76

[4] Banaschewski, Bernhard (1992), "Algebraic closure without choice.", Z. Math. Logik Grundlagen Math., 38 (4): 383–385, doi:10.1002/malq.19920380136, Zbl 0739.03027

[5] Mathoverflow discussion

[6] Brawley, Joel V.; Schnibben, George E. (1989), "2.2 The Algebraic Closure of a Finite Field", Infinite Algebraic Extensions of Finite Fields, Contemporary Mathematics, vol. 95, American Mathematical Society, pp. 22–23, ISBN 978-0-8218-5428-0, Zbl 0674.12009.

[McC22-7] McCarthy (1991) p.22

[FJ12-8] Fried, Michael D.; Jarden, Moshe (2008). फील्ड अंकगणित. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd ed.). Springer-Verlag. p. 12. ISBN 978-3-540-77269-9. Zbl 1145.12001.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

@@ Line 1: / Line 1: @@
 {{Short description|Algebraic field extension}}
-गणित में, विशेष रूप से अमूर्त बीजगणित, एक [[क्षेत्र (गणित)]] ''के'' का एक बीजगणितीय समापन ''के'' का एक [[बीजगणितीय विस्तार]] है जो बीजगणितीय रूप से बंद क्षेत्र है। यह गणित में कई क्लोजर (गणित) में से एक है।
+गणित में, अमूर्त बीजगणित, [[क्षेत्र (गणित)|क्षेत्र]] K का बीजगणितीय समापन K का [[बीजगणितीय विस्तार]] है, जो बीजगणितीय रूप से बंद क्षेत्र है। यह गणित में कई क्लोजर में से है।
-ज़ोर्न के लेम्मा का उपयोग करना<ref name=McC21>McCarthy (1991) p.21</ref><ref>M. F. Atiyah and I. G. Macdonald (1969). ''Introduction to commutative algebra''. Addison-Wesley publishing Company. pp.&nbsp;11–12.</ref><ref name=Kap7476>Kaplansky (1972) pp.74-76</ref> या कमजोर [[अल्ट्राफिल्टर लेम्मा]],<ref>{{Citation|first=Bernhard|last=Banaschewski|
+ज़ोर्न के लेम्मा<ref name=McC21>McCarthy (1991) p.21</ref><ref>M. F. Atiyah and I. G. Macdonald (1969). ''Introduction to commutative algebra''. Addison-Wesley publishing Company. pp.&nbsp;11–12.</ref><ref name=Kap7476>Kaplansky (1972) pp.74-76</ref> या [[अल्ट्राफिल्टर लेम्मा]],<ref>{{Citation|first=Bernhard|last=Banaschewski|
-title=Algebraic closure without choice.|journal=Z. Math. Logik Grundlagen Math.|volume=38|issue=4|pages=383–385|year=1992|doi=10.1002/malq.19920380136|zbl=0739.03027}}</ref><ref>[https://mathoverflow.net/questions/46566/is-the-statement-that-every-field-has-an-algebraic-closure-known-to-be-equivalent Mathoverflow discussion]</ref> यह दिखाया जा सकता है कि एक बीजगणितीय समापन और विखंडन क्षेत्रों का अस्तित्व, और यह कि एक क्षेत्र K का बीजगणितीय समापन एक समरूपता [[तक]] अद्वितीय है, जो K के प्रत्येक सदस्य को [[निश्चित बिंदु (गणित)]] करता है। इस आवश्यक अद्वितीयता के कारण, हम अक्सर बोलते हैं K के बीजगणितीय बंद होने के बजाय K के बीजगणितीय समापन का।
+title=Algebraic closure without choice.|journal=Z. Math. Logik Grundlagen Math.|volume=38|issue=4|pages=383–385|year=1992|doi=10.1002/malq.19920380136|zbl=0739.03027}}</ref><ref>[https://mathoverflow.net/questions/46566/is-the-statement-that-every-field-has-an-algebraic-closure-known-to-be-equivalent Mathoverflow discussion]</ref> का उपयोग करते हुए, यह दिखाया जा सकता है कि बीजगणितीय समापन और विखंडन क्षेत्रों का अस्तित्व, और यह कि क्षेत्र K का बीजगणितीय समापन  समरूपता [[तक]] अद्वितीय है, जो K के प्रत्येक सदस्य को [[निश्चित बिंदु (गणित)|निश्चित बिंदु]] करता है। इस आवश्यक अद्वितीयता के कारण, हम प्रायः बोलते हैं K के बीजगणितीय बंद होने के अतिरिक्त K के बीजगणितीय समापन का।
 एक क्षेत्र K के बीजगणितीय समापन को K के सबसे बड़े बीजगणितीय विस्तार के रूप में माना जा सकता है।

Anonymous

Search

बीजगणितीय समापन: Difference between revisions

Namespaces

More

Page actions

Revision as of 16:03, 16 March 2023

Contents

उदाहरण

एक बीजगणितीय समापन और विभाजन क्षेत्रों का अस्तित्व

वियोज्य क्लोजर

यह भी देखें

संदर्भ

Navigation

Navigation

Wiki tools

Wiki tools

Anonymous

Search

बीजगणितीय समापन: Difference between revisions

Revision as of 16:03, 16 March 2023

उदाहरण

एक बीजगणितीय समापन और विभाजन क्षेत्रों का अस्तित्व

वियोज्य क्लोजर

यह भी देखें

संदर्भ

Navigation

Wiki tools

Page tools

Other projects

Categories