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

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

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

यह परिभाषा समतुल्य है निम्नलिखित टुकड़ों में परिभाषा के लिए:
 * एबेलियन समूहों के मोनोइडल श्रेणी AB पर समृद्ध होने पर एक श्रेणी पूर्ववर्ती है। इसका मतलब यह है कि सभी होम-सेट एबेलियन समूह हैं और आकारिकी संरचना बिलिनियर है।
 * यदि वस्तुओं के प्रत्येक परिमित सेट में एक बाइप्रोडक्ट होता है, तो एक पूर्ववर्ती श्रेणी योगात्मक होती है। इसका मतलब है कि हम परिमित प्रत्यक्ष योग और प्रत्यक्ष उत्पाद बना सकते हैं। डीईएफ़ 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), और फ़िल्टर की गई श्रेणियों का एक परिवार दिया है $$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 का टेंसर उत्पाद बना सकते हैं। एबेलियन श्रेणी भी एक कोमॉड्यूल है; होम (जी, ए) को ए की वस्तु के रूप में व्याख्या किया जा सकता है। यदि 'ए' पूर्ण श्रेणी है, तो हम जी को पूरी तरह से उत्पन्न करने की आवश्यकता को हटा सकते हैं; आम तौर पर, हम 'ए' में परिमित समृद्ध सीमाएं बना सकते हैं।

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

अर्ध-सरल एबेलियन श्रेणियां
एक एबेलियन श्रेणी $$\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$$ को प्रत्यक्ष योग के रूप में विघटित किया जा सकता है, एबेलियन के प्रतिरूप को दर्शाता है

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

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


 * परिमित-आयामी वेक्टर रिक्त स्थान की श्रेणी $$\text{FinVect}(k)$$ एक निश्चित क्षेत्र के ऊपर $$k$$
 * माश्के के प्रमेय के अनुसार एक परिमित समूह $$\text{Rep}_k(G)$$ के निरूपण की श्रेणी $$G$$ एक मैदान पर $$k$$ जिसकी विशेषता विभाजित नहीं होती है $$|G|$$ एक अर्ध-साधारण एबेलियन श्रेणी है।
 * नोथेरियन योजना पर सुसंगत ढेरों की श्रेणी अर्ध-सरल है यदि और केवल यदि $$X$$ अलघुकरणीय बिन्दुओं का परिमित असंयुक्त संघ है। यह विभिन्न क्षेत्रों में सदिश स्थानों की श्रेणियों के परिमित उत्पाद के बराबर है। आगे की दिशा में इसे सभी को दिखाने के बराबर है $$\text{Ext}^1$$ समूह गायब हो जाते हैं, जिसका अर्थ है कि कोहोलॉजिकल आयाम 0 है। यह केवल तब होता है जब गगनचुंबी इमारत ढेर हो जाती है $$k_x$$ एक बिंदु पर $$x \in X$$ ज़रिस्की स्पर्शरेखा स्थान शून्य के बराबर है, जो आइसोमोर्फिक है $$\text{Ext}^1(k_x,k_x)$$ ऐसी योजना के लिए स्थानीय बीजगणित का उपयोग करना।

 गैर-उदाहरण 

एबेलियन श्रेणियों के कुछ प्राकृतिक प्रति-उदाहरण मौजूद हैं जो अर्ध-सरल नहीं हैं, जैसे कि प्रतिनिधित्व सिद्धांत की कुछ श्रेणियां। उदाहरण के लिए, लाई समूह के अभ्यावेदन की श्रेणी $$(\mathbb{R},+)$$ प्रतिनिधित्व <ब्लॉककोट> है$$a \mapsto \begin{bmatrix} 1 & a \\ 0 & 1 \end{bmatrix}$$जिसमें आयाम का केवल एक उप-निरूपण है $$1$$. वास्तव में, यह किसी भी शक्तिहीन समूह के लिए सत्य है पेज 112.

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

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

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

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

यह भी देखें

 * त्रिकोणीय श्रेणी