एबेलियन श्रेणी: Difference between revisions

From Vigyanwiki
No edit summary
 
(30 intermediate revisions by 5 users not shown)
Line 1: Line 1:
{{Short description|Category with direct sums and certain types of kernels and cokernels}}
{{Short description|Category with direct sums and certain types of kernels and cokernels}}
'''गणित में,''' एक एबेलियनश्रेणी एक ऐसी श्रेणी है जिसमें आकारिकी और वस्तुओं को जोड़ा जा सकता है और जिसमें कर्नेल और कोकरनेल मौजूद हैं, और वांछनीय गुण हैं। एबेलियन श्रेणी का प्रेरक प्रोटोटाइपिकल उदाहरण एबेलियन समूहों की श्रेणी है, एबी। सिद्धांत अलेक्जेंडर ग्रोथेंडिक द्वारा और स्वतंत्र रूप से डेविड बुक्सबाउम के थोड़े पहले के काम में कई कोहोलॉजी सिद्धांतों को एकजुट करने के प्रयास में उत्पन्न हुआ।एबेलियन श्रेणियां बहुत स्थिर श्रेणियां हैं; उदाहरण के लिए वे नियमित हैं और वे सर्प प्रमेयिका को संतुष्ट करते हैं। एबेलियन श्रेणियों का वर्ग कई स्पष्ट निर्माणों के तहत बंद है, उदाहरण के लिए, एक एबेलियन श्रेणी के चेन कॉम्प्लेक्स की श्रेणी, या एक छोटी श्रेणी से एक एबेलियन श्रेणी के मज़दूरों की श्रेणी भी एबेलियन है। ये स्थिरता गुण उन्हें '''होमोलॉजिकल''' बीजगणित और उससे आगे के लिए अपरिहार्य बनाते हैं; बीजगणितीय ज्यामिति, कोहोलॉजी और शुद्ध श्रेणी सिद्धांत में सिद्धांत के प्रमुख अनुप्रयोग हैं। एबेलियन श्रेणियों का नाम '''नील्स हेनरिक''' एबेल के नाम पर रखा गया है।
'''गणित में,''' एबेलियन श्रेणी एक ऐसी श्रेणी है जिसमें [[एकरूपता|मोर्फिज़्म]] और उसके उद्देश्य को जोड़ा जा सकता है और जिसमें कर्नेल और कोकरनेल उपलब्ध हैं, जिनमे वांछनीय गुण होते हैं। एबेलियन श्रेणी एक प्रेरक प्रोटोटाइप का उदाहरण, यह एबेलियन समूहों की श्रेणी है। अलेक्जेंडर ग्रोथेंडिक सिद्धांत द्वारा और डेविड बुक्सबाउम के स्वतंत्र रूप से काम करने मे कोहोलॉजी सिद्धांतों का एकजुट करने मे प्रयास किया गया। एबेलियन समूह सभी समूहों मे बहुत स्थिर हैं; उदाहरण के रूप मे ये बहुत नियमित और स्नेक लेम्मा को संतुष्ट करते हैं। एबेलियन समूह की स्थिति कुछ विशेष समूहों के निर्माण के समय समाप्त हो जाती है, उदाहरण के लिए, चैन काम्याप्लेक्स के समूह एक अबेलियन समूह को प्रदर्शित करता है, इस प्रकार एक छोटे समूह के लिए उसके फंक्शन का समूह भी एबेलियन समूह को प्रदर्शित करता है। ये स्थिरता गुण उन्हें होमोलॉजिकल बीजगणित मे आगे के लिए अपरिहार्य बनाते हैं; बीजगणितीय ज्यामिति, कोहोलॉजी सिद्धांत में प्रमुख अनुप्रयोग होते हैं। एबेलियन श्रेणियों का नाम '''नील्स हेनरिक''' एबेल के नाम पर रखा गया है।


== परिभाषाएँ ==
== परिभाषाएँ ==
एक श्रेणी एबेलियन है यदि यह ''पूर्वानुकूल श्रेणी'' है और
एबेलियन समूह एक ''पूर्वानुकूल समूह'' है और
* इसकी एक शून्य वस्तु है,
* इसकी एक शून्य वस्तु है,
* इसमें सभी बाइनरी द्विउत्पाद हैं,
* इसमें सभी बाइनरी द्विउत्पाद हैं,
*इसमें सभी कर्नेल और कोकर्नेल हैं, और
*इसमें सभी कर्नेल और कोकर्नेल होते हैं, और
* सभी [[एकरूपता]] और [[अधिरूपता]] [[सामान्य रूपवाद]] हैं।
* सभी [[एकरूपता|मोनोमोर्फिज़्म]] और एपिमॉर्फिज्म हैं।


यह परिभाषा समतुल्य है<ref>Peter Freyd, [http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html Abelian Categories]</ref> निम्नलिखित टुकड़ों में परिभाषा के लिए:
यह परिभाषा समतुल्य है<ref>Peter Freyd, [http://www.tac.mta.ca/tac/reprints/articles/3/tr3abs.html Abelian Categories]</ref>  इस प्रकार से क्रमानुसार परिभाषित है:
* एबेलियन समूहों के मोनोइडल श्रेणी एब पर समृद्ध होने पर एक श्रेणी पूर्ववर्ती है। इसका मतलब यह है कि सभी होम-सेट एबेलियन समूह हैं और आकारिकी की संरचना बिलिनियर है।
* एबेलियन समूहों मे मोनोइडल श्रेणी पर AB समृद्ध होने पर श्रेणी पूर्ववर्ती होती है। इसका मतलब यह है कि सभी होम-समूह एबेलियन समूह हैं और मोर्फिज़्म संरचना बिलिनियर है।
* यदि वस्तुओं के प्रत्येक परिमित सेट में एक बाइप्रोडक्ट होता है, तो एक पूर्ववर्ती श्रेणी योगात्मक होती है। इसका मतलब है कि हम परिमित प्रत्यक्ष योग और प्रत्यक्ष उत्पाद बना सकते हैं। <ref>Handbook of categorical algebra, vol. 2, F. Borceux</ref> डीईएफ़। 1.2.6, यह आवश्यक है कि एक योगात्मक श्रेणी में एक शून्य वस्तु (खाली बाइप्रोडक्ट) हो।
* यदि वस्तुओं के प्रत्येक परिमित समूह में एक बाइप्रोडक्ट होता है, तो एक पूर्ववर्ती समूह योगात्मक होता है। इसका मतलब है कि हम परिमित प्रत्यक्ष योग और प्रत्यक्ष उत्पाद बना सकते हैं। <ref>Handbook of categorical algebra, vol. 2, F. Borceux</ref> डीईएफ़ 1.2.6, यह आवश्यक है कि एक योगात्मक श्रेणी में एक शून्य वस्तु (खाली बाइप्रोडक्ट) हो।
* एक योजक श्रेणी [[प्रीबेलियन श्रेणी]] है यदि प्रत्येक आकारिकी में कर्नेल और कोकर्नेल दोनों होते हैं।
* एक योजक श्रेणी [[प्रीबेलियन श्रेणी]] हैयदि प्रत्येक मोर्फिज़्म में कर्नेल और कोकर्नेल दोनों होते हैं।
* अंत में, एक प्रीबेलियन श्रेणी एबेलियन है यदि प्रत्येक मोनोमोर्फिज्म और एपिमोर्फिज्म सामान्य है। इसका मतलब यह है कि मोनोमोर्फिज्म किसी आकारिकी का एक कर्नेल है, और एपिमोर्फिज्म किसी आकारिकी का एक कोकर्नल है।
* अंत में, एक प्रीबेलियन श्रेणी एबेलियन है यदि प्रत्येक [[एकरूपता|मोनोमोर्फिज़्म]] और एपिमॉर्फिज्म सामान्य है। इसका मतलब यह है कि [[एकरूपता|मोनोमोर्फिज़्म]] किसी मोर्फिज़्म का एक कर्नेल है, और एपिमॉर्फिज्म किसी मोर्फिज़्म का एक कोकर्नल है।


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


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


== उदाहरण ==
== उदाहरण ==
* जैसा कि ऊपर उल्लेख किया गया है, सभी एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। सभी परिमित एबेलियन समूहों की श्रेणी भी एक एबेलियन श्रेणी है, जैसा कि सभी परिमित एबेलियन समूहों की श्रेणी है।
* जैसा कि ऊपर उल्लेख किया गया है, सभी एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। सभी परिमित एबेलियन समूहों की श्रेणी भी एक एबेलियन श्रेणी है, जैसा कि सभी परिमित एबेलियन समूहों की श्रेणी है।
* यदि R एक वलय (गणित) है, तो R के ऊपर सभी बाएँ (या दाएँ) [[मॉड्यूल (गणित)]] की श्रेणी एक एबेलियन श्रेणी है। वास्तव में, यह दिखाया जा सकता है कि कोई भी छोटी एबेलियन श्रेणी इस तरह के मॉड्यूल (मिशेल के एम्बेडिंग प्रमेय) की एक [[पूर्ण उपश्रेणी]] के बराबर है।
* यदि R एक वलय है, तो R के ऊपर सभी बाएँ (या दाएँ) [[मॉड्यूल (गणित)|मॉड्यूल]] श्रेणी पर एबेलियन श्रेणी उपस्थित होगी । वास्तव में, यह दिखाया जा सकता है, कि कोई भी छोटी एबेलियन श्रेणी इस तरह के मॉड्यूल की एक पूर्ण उपश्रेणी के बराबर है।
* यदि R एक लेफ्ट-नॉथेरियन रिंग है, तो R के ऊपर [[अंतिम रूप से उत्पन्न मॉड्यूल]] लेफ्ट मॉड्यूल की श्रेणी एबेलियन है। विशेष रूप से, एक नोथेरियन [[क्रमविनिमेय अंगूठी]] पर बारीक रूप से उत्पन्न मॉड्यूल की श्रेणी एबेलियन है; इस तरह, एबेलियन श्रेणियां [[क्रमविनिमेय बीजगणित]] में दिखाई देती हैं।
* यदि R एक लेफ्ट-नॉथेरियन वलय है, तो R के ऊपर से उत्पन्न लेफ्ट मॉड्यूल की एबेलियन श्रेणी होगी । विशेष रूप से, एक नोथेरियन कम्यूटेटिव वलय पर बारीक रूप से उत्पन्न मॉड्यूल की श्रेणी एबेलियन है; इस तरह, एबेलियन श्रेणियां क्रम विनिमेय बीजगणित में दिखाई देती हैं।
* पिछले दो उदाहरणों के विशेष मामलों के रूप में: एक निश्चित [[क्षेत्र (गणित)]] k पर वेक्टर रिक्त स्थान की श्रेणी एबेलियन है, जैसा कि k पर परिमित-हैमेल आयाम वेक्टर रिक्त स्थान की श्रेणी है।
* पिछले दो उदाहरणों के विशेष मामलों के रूप में: एक निश्चित फ़ील्ड के ऊपर वेक्टर रिक्त स्थान की श्रेणी एबेलियन है, जैसा कि परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी है।
* यदि X एक [[टोपोलॉजिकल स्पेस]] है, तो X पर सभी (वास्तविक या जटिल) [[वेक्टर बंडल]]ों की श्रेणी आमतौर पर एक एबेलियन श्रेणी नहीं होती है, क्योंकि मोनोमोर्फिज़्म हो सकते हैं जो गुठली नहीं हैं।
* यदि X एक टोपोलॉजिकल स्पेस है, तो X पर सभी (वास्तविक या जटिल) वेक्टर समूहों  की श्रेणी सामान्यतः एबेलियन श्रेणी नहीं होती है, क्योंकि दोनों  मोनोमोर्फिज़्म हो सकते हैं, जो कर्नेल नहीं होगे।
* यदि X एक टोपोलॉजिकल स्पेस है, तो X पर एबेलियन समूहों के सभी [[शीफ (गणित)]] की श्रेणी एक एबेलियन श्रेणी है। अधिक आम तौर पर, [[ग्रोथेंडिक टोपोलॉजी]] पर एबेलियन समूहों के ढेरों की श्रेणी एक एबेलियन श्रेणी है। इस तरह, एबेलियन श्रेणियां [[बीजगणितीय टोपोलॉजी]] और बीजगणितीय ज्यामिति में दिखाई देती हैं।
* यदि X एक सामयिक स्थान है, तो X पर एबेलियन समूहों की एबेलियन श्रेणिया है। सामान्यतः, ग्रोथेंडिक तल पर एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। इस तरह, एबेलियन श्रेणियां बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति में दिखाई देती हैं।
* यदि 'सी' एक श्रेणी (गणित) # छोटी और बड़ी श्रेणियां हैं और 'ए' एक एबेलियन श्रेणी है, तो 'सी' से 'ए' तक की [[फ़ैक्टर श्रेणी]] एक एबेलियन श्रेणी बनाती है। यदि 'सी' छोटी और प्रीएडिटिव श्रेणी है, तो 'सी' से '' तक के सभी [[योगात्मक कारक]] की श्रेणी भी एक एबेलियन श्रेणी बनाती है। उत्तरार्द्ध आर-मॉड्यूल उदाहरण का एक सामान्यीकरण है, क्योंकि एक अंगूठी को एक वस्तु के साथ एक पूर्ववर्ती श्रेणी के रूप में समझा जा सकता है।
* यदि C एक छोटी श्रेणी है और A एक एबेलियन श्रेणी है, तो C से A तक सभी फ़ैक्टरों की श्रेणी एक एबेलियन श्रेणी बनाती है। यदि सी छोटा और पूर्ववर्ती है, तो सी से ए तक सभी योजक फ़ैक्टरों की श्रेणी भी एक एबेलियन श्रेणी बनाएगी । उत्तरार्द्ध मे आर-मॉड्यूल एक उदाहरण है सामान्यीकरण है, क्योंकि एक वलय वस्तु के साथ एक पूर्ववर्ती श्रेणी के रूप में समझा जा सकता है।


== ग्रोथेंडिक के स्वयंसिद्ध ==
== ग्रोथेंडिक के स्वयंसिद्ध ==
अपने तोहोकू लेख में, ग्रोथेंडिक ने चार अतिरिक्त स्वयंसिद्धों (और उनके दोहरे) को सूचीबद्ध किया है जो एक एबेलियन श्रेणी ए को संतुष्ट कर सकता है। ये स्वयंसिद्ध आज भी आम उपयोग में हैं। वे निम्नलिखित हैं:
अपने तोहोकू लेख में, ग्रोथेंडिक ने चार अतिरिक्त स्वयंसिद्धों को सूचीबद्ध किया है, जो एक एबेलियन श्रेणी ए को संतुष्ट कर सकता है। ये स्वयंसिद्ध आज भी आम उपयोग में हैं। वे निम्नलिखित हैं:
* AB3) हर अनुक्रमित परिवार के लिए (''ए''<sub>''i''</sub>) ए की वस्तुओं का, उत्पाद *''ए''<sub>i</sub> A में मौजूद है (अर्थात A [[पूर्ण]] है)।
* AB3) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों (Ai) के लिए, सह-उत्पाद *Ai A में उपलब्ध है (अर्थात A सह-पूर्ण है)।
* AB4) A, AB3 को संतुष्ट करता है), और मोनोमोर्फिज़्म के एक परिवार का प्रतिफल एक मोनोमोर्फिज़्म है।
* AB4) A, AB3 को संतुष्ट करता है, और मोनोमोर्फिज़्म के एक समूहों  का प्रतिफल एक मोनोमोर्फिज़्म है।
* AB5 श्रेणी) A संतुष्ट करता है AB3), और सटीक अनुक्रमों के फ़िल्टर किए गए कोलिमिट्स सटीक हैं।
* AB5) A, AB3 को संतुष्ट करता है, और उनके दोहरे समूहों अनुक्रमों के लिए फ़िल्टर किए गए कोलिमिट्स को सही करता हैं।
और उनके दोहरे
*AB3*) प्रत्येक अनुक्रमित परिवार के लिए (''ए''<sub>''i''</sub>) A की वस्तुओं का, [[उत्पाद (श्रेणी सिद्धांत)]] P''A''<sub>''i''</sub> A में मौजूद है (अर्थात A पूर्ण श्रेणी है)।
* AB4*) A, AB3* को संतुष्ट करता है, और एपिमोर्फिज्म के एक परिवार का उत्पाद एक एपिमोर्फिज्म है।
* AB5*) A संतुष्ट करता है AB3*), और सटीक अनुक्रमों की [[फ़िल्टर की गई सीमा]]एं सटीक हैं।


अभिगृहीत AB1) और AB2) भी दिए गए थे। वे हैं जो एक योज्य श्रेणी को एबेलियन बनाते हैं। विशेष रूप से:
*AB3 *) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों  (Ai) के लिए, उत्पाद P''A<sub>i</sub>'' A में सम्मलित है (अर्थात A पूर्ण है)।
* AB1) प्रत्येक आकारिकी में एक कर्नेल और एक कोकर्नेल होता है।
* AB4*) A, AB3* को संतुष्ट करता है, और एपिमोर्फिज्म के समूहों  का उत्पाद एक एपिमोर्फिज्म है।
* AB2) प्रत्येक आकारिकी ''f'' के लिए, coim ''f'' से im ''f'' तक विहित आकारिकी एक समरूपता है।
* AB5*) A, AB3* को संतुष्ट करता है ), और अनुक्रमों के लिए फ़िल्टर की गई सीमाएं सटीक हैं।
 
अभिगृहीत AB1) और AB2) भी दिए गए थे। जो एक योज्य श्रेणी को एबेलियन बनाते हैं। विशेष रूप से:
* AB1) प्रत्येक मोर्फिज़्म में एक कर्नेल और एक कोकर्नेल होता है।
* AB2) AB2) प्रत्येक मोर्फिज़्म ''f'' के लिए, coim ''f'' से im ''f'' तक विहित मोर्फिज़्म एक तुल्याकारिता होती है ।


ग्रोथेंडिक ने अभिगृहीत AB6) और AB6*) भी दिए।
ग्रोथेंडिक ने अभिगृहीत AB6) और AB6*) भी दिए।


* AB6) A संतुष्ट करता है AB3), और फ़िल्टर की गई श्रेणियों का एक परिवार दिया है <math>I_j, j\in J</math> और नक्शे <math>A_j : I_j \to A</math>, अपने पास <math>\prod_{j\in J} \lim_{I_j} A_j = \lim_{I_j, \forall j\in J} \prod_{j\in J} A_j</math>, जहां लिम फ़िल्टर किए गए कोलिमिट को दर्शाता है।
* AB6) A,  AB3 को  संतुष्ट करता है), और फ़िल्टर की गई श्रेणियों का एक समूह दिया है <math>I_j, j\in J</math> और मानचित्रण <math>A_j : I_j \to A</math>, अपने पास <math>\prod_{j\in J} \lim_{I_j} A_j = \lim_{I_j, \forall j\in J} \prod_{j\in J} A_j</math>, जहां लिम फ़िल्टर किए गए कोलिमिट को दर्शाता है।
* AB6*) A, AB3* को संतुष्ट करता है, और कोफ़िल्टर्ड श्रेणियों का एक परिवार दिया जाता है <math>I_j, j\in J</math> और नक्शे <math>A_j : I_j \to A</math>, अपने पास <math>\sum_{j\in J} \lim_{I_j} A_j = \lim_{I_j, \forall j\in J} \sum_{j\in J} A_j</math>, जहां लिम सह-फ़िल्टर्ड सीमा को दर्शाता है।
* AB6*) A, AB3* को संतुष्ट करता है, और कोफ़िल्टर्ड श्रेणियों का एक समूहों दिया जाता है <math>I_j, j\in J</math> और मानचित्रण <math>A_j : I_j \to A</math>, अपने पास <math>\sum_{j\in J} \lim_{I_j} A_j = \lim_{I_j, \forall j\in J} \sum_{j\in J} A_j</math>, जहां लिम सह-फ़िल्टर्ड सीमा को दर्शाता है।


== प्राथमिक गुण ==
== प्राथमिक गुण ==
एबेलियन श्रेणी में वस्तुओं की किसी भी जोड़ी ए, बी को देखते हुए, ए से बी तक एक विशेष [[शून्य रूपवाद]] है। इसे होम-सेट होम (ए, बी) के [[0 (संख्या)]] तत्व के रूप में परिभाषित किया जा सकता है, क्योंकि यह है एक एबेलियन समूह।
एबेलियन श्रेणी में वस्तुओं की किसी भी जोड़िया ए, बी को देखते हुए, ए से बी तक एक विशेष शून्य मोर्फिज़्म है। इसे होम-सेट (ए, बी) के शून्य तत्व के रूप में परिभाषित किया जा सकता है, क्योंकि यह एक एबेलियन समूह है। वैकल्पिक रूप से, इसे अद्वितीय रचना A → 0 → B के रूप में परिभाषित किया जा सकता है, जहाँ 0 एबेलियन श्रेणी की शून्य वस्तु है।
वैकल्पिक रूप से, इसे अद्वितीय रचना A → 0 → B के रूप में परिभाषित किया जा सकता है, जहाँ 0 एबेलियन श्रेणी की शून्य वस्तु है।


एबेलियन श्रेणी में, प्रत्येक आकारिकी f को एक अधिरूपता की संरचना के रूप में लिखा जा सकता है, जिसके बाद एक मोनोमोर्फिज्म होता है।
एबेलियन श्रेणी में, प्रत्येक मोर्फिज़्म f को एक अधिरूपता की संरचना के रूप में लिखा जा सकता है, जिसके बाद एक मोनोमोर्फिज्म होता है। इस एपिमोर्फिज्म को f का कोइमेज कहा जाता है, जबकि मोनोमोर्फिज्म को f का इमेज कहा जाता है।
इस एपिमोर्फिज्म को f का [[coimage]] कहा जाता है, जबकि मोनोमोर्फिज्म को f का इमेज (श्रेणी सिद्धांत) कहा जाता है।


एबेलियन श्रेणियों में उप-वस्तु और भागफल की वस्तुएं [[अच्छी तरह से व्यवहार]] की जाती हैं।
एबेलियन श्रेणियों में उप-वस्तु और भागफल की वस्तुएं अच्छी तरह से व्यवहार की जाती हैं। उदाहरण के लिए, किसी दिए गए ऑब्जेक्ट ए के उप-ऑब्जेक्ट्स का पॉसेट एक बाध्य लैटिस है।
उदाहरण के लिए, किसी दिए गए [[सबऑब्जेक्ट]] ए के उप-ऑब्जेक्ट्स का [[poset]] एक बाध्य जाली है।


प्रत्येक एबेलियन श्रेणी '' सूक्ष्म रूप से उत्पन्न एबेलियन समूहों की मोनोइडल श्रेणी पर एक मॉड्यूल (गणित) है; अर्थात्, हम एक सूक्ष्म रूप से उत्पन्न एबेलियन समूह G और 'A' की किसी भी वस्तु A का [[टेंसर उत्पाद]] बना सकते हैं।
प्रत्येक एबेलियन श्रेणी ए सूक्ष्म रूप से उत्पन्न एबेलियन समूहों की मोनोइडल श्रेणी पर एक मॉड्यूल है; अर्थात्, हम एक अंतिम रूप से उत्पन्न एबेलियन समूह G और A की किसी भी वस्तु A का टेंसर उत्पाद बना सकते हैं। एबेलियन श्रेणी भी एक मॉड्यूल है; होम (G, A) को A की वस्तु के रूप में व्याख्या कि जा सकता है। यदि 'A' पूर्ण श्रेणी है, तो हम G को पूरी तरह से उत्पन्न करने की आवश्यकता को हटा सकते हैं; सामान्यतः, हम 'A' में परिमित [[समृद्ध सीमा]]एं बना सकते हैं।
एबेलियन श्रेणी भी एक [[कोमॉड्यूल]] है; होम (जी, ) को 'ए' की वस्तु के रूप में व्याख्या किया जा सकता है।
यदि '' पूर्ण श्रेणी है, तो हम जी को पूरी तरह से उत्पन्न करने की आवश्यकता को हटा सकते हैं; आम तौर पर, हम '' में परिमित [[समृद्ध सीमा]]एं बना सकते हैं।


== संबंधित अवधारणाएं ==
== <big>संबंधित अवधारणाएं</big> ==
समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य सेटिंग हैं।
समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य समूह  हैं। उस क्षेत्र में उपयोग किए गए सभी निर्माण प्रासंगिक हैं, जैसे कि सटीक अनुक्रम और विशेष रूप से लघु सटीक अनुक्रम और व्युत्पन्न फ़ंक्टर सभी एबेलियन श्रेणियों में लागू होने वाले महत्वपूर्ण प्रमेय में पांच लेम्मा (और एक विशेष रूप में लघु पांच लेम्मा), साथ ही एक विशेष रूप में नौ लेम्मा सम्मलित हैं।
उस क्षेत्र में उपयोग किए गए सभी निर्माण प्रासंगिक हैं, जैसे कि सटीक अनुक्रम और विशेष रूप से [[लघु सटीक अनुक्रम]] और व्युत्पन्न फ़ंक्टर।
सभी एबेलियन श्रेणियों में लागू होने वाले महत्वपूर्ण प्रमेयों में पांच लेम्मा (और एक विशेष मामले के रूप में लघु पांच लेम्मा), साथ ही सांप लेम्मा (और एक विशेष मामले के रूप में [[नौ लेम्मा]]) शामिल हैं।


=== अर्ध-सरल एबेलियन श्रेणियां ===
=== <big>अर्ध-सरल एबेलियन श्रेणियां</big> ===
{{Main|Semi-simplicity}}
{{Main|अर्ध-सरल}}
एक एबेलियन श्रेणी <math>\mathbf{A}</math> वस्तुओं का संग्रह होने पर अर्ध-सरल कहा जाता है <math>\{X_i\}_{i \in I} \in \text{Ob}(\mathbf{A})</math> साधारण वस्तुएँ कहलाती हैं (जिसका अर्थ है किसी की एकमात्र उप-वस्तुएँ <math>X_i</math> शून्य वस्तु हैं <math>0</math> और खुद) ऐसा है कि एक वस्तु <math>X \in \text{Ob}(\mathbf{A})</math> [[प्रत्यक्ष योग]] के रूप में विघटित किया जा सकता है (एबेलियन श्रेणी के प्रतिफल को दर्शाता है) <ब्लॉककोट><math>X \cong \bigoplus_{i \in I} X_i</math></blockquote>यह तकनीकी स्थिति बल्कि मजबूत है और प्रकृति में पाई जाने वाली एबेलियन श्रेणियों के कई प्राकृतिक उदाहरणों को बाहर करती है। उदाहरण के लिए, एक रिंग के ऊपर अधिकांश मॉड्यूल श्रेणियां <math>R</math> अर्ध-सरल नहीं हैं; वास्तव में, यह मामला है अगर और केवल अगर <math>R</math> एक अर्ध-सरल अंगूठी है।
एक एबेलियन श्रेणी <math>\mathbf{A}</math> वस्तुओं का संग्रह होने पर अर्ध-सरल <math>\{X_i\}_{i \in I} \in \text{Ob}(\mathbf{A})</math> साधारण वस्तुएँ (अर्थात् किसी भी <math>X_i</math> की केवल उप-वस्तुएँ शून्य वस्तु <math>0</math> हैं, जैसे कि एक वस्तु <math>X \in \text{Ob}(\mathbf{A})</math> [[प्रत्यक्ष योग]] के रूप में विघटित कि जा सकती है, <ब्लॉककोट><math>X \cong \bigoplus_{i \in I} X_i</math> को प्रत्यक्ष योग के रूप में विघटित किया जा सकता है, एबेलियन के प्रतिरूप को दर्शाता है
 
यह तकनीकी स्थिति मजबूत है और प्रकृति में पाई जाने वाली एबेलियन श्रेणियों के कई प्राकृतिक उदाहरणों को सम्मलित नहीं करती है। उदाहरण के लिए, वलय R के ऊपर अधिकांश मॉड्यूल श्रेणियां अर्ध-सरल नहीं हैं; वास्तव में, यह स्थिति यदि केवल R अर्धसरल वलय है।


==== उदाहरण ====
==== उदाहरण ====
Line 74: Line 69:


* परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी <math>\text{FinVect}(k)</math> एक निश्चित क्षेत्र के ऊपर <math>k</math>
* परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी <math>\text{FinVect}(k)</math> एक निश्चित क्षेत्र के ऊपर <math>k</math>
* माश्के के प्रमेय द्वारा अभ्यावेदन की श्रेणी <math>\text{Rep}_k(G)</math> एक परिमित समूह का <math>G</math> एक मैदान के ऊपर <math>k</math> जिसकी विशेषता विभाजित नहीं होती है <math>|G|</math> एक अर्ध-साधारण एबेलियन श्रेणी है।
* माश्के के प्रमेय के अनुसार एक परिमित समूह <math>\text{Rep}_k(G)</math> के निरूपण की श्रेणी <math>G</math> एक मैदान पर <math>k</math> जिसकी विशेषता विभाजित नहीं होती है <math>|G|</math> एक अर्ध-साधारण एबेलियन श्रेणी है।
* [[नोथेरियन योजना]] स्कीम (गणित) पर सुसंगत शेफ की श्रेणी अर्ध-सरल है यदि और केवल यदि <math>X</math> अलघुकरणीय बिन्दुओं का परिमित असंयुक्त संघ है। यह विभिन्न क्षेत्रों में सदिश स्थानों की श्रेणियों के परिमित उत्पाद के बराबर है। आगे की दिशा में इसे सच दिखाना सभी को दिखाने के बराबर है <math>\text{Ext}^1</math> समूह गायब हो जाते हैं, जिसका अर्थ है कि [[कोहोलॉजिकल आयाम]] 0 है। यह केवल तब होता है जब गगनचुंबी इमारत ढेर हो जाती है <math>k_x</math> एक बिंदु पर <math>x \in X</math> ज़रिस्की स्पर्शरेखा स्थान शून्य के बराबर है, जो आइसोमोर्फिक है <math>\text{Ext}^1(k_x,k_x)</math> ऐसी योजना के लिए [[स्थानीय बीजगणित]] का उपयोग करना।<ref>{{Cite web|title=बीजगणितीय ज्यामिति - एक बिंदु और प्रथम एक्सट समूह में स्पर्शरेखा स्थान|url=https://math.stackexchange.com/questions/75673/tangent-space-in-a-point-and-first-ext-group|access-date=2020-08-23|website=Mathematics Stack Exchange}}</ref>
* नोथेरियन योजना पर सुसंगत समूहों की श्रेणी अर्ध-सरल है यदि केवल <math>X</math> अलघुकरणीय बिन्दुओं का परिमित असंयुक्त संघ है। यह विभिन्न क्षेत्रों में सदिश स्थानों की श्रेणियों के परिमित उत्पाद के बराबर है। आगे की दिशा में इसे सभी को दिखाने के बराबर है <math>\text{Ext}^1</math> समूह लुप्त हो जाते हैं, जिसका अर्थ है कि [[कोहोलॉजिकल आयाम]] 0 है। यह केवल तब होता है जब गगनचुंबी इमारत समूहों मे सम्मलित जाती है <math>k_x</math> एक बिंदु पर <math>x \in X</math> ज़रिस्की स्पर्शरेखा स्थान शून्य के बराबर है, जो आइसोमोर्फिक है <math>\text{Ext}^1(k_x,k_x)</math> ऐसी योजना के लिए [[स्थानीय बीजगणित]] का उपयोग करता है ।<ref>{{Cite web|title=बीजगणितीय ज्यामिति - एक बिंदु और प्रथम एक्सट समूह में स्पर्शरेखा स्थान|url=https://math.stackexchange.com/questions/75673/tangent-space-in-a-point-and-first-ext-group|access-date=2020-08-23|website=Mathematics Stack Exchange}}</ref>


'''<big>गैर-उदाहरण</big>'''


==== गैर-उदाहरण ====
एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण सम्मिलित हैं जो अर्ध-सरल नहीं हैं, जैसे कि [[प्रतिनिधित्व सिद्धांत]] की कुछ श्रेणियां। उदाहरण के लिए, लाई समूह के अभ्यावेदन की श्रेणी <math>(\mathbb{R},+)</math> प्रतिनिधित्व <ब्लॉककोट> है<math>a \mapsto \begin{bmatrix}
एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण मौजूद हैं जो अर्ध-सरल नहीं हैं, जैसे कि [[प्रतिनिधित्व सिद्धांत]] की कुछ श्रेणियां। उदाहरण के लिए, लाई समूह के अभ्यावेदन की श्रेणी <math>(\mathbb{R},+)</math> प्रतिनिधित्व <ब्लॉककोट> है<math>a \mapsto \begin{bmatrix}
1 & a \\
1 & a \\
0 & 1
0 & 1
\end{bmatrix}</math></blockquote>जिसमें आयाम का केवल एक उप-निरूपण है <math>1</math>. वास्तव में, यह किसी भी [[शक्तिहीन समूह]] के लिए सत्य है<ref>{{Cite book|last=Humphreys, James E.|url=http://worldcat.org/oclc/77625833|title=रैखिक बीजगणितीय समूह|date=2004|publisher=Springer|isbn=0-387-90108-6|oclc=77625833}}</ref><sup>पेज 112</sup>.
\end{bmatrix}</math>जिसमें आयाम का केवल एक उप-निरूपण है <math>1</math>. वास्तव में, यह किसी भी [[शक्तिहीन समूह]] के लिए सत्य है<ref>{{Cite book|last=Humphreys, James E.|url=http://worldcat.org/oclc/77625833|title=रैखिक बीजगणितीय समूह|date=2004|publisher=Springer|isbn=0-387-90108-6|oclc=77625833}}</ref><sup>पेज 112</sup>.
 
== एबेलियन श्रेणियों की उपश्रेणियाँ ==
== एबेलियन श्रेणियों की उपश्रेणियाँ ==
एबेलियन श्रेणियों के कई प्रकार (पूर्ण, योगात्मक) उपश्रेणियाँ हैं जो प्रकृति में होती हैं, साथ ही साथ कुछ परस्पर विरोधी शब्दावली भी हैं।
एबेलियन श्रेणियों कई प्रकार से (पूर्ण, योगात्मक) उपश्रेणियाँ हैं जो प्रकृति में होती हैं, साथ ही साथ कुछ परस्पर विरोधी शब्दावली भी हैं।


मान लीजिए A एक एबेलियन श्रेणी है, C एक पूर्ण, योज्य उपश्रेणी है, और ''I'' समावेशन फ़ैक्टर है।
मान लीजिए A एक एबेलियन श्रेणी है, C एक पूर्ण, योज्य उपश्रेणी है, और ''I'' समावेशन फ़ैक्टर है।
* सी एक सटीक उपश्रेणी है यदि यह स्वयं एक सटीक श्रेणी है और समावेशन ''आई'' एक सटीक फ़ैक्टर है। यह तभी और केवल तब होता है जब सी एपिमोर्फिज्म के [[पुलबैक (श्रेणी सिद्धांत)]] और मोनोमोर्फिज्म के [[पुशआउट (श्रेणी सिद्धांत)]] के तहत बंद हो। C में सटीक क्रम इस प्रकार A में सटीक क्रम हैं जिसके लिए सभी वस्तुएँ C में स्थित हैं।
* सी एक सटीक उपश्रेणी है यदि यह स्वयं एक सटीक श्रेणी है और समावेशन ''आई इसका'' एक सही फ़ैक्टर है। यह केवल तब होता है जब सी एपिमोर्फिज्म के [[पुलबैक (श्रेणी सिद्धांत)]] और मोनोमोर्फिज्म के पुशआउट के तहत बंद हो। C में सटीक क्रम जैसे की A में सही क्रम हैं जिसके लिए सभी वस्तुएँ C में स्थित हैं।
* सी एक एबेलियन उपश्रेणी है यदि यह स्वयं एक एबेलियन श्रेणी है और समावेशन ''आई'' एक सटीक फ़ंक्टर है। यह तब होता है जब और केवल अगर कर्नेल और कोकर्नेल लेने के तहत सी बंद हो जाता है। ध्यान दें कि एबेलियन श्रेणी की पूर्ण उपश्रेणियों के उदाहरण हैं जो स्वयं एबेलियन हैं लेकिन जहां समावेशन फ़ंक्टर सटीक नहीं है, इसलिए वे एबेलियन उपश्रेणियाँ नहीं हैं (नीचे देखें)।
* सी एक एबेलियन उपश्रेणी है, यदि यह स्वयं एक एबेलियन श्रेणी है और समावेशन I एक सटीक फ़ैक्टर है। यह तब होता है जब और केवल अगर कर्नेल और कोकर्नेल लेने के तहत सी बंद हो जाता है। ध्यान दें कि एबेलियन श्रेणी की पूर्ण उपश्रेणियों के उदाहरण हैं, जो स्वयं एबेलियन हैं लेकिन जहां समावेशन फ़ंक्टर सटीक नहीं है, इसलिए वे एबेलियन उपश्रेणियाँ नहीं हैं (नीचे देखें)।
* सी एक मोटी उपश्रेणी है अगर इसे सीधे सारांश लेने के तहत बंद किया जाता है और छोटे सटीक अनुक्रमों पर 2-आउट-ऑफ-3 संपत्ति को संतुष्ट करता है; वह है, अगर <math>0 \to M' \to M \to M'' \to 0 </math> ए में एक छोटा सटीक अनुक्रम है जैसे कि दो <math>M',M,M''</math> सी में झूठ बोलते हैं, तो तीसरा भी करता है। दूसरे शब्दों में, C एपिमॉर्फिज्म के कर्नेल, मोनोमोर्फिज्म के कोकर्नेल और एक्सटेंशन के तहत बंद है। ध्यान दें कि पी. गेब्रियल ने ''मोटी उपश्रेणी'' शब्द का प्रयोग यह वर्णन करने के लिए किया है कि हम यहां ''सेरे उपश्रेणी'' कहते हैं।
* सी एक मोटी उपश्रेणी है अगर इसे सीधे सारांश लेने के तहत बंद किया जाता है और छोटे सटीक अनुक्रमों पर 2-आउट-ऑफ-3 संपत्ति को संतुष्ट करता है; वह है, अगर <math>0 \to M' \to M \to M'' \to 0 </math> ए में एक छोटा सटीक अनुक्रम है जैसे कि दो <math>M',M,M''</math> सी में लाई समूह बोलते हैं, तो तीसरा भी कार्य करता है। दूसरे शब्दों में, C एपिमॉर्फिज्म के कर्नेल, मोनोमोर्फिज्म के कोकर्नेल और एक्सटेंशन के तहत बंद होता है। ध्यान दें कि पी. गेब्रियल ने ''मोटी उपश्रेणी'' शब्द का प्रयोग यह वर्णन करने के लिए किया है कि हम यहां ''सेरे उपश्रेणी'' कहते हैं।
* सी एक टोपोलॉजीज़िंग उपश्रेणी है यदि यह उपश्रेणी के तहत बंद है।
* सी एक टोपोलॉजीज़िंग उपश्रेणी है यदि यह उपश्रेणी के तहत बंद है।
* सी एक [[स्थानीयकरण उपश्रेणी]] है यदि, सभी छोटे सटीक अनुक्रमों के लिए <math>0 \to M' \to M \to M'' \to 0 </math> ए में हमारे पास सी में 'एम' है अगर और केवल अगर दोनों <math>M',M''</math> सी में हैं। दूसरे शब्दों में, सी एक्सटेंशन और सबक्वायरेंट्स के तहत बंद है। ये उपश्रेणियाँ A से दूसरी एबेलियन श्रेणी के सटीक फ़ैक्टरों की गुठली हैं।
* सी एक [[स्थानीयकरण उपश्रेणी]] है यदि, सभी छोटे सटीक अनुक्रमों के लिए <math>0 \to M' \to M \to M'' \to 0 </math> ए में हमारे पास सी में 'M' है यदि  केवल दोनों <math>M',M''</math> C में हैं। दूसरे शब्दों में, C एक्सटेंशन और सबक्वायरेंट्स के तहत बंद है। ये उपश्रेणियाँ A से दूसरी एबेलियन श्रेणी के सटीक फ़ैक्टरों का एक फलन हैं।
* सी एक स्थानीयकरण उपश्रेणी है यदि यह एक सेरे उपश्रेणी है जैसे कि भागफल फ़ैक्टर <math>Q\colon\mathbf A \to \mathbf A/\mathbf C</math> एक सहायक फ़ैक्टरों को स्वीकार करता है।
* सी एक स्थानीयकरण उपश्रेणी है यदि यह एक सेरे उपश्रेणी है जैसे कि भागफल फ़ैक्टर <math>Q\colon\mathbf A \to \mathbf A/\mathbf C</math> एक सहायक फ़ैक्टरों को स्वीकार करता है।
* एक विस्तृत उपश्रेणी की दो प्रतिस्पर्धी धारणाएँ हैं। एक संस्करण यह है कि C में A की प्रत्येक वस्तु शामिल है (समरूपता तक); एक पूर्ण उपश्रेणी के लिए यह स्पष्ट रूप से दिलचस्प नहीं है। (इसे एक उपश्रेणी भी कहा जाता है # उपश्रेणियों के प्रकार उपश्रेणी।) अन्य संस्करण यह है कि सी एक्सटेंशन के तहत बंद है।
* एक विस्तृत उपश्रेणी की दो प्रतिस्पर्धी धारणाएँ हैं। एक संस्करण यह है कि C में A की प्रत्येक वस्तु सम्मलित है (समरूपता तक); एक पूर्ण उपश्रेणी के लिए यह स्पष्ट रूप से रुचिकर नहीं है। (इसे एक उपश्रेणी भी कहा जाता है) अन्य संस्करण यह है कि C एक्सटेंशन के तहत बंद है।


यहाँ एक एबेलियन श्रेणी की पूर्ण, योगात्मक उपश्रेणी का एक स्पष्ट उदाहरण दिया गया है जो स्वयं एबेलियन है लेकिन समावेशन फ़ैक्टर सटीक नहीं है। चलो ''के'' एक क्षेत्र हो, <math>T_n</math> ऊपरी-त्रिकोणीय का बीजगणित <math>n\times n</math> कश्मीर से अधिक matrices, और <math>\mathbf A_n</math> परिमित-आयामी की श्रेणी <math>T_n</math>-मॉड्यूल। फिर प्रत्येक <math>\mathbf A_n</math> एक एबेलियन श्रेणी है और हमारे पास एक समावेशन कारक है <math>I\colon\mathbf A_2 \to \mathbf A_3</math> सरल प्रोजेक्टिव, सरल इंजेक्शन और अपरिवर्तनीय प्रोजेक्टिव-इंजेक्शन मॉड्यूल की पहचान करना। I की आवश्यक छवि एक पूर्ण, योगात्मक उपश्रेणी है, लेकिन I सटीक नहीं है।
यहाँ एक एबेलियन श्रेणी की पूर्ण, योगात्मक उपश्रेणी का एक स्पष्ट उदाहरण दिया गया है जो स्वयं एबेलियन है, लेकिन समावेशन फ़ैक्टर सटीक नहीं है। माना की  k एक क्षेत्र है, , <math>T_n</math> ऊपरी-त्रिकोणीय का बीजगणित <math>n\times n</math> और <math>\mathbf A_n</math> परिमित-आयामी की श्रेणी <math>T_n</math>-मॉड्यूल की श्रेणी है। फिर प्रत्येक <math>\mathbf A_n</math> एक एबेलियन श्रेणी है, और हमारे पास एक समावेशन कारक है <math>I\colon\mathbf A_2 \to \mathbf A_3</math> सरल प्रक्षेपी, सरल अंतःक्षेपी और अविघटनीय प्रक्षेपी-सम्बद्ध  की पहचान करना मॉड्यूल की एक पूर्ण, योगात्मक उपश्रेणी है, लेकिन सटीक नहीं है।


== इतिहास ==
== इतिहास ==
एबेलियन श्रेणियां किसके द्वारा पेश की गईं {{harvtxt|Buchsbaum|1955}} (सटीक श्रेणी के नाम के तहत) और {{harvtxt|Grothendieck|1957}} विभिन्न कोहोलॉजी सिद्धांतों को एकजुट करने के लिए। उस समय, शीफ (गणित) के लिए एक कोहोलॉजी सिद्धांत और [[समूह (गणित)]] के लिए एक कोहोलॉजी सिद्धांत था। दोनों को अलग-अलग परिभाषित किया गया था, लेकिन उनके समान गुण थे। वास्तव में, इन समानताओं का अध्ययन करने के लिए अधिकांश श्रेणी सिद्धांत भाषा के रूप में विकसित किए गए थे। ग्रोथेंडिक ने दो सिद्धांतों को एकीकृत किया: वे दोनों एबेलियन श्रेणियों पर व्युत्पन्न फ़ैक्टर के रूप में उत्पन्न होते हैं; एक टोपोलॉजिकल स्पेस पर एबेलियन समूहों के ढेरों की एबेलियन श्रेणी, और जी-मॉड्यूल की एबेलियन श्रेणी। किसी दिए गए समूह जी के लिए जी-मॉड्यूल।
एबेलियन श्रेणियों को बुक्सबाउम (1955) और ग्रोथेंडिक (1957) द्वारा विभिन्न कोहोलॉजी सिद्धांतों को एकत्रित करने के लिए प्रदर्शित किया गया था। उस समय, समूहों के लिए एक कोहोलॉजी सिद्धांत और समूहों के लिए एक कोहोलॉजी सिद्धांत था। दोनों को अलग-अलग परिभाषित किया गया था, लेकिन उनके समान गुण थे। वास्तव में, इन समानताओं का अध्ययन करने के लिए अधिकांश श्रेणी सिद्धांत भाषा के रूप में विकसित किए गए थे। ग्रोथेंडिक ने दो सिद्धांतों को एकीकृत किया: वे दोनों एबेलियन श्रेणियों पर व्युत्पन्न कारक के रूप में उत्पन्न होते हैं; एक टोपोलॉजिकल स्पेस पर एबेलियन समूहों के समूहों  की एबेलियन श्रेणिया, और दिए गए समूह G के लिए G-मॉड्यूल की एबेलियन श्रेणी है ।


== यह भी देखें ==
== यह भी देखें ==
{{Portal|Mathematics}}
{{Portal|Mathematics}}
*[[त्रिकोणीय श्रेणी]]
*[[त्रिकोणीय श्रेणी]]
==इस पेज में लापता आंतरिक लिंक की सूची==
*ऑपरेटर
*आकारिता
*कोहोलॉजी सिद्धांत
*समरूप बीजगणित
*अंक शास्त्र
*साँप लेम्मा
*पूर्वगामी श्रेणी
*बिलिनियर ऑपरेटर
*योजक श्रेणी
*मॉड्यूल का प्रत्यक्ष योग
*सटीक ऑपरेटर
*सटीक क्रम
*अंतिम रूप से उत्पन्न एबेलियन समूह
*सदिश स्थल
*नोथेरियन रिंग
*हेमल आयाम
*अंगूठी (गणित)
*सहउत्पाद
*फ़िल्टर्ड कोलिमिट
*एबी5 श्रेणी
*पूरी श्रेणी
*समाकृतिकता
*बंधी हुई जाली
*अंतिम
*भागफल वस्तु
*छवि (श्रेणी सिद्धांत)
*व्युत्पन्न कारक
*लघु पाँच लेम्मा
*पाँच लेम्मा
*अर्द्ध साधारण अंगूठी
*सुसंगत शीफ
*योजना (गणित)
*ज़ारिस्की स्पर्शरेखा स्थान
*झूठ समूह
*उपभाग
*सहायक कारक
==संदर्भ==
==संदर्भ==
{{Reflist}}
{{Reflist}}
Line 160: Line 114:


{{Authority control}}
{{Authority control}}
[[Category: योगात्मक श्रेणियां]]
[[Category:समरूप बीजगणित]]
[[Category:नील्स हेनरिक एबेल]]


 
[[Category:Articles with hatnote templates targeting a nonexistent page]]
[[Category: Machine Translated Page]]
[[Category:Articles with short description]]
[[Category:CS1 français-language sources (fr)]]
[[Category:CS1 maint]]
[[Category:CS1 Ελληνικά-language sources (el)]]
[[Category:Citation Style 1 templates|W]]
[[Category:Collapse templates]]
[[Category:Created On 26/11/2022]]
[[Category:Created On 26/11/2022]]
[[Category:Lua-based templates]]
[[Category:Machine Translated Page]]
[[Category:Navigational boxes| ]]
[[Category:Navigational boxes without horizontal lists]]
[[Category:Pages with empty portal template]]
[[Category:Pages with script errors]]
[[Category:Portal templates with redlinked portals]]
[[Category:Short description with empty Wikidata description]]
[[Category:Sidebars with styles needing conversion]]
[[Category:Template documentation pages|Documentation/doc]]
[[Category:Templates Vigyan Ready]]
[[Category:Templates based on the Citation/CS1 Lua module]]
[[Category:Templates generating COinS|Cite web]]
[[Category:Templates generating microformats]]
[[Category:Templates that add a tracking category]]
[[Category:Templates that are not mobile friendly]]
[[Category:Templates that generate short descriptions]]
[[Category:Templates used by AutoWikiBrowser|Cite web]]
[[Category:Templates using TemplateData]]
[[Category:Wikipedia fully protected templates|Cite web]]
[[Category:Wikipedia metatemplates]]
[[Category:नील्स हेनरिक एबेल]]
[[Category:योगात्मक श्रेणियां]]
[[Category:समरूप बीजगणित]]

Latest revision as of 12:49, 24 April 2023

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

परिभाषाएँ

एबेलियन समूह एक पूर्वानुकूल समूह है और

  • इसकी एक शून्य वस्तु है,
  • इसमें सभी बाइनरी द्विउत्पाद हैं,
  • इसमें सभी कर्नेल और कोकर्नेल होते हैं, और
  • सभी मोनोमोर्फिज़्म और एपिमॉर्फिज्म हैं।

यह परिभाषा समतुल्य है[1] इस प्रकार से क्रमानुसार परिभाषित है:

  • एबेलियन समूहों मे मोनोइडल श्रेणी पर AB समृद्ध होने पर श्रेणी पूर्ववर्ती होती है। इसका मतलब यह है कि सभी होम-समूह एबेलियन समूह हैं और मोर्फिज़्म संरचना बिलिनियर है।
  • यदि वस्तुओं के प्रत्येक परिमित समूह में एक बाइप्रोडक्ट होता है, तो एक पूर्ववर्ती समूह योगात्मक होता है। इसका मतलब है कि हम परिमित प्रत्यक्ष योग और प्रत्यक्ष उत्पाद बना सकते हैं। [2] डीईएफ़ 1.2.6, यह आवश्यक है कि एक योगात्मक श्रेणी में एक शून्य वस्तु (खाली बाइप्रोडक्ट) हो।
  • एक योजक श्रेणी प्रीबेलियन श्रेणी है, यदि प्रत्येक मोर्फिज़्म में कर्नेल और कोकर्नेल दोनों होते हैं।
  • अंत में, एक प्रीबेलियन श्रेणी एबेलियन है यदि प्रत्येक मोनोमोर्फिज़्म और एपिमॉर्फिज्म सामान्य है। इसका मतलब यह है कि मोनोमोर्फिज़्म किसी मोर्फिज़्म का एक कर्नेल है, और एपिमॉर्फिज्म किसी मोर्फिज़्म का एक कोकर्नल है।

ध्यान दें कि होम-समूह पर समृद्ध संरचना पहली परिभाषा के पहले तीन स्वयं सिद्धों का परिणाम है। यह सिद्धांत इसकी विहित प्रकृति में एबेलियन समूहों की श्रेणी की मूलभूत प्रासंगिकता पर प्रकाश डालता है।

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

उदाहरण

  • जैसा कि ऊपर उल्लेख किया गया है, सभी एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। सभी परिमित एबेलियन समूहों की श्रेणी भी एक एबेलियन श्रेणी है, जैसा कि सभी परिमित एबेलियन समूहों की श्रेणी है।
  • यदि R एक वलय है, तो R के ऊपर सभी बाएँ (या दाएँ) मॉड्यूल श्रेणी पर एबेलियन श्रेणी उपस्थित होगी । वास्तव में, यह दिखाया जा सकता है, कि कोई भी छोटी एबेलियन श्रेणी इस तरह के मॉड्यूल की एक पूर्ण उपश्रेणी के बराबर है।
  • यदि R एक लेफ्ट-नॉथेरियन वलय है, तो R के ऊपर से उत्पन्न लेफ्ट मॉड्यूल की एबेलियन श्रेणी होगी । विशेष रूप से, एक नोथेरियन कम्यूटेटिव वलय पर बारीक रूप से उत्पन्न मॉड्यूल की श्रेणी एबेलियन है; इस तरह, एबेलियन श्रेणियां क्रम विनिमेय बीजगणित में दिखाई देती हैं।
  • पिछले दो उदाहरणों के विशेष मामलों के रूप में: एक निश्चित फ़ील्ड के ऊपर वेक्टर रिक्त स्थान की श्रेणी एबेलियन है, जैसा कि परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी है।
  • यदि X एक टोपोलॉजिकल स्पेस है, तो X पर सभी (वास्तविक या जटिल) वेक्टर समूहों की श्रेणी सामान्यतः एबेलियन श्रेणी नहीं होती है, क्योंकि दोनों मोनोमोर्फिज़्म हो सकते हैं, जो कर्नेल नहीं होगे।
  • यदि X एक सामयिक स्थान है, तो X पर एबेलियन समूहों की एबेलियन श्रेणिया है। सामान्यतः, ग्रोथेंडिक तल पर एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। इस तरह, एबेलियन श्रेणियां बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति में दिखाई देती हैं।
  • यदि C एक छोटी श्रेणी है और A एक एबेलियन श्रेणी है, तो C से A तक सभी फ़ैक्टरों की श्रेणी एक एबेलियन श्रेणी बनाती है। यदि सी छोटा और पूर्ववर्ती है, तो सी से ए तक सभी योजक फ़ैक्टरों की श्रेणी भी एक एबेलियन श्रेणी बनाएगी । उत्तरार्द्ध मे आर-मॉड्यूल एक उदाहरण है सामान्यीकरण है, क्योंकि एक वलय वस्तु के साथ एक पूर्ववर्ती श्रेणी के रूप में समझा जा सकता है।

ग्रोथेंडिक के स्वयंसिद्ध

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

  • AB3) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों (Ai) के लिए, सह-उत्पाद *Ai A में उपलब्ध है (अर्थात A सह-पूर्ण है)।
  • AB4) A, AB3 को संतुष्ट करता है, और मोनोमोर्फिज़्म के एक समूहों का प्रतिफल एक मोनोमोर्फिज़्म है।
  • AB5) A, AB3 को संतुष्ट करता है, और उनके दोहरे समूहों अनुक्रमों के लिए फ़िल्टर किए गए कोलिमिट्स को सही करता हैं।
  • AB3 *) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों (Ai) के लिए, उत्पाद PAi A में सम्मलित है (अर्थात A पूर्ण है)।
  • AB4*) A, AB3* को संतुष्ट करता है, और एपिमोर्फिज्म के समूहों का उत्पाद एक एपिमोर्फिज्म है।
  • AB5*) A, AB3* को संतुष्ट करता है ), और अनुक्रमों के लिए फ़िल्टर की गई सीमाएं सटीक हैं।

अभिगृहीत AB1) और AB2) भी दिए गए थे। जो एक योज्य श्रेणी को एबेलियन बनाते हैं। विशेष रूप से:

  • AB1) प्रत्येक मोर्फिज़्म में एक कर्नेल और एक कोकर्नेल होता है।
  • AB2) AB2) प्रत्येक मोर्फिज़्म f के लिए, coim f से im f तक विहित मोर्फिज़्म एक तुल्याकारिता होती है ।

ग्रोथेंडिक ने अभिगृहीत AB6) और AB6*) भी दिए।

  • AB6) A, AB3 को संतुष्ट करता है), और फ़िल्टर की गई श्रेणियों का एक समूह दिया है और मानचित्रण , अपने पास , जहां लिम फ़िल्टर किए गए कोलिमिट को दर्शाता है।
  • AB6*) A, AB3* को संतुष्ट करता है, और कोफ़िल्टर्ड श्रेणियों का एक समूहों दिया जाता है और मानचित्रण , अपने पास , जहां लिम सह-फ़िल्टर्ड सीमा को दर्शाता है।

प्राथमिक गुण

एबेलियन श्रेणी में वस्तुओं की किसी भी जोड़िया ए, बी को देखते हुए, ए से बी तक एक विशेष शून्य मोर्फिज़्म है। इसे होम-सेट (ए, बी) के शून्य तत्व के रूप में परिभाषित किया जा सकता है, क्योंकि यह एक एबेलियन समूह है। वैकल्पिक रूप से, इसे अद्वितीय रचना A → 0 → B के रूप में परिभाषित किया जा सकता है, जहाँ 0 एबेलियन श्रेणी की शून्य वस्तु है।

एबेलियन श्रेणी में, प्रत्येक मोर्फिज़्म f को एक अधिरूपता की संरचना के रूप में लिखा जा सकता है, जिसके बाद एक मोनोमोर्फिज्म होता है। इस एपिमोर्फिज्म को f का कोइमेज कहा जाता है, जबकि मोनोमोर्फिज्म को f का इमेज कहा जाता है।

एबेलियन श्रेणियों में उप-वस्तु और भागफल की वस्तुएं अच्छी तरह से व्यवहार की जाती हैं। उदाहरण के लिए, किसी दिए गए ऑब्जेक्ट ए के उप-ऑब्जेक्ट्स का पॉसेट एक बाध्य लैटिस है।

प्रत्येक एबेलियन श्रेणी ए सूक्ष्म रूप से उत्पन्न एबेलियन समूहों की मोनोइडल श्रेणी पर एक मॉड्यूल है; अर्थात्, हम एक अंतिम रूप से उत्पन्न एबेलियन समूह G और A की किसी भी वस्तु A का टेंसर उत्पाद बना सकते हैं। एबेलियन श्रेणी भी एक मॉड्यूल है; होम (G, A) को A की वस्तु के रूप में व्याख्या कि जा सकता है। यदि 'A' पूर्ण श्रेणी है, तो हम G को पूरी तरह से उत्पन्न करने की आवश्यकता को हटा सकते हैं; सामान्यतः, हम 'A' में परिमित समृद्ध सीमाएं बना सकते हैं।

संबंधित अवधारणाएं

समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य समूह हैं। उस क्षेत्र में उपयोग किए गए सभी निर्माण प्रासंगिक हैं, जैसे कि सटीक अनुक्रम और विशेष रूप से लघु सटीक अनुक्रम और व्युत्पन्न फ़ंक्टर सभी एबेलियन श्रेणियों में लागू होने वाले महत्वपूर्ण प्रमेय में पांच लेम्मा (और एक विशेष रूप में लघु पांच लेम्मा), साथ ही एक विशेष रूप में नौ लेम्मा सम्मलित हैं।

अर्ध-सरल एबेलियन श्रेणियां

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

यह तकनीकी स्थिति मजबूत है और प्रकृति में पाई जाने वाली एबेलियन श्रेणियों के कई प्राकृतिक उदाहरणों को सम्मलित नहीं करती है। उदाहरण के लिए, वलय R के ऊपर अधिकांश मॉड्यूल श्रेणियां अर्ध-सरल नहीं हैं; वास्तव में, यह स्थिति यदि केवल R अर्धसरल वलय है।

उदाहरण

प्रकृति में पाई जाने वाली कुछ एबेलियन श्रेणियां अर्ध-सरल हैं, जैसे

  • परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी एक निश्चित क्षेत्र के ऊपर
  • माश्के के प्रमेय के अनुसार एक परिमित समूह के निरूपण की श्रेणी एक मैदान पर जिसकी विशेषता विभाजित नहीं होती है एक अर्ध-साधारण एबेलियन श्रेणी है।
  • नोथेरियन योजना पर सुसंगत समूहों की श्रेणी अर्ध-सरल है यदि केवल अलघुकरणीय बिन्दुओं का परिमित असंयुक्त संघ है। यह विभिन्न क्षेत्रों में सदिश स्थानों की श्रेणियों के परिमित उत्पाद के बराबर है। आगे की दिशा में इसे सभी को दिखाने के बराबर है समूह लुप्त हो जाते हैं, जिसका अर्थ है कि कोहोलॉजिकल आयाम 0 है। यह केवल तब होता है जब गगनचुंबी इमारत समूहों मे सम्मलित जाती है एक बिंदु पर ज़रिस्की स्पर्शरेखा स्थान शून्य के बराबर है, जो आइसोमोर्फिक है ऐसी योजना के लिए स्थानीय बीजगणित का उपयोग करता है ।[3]

गैर-उदाहरण

एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण सम्मिलित हैं जो अर्ध-सरल नहीं हैं, जैसे कि प्रतिनिधित्व सिद्धांत की कुछ श्रेणियां। उदाहरण के लिए, लाई समूह के अभ्यावेदन की श्रेणी प्रतिनिधित्व <ब्लॉककोट> हैजिसमें आयाम का केवल एक उप-निरूपण है . वास्तव में, यह किसी भी शक्तिहीन समूह के लिए सत्य है[4]पेज 112.

एबेलियन श्रेणियों की उपश्रेणियाँ

एबेलियन श्रेणियों कई प्रकार से (पूर्ण, योगात्मक) उपश्रेणियाँ हैं जो प्रकृति में होती हैं, साथ ही साथ कुछ परस्पर विरोधी शब्दावली भी हैं।

मान लीजिए A एक एबेलियन श्रेणी है, C एक पूर्ण, योज्य उपश्रेणी है, और I समावेशन फ़ैक्टर है।

  • सी एक सटीक उपश्रेणी है यदि यह स्वयं एक सटीक श्रेणी है और समावेशन आई इसका एक सही फ़ैक्टर है। यह केवल तब होता है जब सी एपिमोर्फिज्म के पुलबैक (श्रेणी सिद्धांत) और मोनोमोर्फिज्म के पुशआउट के तहत बंद हो। C में सटीक क्रम जैसे की A में सही क्रम हैं जिसके लिए सभी वस्तुएँ C में स्थित हैं।
  • सी एक एबेलियन उपश्रेणी है, यदि यह स्वयं एक एबेलियन श्रेणी है और समावेशन I एक सटीक फ़ैक्टर है। यह तब होता है जब और केवल अगर कर्नेल और कोकर्नेल लेने के तहत सी बंद हो जाता है। ध्यान दें कि एबेलियन श्रेणी की पूर्ण उपश्रेणियों के उदाहरण हैं, जो स्वयं एबेलियन हैं लेकिन जहां समावेशन फ़ंक्टर सटीक नहीं है, इसलिए वे एबेलियन उपश्रेणियाँ नहीं हैं (नीचे देखें)।
  • सी एक मोटी उपश्रेणी है अगर इसे सीधे सारांश लेने के तहत बंद किया जाता है और छोटे सटीक अनुक्रमों पर 2-आउट-ऑफ-3 संपत्ति को संतुष्ट करता है; वह है, अगर ए में एक छोटा सटीक अनुक्रम है जैसे कि दो सी में लाई समूह बोलते हैं, तो तीसरा भी कार्य करता है। दूसरे शब्दों में, C एपिमॉर्फिज्म के कर्नेल, मोनोमोर्फिज्म के कोकर्नेल और एक्सटेंशन के तहत बंद होता है। ध्यान दें कि पी. गेब्रियल ने मोटी उपश्रेणी शब्द का प्रयोग यह वर्णन करने के लिए किया है कि हम यहां सेरे उपश्रेणी कहते हैं।
  • सी एक टोपोलॉजीज़िंग उपश्रेणी है यदि यह उपश्रेणी के तहत बंद है।
  • सी एक स्थानीयकरण उपश्रेणी है यदि, सभी छोटे सटीक अनुक्रमों के लिए ए में हमारे पास सी में 'M' है यदि केवल दोनों C में हैं। दूसरे शब्दों में, C एक्सटेंशन और सबक्वायरेंट्स के तहत बंद है। ये उपश्रेणियाँ A से दूसरी एबेलियन श्रेणी के सटीक फ़ैक्टरों का एक फलन हैं।
  • सी एक स्थानीयकरण उपश्रेणी है यदि यह एक सेरे उपश्रेणी है जैसे कि भागफल फ़ैक्टर एक सहायक फ़ैक्टरों को स्वीकार करता है।
  • एक विस्तृत उपश्रेणी की दो प्रतिस्पर्धी धारणाएँ हैं। एक संस्करण यह है कि C में A की प्रत्येक वस्तु सम्मलित है (समरूपता तक); एक पूर्ण उपश्रेणी के लिए यह स्पष्ट रूप से रुचिकर नहीं है। (इसे एक उपश्रेणी भी कहा जाता है) अन्य संस्करण यह है कि C एक्सटेंशन के तहत बंद है।

यहाँ एक एबेलियन श्रेणी की पूर्ण, योगात्मक उपश्रेणी का एक स्पष्ट उदाहरण दिया गया है जो स्वयं एबेलियन है, लेकिन समावेशन फ़ैक्टर सटीक नहीं है। माना की k एक क्षेत्र है, , ऊपरी-त्रिकोणीय का बीजगणित और परिमित-आयामी की श्रेणी -मॉड्यूल की श्रेणी है। फिर प्रत्येक एक एबेलियन श्रेणी है, और हमारे पास एक समावेशन कारक है सरल प्रक्षेपी, सरल अंतःक्षेपी और अविघटनीय प्रक्षेपी-सम्बद्ध की पहचान करना मॉड्यूल की एक पूर्ण, योगात्मक उपश्रेणी है, लेकिन सटीक नहीं है।

इतिहास

एबेलियन श्रेणियों को बुक्सबाउम (1955) और ग्रोथेंडिक (1957) द्वारा विभिन्न कोहोलॉजी सिद्धांतों को एकत्रित करने के लिए प्रदर्शित किया गया था। उस समय, समूहों के लिए एक कोहोलॉजी सिद्धांत और समूहों के लिए एक कोहोलॉजी सिद्धांत था। दोनों को अलग-अलग परिभाषित किया गया था, लेकिन उनके समान गुण थे। वास्तव में, इन समानताओं का अध्ययन करने के लिए अधिकांश श्रेणी सिद्धांत भाषा के रूप में विकसित किए गए थे। ग्रोथेंडिक ने दो सिद्धांतों को एकीकृत किया: वे दोनों एबेलियन श्रेणियों पर व्युत्पन्न कारक के रूप में उत्पन्न होते हैं; एक टोपोलॉजिकल स्पेस पर एबेलियन समूहों के समूहों की एबेलियन श्रेणिया, और दिए गए समूह G के लिए G-मॉड्यूल की एबेलियन श्रेणी है ।

यह भी देखें

संदर्भ

  1. Peter Freyd, Abelian Categories
  2. Handbook of categorical algebra, vol. 2, F. Borceux
  3. "बीजगणितीय ज्यामिति - एक बिंदु और प्रथम एक्सट समूह में स्पर्शरेखा स्थान". Mathematics Stack Exchange. Retrieved 2020-08-23.
  4. Humphreys, James E. (2004). रैखिक बीजगणितीय समूह. Springer. ISBN 0-387-90108-6. OCLC 77625833.