सटीक संचालिका: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Functor that preserves short exact sequences}} {{otheruses4|exact functors in homological algebra|exact functors between regular categories|regular categor...")
 
No edit summary
Line 1: Line 1:
{{Short description|Functor that preserves short exact sequences}}
{{Short description|Functor that preserves short exact sequences}}
{{otheruses4|exact functors in homological algebra|exact functors between regular categories|regular category}}
गणित में, विशेष रूप से होमोलॉजिकल बीजगणित, वह एक्जेक्ट फ़ंक्टर है जो कि एक [[ऑपरेटर]] है, जो कि कम एक्जेक्ट अनुक्रमों को भी संरक्षित करता है। बीजगणितीय गणनाओं के लिए एक्जेक्ट कारक सुविधाजनक होते हैं क्योंकि उन्हें वस्तुओं की प्रस्तुतियों पर सीधे लागू किया जा सकता है। होमोलॉजिकल बीजगणित में अधिकांश कार्य उन फ़ंक्टरों से निपटने के लिए डिज़ाइन किए गए हैं जो 'विफल' एक्जेक्ट होने के लिए हैं, लेकिन उन तरीकों से जिन्हें अभी भी नियंत्रित किया जा सकता है।
गणित में, विशेष रूप से होमोलॉजिकल बीजगणित, एक सटीक फ़ैक्टर एक [[ऑपरेटर]] है जो कम सटीक अनुक्रमों को संरक्षित करता है। बीजगणितीय गणनाओं के लिए सटीक कारक सुविधाजनक होते हैं क्योंकि उन्हें वस्तुओं की प्रस्तुतियों पर सीधे लागू किया जा सकता है। होमोलॉजिकल बीजगणित में अधिकांश कार्य उन फ़ैक्टरों से निपटने के लिए डिज़ाइन किए गए हैं जो 'विफल' सटीक होने के लिए हैं, लेकिन उन तरीकों से जिन्हें अभी भी नियंत्रित किया जा सकता है।


== परिभाषाएँ ==
== परिभाषाएँ ==
मान लीजिए कि P और Q आबेली श्रेणियाँ हैं, और मान लीजिए {{nowrap|1=''F'': '''P'''→'''Q'''}} एक सहसंयोजक फ़ंक्टर [[योगात्मक कारक]] बनें (ताकि, विशेष रूप से, F(0) = 0)। हम कहते हैं कि F एक सटीक फ़ंक्टर है यदि जब भी
मान लीजिए कि P और Q आबेली श्रेणियाँ हैं, और मान लीजिए {{nowrap|1=''F'': '''P'''→'''Q'''}} एक सहसंयोजक फ़ंक्टर [[योगात्मक कारक]] बनें (ताकि, विशेष रूप से, F(0) = 0), हम कहते हैं कि F एक एक्जेक्ट फ़ंक्टर है यदि जब भी


: : : : : : : : : : : : : : : : : : : : : : : : :<math>0 \to A\ \stackrel{f}{\to} \ B\ \stackrel{g}{\to} \ C \to 0</math> पी में एक छोटा सटीक अनुक्रम है
: : : : : : : : : : : : : : : : : : : : : : : : :<math>0 \to A\ \stackrel{f}{\to} \ B\ \stackrel{g}{\to} \ C \to 0</math> P में एक छोटा एक्जेक्ट अनुक्रम है


:<math>0 \to F(A) \ \stackrel{F(f)}{\longrightarrow} \ F(B)\ \stackrel{F(g)}{\longrightarrow} \ F(C) \to 0</math> क्यू में एक संक्षिप्त सटीक अनुक्रम है। (नक्शे अक्सर छोड़े गए और निहित होते हैं, और एक कहता है: यदि 0→''A''→''B''→''C''→0 सटीक है, तो 0→' 'F''(''A'')→''F''(''B'')→''F''(''C'')→0 भी सटीक है।)
:<math>0 \to F(A) \ \stackrel{F(f)}{\longrightarrow} \ F(B)\ \stackrel{F(g)}{\longrightarrow} \ F(C) \to 0</math> Q में एक संक्षिप्त एक्जेक्ट अनुक्रम है। (मानचित्र प्रायः छोड़े गए और निहित होते हैं, यह निर्गत करता है कि एक कहता है: यदि 0→''A''→''B''→''C''→0 एक्जेक्ट है, तो 0→' 'F''(''A'')→''F''(''B'')→''F''(''C'')→0 भी एक्जेक्ट है।)''


आगे हम कहते हैं कि 'F' है
आगे यदि हम कहते हैं कि 'F' है


*बाएं-सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो 0→''F''(''A'')→''F'' (''बी'')→''एफ''(''सी'') सटीक है;
*बाएं-एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो 0→''F''(''A'')→''F'' (''B'')→''F''(''C'') एक्जेक्ट है;
* सही-सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो ''F''(''A'')→''F''(' 'B'')→''F''(''C'')→0 सटीक है;
* सही-एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो ''F''(''A'')→''F''(' 'B'')→''F''(''C'')→0 एक्जेक्ट है;''
* आधा सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो ''F''(''A'')→''F''(' 'B'')→''F''(''C'') सटीक है। यह एक टोपोलॉजिकल अर्ध-सटीक फ़ैक्टर की धारणा से अलग है।
* आधा एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो ''F''(''A'')→''F''(' 'B'')→''F''(''C'') एक्जेक्ट है। यह एक टोपोलॉजिकल अर्ध-एक्जेक्ट फ़ंक्टर की धारणा से अलग है।''


अगर ''जी'' पी से क्यू तक एक प्रतिपरिवर्तक फ़ंक्टर एडिटिव फ़ंक्टर है, तो हम इसी तरह ''जी'' को परिभाषित करते हैं
यदि ''G,'' P से Q तक एक प्रतिपरिवर्तक फ़ंक्टर एडिटिव फ़ंक्टर है, तो हम इसी तरह ''G'' को परिभाषित करते हैं


*सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो 0→''G''(''C'')→''G''(' 'बी'')→''जी''(''ए'')→0 सटीक है;
*एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो 0→''G''(''C'')→''G''(' 'B'')→''G''(''A'')→0 एक्जेक्ट है;''
*बाएं-सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो 0→''G''(''C'')→''G'' (''B'')→''G''(''A'') सटीक है;
*बाएं-एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो 0→''G''(''C'')→''G'' (''B'')→''G''(''A'') एक्जेक्ट है;
*सही-सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो ''G''(''C'')→''G''(' 'बी'')→''जी''(''ए'')→0 सटीक है;
*सही-एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो ''G''(''C'')→''G''(' 'B'')→''G''(''A'')→0 एक्जेक्ट है;''
* आधा सटीक अगर जब भी 0→''A''→''B''→''C''→0 सटीक है तो ''G''(''C'')→''G''(' 'B'')→''G''(''A'') सटीक है।
* आधा एक्जेक्ट यदि जब भी 0→''A''→''B''→''C''→0 एक्जेक्ट है तो ''G''(''C'')→''G''(' 'B'')→''G''(''A'') एक्जेक्ट है।''


कुछ सटीकता को बनाए रखने के लिए हमेशा संपूर्ण संक्षिप्त सटीक अनुक्रम 0→''A''→''B''→''C''→0 से प्रारंभ करना आवश्यक नहीं है। निम्नलिखित परिभाषाएँ ऊपर दी गई परिभाषा के समतुल्य हैं:
कुछ सटीकता को बनाए रखने के लिए सदैव संपूर्ण संक्षिप्त एक्जेक्ट अनुक्रम 0→''A''→''B''→''C''→0 से प्रारंभ करना आवश्यक नहीं है। निम्नलिखित परिभाषाएँ ऊपर दी गई परिभाषा के समतुल्य हैं:


*''F'' सटीक है अगर और केवल अगर ''A''→''B''→''C'' सटीक अर्थ ''F''(''A'')→''F''( ''बी'')→''एफ''(''सी'') सटीक;
*''F'' एक्जेक्ट है यदि और केवल यदि ''A''→''B''→''C'' एक्जेक्ट अर्थ ''F''(''A'')→''F''( ''B'')→''F''(''C'') एक्जेक्ट;
*''F'' वाम-सटीक है अगर और केवल अगर 0→''A''→''B''→''C'' सटीक अर्थ 0→''F''(''A'')→ ''F''(''B'')→''F''(''C'') सटीक (अर्थात यदि ''F'' गुठली को गुठली में बदल देता है);
*''F'' वाम-एक्जेक्ट है यदि और केवल यदि 0→''A''→''B''→''C'' एक्जेक्ट अर्थ 0→''F''(''A'')→ ''F''(''B'')→''F''(''C'') एक्जेक्ट (अर्थात यदि ''F'' कर्नेल को कर्नेल में बदल देता है);
*''F'' सही-सटीक है अगर और केवल अगर ''A''→''B''→''C''→0 सटीक अर्थ है ''F''(''A'')→'' F''(''B'')→''F''(''C'')→0 सटीक (अर्थात यदि ''F'' कोकर्नेल को कोकर्नेल में बदल देता है);
*''F'' सही-एक्जेक्ट है यदि और केवल यदि ''A''→''B''→''C''→0 एक्जेक्ट अर्थ है ''F''(''A'')→'' F''(''B'')→''F''(''C'')→0 एक्जेक्ट (अर्थात यदि ''F'' कोकर्नेल को कोकर्नेल में बदल देता है);
*''G'' वाम-सटीक है यदि और केवल यदि ''A''→''B''→''C''→0 सटीक तात्पर्य 0→''G''(''C'')→ है ''G''(''B'')→''G''(''A'') सटीक (अर्थात यदि ''G'' कोकर्नेल को गुठली में बदल देता है);
*''G'' वाम-एक्जेक्ट है यदि और केवल यदि ''A''→''B''→''C''→0 एक्जेक्ट तात्पर्य 0→''G''(''C'')→ है ''G''(''B'')→''G''(''A'') एक्जेक्ट (अर्थात यदि ''G'' कोकर्नेल को कर्नेल में बदल देता है);
*''G'' सही-सटीक है अगर और केवल अगर 0→''A''→''B''→''C'' का सटीक अर्थ है ''G''(''C'')→'' G''(''B'')→''G''(''A'')→0 सटीक (यानी अगर ''G'' गुठली को कोकर्नेल में बदल देता है)।
*''G'' सही-एक्जेक्ट है यदि और केवल यदि 0→''A''→''B''→''C'' का एक्जेक्ट अर्थ है ''G''(''C'')→'' G''(''B'')→''G''(''A'')→0 एक्जेक्ट (अर्थात यदि ''G'' कर्नेल को कोकर्नेल में बदल देता है)।


== उदाहरण ==
== उदाहरण ==


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


बाएँ सटीक फ़ैक्टरों के सबसे बुनियादी उदाहरण [[मैं एक आदमी के रूप में काम करता हूं]] हैं: यदि A एक एबेलियन श्रेणी है और ''A'' A की वस्तु है, तो ''F''<sub>''A''</sub>(एक्स) = आदमी<sub>'''A'''</sub>(ए, एक्स) एबेलियन समूहों की श्रेणी के लिए 'ए' से सहसंयोजक बाएं-सटीक फ़ंक्टर को परिभाषित करता है। एबेलियन समूहों की श्रेणी 'एबी'।<ref>Jacobson (2009), p. 98, Theorem 3.1.</ref> फ़ैक्टर एफ<sub>''A''</sub> सटीक है अगर और केवल अगर ए [[ प्रक्षेपी मॉड्यूल ]] है।<ref>Jacobson (2009), p. 149, Prop. 3.9.</ref> फ़ैक्टर जी<sub>''A''</sub>(एक्स) = आदमी<sub>'''A'''</sub>(एक्स, ए) एक विपरीत बाएं-सटीक फ़ैक्टर है;<ref>Jacobson (2009), p. 99, Theorem 3.1.</ref> यह सटीक है अगर और केवल अगर ए [[इंजेक्शन मॉड्यूल]] है।<ref>Jacobson (2009), p. 156.</ref>
बाएँ एक्जेक्ट फ़ंक्टरों के सबसे बुनियादी उदाहरण [[मैं एक आदमी के रूप में काम करता हूं|होम फ़ैक्टर]] हैं: यदि A एक एबेलियन श्रेणी है और ''A,'' A की वस्तु है, तो ''F''<sub>''A''</sub>(X) = Hom<sub>'''A'''</sub>(A, X) एबेलियन समूहों की श्रेणी के लिए 'A' से सहसंयोजक बाएं-एक्जेक्ट फ़ंक्टर को परिभाषित करता है। एबेलियन समूहों की श्रेणी 'AB'।<ref>Jacobson (2009), p. 98, Theorem 3.1.</ref> फ़ंक्टर F<sub>''A''</sub> एक्जेक्ट है यदि और केवल A [[ प्रक्षेपी मॉड्यूल |प्रक्षेपी मॉड्यूल]] है।<ref>Jacobson (2009), p. 149, Prop. 3.9.</ref> फ़ंक्टर G<sub>''A''</sub>(X) = Hom<sub>'''A'''</sub>(X, A) एक विपरीत बाएं-एक्जेक्ट फ़ंक्टर है;<ref>Jacobson (2009), p. 99, Theorem 3.1.</ref> यह एक्जेक्ट है यदि और केवल यदि A [[इंजेक्शन मॉड्यूल]] है।<ref>Jacobson (2009), p. 156.</ref>
यदि k एक [[क्षेत्र (गणित)]] है और V k पर एक सदिश समष्टि है, तो हम लिखते हैं V * = होम<sub>''k''</sub>(वी, के) (इसे आमतौर पर [[दोहरी जगह]] के रूप में जाना जाता है)। यह वेक्टर रिक्त स्थान की श्रेणी से स्वयं के लिए के-वेक्टर रिक्त स्थान की श्रेणी से एक विरोधाभासी सटीक फ़ैक्टर उत्पन्न करता है। (सटीकता ऊपर से अनुसरण करती है: k एक इंजेक्शन मॉड्यूल k-[[मॉड्यूल (गणित)]] है। वैकल्पिक रूप से, कोई यह तर्क दे सकता है कि k-वेक्टर रिक्त स्थान का प्रत्येक छोटा सटीक अनुक्रम सटीक अनुक्रम को विभाजित करता है, और कोई भी एडिटिव फ़ंक्टर विभाजित अनुक्रमों को विभाजित अनुक्रमों में बदल देता है।)


यदि X एक [[टोपोलॉजिकल स्पेस]] है, तो हम X पर [[एबेलियन समूह]]ों के सभी [[शीफ (गणित)]] की एबेलियन श्रेणी पर विचार कर सकते हैं। सहसंयोजक फ़ंक्टर जो प्रत्येक शीफ़ F से जुड़ता है, वैश्विक वर्गों का समूह F(X) बाएँ-सटीक है।
यदि k एक [[क्षेत्र (गणित)]] है और V k पर एक सदिश समष्टि है, तो हम लिखते हैं V * = Hom<sub>''k''</sub>(V, K) (इसे सामान्यतः [[दोहरी जगह]] के रूप में जाना जाता है)। यह वेक्टर रिक्त स्थान की श्रेणी से स्वयं के लिए K-वेक्टर रिक्त स्थान की श्रेणी से एक विरोधाभासी एक्जेक्ट फ़ंक्टर उत्पन्न करता है। (सटीकता ऊपर से अनुसरण करती है: k एक इंजेक्शन मॉड्यूल k-[[मॉड्यूल (गणित)]] है। वैकल्पिक रूप से, कोई यह तर्क दे सकता है कि k-वेक्टर रिक्त स्थान का प्रत्येक छोटा एक्जेक्ट अनुक्रम एक्जेक्ट अनुक्रम को विभाजित करता है, और कोई भी एडिटिव फ़ंक्टर विभाजित अनुक्रमों को विभाजित अनुक्रमों में बदल देता है।)


यदि R एक वलय (गणित) है और T एक सही R-मॉड्यूल (गणित) है, तो हम एक functor H को परिभाषित कर सकते हैं<sub>''T''</sub> एबेलियन श्रेणी के मॉड्यूल से | आर: एच पर [[टेंसर उत्पाद]] का उपयोग करके सभी बाएं आर-मॉड्यूल की श्रेणी 'एबी' तक<sub>''T''</sub>(एक्स) = टी ⊗ एक्स। यह एक सहसंयोजक सही सटीक फ़ैक्टर है; यह सटीक है अगर और केवल अगर टी [[फ्लैट मॉड्यूल]] है। दूसरे शब्दों में, बाएं R मॉड्यूल का एक सटीक अनुक्रम A→B→C→0 दिया गया है, एबेलियन समूहों का अनुक्रम T ⊗ A → T ⊗ B → T ⊗ C → 0 सटीक है।
यदि X एक [[टोपोलॉजिकल स्पेस]] है, तो हम X पर [[एबेलियन समूह]] के सभी [[शीफ (गणित)]] की एबेलियन श्रेणी पर विचार कर सकते हैं। सहसंयोजक फ़ंक्टर जो प्रत्येक शीफ़ F से जुड़ता है, वैश्विक वर्गों का समूह F(X) बाएँ-एक्जेक्ट है। बीजगणितीय गणनाओं के लिए एक्जेक्ट कारक सुविधाजनक होते हैं क्योंकि उन्हें वस्तुओं की प्रस्तुतियों पर सीधे लागू किया जा सकता है। होमोलॉजिकल बीजगणित में अधिकांश कार्य उन फ़ंक्टरों से निपटने के लिए डिज़ाइन किए गए हैं जो 'विफल' एक्जेक्ट होने के लिए हैं, लेकिन उन तरीकों से जिन्हें अभी भी नियंत्रित किया जा सकता है।


उदाहरण के लिए, <math>\mathbb{Q}</math> एक फ्लैट है <math>\mathbb{Z}</math>-मापांक। इसलिए, साथ टेंसरिंग <math>\mathbb{Q}</math> के तौर पर <math>\mathbb{Z}</math>-मॉड्यूल एक सटीक फ़ैक्टर है। प्रमाण: यह दर्शाने के लिए पर्याप्त है कि यदि ''i'' का एक अंतःक्षेपी मानचित्र है <math>\mathbb{Z}</math>-मॉड्यूल <math>i:M\to N</math>, फिर टेंसर उत्पादों के बीच संबंधित मानचित्र <math>M \otimes \mathbb{Q} \to N\otimes \mathbb{Q}</math> इंजेक्शन है। कोई यह दिखा सकता है <math>m \otimes q = 0</math> अगर और केवल अगर <math>m</math> एक मरोड़ तत्व है या <math>q = 0</math>. दिए गए टेंसर उत्पादों में केवल शुद्ध टेंसर होते हैं। इसलिए, यह दिखाने के लिए पर्याप्त है कि यदि एक शुद्ध टेंसर <math>m \otimes q </math> कर्नेल (बीजगणित) में है, तो यह शून्य है। लगता है कि <math>m \otimes q </math> कर्नेल का एक तत्व है। तब, <math>i(m)</math> मरोड़ है। तब से <math>i</math> इंजेक्शन है, <math>m</math> मरोड़ है। इसलिए, <math>m \otimes q  = 0</math>. इसलिए, <math> M \otimes \mathbb{Q} \to N\otimes \mathbb{Q} </math> इंजेक्शन भी है।
यदि R एक वलय (गणित) है और T एक सही R-मॉड्यूल (गणित) है, तो हम एक फ़ंक्टर H<sub>''T''</sub> को परिभाषित कर सकते हैं एबेलियन श्रेणी के मॉड्यूल से आर: एच पर [[टेंसर उत्पाद]] का उपयोग करके सभी बाएं आर-मॉड्यूल की श्रेणी 'एबी' तक<sub>''T''</sub>(X) = T ⊗ X, यह एक सहसंयोजक सही एक्जेक्ट फ़ंक्टर है; यह एक्जेक्ट है यदि और केवल यदि टी [[फ्लैट मॉड्यूल]] है। दूसरे शब्दों में, बाएं R मॉड्यूल का एक एक्जेक्ट अनुक्रम A→B→C→0 दिया गया है, एबेलियन समूहों का अनुक्रम T ⊗ A → T ⊗ B → T ⊗ C → 0 एक्जेक्ट है।


सामान्य तौर पर, यदि T सपाट नहीं है, तो टेन्सर उत्पाद सटीक नहीं बचा है। उदाहरण के लिए, के संक्षिप्त सटीक अनुक्रम पर विचार करें <math>\mathbf{Z}</math>-मॉड्यूल <math>5\mathbf{Z} \hookrightarrow \mathbf{Z} \twoheadrightarrow \mathbf{Z}/5\mathbf{Z}</math>. तानना खत्म <math>\mathbf{Z}</math> साथ <math>\mathbf{Z}/5\mathbf{Z}</math> एक अनुक्रम देता है जो अब सटीक नहीं है, चूँकि <math>\mathbf{Z}/5\mathbf{Z}</math> मरोड़ रहित नहीं है और इसलिए सपाट नहीं है।
उदाहरण के लिए, <math>\mathbb{Q}</math> एक फ्लैट <math>\mathbb{Z}</math>-मापांक है, इसलिए, साथ टेंसरिंग <math>\mathbb{Q}</math> के तौर पर <math>\mathbb{Z}</math>-मॉड्यूल एक एक्जेक्ट फ़ंक्टर है। प्रमाण: यह दर्शाने के लिए पर्याप्त है कि यदि ''i'' का एक अंतःक्षेपी मानचित्र है <math>\mathbb{Z}</math>-मॉड्यूल <math>i:M\to N</math>, फिर टेंसर उत्पादों के बीच संबंधित मानचित्र <math>M \otimes \mathbb{Q} \to N\otimes \mathbb{Q}</math> इंजेक्शन है। कोई यह दिखा सकता है <math>m \otimes q = 0</math> यदि और केवल यदि <math>m</math> एक वक्राकार तत्व है या <math>q = 0</math>. दिए गए टेंसर उत्पादों में केवल शुद्ध टेंसर होते हैं। इसलिए, यह दिखाने के लिए पर्याप्त है कि यदि एक शुद्ध टेंसर <math>m \otimes q </math> कर्नेल (बीजगणित) में है, तो यह शून्य है। लगता है कि <math>m \otimes q </math> कर्नेल का एक तत्व है। तब, <math>i(m)</math> वक्राकार है। तब से <math>i</math> इंजेक्शन है, <math>m</math> वक्राकार है। इसलिए, <math>m \otimes q  = 0</math>. इसलिए, <math> M \otimes \mathbb{Q} \to N\otimes \mathbb{Q} </math> इंजेक्शन भी है।


यदि ए एबेलियन श्रेणी है और सी एक मनमानी [[छोटी श्रेणी]] [[श्रेणी (गणित)]] है, तो हम [[फ़ैक्टर श्रेणी]] ए पर विचार कर सकते हैं<sup>C</sup> में C से A तक के सभी फ़ैक्टर शामिल हैं; यह एबेलियन है। यदि ''X'' C की दी गई वस्तु है, तो हमें एक functor ''E'' मिलता है<sub>''X''</sub> एक से<sup>C</sup> से A ''X'' पर फ़ैक्टरों का मूल्यांकन करके। यह functor ''ई''<sub>''X''</sub> सटीक है।
सामान्यतः, यदि T समान नहीं है, तो टेन्सर उत्पाद एक्जेक्ट नहीं बचा है। उदाहरण के लिए, के संक्षिप्त एक्जेक्ट अनुक्रम पर विचार करें <math>\mathbf{Z}</math>-मॉड्यूल <math>5\mathbf{Z} \hookrightarrow \mathbf{Z} \twoheadrightarrow \mathbf{Z}/5\mathbf{Z}</math>. तानना खत्म <math>\mathbf{Z}</math> साथ <math>\mathbf{Z}/5\mathbf{Z}</math> एक अनुक्रम देता है जो अब एक्जेक्ट नहीं है, चूँकि <math>\mathbf{Z}/5\mathbf{Z}</math> वक्राकार रहित नहीं है और इसलिए समान नहीं है।


जबकि टेंसरिंग सटीक नहीं छोड़ा जा सकता है, यह दिखाया जा सकता है कि टेंसरिंग एक सही सटीक फ़ैक्टर है:
यदि A एबेलियन श्रेणी है और C एक मनमानी [[छोटी श्रेणी]] [[श्रेणी (गणित)]] है, तो हम [[फ़ैक्टर श्रेणी|फ़ंक्टर श्रेणी]] A<sup>C</sup> पर विचार कर सकते हैं में C से A तक के सभी फ़ंक्टर सम्मिलित हैं; यह एबेलियन है। यदि ''X'' C की दी गई वस्तु है, तो हमें एक फ़ंक्टर ''E<sub>X</sub>'' मिलता है एक से से A<sup>C</sup> ''X'' पर फ़ंक्टरों का मूल्यांकन करके यह फ़ंक्टर ''E<sub>X</sub>'' एक्जेक्ट है।


प्रमेय: ए, बी, सी और पी को गुणात्मक पहचान वाले एक [[ क्रमविनिमेय अंगूठी ]] आर के लिए आर-मॉड्यूल होने दें। होने देना <math>A \ \stackrel{f}{\to} \ B\ \stackrel{g}{\to} \ C \to 0</math> आर-मॉड्यूल का एक संक्षिप्त सटीक अनुक्रम हो। तब
जबकि टेंसरिंग एक्जेक्ट नहीं छोड़ा जा सकता है, यह दिखाया जा सकता है कि टेंसरिंग एक सही एक्जेक्ट फ़ंक्टर है:
 
प्रमेय: A, B, c और P को गुणात्मक पहचान वाले एक [[ क्रमविनिमेय अंगूठी |क्रमविनिमेय वलय]] R के लिए आर-मॉड्यूल होने दें। माना कि <math>A \ \stackrel{f}{\to} \ B\ \stackrel{g}{\to} \ C \to 0</math> आर-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम हो। तब
:<math>A\otimes_{R} P \stackrel{f \otimes P}\to B\otimes_{R} P \stackrel{g \otimes P}\to C \otimes_{R} P \to 0</math>
:<math>A\otimes_{R} P \stackrel{f \otimes P}\to B\otimes_{R} P \stackrel{g \otimes P}\to C \otimes_{R} P \to 0</math>
आर-मॉड्यूल का एक संक्षिप्त सटीक अनुक्रम भी है। (चूँकि R क्रमविनिमेय है, यह अनुक्रम R-मॉड्यूल का एक क्रम है और केवल एबेलियन समूहों का नहीं है)। यहाँ, हम परिभाषित करते हैं
आर-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम भी है। (चूँकि R क्रमविनिमेय है, यह अनुक्रम R-मॉड्यूल का एक क्रम है और केवल एबेलियन समूहों का नहीं है)। यहाँ, हम परिभाषित करते हैं
:<math>f \otimes P(a \otimes p):=f(a) \otimes p, g \otimes P(b \otimes p):=g(b) \otimes p</math>.
:<math>f \otimes P(a \otimes p):=f(a) \otimes p, g \otimes P(b \otimes p):=g(b) \otimes p</math>.


इसका एक उपयोगी [[परिणाम]] है: यदि I, R का एक आदर्श (रिंग थ्योरी) है और P ऊपर जैसा है, तो <math>P \otimes_{R} (R/I) \cong P/IP</math>.
इसका एक उपयोगी [[परिणाम]] है: यदि I, R का एक आदर्श (रिंग थ्योरी) है और P ऊपर जैसा है, तो <math>P \otimes_{R} (R/I) \cong P/IP</math>.


सबूत: <math> I \stackrel{f}\to  R \stackrel{g}\to R/I \to 0</math>, जहां एफ समावेशन है और जी प्रक्षेपण है, आर-मॉड्यूल का एक सटीक अनुक्रम है। ऊपर से हम पाते हैं कि:<math>I\otimes_{R} P \stackrel{f \otimes P}\to R\otimes_{R} P \stackrel{g \otimes P}\to R/I \otimes_{R} P \to 0</math> आर-मॉड्यूल का एक संक्षिप्त सटीक अनुक्रम भी है। सटीकता से, <math>R/I \otimes_{R} P \cong (R\otimes_{R} P)/Image(f\otimes P) = (R\otimes_{R} P)/(I \otimes_{R} P)</math>, चूंकि f समावेशन है। अब, मॉड्यूल समरूपता पर विचार करें। आर-मॉड्यूल समरूपता से <math>R \otimes_R P \rightarrow P</math> शुद्ध टेंसरों पर परिभाषित मानचित्र को आर-रैखिक रूप से विस्तारित करके दिया गया है: <math>r\otimes p \mapsto rp. rp=0 </math> इसका आशय है <math>0= rp\otimes 1 = r \otimes p</math>. इसलिए, इस मानचित्र के कर्नेल में कोई गैर-शून्य शुद्ध टेंसर नहीं हो सकता है। <math>R \otimes_R P</math> केवल शुद्ध टेंसरों से बना है: के लिए <math> x_i \in R,  \sum_{i} x_i (r_i \otimes p_i) = \sum_i 1 \otimes (r_i x_i p_i) = 1 \otimes (\sum_i  r_i x_i p_i)</math>. तो, यह नक्शा इंजेक्शन है। यह स्पष्ट रूप से [[विशेषण]] है। इसलिए, <math>R \otimes_R P \cong P</math>. इसी प्रकार, <math>I \otimes_R P \cong IP</math>. यह परिणाम सिद्ध करता है।
परिणाम: <math> I \stackrel{f}\to  R \stackrel{g}\to R/I \to 0</math>, जहां एफ समावेशन है और G प्रक्षेपण है, आर-मॉड्यूल का एक एक्जेक्ट अनुक्रम है। ऊपर से हम पाते हैं कि:<math>I\otimes_{R} P \stackrel{f \otimes P}\to R\otimes_{R} P \stackrel{g \otimes P}\to R/I \otimes_{R} P \to 0</math> R-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम भी है। सटीकता से, <math>R/I \otimes_{R} P \cong (R\otimes_{R} P)/Image(f\otimes P) = (R\otimes_{R} P)/(I \otimes_{R} P)</math>, चूंकि f समावेशन है। अब, मॉड्यूल समरूपता पर विचार करें। R-मॉड्यूल समरूपता से <math>R \otimes_R P \rightarrow P</math> शुद्ध टेंसरों पर परिभाषित मानचित्र को आर-रैखिक रूप से विस्तारित करके दिया गया है: <math>r\otimes p \mapsto rp. rp=0 </math> इसका आशय है <math>0= rp\otimes 1 = r \otimes p</math>. इसलिए, इस मानचित्र के कर्नेल में कोई गैर-शून्य शुद्ध टेंसर नहीं हो सकता है। <math>R \otimes_R P</math> केवल शुद्ध टेंसरों से बना है: के लिए <math> x_i \in R,  \sum_{i} x_i (r_i \otimes p_i) = \sum_i 1 \otimes (r_i x_i p_i) = 1 \otimes (\sum_i  r_i x_i p_i)</math>. तो, यह मानचित्र इंजेक्शन है। यह स्पष्ट रूप से [[विशेषण]] है। इसलिए, <math>R \otimes_R P \cong P</math>. इसी प्रकार, <math>I \otimes_R P \cong IP</math>. यह परिणाम सिद्ध करता है।


एक अन्य एप्लिकेशन के रूप में, हम दिखाते हैं कि, <math>P =\mathbf{Z}[1/2]:= \{a/2^k : a,k \in \mathbf{Z}\}, P \otimes \mathbf{Z}/m\mathbf{Z} \cong P/k\mathbf{Z}P </math> कहाँ <math> k=m/2^n </math> और n दो विभाजक m की उच्चतम शक्ति है। हम एक विशेष मामला साबित करते हैं: एम = 12।
एक अन्य एप्लिकेशन के रूप में, हम दिखाते हैं कि, <math>P =\mathbf{Z}[1/2]:= \{a/2^k : a,k \in \mathbf{Z}\}, P \otimes \mathbf{Z}/m\mathbf{Z} \cong P/k\mathbf{Z}P </math> कहाँ <math> k=m/2^n </math> और n दो विभाजक m की उच्चतम शक्ति है। हम एक विशेष मामला प्रमाणित करते हैं: M = 12।


प्रमाण: एक शुद्ध टेन्सर पर विचार करें <math>(12z)\otimes (a/2^k ) \in   
प्रमाण: एक शुद्ध टेन्सर पर विचार करें <math>(12z)\otimes (a/2^k ) \in   
  (12\mathbf{Z} \otimes_{Z} P).(12z)\otimes (a/2^k ) = (3z)\otimes (a/2^{k-2}) </math>. के लिए भी <math>(3z)\otimes (a/2^k ) \in   
  (12\mathbf{Z} \otimes_{Z} P).(12z)\otimes (a/2^k ) = (3z)\otimes (a/2^{k-2}) </math>. के लिए भी <math>(3z)\otimes (a/2^k ) \in   
  (3\mathbf{Z} \otimes_{Z} P), (3z)\otimes (a/2^k ) = (12z)\otimes (a/2^{k+2}) </math>.
  (3\mathbf{Z} \otimes_{Z} P), (3z)\otimes (a/2^k ) = (12z)\otimes (a/2^{k+2}) </math>.
इससे पता चलता है कि <math>(12\mathbf{Z} \otimes_{Z} P) = (3\mathbf{Z} \otimes_{Z} P)</math>. दे <math>P= \mathbf{Z}[1/2], A = 12\mathbf{Z}, B= \mathbf{Z}, C = \mathbf{Z}/12\mathbf{Z} </math>, ए, बी, सी, पी सामान्य गुणा क्रिया द्वारा आर = 'जेड' मॉड्यूल हैं और मुख्य [[प्रमेय]] की शर्तों को पूरा करते हैं। प्रमेय द्वारा निहित सटीकता और उपरोक्त नोट द्वारा हम इसे प्राप्त करते हैं
इससे पता चलता है कि <math>(12\mathbf{Z} \otimes_{Z} P) = (3\mathbf{Z} \otimes_{Z} P)</math>. दे <math>P= \mathbf{Z}[1/2], A = 12\mathbf{Z}, B= \mathbf{Z}, C = \mathbf{Z}/12\mathbf{Z} </math>, ए, बी, सी, पी सामान्य गुणा क्रिया द्वारा R = 'Z' मॉड्यूल हैं और मुख्य [[प्रमेय]] की शर्तों को पूरा करते हैं। प्रमेय द्वारा निहित सटीकता और उपरोक्त नोट द्वारा हम इसे प्राप्त करते हैं
<math>: \mathbf{Z}/12\mathbf{Z} \otimes_{Z} P \cong (\mathbf{Z} \otimes_{Z} P) / (12\mathbf{Z} \otimes_{Z} P) = (\mathbf{Z} \otimes_{Z} P) / (3\mathbf{Z} \otimes_{Z} P) \cong \mathbf{Z}P/3\mathbf{Z} P </math>. अंतिम सर्वांगसमता उपप्रमेय के प्रमाण में एक के समान तर्क द्वारा अनुसरण करती है जो यह दर्शाता है <math> I \otimes_R P \cong IP </math>.
<math>: \mathbf{Z}/12\mathbf{Z} \otimes_{Z} P \cong (\mathbf{Z} \otimes_{Z} P) / (12\mathbf{Z} \otimes_{Z} P) = (\mathbf{Z} \otimes_{Z} P) / (3\mathbf{Z} \otimes_{Z} P) \cong \mathbf{Z}P/3\mathbf{Z} P </math>. अंतिम सर्वांगसमता उपप्रमेय के प्रमाण में एक के समान तर्क द्वारा अनुसरण करती है जो यह दर्शाता है <math> I \otimes_R P \cong IP </math>.


== गुण और प्रमेय ==
== गुण और प्रमेय ==


एक मज़ेदार सटीक है अगर और केवल अगर यह दोनों सटीक और सही सटीक है।
एक फ़ंक्टर एक्जेक्ट है यदि और केवल यदि यह दोनों एक्जेक्ट और सही एक्जेक्ट है।


एक सहसंयोजक (आवश्यक रूप से योज्य नहीं) फ़ैक्टर को सटीक छोड़ दिया जाता है अगर और केवल अगर यह परिमित [[सीमा (श्रेणी सिद्धांत)]] को सीमा में बदल देता है; एक सहसंयोजक फ़नकार सही है अगर और केवल अगर यह परिमित [[कोलिमिट]] को कोलिमिट में बदल देता है; एक प्रतिपरिवर्ती फ़ैक्टर सटीक छोड़ दिया जाता है अगर यह परिमित कॉलिमिट को सीमा में बदल देता है; एक कॉन्ट्रावैरिएंट फ़ंक्टर सही है अगर यह परिमित सीमा को कोलिमिट में बदल देता है।
एक सहसंयोजक (आवश्यक रूप से योज्य नहीं) फ़ंक्टर को एक्जेक्ट छोड़ दिया जाता है यदि और केवल यदि यह परिमित [[सीमा (श्रेणी सिद्धांत)]] को सीमा में बदल देता है; एक सहसंयोजक फ़ंक्टर सही है यदि और केवल यदि यह परिमित [[कोलिमिट]] को कोलिमिट में बदल देता है; एक प्रतिपरिवर्ती फ़ंक्टर एक्जेक्ट छोड़ दिया जाता है यदि यह परिमित कॉलिमिट को सीमा में बदल देता है; एक कॉन्ट्रावैरिएंट फ़ंक्टर सही है यदि यह परिमित सीमा को कोलिमिट में बदल देता है।


जिस हद तक एक बाएं सटीक फ़ंक्टर सटीक होने में विफल रहता है, उसे इसके व्युत्पन्न फ़ैक्टर से मापा जा सकता है; जिस हद तक एक सही सटीक फ़ंक्टर सटीक होने में विफल रहता है, उसे उसके व्युत्पन्न फ़नकार के साथ मापा जा सकता है।
जिस सीमा तक एक बाएं एक्जेक्ट फ़ंक्टर एक्जेक्ट होने में विफल रहता है, उसे इसके व्युत्पन्न फ़ंक्टर से मापा जा सकता है; जिस सीमा तक एक सही एक्जेक्ट फ़ंक्टर एक्जेक्ट होने में विफल रहता है, उसे उसके व्युत्पन्न फ़ंक्टर के साथ मापा जा सकता है।


मुख्य रूप से निम्न तथ्य के कारण बाएँ और दाएँ सटीक फ़ंक्टर सर्वव्यापी हैं: यदि फ़ंक्टर F, G से सटे फ़ंक्टर हैं, तो F दाएँ सटीक है और G बाएँ सटीक है।
मुख्य रूप से निम्न तथ्य के कारण बाएँ और दाएँ एक्जेक्ट फ़ंक्टर सर्वव्यापी हैं: यदि फ़ंक्टर F, G से सटे फ़ंक्टर हैं, तो F दाएँ एक्जेक्ट है और G बाएँ एक्जेक्ट है।


== सामान्यीकरण ==
== सामान्यीकरण ==


ग्रोथेंडिक के सेमिनेयर डे जियोमेट्री अल्गेब्रिक, टोम I, सेक्शन 1 में, बाएं (दाएं) सटीक फ़ैक्टरों की धारणा को सामान्य श्रेणियों के लिए परिभाषित किया गया है, न कि केवल एबेलियन वाले। परिभाषा इस प्रकार है:
ग्रोथेंडिक के सेमिनेयर डे जियोमेट्री अल्गेब्रिक, टोम, सेक्शन 1 में, बाएं (दाएं) एक्जेक्ट फ़ंक्टरों की धारणा को सामान्य श्रेणियों के लिए परिभाषित किया गया है, न कि केवल एबेलियन वाले परिभाषा इस प्रकार है:
: सी को परिमित प्रोजेक्टिव (प्रतिक्रियात्मक) सीमाओं के साथ एक श्रेणी होने दें। तब C से दूसरी श्रेणी C' में एक फ़ंक्टर बाएँ (सही। दाएं) सटीक होता है यदि यह परिमित प्रक्षेप्य (उत्तर। आगमनात्मक) सीमा के साथ शुरू होता है।
: C को परिमित प्रोजेक्टिव (प्रतिक्रियात्मक) सीमाओं के साथ एक श्रेणी होने दें। तब C से दूसरी श्रेणी C' में एक फ़ंक्टर बाएँ (सही दाएं) एक्जेक्ट होता है यदि यह परिमित प्रक्षेप्य (उत्तर आगमनात्मक) सीमा के साथ प्रारम्भ होता है।
इसके अमूर्त होने के बावजूद, इस सामान्य परिभाषा के उपयोगी परिणाम हैं। उदाहरण के लिए, धारा 1.8 में, ग्रोथेंडिक साबित करता है कि श्रेणी सी पर कुछ हल्की स्थितियों के तहत, एक फ़ंक्टर प्रो-प्रतिनिधित्व योग्य है अगर और केवल अगर इसे सटीक छोड़ दिया जाए।
इसके अमूर्त होने के बावजूद, इस सामान्य परिभाषा के उपयोगी परिणाम हैं। उदाहरण के लिए, धारा 1.8 में, ग्रोथेंडिक प्रमाणित करता है कि श्रेणी C पर कुछ हल्की स्थितियों के तहत, एक फ़ंक्टर प्रो-प्रतिनिधित्व योग्य है यदि और केवल यदि इसे एक्जेक्ट छोड़ दिया जाए।


Quillen की [[सटीक श्रेणी]] के बीच सटीक फ़ैक्टर यहां चर्चा की गई एबेलियन श्रेणियों के बीच सटीक फ़ैक्टर का सामान्यीकरण करते हैं।
क्विलन की [[सटीक श्रेणी|एक्जेक्ट श्रेणी]] के बीच एक्जेक्ट फ़ंक्टर यहां परिकलन की गई एबेलियन श्रेणियों के बीच एक्जेक्ट फ़ंक्टर का सामान्यीकरण करते हैं।


[[नियमित श्रेणी]] के बीच नियमित फ़ैक्टरों को कभी-कभी सटीक फ़ैक्टर कहा जाता है और यहां पर चर्चा की गई सटीक फ़ैक्टरों को सामान्यीकृत किया जाता है।
[[नियमित श्रेणी]] के बीच नियमित फ़ंक्टरों को कभी-कभी एक्जेक्ट फ़ंक्टर कहा जाता है और यहां पर परिकलन की गई एक्जेक्ट फ़ंक्टरों को सामान्यीकृत किया जाता है।


== टिप्पणियाँ ==
== टिप्पणियाँ ==
Line 92: Line 92:


== संदर्भ ==
== संदर्भ ==
* {{Cite book| last=Jacobson| first=Nathan| author-link=Nathan Jacobson| year=2009| title=Basic algebra| edition=2nd| volume = 2 | publisher=Dover| isbn = 978-0-486-47187-7}}
* {{Cite book| last=जैकबसन| first=नाथन| author-link=नाथन जैकबसन| year=2009| title=मूल बीजगणित| edition=2nd| volume = 2 | publisher=डोवर| isbn = 978-0-486-47187-7}}
 
{{Functors}}


{{DEFAULTSORT:Exact Functor}}[[Category: समरूप बीजगणित]] [[Category: योगात्मक श्रेणियां]] [[Category: काम करनेवाला]]  
{{DEFAULTSORT:Exact Functor}}[[Category: समरूप बीजगणित]] [[Category: योगात्मक श्रेणियां]] [[Category: काम करनेवाला]]  

Revision as of 20:15, 24 March 2023

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

परिभाषाएँ

मान लीजिए कि P और Q आबेली श्रेणियाँ हैं, और मान लीजिए F: P→Q एक सहसंयोजक फ़ंक्टर योगात्मक कारक बनें (ताकि, विशेष रूप से, F(0) = 0), हम कहते हैं कि F एक एक्जेक्ट फ़ंक्टर है यदि जब भी

: : : : : : : : : : : : : : : : : : : : : : : : P में एक छोटा एक्जेक्ट अनुक्रम है
Q में एक संक्षिप्त एक्जेक्ट अनुक्रम है। (मानचित्र प्रायः छोड़े गए और निहित होते हैं, यह निर्गत करता है कि एक कहता है: यदि 0→A→B→C→0 एक्जेक्ट है, तो 0→' 'F(A)→F(B)→F(C)→0 भी एक्जेक्ट है।)

आगे यदि हम कहते हैं कि 'F' है

  • बाएं-एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो 0→F(A)→F (B)→F(C) एक्जेक्ट है;
  • सही-एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो F(A)→F(' 'B)→F(C)→0 एक्जेक्ट है;
  • आधा एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो F(A)→F(' 'B)→F(C) एक्जेक्ट है। यह एक टोपोलॉजिकल अर्ध-एक्जेक्ट फ़ंक्टर की धारणा से अलग है।

यदि G, P से Q तक एक प्रतिपरिवर्तक फ़ंक्टर एडिटिव फ़ंक्टर है, तो हम इसी तरह G को परिभाषित करते हैं

  • एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो 0→G(C)→G(' 'B)→G(A)→0 एक्जेक्ट है;
  • बाएं-एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो 0→G(C)→G (B)→G(A) एक्जेक्ट है;
  • सही-एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो G(C)→G(' 'B)→G(A)→0 एक्जेक्ट है;
  • आधा एक्जेक्ट यदि जब भी 0→A→B→C→0 एक्जेक्ट है तो G(C)→G(' 'B)→G(A) एक्जेक्ट है।

कुछ सटीकता को बनाए रखने के लिए सदैव संपूर्ण संक्षिप्त एक्जेक्ट अनुक्रम 0→A→B→C→0 से प्रारंभ करना आवश्यक नहीं है। निम्नलिखित परिभाषाएँ ऊपर दी गई परिभाषा के समतुल्य हैं:

  • F एक्जेक्ट है यदि और केवल यदि A→B→C एक्जेक्ट अर्थ F(A)→F( B)→F(C) एक्जेक्ट;
  • F वाम-एक्जेक्ट है यदि और केवल यदि 0→A→B→C एक्जेक्ट अर्थ 0→F(A)→ F(B)→F(C) एक्जेक्ट (अर्थात यदि F कर्नेल को कर्नेल में बदल देता है);
  • F सही-एक्जेक्ट है यदि और केवल यदि A→B→C→0 एक्जेक्ट अर्थ है F(A)→ F(B)→F(C)→0 एक्जेक्ट (अर्थात यदि F कोकर्नेल को कोकर्नेल में बदल देता है);
  • G वाम-एक्जेक्ट है यदि और केवल यदि A→B→C→0 एक्जेक्ट तात्पर्य 0→G(C)→ है G(B)→G(A) एक्जेक्ट (अर्थात यदि G कोकर्नेल को कर्नेल में बदल देता है);
  • G सही-एक्जेक्ट है यदि और केवल यदि 0→A→B→C का एक्जेक्ट अर्थ है G(C)→ G(B)→G(A)→0 एक्जेक्ट (अर्थात यदि G कर्नेल को कोकर्नेल में बदल देता है)।

उदाहरण

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

बाएँ एक्जेक्ट फ़ंक्टरों के सबसे बुनियादी उदाहरण होम फ़ैक्टर हैं: यदि A एक एबेलियन श्रेणी है और A, A की वस्तु है, तो FA(X) = HomA(A, X) एबेलियन समूहों की श्रेणी के लिए 'A' से सहसंयोजक बाएं-एक्जेक्ट फ़ंक्टर को परिभाषित करता है। एबेलियन समूहों की श्रेणी 'AB'।[1] फ़ंक्टर FA एक्जेक्ट है यदि और केवल A प्रक्षेपी मॉड्यूल है।[2] फ़ंक्टर GA(X) = HomA(X, A) एक विपरीत बाएं-एक्जेक्ट फ़ंक्टर है;[3] यह एक्जेक्ट है यदि और केवल यदि A इंजेक्शन मॉड्यूल है।[4]

यदि k एक क्षेत्र (गणित) है और V k पर एक सदिश समष्टि है, तो हम लिखते हैं V * = Homk(V, K) (इसे सामान्यतः दोहरी जगह के रूप में जाना जाता है)। यह वेक्टर रिक्त स्थान की श्रेणी से स्वयं के लिए K-वेक्टर रिक्त स्थान की श्रेणी से एक विरोधाभासी एक्जेक्ट फ़ंक्टर उत्पन्न करता है। (सटीकता ऊपर से अनुसरण करती है: k एक इंजेक्शन मॉड्यूल k-मॉड्यूल (गणित) है। वैकल्पिक रूप से, कोई यह तर्क दे सकता है कि k-वेक्टर रिक्त स्थान का प्रत्येक छोटा एक्जेक्ट अनुक्रम एक्जेक्ट अनुक्रम को विभाजित करता है, और कोई भी एडिटिव फ़ंक्टर विभाजित अनुक्रमों को विभाजित अनुक्रमों में बदल देता है।)

यदि X एक टोपोलॉजिकल स्पेस है, तो हम X पर एबेलियन समूह के सभी शीफ (गणित) की एबेलियन श्रेणी पर विचार कर सकते हैं। सहसंयोजक फ़ंक्टर जो प्रत्येक शीफ़ F से जुड़ता है, वैश्विक वर्गों का समूह F(X) बाएँ-एक्जेक्ट है। बीजगणितीय गणनाओं के लिए एक्जेक्ट कारक सुविधाजनक होते हैं क्योंकि उन्हें वस्तुओं की प्रस्तुतियों पर सीधे लागू किया जा सकता है। होमोलॉजिकल बीजगणित में अधिकांश कार्य उन फ़ंक्टरों से निपटने के लिए डिज़ाइन किए गए हैं जो 'विफल' एक्जेक्ट होने के लिए हैं, लेकिन उन तरीकों से जिन्हें अभी भी नियंत्रित किया जा सकता है।

यदि R एक वलय (गणित) है और T एक सही R-मॉड्यूल (गणित) है, तो हम एक फ़ंक्टर HT को परिभाषित कर सकते हैं एबेलियन श्रेणी के मॉड्यूल से आर: एच पर टेंसर उत्पाद का उपयोग करके सभी बाएं आर-मॉड्यूल की श्रेणी 'एबी' तकT(X) = T ⊗ X, यह एक सहसंयोजक सही एक्जेक्ट फ़ंक्टर है; यह एक्जेक्ट है यदि और केवल यदि टी फ्लैट मॉड्यूल है। दूसरे शब्दों में, बाएं R मॉड्यूल का एक एक्जेक्ट अनुक्रम A→B→C→0 दिया गया है, एबेलियन समूहों का अनुक्रम T ⊗ A → T ⊗ B → T ⊗ C → 0 एक्जेक्ट है।

उदाहरण के लिए, एक फ्लैट -मापांक है, इसलिए, साथ टेंसरिंग के तौर पर -मॉड्यूल एक एक्जेक्ट फ़ंक्टर है। प्रमाण: यह दर्शाने के लिए पर्याप्त है कि यदि i का एक अंतःक्षेपी मानचित्र है -मॉड्यूल , फिर टेंसर उत्पादों के बीच संबंधित मानचित्र इंजेक्शन है। कोई यह दिखा सकता है यदि और केवल यदि एक वक्राकार तत्व है या . दिए गए टेंसर उत्पादों में केवल शुद्ध टेंसर होते हैं। इसलिए, यह दिखाने के लिए पर्याप्त है कि यदि एक शुद्ध टेंसर कर्नेल (बीजगणित) में है, तो यह शून्य है। लगता है कि कर्नेल का एक तत्व है। तब, वक्राकार है। तब से इंजेक्शन है, वक्राकार है। इसलिए, . इसलिए, इंजेक्शन भी है।

सामान्यतः, यदि T समान नहीं है, तो टेन्सर उत्पाद एक्जेक्ट नहीं बचा है। उदाहरण के लिए, के संक्षिप्त एक्जेक्ट अनुक्रम पर विचार करें -मॉड्यूल . तानना खत्म साथ एक अनुक्रम देता है जो अब एक्जेक्ट नहीं है, चूँकि वक्राकार रहित नहीं है और इसलिए समान नहीं है।

यदि A एबेलियन श्रेणी है और C एक मनमानी छोटी श्रेणी श्रेणी (गणित) है, तो हम फ़ंक्टर श्रेणी AC पर विचार कर सकते हैं में C से A तक के सभी फ़ंक्टर सम्मिलित हैं; यह एबेलियन है। यदि X C की दी गई वस्तु है, तो हमें एक फ़ंक्टर EX मिलता है एक से से AC X पर फ़ंक्टरों का मूल्यांकन करके यह फ़ंक्टर EX एक्जेक्ट है।

जबकि टेंसरिंग एक्जेक्ट नहीं छोड़ा जा सकता है, यह दिखाया जा सकता है कि टेंसरिंग एक सही एक्जेक्ट फ़ंक्टर है:

प्रमेय: A, B, c और P को गुणात्मक पहचान वाले एक क्रमविनिमेय वलय R के लिए आर-मॉड्यूल होने दें। माना कि आर-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम हो। तब

आर-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम भी है। (चूँकि R क्रमविनिमेय है, यह अनुक्रम R-मॉड्यूल का एक क्रम है और केवल एबेलियन समूहों का नहीं है)। यहाँ, हम परिभाषित करते हैं

.

इसका एक उपयोगी परिणाम है: यदि I, R का एक आदर्श (रिंग थ्योरी) है और P ऊपर जैसा है, तो .

परिणाम: , जहां एफ समावेशन है और G प्रक्षेपण है, आर-मॉड्यूल का एक एक्जेक्ट अनुक्रम है। ऊपर से हम पाते हैं कि: R-मॉड्यूल का एक संक्षिप्त एक्जेक्ट अनुक्रम भी है। सटीकता से, , चूंकि f समावेशन है। अब, मॉड्यूल समरूपता पर विचार करें। R-मॉड्यूल समरूपता से शुद्ध टेंसरों पर परिभाषित मानचित्र को आर-रैखिक रूप से विस्तारित करके दिया गया है: इसका आशय है . इसलिए, इस मानचित्र के कर्नेल में कोई गैर-शून्य शुद्ध टेंसर नहीं हो सकता है। केवल शुद्ध टेंसरों से बना है: के लिए . तो, यह मानचित्र इंजेक्शन है। यह स्पष्ट रूप से विशेषण है। इसलिए, . इसी प्रकार, . यह परिणाम सिद्ध करता है।

एक अन्य एप्लिकेशन के रूप में, हम दिखाते हैं कि, कहाँ और n दो विभाजक m की उच्चतम शक्ति है। हम एक विशेष मामला प्रमाणित करते हैं: M = 12।

प्रमाण: एक शुद्ध टेन्सर पर विचार करें . के लिए भी . इससे पता चलता है कि . दे , ए, बी, सी, पी सामान्य गुणा क्रिया द्वारा R = 'Z' मॉड्यूल हैं और मुख्य प्रमेय की शर्तों को पूरा करते हैं। प्रमेय द्वारा निहित सटीकता और उपरोक्त नोट द्वारा हम इसे प्राप्त करते हैं . अंतिम सर्वांगसमता उपप्रमेय के प्रमाण में एक के समान तर्क द्वारा अनुसरण करती है जो यह दर्शाता है .

गुण और प्रमेय

एक फ़ंक्टर एक्जेक्ट है यदि और केवल यदि यह दोनों एक्जेक्ट और सही एक्जेक्ट है।

एक सहसंयोजक (आवश्यक रूप से योज्य नहीं) फ़ंक्टर को एक्जेक्ट छोड़ दिया जाता है यदि और केवल यदि यह परिमित सीमा (श्रेणी सिद्धांत) को सीमा में बदल देता है; एक सहसंयोजक फ़ंक्टर सही है यदि और केवल यदि यह परिमित कोलिमिट को कोलिमिट में बदल देता है; एक प्रतिपरिवर्ती फ़ंक्टर एक्जेक्ट छोड़ दिया जाता है यदि यह परिमित कॉलिमिट को सीमा में बदल देता है; एक कॉन्ट्रावैरिएंट फ़ंक्टर सही है यदि यह परिमित सीमा को कोलिमिट में बदल देता है।

जिस सीमा तक एक बाएं एक्जेक्ट फ़ंक्टर एक्जेक्ट होने में विफल रहता है, उसे इसके व्युत्पन्न फ़ंक्टर से मापा जा सकता है; जिस सीमा तक एक सही एक्जेक्ट फ़ंक्टर एक्जेक्ट होने में विफल रहता है, उसे उसके व्युत्पन्न फ़ंक्टर के साथ मापा जा सकता है।

मुख्य रूप से निम्न तथ्य के कारण बाएँ और दाएँ एक्जेक्ट फ़ंक्टर सर्वव्यापी हैं: यदि फ़ंक्टर F, G से सटे फ़ंक्टर हैं, तो F दाएँ एक्जेक्ट है और G बाएँ एक्जेक्ट है।

सामान्यीकरण

ग्रोथेंडिक के सेमिनेयर डे जियोमेट्री अल्गेब्रिक, टोम, सेक्शन 1 में, बाएं (दाएं) एक्जेक्ट फ़ंक्टरों की धारणा को सामान्य श्रेणियों के लिए परिभाषित किया गया है, न कि केवल एबेलियन वाले परिभाषा इस प्रकार है:

C को परिमित प्रोजेक्टिव (प्रतिक्रियात्मक) सीमाओं के साथ एक श्रेणी होने दें। तब C से दूसरी श्रेणी C' में एक फ़ंक्टर बाएँ (सही दाएं) एक्जेक्ट होता है यदि यह परिमित प्रक्षेप्य (उत्तर आगमनात्मक) सीमा के साथ प्रारम्भ होता है।

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

क्विलन की एक्जेक्ट श्रेणी के बीच एक्जेक्ट फ़ंक्टर यहां परिकलन की गई एबेलियन श्रेणियों के बीच एक्जेक्ट फ़ंक्टर का सामान्यीकरण करते हैं।

नियमित श्रेणी के बीच नियमित फ़ंक्टरों को कभी-कभी एक्जेक्ट फ़ंक्टर कहा जाता है और यहां पर परिकलन की गई एक्जेक्ट फ़ंक्टरों को सामान्यीकृत किया जाता है।

टिप्पणियाँ

  1. ↑ Jacobson (2009), p. 98, Theorem 3.1.
  2. ↑ Jacobson (2009), p. 149, Prop. 3.9.
  3. ↑ Jacobson (2009), p. 99, Theorem 3.1.
  4. ↑ Jacobson (2009), p. 156.


संदर्भ

  • जैकबसन, नाथन (2009). मूल बीजगणित. Vol. 2 (2nd ed.). डोवर. ISBN 978-0-486-47187-7.
Retrieved from ‘https://www.vigyanwiki.in/index.php?title=सटीक_संचालिका&oldid=122821’