सामान्य विस्तार: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(3 intermediate revisions by 3 users not shown)
Line 1: Line 1:
{{Short description|Algebraic field extension}}
{{Short description|Algebraic field extension}}
{{Other uses|Normal closure (disambiguation){{!}}Normal closure}}
{{Other uses|सामान्य समापन (बहुविकल्पी){{!}}सामान्य समापन}}
[[अमूर्त बीजगणित]] में, सामान्य विस्तार [[बीजगणितीय विस्तार]] ''L''/''K'' होता है जिसके लिए ''K'' के ऊपर प्रत्येक अप्रासंगिक बहुपद जिसका मूल ''L'' होता है, 'L'' में रैखिक कारकों में विभाजित हो जाता है। 'एल''.{{sfn|Lang|2002|p=237|loc=Theorem 3.3, NOR 3}}{{sfn|Jacobson|1989|p=489|loc=Section 8.7}} ये बीजगणितीय विस्तारों के गैलोज़ विस्तार होने की शर्तों में से हैं। [[निकोलस बॉर्बकी]] ऐसे विस्तार को अर्ध-[[गैलोइस विस्तार]] कहते हैं।
[[अमूर्त बीजगणित|बीजगणित]] में '''सामान्य विस्तार''' के लिए [[बीजगणितीय विस्तार]] को ''L''/''K'' के द्वारा प्रदर्शित करते है, जिसके लिए ''K'' के ऊपर प्रत्येक अप्रासंगिक बहुपद जिसका मूल ''L'' होता है, तथा यहाँ पर 'L'' में रैखिक कारकों में विभाजित हो जाता है। इस प्रकार 'L'''{{sfn|Lang|2002|p=237|loc=Theorem 3.3, NOR 3}}{{sfn|Jacobson|1989|p=489|loc=Section 8.7}} के लिए बीजगणितीय विस्तारों के गैलोज़ विस्तार होने की शर्तों में से प्रमुख हैं। इसके आधार पर [[निकोलस बॉर्बकी]] ने ऐसे विस्तार को अर्ध-[[गैलोइस विस्तार]] कहा हैं।


== परिभाषा ==
== परिभाषा ==
होने देना<math>L/K</math>एक बीजगणितीय विस्तार हो (अर्थात् L, K का बीजगणितीय विस्तार है), जैसे कि <math>L\subseteq \overline{K}</math> (अर्थात् L, K के [[बीजगणितीय समापन]] में समाहित है)। फिर निम्नलिखित स्थितियाँ, जिनमें से किसी को भी सामान्य विस्तार की परिभाषा के रूप में माना जा सकता है, समतुल्य हैं:{{sfn|Lang|2002|p=237|loc=Theorem 3.3}}
<math>L/K</math> के लिए बीजगणितीय विस्तार अर्थात् L, K का बीजगणितीय विस्तार है, जैसे कि <math>L\subseteq \overline{K}</math> अर्थात् L, K के [[बीजगणितीय समापन]] में समाहित होता है। इसी प्रकार निम्नलिखित स्थितियाँ जिनमें से किसी को भी सामान्य विस्तार की परिभाषा के रूप में माना जा सकता है, इसके समतुल्य हैं:{{sfn|Lang|2002|p=237|loc=Theorem 3.3}}
* एल के प्रत्येक [[एंबेडिंग (क्षेत्र सिद्धांत)]]<math>\overline{K}</math> एल की ऑटोमोर्फिज्म को प्रेरित करता है।
* L के प्रत्येक [[एंबेडिंग (क्षेत्र सिद्धांत)]] को प्रदर्शित करती हैं। इस प्रकार <math>\overline{K}</math> एल की ऑटोमोर्फिज्म को प्रेरित करता है।
* L बहुपदों के परिवार का विभाजन क्षेत्र है <math>K\left[X\right]</math>.
* L बहुपदों के परिवार का विभाजन क्षेत्र <math>K\left[X\right]</math> है।
* प्रत्येक अघुलनशील बहुपद <math>K\left[X\right]</math> जिसका मूल L में है, वह L में रैखिक गुणनखंडों में विभाजित हो जाता है।
* प्रत्येक अघुलनशील बहुपद <math>K\left[X\right]</math> जिसका मूल L है, वह L में रैखिक गुणनखंडों में विभाजित हो जाता है।


== अन्य गुण ==
== अन्य गुण ==


मान लीजिए L फ़ील्ड K का विस्तार है। तब:
मान लीजिए L क्षेत्र K का विस्तार है। तब:


* यदि L, K का सामान्य विस्तार है और यदि E मध्यवर्ती विस्तार है (अर्थात्, L ⊃ E ⊃ K), तो L, E का सामान्य विस्तार है।{{sfn|Lang|2002|p=238|loc=Theorem 3.4}}
* यदि L, K का सामान्य विस्तार है और यदि E मध्यवर्ती विस्तार है अर्थात्, L ⊃ E ⊃ K है तो L, E का सामान्य विस्तार को प्रेरित करता है।{{sfn|Lang|2002|p=238|loc=Theorem 3.4}}
* यदि और एफ एल में निहित के के सामान्य विस्तार हैं, तो [[ संयुक्त |संयुक्त]] ईएफ और एफ भी के के सामान्य विस्तार हैं।{{sfn|Lang|2002|p=238|loc=Theorem 3.4}}
* यदि E और F L में निहित के के सामान्य विस्तार हैं, तो [[ संयुक्त |संयुक्त]] EAF और E F भी के के सामान्य विस्तार को प्रेरित करता हैं।{{sfn|Lang|2002|p=238|loc=Theorem 3.4}}


== सामान्यता के लिए समतुल्य शर्तें ==
== सामान्यता के लिए समतुल्य शर्तें ==


होने देना <math>L/K</math> बीजगणितीय हो. फ़ील्ड L 'सामान्य' एक्सटेंशन है यदि और केवल यदि नीचे दी गई समतुल्य शर्तों में से कोई भी मान्य हो।
<math>L/K</math> बीजगणितीय के लिए क्षेत्र L 'सामान्य' एक्सटेंशन को प्रकट करता है, इसी प्रकार यदि नीचे दी गई समतुल्य शर्तों में से कोई भी मान्य हो।
 
* L में प्रत्येक तत्व का K पर न्यूनतम बहुपद L में विभाजित होता है;
* एक सेट है <math>S \subseteq K[x]</math> बहुपदों का जो साथ L पर विभाजित होता है, जैसे कि यदि <math>K\subseteq F\subsetneq L</math> फ़ील्ड हैं, तो S के पास बहुपद है जो F में विभाजित नहीं होता है;
* सभी समरूपताएँ <math>L \to \bar{K}</math> ही छवि है;
* ऑटोमोर्फिज्म का समूह, <math>\text{Aut}(L/K),</math> L का जो K के तत्वों को स्थिर करता है, समरूपता के समुच्चय पर सकर्मक रूप से कार्य करता है <math>L \to \bar{K}.</math>
 


* L में प्रत्येक तत्व का K पर न्यूनतम बहुपद L में विभाजित होता है,
* इसका एक सेट <math>S \subseteq K[x]</math> है, जो बहुपदों के लिए L पर विभाजित होता है, जैसे कि यदि <math>K\subseteq F\subsetneq L</math> क्षेत्र हैं, तो S के पास बहुपद है जो F में विभाजित नहीं होता है;
* सभी समरूपताएँ <math>L \to \bar{K}</math> ही प्रतिबिंब को प्रकट करता है,
* ऑटोमोर्फिज्म का समूह, <math>\text{Aut}(L/K),</math> L का जो K के तत्वों को स्थिर करता है, समरूपता के समुच्चय पर सकर्मक रूप <math>L \to \bar{K}.</math> से कार्य करता है।
== उदाहरण और प्रति उदाहरण ==
== उदाहरण और प्रति उदाहरण ==


उदाहरण के लिए, <math>\Q(\sqrt{2})</math> का सामान्य विस्तार है <math>\Q,</math> चूँकि यह का विभाजक क्षेत्र है <math>x^2-2.</math> वहीं दूसरी ओर, <math>\Q(\sqrt[3]{2})</math> का सामान्य विस्तार नहीं है <math>\Q</math> अघुलनशील बहुपद के बाद से <math>x^3-2</math> इसमें जड़ है (अर्थात्, <math>\sqrt[3]{2}</math>), लेकिन सभी नहीं (इसमें 2 की गैर-वास्तविक घन जड़ें नहीं हैं)। याद रखें कि मैदान <math>\overline{\Q}</math> [[बीजगणितीय संख्या]]ओं का बीजगणितीय समापन है <math>\Q,</math> यानी इसमें शामिल है <math>\Q(\sqrt[3]{2}).</math> तब से,
उदाहरण के लिए, <math>\Q(\sqrt{2})</math> का सामान्य विस्तार <math>\Q,</math> है, इस प्रकार चूँकि यह <math>x^2-2.</math> का विभाजक क्षेत्र है, जहाँ दूसरी ओर, <math>\Q(\sqrt[3]{2})</math> का सामान्य विस्तार नहीं है, इस प्रकार <math>\Q</math> अघुलनशील बहुपद के बाद से <math>x^3-2</math> में मूल अर्थात्, <math>\sqrt[3]{2}</math> को प्रकट करता है, अपितु सभी नहीं इसमें 2 की गैर-वास्तविक घन मूल नहीं हैं। यहां पर ध्यान रखे कि यह क्षेत्र <math>\overline{\Q}</math> [[बीजगणितीय संख्या]]ओं का बीजगणितीय समापन <math>\Q,</math> के समान है, अर्ताथ इसमें <math>\Q(\sqrt[3]{2}).</math> सम्मिलित है, इस प्रकार हमें उक्त समीकरण प्राप्त होता हैं,
<math display="block">\Q (\sqrt[3]{2})=\left. \left \{a+b\sqrt[3]{2}+c\sqrt[3]{4}\in\overline{\Q }\,\,\right | \,\,a,b,c\in\Q \right \}</math> और अगर <math>\omega</math> एकता का आदिम घनमूल है, फिर मानचित्र
<math display="block">\Q (\sqrt[3]{2})=\left. \left \{a+b\sqrt[3]{2}+c\sqrt[3]{4}\in\overline{\Q }\,\,\right | \,\,a,b,c\in\Q \right \}</math> और यदि <math>\omega</math> एकीकरण के लिए उक्त घनमूल है, जिसे इस प्रकार प्रदर्शित करते हैं-
<math display="block">\begin{cases} \sigma:\Q (\sqrt[3]{2})\longrightarrow\overline{\Q}\\ a+b\sqrt[3]{2}+c\sqrt[3]{4}\longmapsto a+b\omega\sqrt[3]{2}+c\omega^2\sqrt[3]{4}\end{cases}</math>
<math display="block">\begin{cases} \sigma:\Q (\sqrt[3]{2})\longrightarrow\overline{\Q}\\ a+b\sqrt[3]{2}+c\sqrt[3]{4}\longmapsto a+b\omega\sqrt[3]{2}+c\omega^2\sqrt[3]{4}\end{cases}</math>
का एम्बेडिंग है <math>\Q(\sqrt[3]{2})</math> में <math>\overline{\Q}</math> किसका प्रतिबंध <math>\Q </math> पहचान है. हालाँकि, <math>\sigma</math> का स्वप्रतिरूपण नहीं है <math>\Q (\sqrt[3]{2}).</math>
<math>\Q(\sqrt[3]{2})</math> का एम्बेडिंग <math>\overline{\Q}</math> को प्रतिबंध करता हैं और साथ ही <math>\Q </math> की पहचान करता है, चूंकि इस प्रकार <math>\sigma</math> का स्वप्रतिरूपण <math>\Q (\sqrt[3]{2}).</math> नहीं है, इस प्रकार किसी भी प्राइम <math>p,</math> के लिए विस्तृति <math>\Q (\sqrt[p]{2}, \zeta_p)</math> डिग्री <math>p(p-1).</math> सामान्य है, जिसका विभाजक क्षेत्र <math>x^p - 2.</math> है, यहाँ <math>\zeta_p</math> मुख्य रूप से <math>p</math> को भी दर्शाता है, जहाँ [[एकता की आदिम जड़|एकीकरण के लिए मूल]] क्षेत्र <math>\Q (\sqrt[3]{2}, \zeta_3)</math> का सामान्य समापन <math>\Q (\sqrt[3]{2}).</math> है।
किसी भी प्राइम के लिए <math>p,</math> विस्तृति <math>\Q (\sqrt[p]{2}, \zeta_p)</math> डिग्री का सामान्य है <math>p(p-1).</math> का विभाजक क्षेत्र है <math>x^p - 2.</math> यहाँ <math>\zeta_p</math> किसी को भी दर्शाता है <math>p</math>[[एकता की आदिम जड़]]. फील्ड <math>\Q (\sqrt[3]{2}, \zeta_3)</math> का सामान्य समापन (नीचे देखें) है <math>\Q (\sqrt[3]{2}).</math>
 
 
==सामान्य समापन==
==सामान्य समापन==


यदि K फ़ील्ड है और L, K का बीजगणितीय विस्तार है, तो L का कुछ बीजगणितीय विस्तार M है, जैसे कि M, K का सामान्य विस्तार है। इसके अलावा, [[समरूपता तक]] केवल ही ऐसा विस्तार है जो न्यूनतम है, वह है , M का एकमात्र उपक्षेत्र जिसमें L शामिल है और जो K का सामान्य विस्तार है, M ही है। इस विस्तार को K के विस्तार L का 'सामान्य समापन' कहा जाता है।
यदि K क्षेत्र है, और L, K का बीजगणितीय विस्तार है, तो L का कुछ बीजगणितीय विस्तार M है, जैसे कि M, K का सामान्य विस्तार है। इसके अतिरिक्त, [[समरूपता तक]] केवल ही ऐसा विस्तार है, जो न्यूनतम है, इस प्रकार M का एकमात्र उपक्षेत्र जिसमें L सम्मिलित है, और जो K का सामान्य विस्तार है, जहाँ इस प्रकार यह मान M के द्वारा प्रकट होता है। इस विस्तार को K के विस्तार L का 'सामान्य समापन' कहा जाता है।


यदि L, K का सीमित विस्तार है, तो इसका सामान्य समापन भी सीमित विस्तार है।
यदि L, K का सीमित विस्तार है, तो इसका सामान्य समापन भी सीमित विस्तार है।
Line 53: Line 48:
* {{Lang Algebra|3rd}}
* {{Lang Algebra|3rd}}
* {{citation | last = Jacobson | first = Nathan | author-link = Nathan Jacobson | title = Basic Algebra II| edition = 2nd | year = 1989 | publisher = W.&nbsp;H. Freeman | isbn = 0-7167-1933-9 | mr = 1009787}}
* {{citation | last = Jacobson | first = Nathan | author-link = Nathan Jacobson | title = Basic Algebra II| edition = 2nd | year = 1989 | publisher = W.&nbsp;H. Freeman | isbn = 0-7167-1933-9 | mr = 1009787}}
[[Category: फ़ील्ड एक्सटेंशन]]


[[Category: Machine Translated Page]]
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category:Created On 04/07/2023]]
[[Category:Created On 04/07/2023]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates using TemplateData]]
[[Category:फ़ील्ड एक्सटेंशन]]

Latest revision as of 17:02, 29 July 2023

बीजगणित में सामान्य विस्तार' के लिए बीजगणितीय विस्तार को L/K के द्वारा प्रदर्शित करते है, जिसके लिए K के ऊपर प्रत्येक अप्रासंगिक बहुपद जिसका मूल L होता है, तथा यहाँ पर 'L में रैखिक कारकों में विभाजित हो जाता है। इस प्रकार 'L[1][2] के लिए बीजगणितीय विस्तारों के गैलोज़ विस्तार होने की शर्तों में से प्रमुख हैं। इसके आधार पर निकोलस बॉर्बकी ने ऐसे विस्तार को अर्ध-गैलोइस विस्तार कहा हैं।

परिभाषा

के लिए बीजगणितीय विस्तार अर्थात् L, K का बीजगणितीय विस्तार है, जैसे कि अर्थात् L, K के बीजगणितीय समापन में समाहित होता है। इसी प्रकार निम्नलिखित स्थितियाँ जिनमें से किसी को भी सामान्य विस्तार की परिभाषा के रूप में माना जा सकता है, इसके समतुल्य हैं:[3]

  • L के प्रत्येक एंबेडिंग (क्षेत्र सिद्धांत) को प्रदर्शित करती हैं। इस प्रकार एल की ऑटोमोर्फिज्म को प्रेरित करता है।
  • L बहुपदों के परिवार का विभाजन क्षेत्र है।
  • प्रत्येक अघुलनशील बहुपद जिसका मूल L है, वह L में रैखिक गुणनखंडों में विभाजित हो जाता है।

अन्य गुण

मान लीजिए L क्षेत्र K का विस्तार है। तब:

  • यदि L, K का सामान्य विस्तार है और यदि E मध्यवर्ती विस्तार है अर्थात्, L ⊃ E ⊃ K है तो L, E का सामान्य विस्तार को प्रेरित करता है।[4]
  • यदि E और F L में निहित के के सामान्य विस्तार हैं, तो संयुक्त EAF और E ∩ F भी के के सामान्य विस्तार को प्रेरित करता हैं।[4]

सामान्यता के लिए समतुल्य शर्तें

बीजगणितीय के लिए क्षेत्र L 'सामान्य' एक्सटेंशन को प्रकट करता है, इसी प्रकार यदि नीचे दी गई समतुल्य शर्तों में से कोई भी मान्य हो।

  • L में प्रत्येक तत्व का K पर न्यूनतम बहुपद L में विभाजित होता है,
  • इसका एक सेट है, जो बहुपदों के लिए L पर विभाजित होता है, जैसे कि यदि क्षेत्र हैं, तो S के पास बहुपद है जो F में विभाजित नहीं होता है;
  • सभी समरूपताएँ ही प्रतिबिंब को प्रकट करता है,
  • ऑटोमोर्फिज्म का समूह, L का जो K के तत्वों को स्थिर करता है, समरूपता के समुच्चय पर सकर्मक रूप से कार्य करता है।

उदाहरण और प्रति उदाहरण

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

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

सामान्य समापन

यदि K क्षेत्र है, और L, K का बीजगणितीय विस्तार है, तो L का कुछ बीजगणितीय विस्तार M है, जैसे कि M, K का सामान्य विस्तार है। इसके अतिरिक्त, समरूपता तक केवल ही ऐसा विस्तार है, जो न्यूनतम है, इस प्रकार M का एकमात्र उपक्षेत्र जिसमें L सम्मिलित है, और जो K का सामान्य विस्तार है, जहाँ इस प्रकार यह मान M के द्वारा प्रकट होता है। इस विस्तार को K के विस्तार L का 'सामान्य समापन' कहा जाता है।

यदि L, K का सीमित विस्तार है, तो इसका सामान्य समापन भी सीमित विस्तार है।

यह भी देखें

उद्धरण

  1. Lang 2002, p. 237, Theorem 3.3, NOR 3.
  2. Jacobson 1989, p. 489, Section 8.7.
  3. Lang 2002, p. 237, Theorem 3.3.
  4. 4.0 4.1 Lang 2002, p. 238, Theorem 3.4.


संदर्भ

  • 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
  • Jacobson, Nathan (1989), Basic Algebra II (2nd ed.), W. H. Freeman, ISBN 0-7167-1933-9, MR 1009787