कवर (बीजगणित): Difference between revisions

From Vigyanwiki
(Created page with "सार बीजगणित में, एक आवरण कुछ गणितीय संरचना मानचित्रण का एक अन्य...")
 
No edit summary
 
(5 intermediate revisions by 3 users not shown)
Line 1: Line 1:
[[सार बीजगणित]] में, एक आवरण कुछ [[गणितीय संरचना]] मानचित्रण का एक अन्य उदाहरण [[पर]] एक उदाहरण है, जैसे कि एक [[समूह (गणित)]] (तुच्छ रूप से) एक [[उपसमूह]] को कवर करता है। इसे [[आवरण (टोपोलॉजी)]] की अवधारणा से भ्रमित नहीं होना चाहिए।
[[सार बीजगणित]] में एक आवरण कुछ [[गणितीय संरचना]] मानचित्रण का एक अन्य उदाहरण [[पर]] एक उदाहरण है जैसे कि एक [[समूह (गणित)]] (तुच्छ रूप से) एक [[उपसमूह]] को आवरण करता है। इसे [[आवरण (टोपोलॉजी)]] की अवधारणा से अस्पष्ट नहीं होना चाहिए।


जब किसी वस्तु ''X'' को किसी अन्य वस्तु ''Y'' को ढकने के लिए कहा जाता है, तो आवरण कुछ [[विशेषण]] और [[समरूपता]] द्वारा दिया जाता है। संरचना-संरक्षण मानचित्र {{nowrap|''f'' : ''X'' → ''Y''}}. संरचना-संरक्षण का सटीक अर्थ गणितीय संरचना के प्रकार पर निर्भर करता है जिसमें एक्स और वाई उदाहरण हैं। दिलचस्प होने के लिए, कवर आमतौर पर अतिरिक्त गुणों से संपन्न होता है, जो संदर्भ पर अत्यधिक निर्भर होते हैं।
जब किसी वस्तु ''X'' को किसी अन्य वस्तु ''Y'' को आवरण के लिए कहा जाता है तो आवरण कुछ [[विशेषण]] और [[समरूपता]] द्वारा दिया जाता है। संरचना-संरक्षण मानचित्र {{nowrap|''f'' : ''X'' → ''Y''}}. संरचना-संरक्षण का स्पष्ट अर्थ गणितीय संरचना के प्रकार पर निर्भर करता है जिसमें ''X'' और ''Y'' उदाहरण हैं। रोचक होने के लिए आवरण सामान्यतः अतिरिक्त गुणों से संपन्न होता है, जो संदर्भ पर अत्यधिक निर्भर होते हैं।


== उदाहरण ==
== उदाहरण ==
डी. बी. मैकएलिस्टर के कारण [[ semigroup ]] थ्योरी में एक उत्कृष्ट परिणाम बताता है कि प्रत्येक व्युत्क्रम सेमीग्रुप में एक व्युत्क्रम_सेमीग्रुप#ई-एकात्मक_इनवर्स_सेमीग्रुप्स|ई-एकात्मक आवरण होता है; विशेषण होने के अलावा, इस मामले में होमोमोर्फिज्म भी [[बेकार]] सेपरेटिविंग है, जिसका अर्थ है कि इसके कर्नेल (बीजगणित) में एक इडेमपोटेंट और नॉन-इम्पोटेंट कभी भी समान समकक्ष वर्ग से संबंधित नहीं होते हैं।<!-- A glossary of semigroup theory article is needed, similar to the one for order theory-->; उलटे अर्धसमूहों के लिए वास्तव में कुछ मजबूत दिखाया गया है: प्रत्येक उलटा अर्धसमूह एक Inverse_semigroup#F-inverse_semigroups|F-inverse आवरण स्वीकार करता है।<ref>Lawson p. 230</ref> मैकएलिस्टर का आवरण प्रमेय अर्धसमूहों के विशेष वर्गों के लिए सामान्यीकरण करता है: प्रत्येक रूढ़िवादी अर्धसमूह में एक एकात्मक आवरण होता है।<ref>Grilett p. 360</ref>
डी. बी. मैकएलिस्टर के कारण [[ semigroup |अर्धसमूह]] सिद्धांत में एक उत्कृष्ट परिणाम बताता है कि प्रत्येक व्युत्क्रम अर्धसमूह में एक व्युत्क्रम_अर्धसमूह या ई-एकात्मक_इनवर्स_अर्धसमूह ई-एकात्मक आवरण होता है; विशेषण होने के अतिरिक्त इस स्थिति में होमोमोर्फिज्म भी [[बेकार|इम्पॉटेंट]] सेपरेटिविंग है, जिसका अर्थ है कि इसके कर्नेल (बीजगणित) में एक इडेमपोटेंट और नॉन-इम्पोटेंट कभी भी समान समकक्ष वर्ग से संबंधित नहीं होते हैं। विपरीत अर्धसमूहों के लिए वास्तव में कुछ शक्तिशाली दिखाया गया है: प्रत्येक विपरीत अर्धसमूह एक व्युत्क्रम अर्धसमूह या F -व्युत्क्रम अर्धसमूह F -व्युत्क्रम आवरण स्वीकार करता है।<ref>Lawson p. 230</ref> मैकएलिस्टर का आवरण प्रमेय अर्धसमूहों के विशेष वर्गों के लिए सामान्यीकरण करता है: प्रत्येक रूढ़िवादी अर्धसमूह में एक एकात्मक आवरण होता है।<ref>Grilett p. 360</ref>
बीजगणित के अन्य क्षेत्रों के उदाहरणों में एक [[अनंत समूह]] का [[फ्रैटिनी कवर]] शामिल है<ref>{{cite book | last1=Fried | first1=Michael D. | last2=Jarden | first2=Moshe | title=फील्ड अंकगणित| edition=3rd revised | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge | volume=11 | publisher=[[Springer-Verlag]] | year=2008 | isbn=978-3-540-77269-9 | zbl=1145.12001 | page=508 }}</ref> और एक [[झूठ समूह]] का [[सार्वभौमिक आवरण]]।<!-- somebody detail these -->


बीजगणित के अन्य क्षेत्रों के उदाहरणों में एक अनंत समूह <ref>{{cite book | last1=Fried | first1=Michael D. | last2=Jarden | first2=Moshe | title=फील्ड अंकगणित| edition=3rd revised | series=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge | volume=11 | publisher=[[Springer-Verlag]] | year=2008 | isbn=978-3-540-77269-9 | zbl=1145.12001 | page=508 }}</ref> का फ्रैटिनी कवर और लाइ [[झूठ समूह|समूह]] का सार्वभौमिक [[सार्वभौमिक आवरण|आवरण]] सम्मिलित है।
== मॉड्यूल                                      ==


== मॉड्यूल ==
यदि F कुछ वलय आर पर मॉड्यूल का कुछ वर्ग है, तो मॉड्यूल एम का एक F -कवर निम्नलिखित गुणों के साथ एक समरूपता ''X'' ''M'' है:
 
*X वर्ग F में है
अगर एफ कुछ अंगूठी आर पर मॉड्यूल का कुछ परिवार है, तो मॉड्यूल एम का एक एफ-कवर निम्नलिखित गुणों के साथ एक समरूपता एक्स एम है:
*X परिवार F में है
*X→M आच्छादक है
*X→M आच्छादक है
* F से M परिवार में किसी मॉड्यूल से कोई विशेषण नक्शा X के माध्यम से कारक है
* F से M वर्ग में किसी मॉड्यूल से कोई विशेषण नक्शा X के माध्यम से कारक है
* मानचित्र के साथ M तक आने वाली X की कोई भी एंडोमोर्फिज्म एक ऑटोमोर्फिज्म है।
* मानचित्र के साथ M तक आने वाली X की कोई भी एंडोमोर्फिज्म एक ऑटोमोर्फिज्म है।


आम तौर पर एम के एफ-कवर का अस्तित्व नहीं होना चाहिए, लेकिन अगर यह अस्तित्व में है तो यह (गैर-अद्वितीय) आइसोमोर्फिज्म तक अद्वितीय है।
सामान्यतः ''M'' के F -आवरण का अस्तित्व नहीं होना चाहिए किंतु यदि यह अस्तित्व में है तो यह (गैर-अद्वितीय) आइसोमोर्फिज्म तक अद्वितीय है।


उदाहरणों में शामिल:
उदाहरणों में सम्मिलित :
* [[प्रोजेक्टिव कवर]] (हमेशा [[ सही अंगूठी ]]्स पर मौजूद होते हैं)
* [[प्रोजेक्टिव कवर|प्रोजेक्टिव]] आवरण (सदैव [[ सही अंगूठी |सही वलय]] पर उपस्थित होते हैं)
* [[ सपाट आवरण ]] (हमेशा मौजूद)
* [[ सपाट आवरण | सपाट आवरण]] (सदैव उपस्थित )
* मरोड़-मुक्त कवर (हमेशा अभिन्न डोमेन पर मौजूद होते हैं)
* मरोड़-मुक्त आवरण (सदैव अभिन्न डोमेन पर उपस्थित होते हैं)
*[[इंजेक्शन कवर]]
*[[इंजेक्शन कवर|इंजेक्शन आवरण]]  


== यह भी देखें ==
== यह भी देखें ==
Line 33: Line 32:
== संदर्भ ==
== संदर्भ ==
*{{cite book|last= Howie|first= John M.|title=Fundamentals of Semigroup Theory|year=1995|publisher=[[Clarendon Press]]|isbn=0-19-851194-9}}
*{{cite book|last= Howie|first= John M.|title=Fundamentals of Semigroup Theory|year=1995|publisher=[[Clarendon Press]]|isbn=0-19-851194-9}}
[[Category: सार बीजगणित]]


{{algebra-stub}}
{{algebra-stub}}


 
[[Category:Algebra stubs]]
 
[[Category:All stub articles]]
[[Category: Machine Translated Page]]
[[Category:Created On 26/05/2023]]
[[Category:Created On 26/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:सार बीजगणित]]

Latest revision as of 15:47, 14 June 2023

सार बीजगणित में एक आवरण कुछ गणितीय संरचना मानचित्रण का एक अन्य उदाहरण पर एक उदाहरण है जैसे कि एक समूह (गणित) (तुच्छ रूप से) एक उपसमूह को आवरण करता है। इसे आवरण (टोपोलॉजी) की अवधारणा से अस्पष्ट नहीं होना चाहिए।

जब किसी वस्तु X को किसी अन्य वस्तु Y को आवरण के लिए कहा जाता है तो आवरण कुछ विशेषण और समरूपता द्वारा दिया जाता है। संरचना-संरक्षण मानचित्र f : XY. संरचना-संरक्षण का स्पष्ट अर्थ गणितीय संरचना के प्रकार पर निर्भर करता है जिसमें X और Y उदाहरण हैं। रोचक होने के लिए आवरण सामान्यतः अतिरिक्त गुणों से संपन्न होता है, जो संदर्भ पर अत्यधिक निर्भर होते हैं।

उदाहरण

डी. बी. मैकएलिस्टर के कारण अर्धसमूह सिद्धांत में एक उत्कृष्ट परिणाम बताता है कि प्रत्येक व्युत्क्रम अर्धसमूह में एक व्युत्क्रम_अर्धसमूह या ई-एकात्मक_इनवर्स_अर्धसमूह ई-एकात्मक आवरण होता है; विशेषण होने के अतिरिक्त इस स्थिति में होमोमोर्फिज्म भी इम्पॉटेंट सेपरेटिविंग है, जिसका अर्थ है कि इसके कर्नेल (बीजगणित) में एक इडेमपोटेंट और नॉन-इम्पोटेंट कभी भी समान समकक्ष वर्ग से संबंधित नहीं होते हैं। विपरीत अर्धसमूहों के लिए वास्तव में कुछ शक्तिशाली दिखाया गया है: प्रत्येक विपरीत अर्धसमूह एक व्युत्क्रम अर्धसमूह या F -व्युत्क्रम अर्धसमूह F -व्युत्क्रम आवरण स्वीकार करता है।[1] मैकएलिस्टर का आवरण प्रमेय अर्धसमूहों के विशेष वर्गों के लिए सामान्यीकरण करता है: प्रत्येक रूढ़िवादी अर्धसमूह में एक एकात्मक आवरण होता है।[2]

बीजगणित के अन्य क्षेत्रों के उदाहरणों में एक अनंत समूह [3] का फ्रैटिनी कवर और लाइ समूह का सार्वभौमिक आवरण सम्मिलित है।

मॉड्यूल

यदि F कुछ वलय आर पर मॉड्यूल का कुछ वर्ग है, तो मॉड्यूल एम का एक F -कवर निम्नलिखित गुणों के साथ एक समरूपता XM है:

  • X वर्ग F में है
  • X→M आच्छादक है
  • F से M वर्ग में किसी मॉड्यूल से कोई विशेषण नक्शा X के माध्यम से कारक है
  • मानचित्र के साथ M तक आने वाली X की कोई भी एंडोमोर्फिज्म एक ऑटोमोर्फिज्म है।

सामान्यतः M के F -आवरण का अस्तित्व नहीं होना चाहिए किंतु यदि यह अस्तित्व में है तो यह (गैर-अद्वितीय) आइसोमोर्फिज्म तक अद्वितीय है।

उदाहरणों में सम्मिलित :

यह भी देखें

टिप्पणियाँ

  1. Lawson p. 230
  2. Grilett p. 360
  3. Fried, Michael D.; Jarden, Moshe (2008). फील्ड अंकगणित. Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. Vol. 11 (3rd revised ed.). Springer-Verlag. p. 508. ISBN 978-3-540-77269-9. Zbl 1145.12001.


संदर्भ