समुचित श्रेणी: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
 
(9 intermediate revisions by 6 users not shown)
Line 1: Line 1:
गणित में, एक सटीक श्रेणी [[डेनियल क्विलेन]] के कारण [[श्रेणी सिद्धांत]] की एक अवधारणा है, जिसे [[एबेलियन श्रेणी]] में छोटे सटीक अनुक्रमों के गुणों को समाहित करने के लिए डिज़ाइन किया गया है, बिना किसी आकारिकी के पास वास्तव में कर्नेल (श्रेणी सिद्धांत) है, जो सामान्य परिभाषा के लिए आवश्यक है। ऐसा क्रम।
गणित में, एक '''समुचित''' श्रेणी [[डेनियल क्विलेन]] के कारण [[श्रेणी सिद्धांत]] की एक अवधारणा है, जिसे [[एबेलियन श्रेणी]] में छोटे समुचित अनुक्रमों के गुणों को समाहित करने के लिए रूपांकित किया गया है, बिना यह आवश्यक किए कि आकारिकी में वास्तव में कर्नेल और कोकर्नेल होते हैं, जो इस तरह की सामान्य परिभाषा के लिए आवश्यक अनुक्रम है।  


== परिभाषा ==
== परिभाषा ==
एक सटीक श्रेणी ई एक योगात्मक श्रेणी है जिसमें लघु सटीक अनुक्रमों का एक [[वर्ग (सेट सिद्धांत)]] '''' होता है: तीरों से जुड़े वस्तुओं के ट्रिपल
एक समुचित श्रेणी E वह योगात्मक श्रेणी है जिसमें लघु समुचित अनुक्रमों का एक [[वर्ग (सेट सिद्धांत)|श्रेणी (समुच्चय सिद्धांत)]] ''E'' होता है: एरो से जुड़े वस्तुओं के त्रिगुणन
: <math>M' \to M \to M''\ </math>
: <math>M' \to M \to M''\ </math>
एबेलियन श्रेणी में संक्षिप्त सटीक अनुक्रमों के गुणों से प्रेरित निम्नलिखित स्वयंसिद्धों को संतुष्ट करना:
एबेलियन श्रेणी में संक्षिप्त समुचित अनुक्रमों के गुणों से प्रेरित निम्नलिखित अभिगृहीत को संतुष्ट करना:
* समरूपता के तहत बंद है और इसमें विहित (विभाजित सटीक) अनुक्रम शामिल हैं:
* E समरूपता के तहत विवृत्त है और इसमें विहित (विभाजित समुचित) अनुक्रम सम्मिलित हैं:
::<math> M' \to M' \oplus M''\to M'';</math>
::<math> M' \to M' \oplus M''\to M'';</math>
* कल्पना करना <math>M \to M''</math> में एक अनुक्रम के दूसरे तीर के रूप में होता है (यह एक 'स्वीकार्य एपिमोर्फिज्म' है) और <math>N \to M''</math> में कोई तीर है। तब उनका [[पुलबैक (श्रेणी सिद्धांत)]] मौजूद है और इसका प्रक्षेपण <math>N</math> एक स्वीकार्य एपिमोर्फिज्म भी है। [[दोहरी (श्रेणी सिद्धांत)]], यदि <math>M' \to M</math> में अनुक्रम के पहले तीर के रूप में होता है (यह एक 'स्वीकार्य मोनोमोर्फिज्म' है) और <math>M' \to N</math> कोई भी तीर है, तो उनका [[पुशआउट (श्रेणी सिद्धांत)]] मौजूद है और इसका सहप्रक्षेपण <math>N</math> एक स्वीकार्य मोनोमोर्फिज्म भी है। (हम कहते हैं कि स्वीकार्य एपिमोर्फिज्म पुलबैक के तहत स्थिर हैं, सम्मान। स्वीकार्य मोनोमोर्फिज्म पुशआउट के तहत स्थिर हैं।);
* मान लीजिये कि <math>M \to M''</math> E में एक अनुक्रम के दूसरे एरो के रूप में होता है (यह एक 'स्वीकार्य आच्छादक समाकारिता' है) और <math>N \to M''</math> E में कोई एरो है। उस समय उनका [[पुलबैक (श्रेणी सिद्धांत)]] उपस्थित है और इसका प्रक्षेपण <math>N</math> एक स्वीकार्य आच्छादक समाकारिता भी है। [[दोहरी (श्रेणी सिद्धांत)]], यदि <math>M' \to M</math> E में अनुक्रम के पहले एरो के रूप में होता है (यह एक 'स्वीकार्य एकैक समाकारिता' है) और <math>M' \to N</math> कोई भी एरो है, तो उनका [[पुशआउट (श्रेणी सिद्धांत)]] उपस्थित है और इसका सहप्रक्षेपण <math>N</math> एक स्वीकार्य एकैक समाकारिता भी है। (हम कहते हैं कि स्वीकार्य आच्छादक समाकारिता पुलबैक के तहत स्थिर हैं, स्वीकार्य एकैक समाकारिता पुशआउट के तहत स्थिर हैं।);
* स्वीकार्य मोनोमोर्फिज्म उनके संबंधित स्वीकार्य एपिमोर्फिज्म के कर्नेल (श्रेणी सिद्धांत) हैं, और दोहरे रूप से। दो स्वीकार्य मोनोमोर्फिम्स की संरचना स्वीकार्य है (इसी तरह स्वीकार्य एपिमोर्फिज्म);
* स्वीकार्य एकैक समाकारिता उनके संबंधित स्वीकार्य आच्छादक समाकारिता के कर्नेल (श्रेणी सिद्धांत) हैं, और दोहरे रूप से दो स्वीकार्य एकैक समाकारिता की संरचना स्वीकार्य है (इसी तरह स्वीकार्य आच्छादक समाकारिता);
* कल्पना करना <math>M \to M''</math> में एक नक्शा है जो में कर्नेल को स्वीकार करता है, और मान लीजिए <math>N \to M</math> क्या कोई नक्शा ऐसा है कि रचना <math>N \to M \to M''</math> एक स्वीकार्य एपिमोर्फिज्म है। तो ऐसा है <math>M \to M''.</math> दो तरह से, अगर <math>M' \to M</math> एक कोकरनेल और स्वीकार करता है <math>M \to N</math> इस प्रकार कि <math>M' \to M \to N</math> एक स्वीकार्य मोनोमोर्फिज्म है, तो ऐसा ही है <math>M' \to M.</math>
* मान लीजिये कि <math>M \to M''</math> E में एक रेखित प्रारूप है जो E में कर्नेल को स्वीकार करता है, और मान लीजिए <math>N \to M</math> क्या कोई रेखित प्रारूप ऐसा है कि रचना <math>N \to M \to M''</math> एक स्वीकार्य आच्छादक समाकारिता है। तो ऐसा <math>M \to M''.</math> दो तरह से, अगर <math>M' \to M</math> एक कोकरनेल <math>M \to N</math> स्वीकार करता है, तो इस प्रकार कि <math>M' \to M \to N</math> एक स्वीकार्य एकैक समाकारिता है, तो <math>M' \to M.</math> ऐसा ही है।
स्वीकार्य मोनोमोर्फिम्स को आमतौर पर निरूपित किया जाता है <math>\rightarrowtail</math> और स्वीकार्य एपिमोर्फिज्म को निरूपित किया जाता है <math>\twoheadrightarrow.</math> ये स्वयंसिद्ध न्यूनतम नहीं हैं; वास्तव में, अंतिम द्वारा दिखाया गया है {{Harvard citations|txt=yes|last=Keller|first=Bernhard|year=1990}} बेमानी होना।
स्वीकार्य एकैक समाकारिता को सामान्यतः निरूपित किया जाता है <math>\rightarrowtail</math> और स्वीकार्य आच्छादक समाकारिता को <math>\twoheadrightarrow.</math> निरूपित किया जाता है, ये अभिगृहीत न्यूनतम नहीं हैं; वास्तव में, अंतिम होने वाले को {{Harvard citations|txt=yes|last=केलर|first=बर्नहार्ड|year=1990}} द्वारा दिखाया गया है।


एबेलियन श्रेणियों के सटीक फ़ैक्टर के मामले में सटीक श्रेणियों के बीच एक सटीक फ़ैक्टर के बारे में बात कर सकते हैं: एक सटीक फ़ैक्टर <math>F</math> एक सटीक श्रेणी डी से दूसरे तक एक योजक फ़ंक्टर है जैसे कि यदि
एबेलियन श्रेणियों के समुचित गुणनखंड के सदर्भ में समुचित श्रेणियों के बीच एक समुचित गुणनखंड के बारे में बात कर सकते हैं: एक समुचित गुणनखंड <math>F</math> एक समुचित श्रेणी D से दूसरे E तक एक योजक फ़ंक्टर है जैसे कि यदि
:<math>M' \rightarrowtail M \twoheadrightarrow M''</math>
:<math>M' \rightarrowtail M \twoheadrightarrow M''</math>
डी में सटीक है, तो
D में समुचित है, तो
:<math>F(M') \rightarrowtail F(M) \twoheadrightarrow F(M'')</math>
:<math>F(M') \rightarrowtail F(M) \twoheadrightarrow F(M'')</math>
में सटीक है। यदि डी ई की उपश्रेणी है, तो यह एक सटीक उपश्रेणी है यदि समावेशन फ़ैक्टर पूरी तरह से वफादार और सटीक है।
E में समुचित है। यदि D, E की उपश्रेणी है, तो यह एक समुचित उपश्रेणी है, यदि समावेशन गुणनखंड पूरी तरह से सत्य और समुचित है।


== प्रेरणा ==
== प्रेरणा ==
एबेलियन श्रेणियों से सटीक श्रेणियां निम्नलिखित तरीके से आती हैं। मान लीजिए कि एबेलियन है और को कोई भी पूर्ण रूप से पूर्ण उपश्रेणी योगात्मक उपश्रेणी है जो इस अर्थ में [[विस्तार (बीजगणित)]] लेने के तहत बंद है कि एक सटीक अनुक्रम दिया गया है
एबेलियन श्रेणियों से समुचित श्रेणियां निम्नलिखित तरीके से आती हैं। मान लीजिए कि A एबेलियन है और E को कोई भी पूर्ण रूप से पूर्ण उपश्रेणी योगात्मक उपश्रेणी नहीं है जो इस अर्थ में [[विस्तार (बीजगणित)]] लेने के तहत विवृत्त है कि एक समुचित अनुक्रम दिया गया है
:<math>0 \to M' \to M \to M'' \to 0\ </math>
:<math>0 \to M' \to M \to M'' \to 0\ </math>
में, तो अगर <math>M', M''</math> में हैं, इसलिए है <math>M</math>. हम वर्ग को केवल '' में अनुक्रम के रूप में ले सकते हैं जो '' में सटीक हैं; वह है,
A में <math>M', M''</math> तो अगर E में हैं, इसलिए है <math>M</math> हम वर्ग E को केवल 'E' में अनुक्रम के रूप में ले सकते हैं जो 'A' में समुचित हैं; वह है,
:<math>M' \to M \to M''\ </math>
:<math>M' \to M \to M''\ </math>
ईआईएफ में है
E iff में
:<math>0 \to M' \to M \to M'' \to 0\ </math>
:<math>0 \to M' \to M \to M'' \to 0\ </math>
में सटीक है। फिर उपरोक्त अर्थ में एक सटीक श्रेणी है। हम स्वयंसिद्धों की पुष्टि करते हैं:
A में समुचित है। फिर उपरोक्त अर्थ में E एक समुचित श्रेणी है। हम अभिगृहीत की पुष्टि करते हैं:
* '''' आइसोमोर्फिज्म के तहत बंद है और इसमें विभाजित सटीक अनुक्रम शामिल हैं: ये परिभाषा के अनुसार सही हैं, क्योंकि एबेलियन श्रेणी में, किसी भी अनुक्रम आइसोमोर्फिक से सटीक एक भी सटीक है, और चूंकि विभाजित अनुक्रम हमेशा ए में सटीक होते हैं .
* ''E'' समरूपता के तहत विवृत्त है और इसमें विभाजित समुचित अनुक्रम सम्मिलित हैं: ये परिभाषा के अनुसार सही हैं, क्योंकि एबेलियन श्रेणी में, किसी भी अनुक्रम समाकृतिकता से समुचित एक भी अनुक्रम समुचित है, और चूंकि विभाजित अनुक्रम सदैव A में समुचित होते हैं .
* स्वीकार्य एपिमोर्फिज्म (क्रमशः, स्वीकार्य मोनोमोर्फिज्म) पुलबैक (प्रतिक्रिया पुशआउट्स) के तहत स्थिर हैं: में वस्तुओं का एक सटीक क्रम दिया गया है,
* स्वीकार्य आच्छादक समाकारिता (क्रमशः, स्वीकार्य एकैक समाकारिता) पुलबैक (प्रतिक्रिया पुशआउट्स) के तहत स्थिर हैं: E में वस्तुओं का एक समुचित क्रम दिया गया है,
::<math>0 \to M' \xrightarrow{f} M \to M'' \to 0,\ </math>
::<math>0 \to M' \xrightarrow{f} M \to M'' \to 0,\ </math>
: और एक नक्शा <math>N \to M''</math> साथ <math>N</math> में, कोई सत्यापित करता है कि निम्नलिखित अनुक्रम भी सटीक है; चूंकि ई एक्सटेंशन के तहत स्थिर है, इसका मतलब यह है कि <math>M \times_{M''} N</math> में है:
: और एक रेखित प्रारूप <math>N \to M''</math> साथ <math>N</math> E में, कोई सत्यापित करता है कि निम्नलिखित अनुक्रम भी समुचित है; चूंकि E विस्तारण के तहत स्थिर है, इसका तात्पर्य यह है कि <math>M \times_{M''} N</math> E में है:
::<math>0 \to M' \xrightarrow{(f,0)} M \times_{M''} N \to N \to 0.\ </math>
::<math>0 \to M' \xrightarrow{(f,0)} M \times_{M''} N \to N \to 0.\ </math>
* प्रत्येक स्वीकार्य मोनोमोर्फिज्म इसके संबंधित स्वीकार्य एपिमोर्फिज्म का कर्नेल है, और इसके विपरीत: यह में आकारिकी के रूप में सच है, और एक पूर्ण उपश्रेणी है।
* प्रत्येक स्वीकार्य एकैक समाकारिता इसके संबंधित स्वीकार्य आच्छादक समाकारिता का कर्नेल है, और इसके विपरीत यह A में आकारिकी के रूप में सच है, और E एक पूर्ण उपश्रेणी है। ऐसा क्रम बिना किसी आकारिकी के पास वास्तव में कर्नेल (श्रेणी सिद्धांत) से सम्बंधित है, जो सामान्य परिभाषा के लिए आवश्यक है।
* अगर <math>M \to M''</math> में एक कर्नेल स्वीकार करता है और यदि <math>N \to M</math> इस प्रकार कि <math>N \to M \to M''</math> एक स्वीकार्य एपिमोर्फिज्म है, तो ऐसा ही है <math>M \to M''</math>: देखना {{Harvard citations|txt=yes|last=Quillen|year=1972}}.
* अगर <math>M \to M''</math> E में एक कर्नेल स्वीकार करता है और यदि <math>N \to M</math> इस प्रकार कि <math>N \to M \to M''</math> एक स्वीकार्य आच्छादक समाकारिता है, तो है{{Harvard citations|txt=yes|last=क्विलेन|year=1972}} <math>M \to M''</math> ऐसा ही प्रतीत होता है।


इसके विपरीत, यदि कोई सटीक श्रेणी है, तो हम को सटीक फ़ैक्टर की श्रेणी ले सकते हैं। लेम्मा, चूंकि होम सटीक छोड़ दिया गया है), एक्सटेंशन के तहत स्थिर है, और जिसमें अनुक्रम '''' में है अगर और केवल अगर यह में सटीक है।
इसके विपरीत, यदि E कोई समुचित श्रेणी है, तो हम A को समुचित गुणनखंड की श्रेणी में ले सकते हैं। लेम्मा, चूंकि होम समुचित छोड़ दिया गया है), विस्तारण के तहत स्थिर है, और जिसमें अनुक्रम ''E'' है, अगर यह A में समुचित है।


== उदाहरण ==
== उदाहरण ==
* कोई भी आबेली श्रेणी स्पष्ट रूप से #प्रेरणा के निर्माण के अनुसार सटीक होती है।
* कोई भी आबेली श्रेणी स्पष्ट रूप से प्रेरणा के निर्माण के अनुसार समुचित होती है।
* एक कम तुच्छ उदाहरण श्रेणी Ab है<sub>tf</sub> मरोड़-मुक्त एबेलियन समूहों की, जो सभी एबेलियन समूहों की (एबेलियन) श्रेणी एबी की एक पूर्ण उपश्रेणी है। यह एक्सटेंशन के तहत बंद है: if
* एक कम सूक्ष्म उदाहरण श्रेणी Ab<sub>tf</sub> है जो कि वक्र-मुक्त एबेलियन समूहों की, जो सभी एबेलियन समूहों की (एबेलियन) श्रेणी AB की एक पूर्ण उपश्रेणी है। यह विस्तारण के तहत विवृत्त है:
::<math>0 \to A \to B \to C \to 0\ </math>
::<math>0 \to A \to B \to C \to 0\ </math>
: एबेलियन समूहों का एक छोटा सटीक क्रम है जिसमें <math>A, C</math> तो मरोड़ मुक्त हैं <math>B</math> निम्न तर्क द्वारा मरोड़-मुक्त देखा जाता है: यदि <math>b</math> एक मरोड़ तत्व है, तो उसकी छवि में <math>C</math> शून्य है, क्योंकि <math>C</math> मरोड़ रहित है। इस प्रकार <math>b</math> मानचित्र के कर्नेल में स्थित है <math>C</math>, जो है <math>A</math>, लेकिन वह भी मरोड़-मुक्त है, इसलिए <math>b = 0</math>. #मोटिवेशन के निर्माण से, .बी<sub>tf</sub> एक सटीक श्रेणी है; इसमें सटीक अनुक्रमों के कुछ उदाहरण हैं:
: एबेलियन समूहों का एक छोटा समुचित क्रम है जिसमें <math>A, C</math> तो वक्र मुक्त हैं <math>B</math> निम्न तर्क द्वारा वक्र-मुक्त देखा जाता है: यदि <math>b</math> एक वक्र तत्व है, तो उसकी छवि में <math>C</math> शून्य है, क्योंकि <math>C</math> वक्र रहित है। इस प्रकार <math>b</math> मानचित्र के कर्नेल में स्थित है <math>C</math>, जो है <math>A</math>, लेकिन वह भी वक्र-मुक्त है, इसलिए <math>b = 0</math>, मोटिवेशन के निर्माण से, A.B<sub>tf</sub> एक समुचित श्रेणी है; इसमें समुचित अनुक्रमों के कुछ उदाहरण हैं:
::<math>0 \to \mathbb{Z} \xrightarrow{\left(\begin{smallmatrix} 1 \\ 2 \end{smallmatrix}\right)} \mathbb{Z}^2 \xrightarrow{(-2, 1)} \mathbb{Z} \to 0,</math>
::<math>0 \to \mathbb{Z} \xrightarrow{\left(\begin{smallmatrix} 1 \\ 2 \end{smallmatrix}\right)} \mathbb{Z}^2 \xrightarrow{(-2, 1)} \mathbb{Z} \to 0,</math>
::<math>0 \to \mathbb{Q} \to \mathbb{R} \to \mathbb{R}/\mathbb{Q} \to 0,</math>
::<math>0 \to \mathbb{Q} \to \mathbb{R} \to \mathbb{R}/\mathbb{Q} \to 0,</math>
::<math>0 \to d\Omega^0(S^1) \to \Omega^1_c(S^1) \to H^1_{\text{dR}}(S^1) \to 0,</math>
::<math>0 \to d\Omega^0(S^1) \to \Omega^1_c(S^1) \to H^1_{\text{dR}}(S^1) \to 0,</math>
: जहां अंतिम उदाहरण [[डॉ कहलमज गर्भाशय]] से प्रेरित है (<math>\Omega^1_c(S^1)</math> और <math>d\Omega^0(S^1)</math> सर्कल समूह पर [[बंद और सटीक अंतर रूप]] हैं); विशेष रूप से, यह ज्ञात है कि कोहोलॉजी समूह वास्तविक संख्याओं के लिए समरूप है। यह श्रेणी एबेलियन नहीं है।
: जहां अंतिम उदाहरण [[डॉ कहलमज गर्भाशय|डे रम कोहोमोलॉजी]] <math>\Omega^1_c(S^1)</math> और <math>d\Omega^0(S^1)</math> से प्रेरित है, वृत्त समूह पर [[बंद और सटीक अंतर रूप|विवृत्त और समुचित अंतर रूप]] हैं); विशेष रूप से, यह ज्ञात है कि कोहोलॉजी समूह वास्तविक संख्याओं के लिए समरूप है। यह श्रेणी एबेलियन नहीं है।
* निम्नलिखित उदाहरण कुछ अर्थों में उपरोक्त का पूरक है। अब चलो<sub>t</sub> मरोड़ (और शून्य समूह भी) के साथ एबेलियन समूहों की श्रेणी हो। यह योगात्मक है और फिर से 'एबी' की पूरी तरह से पूर्ण उपश्रेणी है। यह देखना और भी आसान है कि यह एक्सटेंशन के तहत स्थिर है: यदि
* निम्नलिखित उदाहरण कुछ अर्थों में उपरोक्त का पूरक है। अब वक्र<sub>t</sub> (और शून्य समूह भी) के साथ एबेलियन समूहों की श्रेणी हो, यह योगात्मक है और फिर से 'AB' की पूरी तरह से पूर्ण उपश्रेणी है। यह देखना और भी आसान है कि यह विस्तारण के तहत स्थिर है: यदि
::<math>0 \to A \to B \to C \to 0\ </math>
::<math>0 \to A \to B \to C \to 0\ </math>
: एक सटीक क्रम है जिसमें <math>A, C</math> मरोड़ है, तो <math>B</math> स्वाभाविक रूप से के सभी मरोड़ तत्व है <math>A</math>. इस प्रकार यह एक सटीक श्रेणी है।
: एक समुचित क्रम है जिसमें <math>A, C</math> वक्र है, तो <math>B</math> स्वाभाविक रूप से के सभी वक्र तत्व है, इस प्रकार <math>A</math> एक समुचित श्रेणी है।


==संदर्भ==
==संदर्भ==
Line 78: Line 78:
| isbn = 978-3-540-06434-3
| isbn = 978-3-540-06434-3
}}
}}
[[Category: योगात्मक श्रेणियां]] [[Category: समरूप बीजगणित]]


[[Category: Machine Translated Page]]
[[Category:Created On 21/03/2023]]
[[Category:Created On 21/03/2023]]
[[Category:Machine Translated Page]]
[[Category:Templates Vigyan Ready]]
[[Category:योगात्मक श्रेणियां]]
[[Category:समरूप बीजगणित]]

Latest revision as of 10:50, 11 April 2023

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

परिभाषा

एक समुचित श्रेणी E वह योगात्मक श्रेणी है जिसमें लघु समुचित अनुक्रमों का एक श्रेणी (समुच्चय सिद्धांत) E होता है: एरो से जुड़े वस्तुओं के त्रिगुणन

एबेलियन श्रेणी में संक्षिप्त समुचित अनुक्रमों के गुणों से प्रेरित निम्नलिखित अभिगृहीत को संतुष्ट करना:

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

स्वीकार्य एकैक समाकारिता को सामान्यतः निरूपित किया जाता है और स्वीकार्य आच्छादक समाकारिता को निरूपित किया जाता है, ये अभिगृहीत न्यूनतम नहीं हैं; वास्तव में, अंतिम होने वाले को बर्नहार्ड केलर (1990) द्वारा दिखाया गया है।

एबेलियन श्रेणियों के समुचित गुणनखंड के सदर्भ में समुचित श्रेणियों के बीच एक समुचित गुणनखंड के बारे में बात कर सकते हैं: एक समुचित गुणनखंड एक समुचित श्रेणी D से दूसरे E तक एक योजक फ़ंक्टर है जैसे कि यदि

D में समुचित है, तो

E में समुचित है। यदि D, E की उपश्रेणी है, तो यह एक समुचित उपश्रेणी है, यदि समावेशन गुणनखंड पूरी तरह से सत्य और समुचित है।

प्रेरणा

एबेलियन श्रेणियों से समुचित श्रेणियां निम्नलिखित तरीके से आती हैं। मान लीजिए कि A एबेलियन है और E को कोई भी पूर्ण रूप से पूर्ण उपश्रेणी योगात्मक उपश्रेणी नहीं है जो इस अर्थ में विस्तार (बीजगणित) लेने के तहत विवृत्त है कि एक समुचित अनुक्रम दिया गया है

A में तो अगर E में हैं, इसलिए है हम वर्ग E को केवल 'E' में अनुक्रम के रूप में ले सकते हैं जो 'A' में समुचित हैं; वह है,

E iff में

A में समुचित है। फिर उपरोक्त अर्थ में E एक समुचित श्रेणी है। हम अभिगृहीत की पुष्टि करते हैं:

  • E समरूपता के तहत विवृत्त है और इसमें विभाजित समुचित अनुक्रम सम्मिलित हैं: ये परिभाषा के अनुसार सही हैं, क्योंकि एबेलियन श्रेणी में, किसी भी अनुक्रम समाकृतिकता से समुचित एक भी अनुक्रम समुचित है, और चूंकि विभाजित अनुक्रम सदैव A में समुचित होते हैं .
  • स्वीकार्य आच्छादक समाकारिता (क्रमशः, स्वीकार्य एकैक समाकारिता) पुलबैक (प्रतिक्रिया पुशआउट्स) के तहत स्थिर हैं: E में वस्तुओं का एक समुचित क्रम दिया गया है,
और एक रेखित प्रारूप साथ E में, कोई सत्यापित करता है कि निम्नलिखित अनुक्रम भी समुचित है; चूंकि E विस्तारण के तहत स्थिर है, इसका तात्पर्य यह है कि E में है:
  • प्रत्येक स्वीकार्य एकैक समाकारिता इसके संबंधित स्वीकार्य आच्छादक समाकारिता का कर्नेल है, और इसके विपरीत यह A में आकारिकी के रूप में सच है, और E एक पूर्ण उपश्रेणी है। ऐसा क्रम बिना किसी आकारिकी के पास वास्तव में कर्नेल (श्रेणी सिद्धांत) से सम्बंधित है, जो सामान्य परिभाषा के लिए आवश्यक है।
  • अगर E में एक कर्नेल स्वीकार करता है और यदि इस प्रकार कि एक स्वीकार्य आच्छादक समाकारिता है, तो हैक्विलेन (1972) ऐसा ही प्रतीत होता है।

इसके विपरीत, यदि E कोई समुचित श्रेणी है, तो हम A को समुचित गुणनखंड की श्रेणी में ले सकते हैं। लेम्मा, चूंकि होम समुचित छोड़ दिया गया है), विस्तारण के तहत स्थिर है, और जिसमें अनुक्रम E है, अगर यह A में समुचित है।

उदाहरण

  • कोई भी आबेली श्रेणी स्पष्ट रूप से प्रेरणा के निर्माण के अनुसार समुचित होती है।
  • एक कम सूक्ष्म उदाहरण श्रेणी Abtf है जो कि वक्र-मुक्त एबेलियन समूहों की, जो सभी एबेलियन समूहों की (एबेलियन) श्रेणी AB की एक पूर्ण उपश्रेणी है। यह विस्तारण के तहत विवृत्त है:
एबेलियन समूहों का एक छोटा समुचित क्रम है जिसमें तो वक्र मुक्त हैं निम्न तर्क द्वारा वक्र-मुक्त देखा जाता है: यदि एक वक्र तत्व है, तो उसकी छवि में शून्य है, क्योंकि वक्र रहित है। इस प्रकार मानचित्र के कर्नेल में स्थित है , जो है , लेकिन वह भी वक्र-मुक्त है, इसलिए , मोटिवेशन के निर्माण से, A.Btf एक समुचित श्रेणी है; इसमें समुचित अनुक्रमों के कुछ उदाहरण हैं:
जहां अंतिम उदाहरण डे रम कोहोमोलॉजी और से प्रेरित है, वृत्त समूह पर विवृत्त और समुचित अंतर रूप हैं); विशेष रूप से, यह ज्ञात है कि कोहोलॉजी समूह वास्तविक संख्याओं के लिए समरूप है। यह श्रेणी एबेलियन नहीं है।
  • निम्नलिखित उदाहरण कुछ अर्थों में उपरोक्त का पूरक है। अब वक्रt (और शून्य समूह भी) के साथ एबेलियन समूहों की श्रेणी हो, यह योगात्मक है और फिर से 'AB' की पूरी तरह से पूर्ण उपश्रेणी है। यह देखना और भी आसान है कि यह विस्तारण के तहत स्थिर है: यदि
एक समुचित क्रम है जिसमें वक्र है, तो स्वाभाविक रूप से के सभी वक्र तत्व है, इस प्रकार एक समुचित श्रेणी है।

संदर्भ

  • Keller, Bernhard (1990). "Chain complexes and stable categories". Manuscripta Mathematica. 67: 379–417. CiteSeerX 10.1.1.146.3555. doi:10.1007/BF02568439. S2CID 6945014. Appendix A. Exact Categories