एबेलियन श्रेणी

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

परिभाषाएँ

एक श्रेणी एबेलियन है यदि यह पूर्वानुकूल श्रेणी है और

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

यह परिभाषा समतुल्य है निम्नलिखित टुकड़ों में परिभाषा के लिए:

• एबेलियन समूहों के मोनोइडल श्रेणी एब पर समृद्ध होने पर एक श्रेणी पूर्ववर्ती है। इसका मतलब यह है कि सभी होम-सेट एबेलियन समूह हैं और आकारिकी की संरचना बिलिनियर है।
• यदि वस्तुओं के प्रत्येक परिमित सेट में एक बाइप्रोडक्ट होता है, तो एक पूर्ववर्ती श्रेणी योगात्मक होती है। इसका मतलब है कि हम परिमित प्रत्यक्ष योग और प्रत्यक्ष उत्पाद बना सकते हैं। डीईएफ़। 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) के लिए, उत्पाद PA_i A में मौजूद है (अर्थात A पूर्ण है)।
• AB4*) A, AB3* को संतुष्ट करता है, और एपिमोर्फिज्म के परिवार का उत्पाद एक एपिमोर्फिज्म है।
• AB5*) A संतुष्ट करता है AB3*), और सटीक अनुक्रमों की फ़िल्टर की गई सीमाएं सटीक हैं।

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

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

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

• AB6) A संतुष्ट करता है AB3), और फ़िल्टर की गई श्रेणियों का एक परिवार दिया है $I_{j},j\in J$ और नक्शे $A_{j}:I_{j}\to A$, अपने पास $\prod _{j\in J}\lim _{I_{j}}A_{j}=\lim _{I_{j},\forall j\in J}\prod _{j\in J}A_{j}$, जहां लिम फ़िल्टर किए गए कोलिमिट को दर्शाता है।
• AB6*) A, AB3* को संतुष्ट करता है, और कोफ़िल्टर्ड श्रेणियों का एक परिवार दिया जाता है $I_{j},j\in J$ और नक्शे $A_{j}:I_{j}\to A$, अपने पास $\sum _{j\in J}\lim _{I_{j}}A_{j}=\lim _{I_{j},\forall j\in J}\sum _{j\in J}A_{j}$, जहां लिम सह-फ़िल्टर्ड सीमा को दर्शाता है।

प्राथमिक गुण

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

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

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

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

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

समरूप बीजगणित के लिए एबेलियन श्रेणियां सबसे सामान्य सेटिंग हैं।

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

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

Main article: Semi-simplicity

एक एबेलियन श्रेणी $\mathbf {A}$ वस्तुओं का संग्रह होने पर अर्ध-सरल कहा जाता है $\{X_{i}\}_{i\in I}\in {\text{Ob}}(\mathbf {A} )$ साधारण वस्तुएँ कहलाती हैं (जिसका अर्थ है किसी की एकमात्र उप-वस्तुएँ $X_{i}$ शून्य वस्तु हैं $0$ और खुद) ऐसा है कि एक वस्तु $X\in {\text{Ob}}(\mathbf {A} )$ प्रत्यक्ष योग के रूप में विघटित किया जा सकता है (एबेलियन श्रेणी के प्रतिफल को दर्शाता है) <ब्लॉककोट>$X\cong \bigoplus _{i\in I}X_{i}$