एबेलियन श्रेणी: Difference between revisions
From Vigyanwiki
No edit summary |
|||
| (12 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, यह आवश्यक है कि एक योगात्मक श्रेणी में एक शून्य वस्तु (खाली बाइप्रोडक्ट) हो। | ||
* एक योजक श्रेणी [[प्रीबेलियन श्रेणी]] है यदि प्रत्येक | * एक योजक श्रेणी [[प्रीबेलियन श्रेणी]] है, यदि प्रत्येक मोर्फिज़्म में कर्नेल और कोकर्नेल दोनों होते हैं। | ||
* अंत में, एक प्रीबेलियन श्रेणी एबेलियन है यदि प्रत्येक एकरूपता और | * अंत में, एक प्रीबेलियन श्रेणी एबेलियन है यदि प्रत्येक [[एकरूपता|मोनोमोर्फिज़्म]] और एपिमॉर्फिज्म सामान्य है। इसका मतलब यह है कि [[एकरूपता|मोनोमोर्फिज़्म]] किसी मोर्फिज़्म का एक कर्नेल है, और एपिमॉर्फिज्म किसी मोर्फिज़्म का एक कोकर्नल है। | ||
ध्यान दें कि होम- | ध्यान दें कि होम-समूह पर समृद्ध संरचना पहली परिभाषा के पहले तीन स्वयं सिद्धों का परिणाम है। यह सिद्धांत इसकी विहित प्रकृति में एबेलियन समूहों की श्रेणी की मूलभूत प्रासंगिकता पर प्रकाश डालता है। | ||
इस | इस समूह में सटीक अनुक्रम की अवधारणा स्वाभाविक रूप से उत्पन्न होती है, और यह पता चलता है कि उपयोगी फ़ैक्टर, यानी विभिन्न अर्थों में सटीक अनुक्रमो को संरक्षित करने वाले फ़ैक्टर, एबेलियन श्रेणियों के बीच प्रासंगिक कारक हैं, जिसके बीच इस उपयोगी अवधारणा को उपयोगी श्रेणी के सिद्धांत में स्वयंसिद्ध किया गया है, नियमित श्रेणी मे एक विशेष स्तिथि बनता है। | ||
== उदाहरण == | == उदाहरण == | ||
* जैसा कि ऊपर उल्लेख किया गया है, सभी एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। सभी परिमित एबेलियन समूहों की श्रेणी भी एक एबेलियन श्रेणी है, जैसा कि सभी परिमित एबेलियन समूहों की श्रेणी है। | * जैसा कि ऊपर उल्लेख किया गया है, सभी एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। सभी परिमित एबेलियन समूहों की श्रेणी भी एक एबेलियन श्रेणी है, जैसा कि सभी परिमित एबेलियन समूहों की श्रेणी है। | ||
* यदि R एक वलय है, तो R के ऊपर सभी बाएँ (या दाएँ) [[मॉड्यूल (गणित)|मॉड्यूल]] श्रेणी | * यदि R एक वलय है, तो R के ऊपर सभी बाएँ (या दाएँ) [[मॉड्यूल (गणित)|मॉड्यूल]] श्रेणी पर एबेलियन श्रेणी उपस्थित होगी । वास्तव में, यह दिखाया जा सकता है, कि कोई भी छोटी एबेलियन श्रेणी इस तरह के मॉड्यूल की एक पूर्ण उपश्रेणी के बराबर है। | ||
* यदि R एक लेफ्ट-नॉथेरियन | * यदि R एक लेफ्ट-नॉथेरियन वलय है, तो R के ऊपर से उत्पन्न लेफ्ट मॉड्यूल की एबेलियन श्रेणी होगी । विशेष रूप से, एक नोथेरियन कम्यूटेटिव वलय पर बारीक रूप से उत्पन्न मॉड्यूल की श्रेणी एबेलियन है; इस तरह, एबेलियन श्रेणियां क्रम विनिमेय बीजगणित में दिखाई देती हैं। | ||
* पिछले दो उदाहरणों के विशेष मामलों के रूप में: एक निश्चित फ़ील्ड के ऊपर वेक्टर रिक्त स्थान की श्रेणी एबेलियन है, जैसा कि परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी है। | * पिछले दो उदाहरणों के विशेष मामलों के रूप में: एक निश्चित फ़ील्ड के ऊपर वेक्टर रिक्त स्थान की श्रेणी एबेलियन है, जैसा कि परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी है। | ||
* यदि X एक टोपोलॉजिकल स्पेस है, तो X पर सभी (वास्तविक या जटिल) वेक्टर | * यदि X एक टोपोलॉजिकल स्पेस है, तो X पर सभी (वास्तविक या जटिल) वेक्टर समूहों की श्रेणी सामान्यतः एबेलियन श्रेणी नहीं होती है, क्योंकि दोनों मोनोमोर्फिज़्म हो सकते हैं, जो कर्नेल नहीं होगे। | ||
* यदि X एक सामयिक स्थान है, तो X पर एबेलियन समूहों | * यदि X एक सामयिक स्थान है, तो X पर एबेलियन समूहों की एबेलियन श्रेणिया है। सामान्यतः, ग्रोथेंडिक तल पर एबेलियन समूहों की श्रेणी एक एबेलियन श्रेणी है। इस तरह, एबेलियन श्रेणियां बीजगणितीय टोपोलॉजी और बीजगणितीय ज्यामिति में दिखाई देती हैं। | ||
* यदि C एक छोटी श्रेणी है और A एक एबेलियन श्रेणी है, तो C से A तक सभी फ़ैक्टरों की श्रेणी एक एबेलियन श्रेणी बनाती है। यदि सी छोटा और पूर्ववर्ती है, तो सी से ए तक सभी योजक फ़ैक्टरों की श्रेणी भी एक एबेलियन श्रेणी | * यदि C एक छोटी श्रेणी है और A एक एबेलियन श्रेणी है, तो C से A तक सभी फ़ैक्टरों की श्रेणी एक एबेलियन श्रेणी बनाती है। यदि सी छोटा और पूर्ववर्ती है, तो सी से ए तक सभी योजक फ़ैक्टरों की श्रेणी भी एक एबेलियन श्रेणी बनाएगी । उत्तरार्द्ध मे आर-मॉड्यूल एक उदाहरण है सामान्यीकरण है, क्योंकि एक वलय वस्तु के साथ एक पूर्ववर्ती श्रेणी के रूप में समझा जा सकता है। | ||
== ग्रोथेंडिक के स्वयंसिद्ध == | == ग्रोथेंडिक के स्वयंसिद्ध == | ||
अपने तोहोकू लेख में, ग्रोथेंडिक ने चार अतिरिक्त स्वयंसिद्धों | अपने तोहोकू लेख में, ग्रोथेंडिक ने चार अतिरिक्त स्वयंसिद्धों को सूचीबद्ध किया है, जो एक एबेलियन श्रेणी ए को संतुष्ट कर सकता है। ये स्वयंसिद्ध आज भी आम उपयोग में हैं। वे निम्नलिखित हैं: | ||
* AB3) A की वस्तुओं के प्रत्येक अनुक्रमित | * AB3) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों (Ai) के लिए, सह-उत्पाद *Ai A में उपलब्ध है (अर्थात A सह-पूर्ण है)। | ||
* AB4) A, AB3 को संतुष्ट करता है | * AB4) A, AB3 को संतुष्ट करता है, और मोनोमोर्फिज़्म के एक समूहों का प्रतिफल एक मोनोमोर्फिज़्म है। | ||
* AB5 | * AB5) A, AB3 को संतुष्ट करता है, और उनके दोहरे समूहों अनुक्रमों के लिए फ़िल्टर किए गए कोलिमिट्स को सही करता हैं। | ||
अभिगृहीत AB1) और AB2) भी दिए गए थे। | *AB3 *) A की वस्तुओं के प्रत्येक अनुक्रमित समूहों (Ai) के लिए, उत्पाद P''A<sub>i</sub>'' A में सम्मलित है (अर्थात A पूर्ण है)। | ||
* AB1) प्रत्येक | * AB4*) A, AB3* को संतुष्ट करता है, और एपिमोर्फिज्म के समूहों का उत्पाद एक एपिमोर्फिज्म है। | ||
* AB2) AB2) प्रत्येक | * AB5*) A, AB3* को संतुष्ट करता है ), और अनुक्रमों के लिए फ़िल्टर की गई सीमाएं सटीक हैं। | ||
अभिगृहीत AB1) और AB2) भी दिए गए थे। जो एक योज्य श्रेणी को एबेलियन बनाते हैं। विशेष रूप से: | |||
* AB1) प्रत्येक मोर्फिज़्म में एक कर्नेल और एक कोकर्नेल होता है। | |||
* AB2) AB2) प्रत्येक मोर्फिज़्म ''f'' के लिए, coim ''f'' से im ''f'' तक विहित मोर्फिज़्म एक तुल्याकारिता होती है । | |||
ग्रोथेंडिक ने अभिगृहीत AB6) और AB6*) भी दिए। | ग्रोथेंडिक ने अभिगृहीत AB6) और AB6*) भी दिए। | ||
* AB6) A संतुष्ट करता है | * 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* को संतुष्ट करता है, और कोफ़िल्टर्ड श्रेणियों का एक | * 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>, जहां लिम सह-फ़िल्टर्ड सीमा को दर्शाता है। | ||
== प्राथमिक गुण == | == प्राथमिक गुण == | ||
एबेलियन श्रेणी में वस्तुओं की किसी भी | एबेलियन श्रेणी में वस्तुओं की किसी भी जोड़िया ए, बी को देखते हुए, ए से बी तक एक विशेष शून्य मोर्फिज़्म है। इसे होम-सेट (ए, बी) के शून्य तत्व के रूप में परिभाषित किया जा सकता है, क्योंकि यह एक एबेलियन समूह है। वैकल्पिक रूप से, इसे अद्वितीय रचना A → 0 → B के रूप में परिभाषित किया जा सकता है, जहाँ 0 एबेलियन श्रेणी की शून्य वस्तु है। | ||
एबेलियन श्रेणी में, प्रत्येक | एबेलियन श्रेणी में, प्रत्येक मोर्फिज़्म f को एक अधिरूपता की संरचना के रूप में लिखा जा सकता है, जिसके बाद एक मोनोमोर्फिज्म होता है। इस एपिमोर्फिज्म को f का कोइमेज कहा जाता है, जबकि मोनोमोर्फिज्म को f का इमेज कहा जाता है। | ||
एबेलियन श्रेणियों में उप-वस्तु और भागफल की वस्तुएं अच्छी तरह से व्यवहार की जाती हैं। उदाहरण के लिए, किसी दिए गए ऑब्जेक्ट ए के उप-ऑब्जेक्ट्स का पॉसेट एक बाध्य लैटिस है। | एबेलियन श्रेणियों में उप-वस्तु और भागफल की वस्तुएं अच्छी तरह से व्यवहार की जाती हैं। उदाहरण के लिए, किसी दिए गए ऑब्जेक्ट ए के उप-ऑब्जेक्ट्स का पॉसेट एक बाध्य लैटिस है। | ||
प्रत्येक एबेलियन श्रेणी ए सूक्ष्म रूप से उत्पन्न एबेलियन समूहों की मोनोइडल श्रेणी पर एक मॉड्यूल है; अर्थात्, हम एक अंतिम रूप से उत्पन्न एबेलियन समूह G और A की किसी भी वस्तु A का टेंसर उत्पाद बना सकते हैं। एबेलियन श्रेणी भी एक | प्रत्येक एबेलियन श्रेणी ए सूक्ष्म रूप से उत्पन्न एबेलियन समूहों की मोनोइडल श्रेणी पर एक मॉड्यूल है; अर्थात्, हम एक अंतिम रूप से उत्पन्न एबेलियन समूह G और A की किसी भी वस्तु A का टेंसर उत्पाद बना सकते हैं। एबेलियन श्रेणी भी एक मॉड्यूल है; होम (G, A) को A की वस्तु के रूप में व्याख्या कि जा सकता है। यदि 'A' पूर्ण श्रेणी है, तो हम G को पूरी तरह से उत्पन्न करने की आवश्यकता को हटा सकते हैं; सामान्यतः, हम 'A' में परिमित [[समृद्ध सीमा]]एं बना सकते हैं। | ||
== <big>संबंधित अवधारणाएं</big> == | == <big>संबंधित अवधारणाएं</big> == | ||
समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य | समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य समूह हैं। उस क्षेत्र में उपयोग किए गए सभी निर्माण प्रासंगिक हैं, जैसे कि सटीक अनुक्रम और विशेष रूप से लघु सटीक अनुक्रम और व्युत्पन्न फ़ंक्टर सभी एबेलियन श्रेणियों में लागू होने वाले महत्वपूर्ण प्रमेय में पांच लेम्मा (और एक विशेष रूप में लघु पांच लेम्मा), साथ ही एक विशेष रूप में नौ लेम्मा सम्मलित हैं। | ||
=== <big>अर्ध-सरल एबेलियन श्रेणियां</big> === | === <big>अर्ध-सरल एबेलियन श्रेणियां</big> === | ||
{{Main|अर्ध-सरल}} | {{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>\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 70: | Line 70: | ||
* परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी <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> | ||
'''<big>गैर-उदाहरण</big>''' | '''<big>गैर-उदाहरण</big>''' | ||
एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण | एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण सम्मिलित हैं जो अर्ध-सरल नहीं हैं, जैसे कि [[प्रतिनिधित्व सिद्धांत]] की कुछ श्रेणियां। उदाहरण के लिए, लाई समूह के अभ्यावेदन की श्रेणी <math>(\mathbb{R},+)</math> प्रतिनिधित्व <ब्लॉककोट> है<math>a \mapsto \begin{bmatrix} | ||
1 & a \\ | 1 & a \\ | ||
0 & 1 | 0 & 1 | ||
\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>. | \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 में स्थित हैं। | ||
* सी एक एबेलियन उपश्रेणी है यदि यह स्वयं एक एबेलियन श्रेणी है और समावेशन I एक सटीक फ़ैक्टर है। यह तब होता है जब और केवल अगर कर्नेल और कोकर्नेल लेने के तहत सी बंद हो जाता है। ध्यान दें कि एबेलियन श्रेणी की पूर्ण उपश्रेणियों के उदाहरण हैं जो स्वयं एबेलियन हैं लेकिन जहां समावेशन फ़ंक्टर सटीक नहीं है, इसलिए वे एबेलियन उपश्रेणियाँ नहीं हैं (नीचे देखें)। | * सी एक एबेलियन उपश्रेणी है, यदि यह स्वयं एक एबेलियन श्रेणी है और समावेशन I एक सटीक फ़ैक्टर है। यह तब होता है जब और केवल अगर कर्नेल और कोकर्नेल लेने के तहत सी बंद हो जाता है। ध्यान दें कि एबेलियन श्रेणी की पूर्ण उपश्रेणियों के उदाहरण हैं, जो स्वयं एबेलियन हैं लेकिन जहां समावेशन फ़ंक्टर सटीक नहीं है, इसलिए वे एबेलियन उपश्रेणियाँ नहीं हैं (नीचे देखें)। | ||
* सी एक मोटी उपश्रेणी है अगर इसे सीधे सारांश लेने के तहत बंद किया जाता है और छोटे सटीक अनुक्रमों पर 2-आउट-ऑफ-3 संपत्ति को संतुष्ट करता है; वह है, अगर <math>0 \to M' \to M \to M'' \to 0 </math> ए में एक छोटा सटीक अनुक्रम है जैसे कि दो <math>M',M,M''</math> सी में | * सी एक मोटी उपश्रेणी है अगर इसे सीधे सारांश लेने के तहत बंद किया जाता है और छोटे सटीक अनुक्रमों पर 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>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 एक्सटेंशन के तहत बंद है। | ||
यहाँ एक एबेलियन श्रेणी की पूर्ण, योगात्मक उपश्रेणी का एक स्पष्ट उदाहरण दिया गया है जो स्वयं एबेलियन है लेकिन समावेशन फ़ैक्टर सटीक नहीं है। | यहाँ एक एबेलियन श्रेणी की पूर्ण, योगात्मक उपश्रेणी का एक स्पष्ट उदाहरण दिया गया है जो स्वयं एबेलियन है, लेकिन समावेशन फ़ैक्टर सटीक नहीं है। माना की k एक क्षेत्र है, , <math>T_n</math> ऊपरी-त्रिकोणीय का बीजगणित <math>n\times n</math> और <math>\mathbf A_n</math> परिमित-आयामी की श्रेणी <math>T_n</math>-मॉड्यूल की श्रेणी है। फिर प्रत्येक <math>\mathbf A_n</math> ए | ||