रेजोल्यूशन (बीजगणित)

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

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

परिभाषाएं
वलय R पर मॉड्यूल एम दिया गया है, एम का 'बायां संकल्प' (या बस 'संकल्प') R-मॉड्यूल का त्रुटिहीन अनुक्रम (संभवतः अनंत) है
 * $$\cdots\overset{d_{n+1}}{\longrightarrow}E_n\overset{d_n}{\longrightarrow}\cdots\overset{d_3}{\longrightarrow}E_2\overset{d_2}{\longrightarrow}E_1\overset{d_1}{\longrightarrow}E_0\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.$$

समरूपता di सीमा माप कहलाते हैं। माप ε को 'वृद्धि माप' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
 * $$E_\bullet\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.$$

द्वैत (श्रेणी सिद्धांत) सही संकल्प (या सह-संकल्प, या केवल संकल्प) का है। विशेष रूप से, वलय R के ऊपर मॉड्यूल M दिया गया है, सही संकल्प R-मॉड्यूल का संभवतः अनंत त्रुटिहीन अनुक्रम है
 * $$0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^0\overset{d^0}{\longrightarrow}C^1\overset{d^1}{\longrightarrow}C^2\overset{d^2}{\longrightarrow}\cdots\overset{d^{n-1}}{\longrightarrow}C^n\overset{d^n}{\longrightarrow}\cdots,$$

जहां प्रत्येक Ci R-मॉड्यूल है (इस प्रकार के संकल्प की दोहरी प्रकृति को निरुपित करने के लिए संकल्प में वस्तुओं और उनके बीच के मापों पर सुपरस्क्रिप्ट का उपयोग करना सामान्य है)। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
 * $$0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^\bullet.$$

A (सह) संकल्प परिमित कहा जाता है यदि केवल सूक्ष्म रूप से सम्मिलित कई मॉड्यूल गैर-शून्य हैं। परिमित संकल्प की लंबाई अधिकतम सूचकांक 'n' है जो परिमित संकल्प में गैर-शून्य मॉड्यूल को लेबल करता है।

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

प्रत्येक आर-मॉड्यूल में मुक्त बायां संकल्प होता है। दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल संकल्पों को भी स्वीकार करता है। सबूत विचार ई को परिभाषित करना है0 एम के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होने के लिए, और फिर ई1 प्राकृतिक माप ई के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होना0 → एम आदि। वास्तव में, प्रत्येक आर-मॉड्यूल में इंजेक्शन संकल्प होता है। टोर काम करता है की गणना करने के लिए प्रक्षेपी संकल्प (और, अधिक सामान्यतः, फ्लैट संकल्प) का उपयोग किया जा सकता है।

मॉड्यूल एम का प्रक्षेपीय रेज़ोल्यूशन चेन होमोटॉपी तक अद्वितीय है, यानी, दो प्रक्षेपीय रेज़ोल्यूशन पी दिए गए हैं0 → एम और पी1 → M का M उनके बीच श्रृंखला होमोटॉपी मौजूद है।

समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए संकल्पों का उपयोग किया जाता है। मॉड्यूल एम के परिमित प्रक्षेपीय संकल्प की न्यूनतम लंबाई को इसका प्रक्षेपीय डायमेंशन कहा जाता है और इसे पीडी (एम) के रूप में दर्शाया जाता है। उदाहरण के लिए, मॉड्यूल में प्रक्षेपी आयाम शून्य होता है यदि और केवल यदि यह प्रक्षेपी मॉड्यूल है। यदि एम परिमित प्रक्षेपी संकल्प को स्वीकार नहीं करता है तो प्रक्षेपी आयाम अनंत है। उदाहरण के लिए, कम्यूटेटिव स्थानीय अंगूठी R के लिए, प्रक्षेपीय डायमेंशन परिमित है अगर और केवल अगर R नियमित स्थानीय अंगूठी है और इस मामले में यह R के क्रुल आयाम के साथ मेल खाता है। अनुरूप रूप से, इंजेक्शन आयाम आईडी (M) और समतल आयाम fd (एम) को मॉड्यूल के लिए भी परिभाषित किया गया है।

इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही R मॉड्यूल की श्रेणी में R के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे R का सही वैश्विक आयाम कहा जाता है। इसी तरह, कमजोर वैश्विक आयाम को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार वलय की विशेषताओं को दर्शाता है। उदाहरण के लिए, वलय का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल वलय है, और वलय का कमजोर वैश्विक आयाम 0 है यदि और केवल अगर यह वॉन न्यूमैन नियमित वलय है।

वर्गीकृत मॉड्यूल और बीजगणित
बता दें कि एम ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो सकारात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर एम के पास मुफ्त संकल्प है जिसमें मुफ्त मॉड्यूल ईi इस तरह से वर्गीकृत किया जा सकता है कि di और ε ​​वर्गीकृत सदिश स्थान#रैखिक माप हैं। इन श्रेणीबद्ध मुक्त संकल्पों में न्यूनतम मुक्त संकल्प वे हैं जिनके लिए प्रत्येक ई के आधार तत्वों की संख्याi न्यूनतम है। प्रत्येक ई के आधार तत्वों की संख्याi और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त संकल्पों के लिए समान हैं।

अगर मैं क्षेत्र पर बहुपद अंगूठी में सजातीय आदर्श है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की Castelnuovo-Mumford नियमितता न्यूनतम पूर्णांक R है जैसे कि ई के आधार तत्वों की डिग्रीi I के न्यूनतम मुक्त संकल्प में सभी r-i से कम हैं।

उदाहरण
स्थानीय अंगूठी में नियमित अनुक्रम के कोज़ुल परिसर या क्षेत्र में अंतिम रूप से उत्पन्न वर्गीकृत बीजगणित में सजातीय नियमित अनुक्रम द्वारा मुक्त संकल्प का उत्कृष्ट उदाहरण दिया जाता है।

मान लीजिए X एस्फेरिकल स्पेस है, यानी इसका सार्वभौमिक आवरण E सिकुड़ा हुआ है। तब E का प्रत्येक विलक्षण होमोलॉजी (या एकवचन समरूपता) चेन कॉम्प्लेक्स मॉड्यूल 'Z' का मुक्त संकल्प है, जो न केवल वलय 'Z' के ऊपर है, बल्कि समूह की अंगूठी 'Z' [π] पर भी है।1(एक्स)]।

एबेलियन श्रेणियों में संकल्प
एबेलियन श्रेणी ए में वस्तु एम के संकल्प की परिभाषा उपरोक्त के समान है, लेकिन ईiऔर सीi A में वस्तुएँ हैं, और सम्मिलित सभी माप A में आकारिकी हैं।

प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा प्रक्षेपण वस्तु और इंजेक्शन वस्तु हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन संकल्प। हालांकि, इस तरह के संकल्पों को सामान्य एबेलियन श्रेणी ए में मौजूद होने की आवश्यकता नहीं है। यदि ए के प्रत्येक वस्तु में प्रक्षेपीय (प्रतिक्रियात्मक) संकल्प है, तो ए को पर्याप्त पर्याप्त परियोजनाएँप्रतिक्रिया पर्याप्त इंजेक्शन) कहा जाता है। भले ही वे मौजूद हों, ऐसे संकल्पों के साथ काम करना अक्सर मुश्किल होता है। उदाहरण के लिए, जैसा कि ऊपर बताया गया है, प्रत्येक आर-मॉड्यूल में इंजेक्शन संकल्प होता है, लेकिन यह संकल्प कार्यात्मक नहीं होता है, यानी, समरूपता M → M' दिया जाता है, साथ में इंजेक्शन संकल्प
 * $$0 \rightarrow M \rightarrow I_*, \ \ 0 \rightarrow M' \rightarrow I'_*,$$

सामान्य तौर पर बीच का नक्शा प्राप्त करने का कोई क्रियात्मक तरीका नहीं है $$I_*$$ और $$I'_*$$.

सामान्य रूप से प्रक्षेपी संकल्पों के बिना एबेलियन श्रेणियां
अनुमानित प्रस्तावों के बिना एबेलियन श्रेणियों के उदाहरणों का वर्ग श्रेणियां हैं $$\text{Coh}(X)$$ योजना पर सुसंगत शीफ का (गणित) $$X$$. उदाहरण के लिए, अगर $$X = \mathbb{P}^n_S$$ प्रक्षेपीय स्पेस है, कोई सुसंगत शीफ $$\mathcal{M}$$ पर $$X$$ त्रुटिहीन अनुक्रम द्वारा दी गई प्रस्तुति है
 * $$\bigoplus_{i,j=0} \mathcal{O}_X(s_{i,j}) \to \bigoplus_{i=0} \mathcal{O}_X(s_i) \to \mathcal{M} \to 0.$$

पहले दो शब्द सामान्य रूप से प्रक्षेपीय नहीं हैं $$H^n(\mathbb{P}^n_S,\mathcal{O}_X(s)) \neq 0$$ के लिए $$s > 0$$. लेकिन, दोनों शर्तें स्थानीय रूप से मुफ़्त हैं, और स्थानीय रूप से सपाट हैं। कुछ व्युत्पन्न फ़ैक्टरों की गणना के लिए प्रक्षेपीय संकल्पों को प्रतिस्थापित करने के लिए, कुछ कंप्यूटेशंस के लिए शेव के दोनों वर्गों का उपयोग किया जा सकता है।

चक्रीय संकल्प
कई मामलों में वास्तव में संकल्प में दिखाई देने वाली वस्तुओं में कोई दिलचस्पी नहीं है, लेकिन किसी दिए गए फ़ैक्टर के संबंध में संकल्प के व्यवहार में। इसलिए, कई स्थितियों में, चक्रीय संकल्पों की धारणा का उपयोग किया जाता है: बाएं त्रुटिहीन फ़ैक्टर एफ दिया गया: ए → बी दो एबेलियन श्रेणियों के बीच, संकल्प
 * $$0 \rightarrow M \rightarrow E_0 \rightarrow E_1 \rightarrow E_2 \rightarrow \cdots$$

ए के वस्तु एम को एफ-एसाइक्लिक कहा जाता है, अगर व्युत्पन्न फ़ैक्टर आरiएफ (ईn) सभी i > 0 और n ≥ 0 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर संकल्प की वस्तुओं पर गायब हो जाते हैं, तो सही त्रुटिहीन फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ संकल्प चक्रीय होता है।

उदाहरण के लिए, R मॉड्यूल एम, टेंसर उत्पाद दिया गया$$\otimes_R M$$ सही त्रुटिहीन फ़ैक्टर मॉड (आर) → मॉड (आर) है। इस फ़ैक्टर के संबंध में प्रत्येक फ्लैट संकल्प विश्वकोश है। फ्लैट संकल्प प्रत्येक एम द्वारा टेन्सर उत्पाद के लिए विश्वकोश है। इसी तरह, सभी फ़ैक्टर होम ( ⋅, M) के लिए एसाइक्लिक रेज़ोल्यूशन प्रक्षेपीय रेज़ोल्यूशन हैं और फ़ैक्टर्स होम (M, ⋅ ) के लिए एसाइक्लिक इंज़ेक्टिव संकल्प हैं।

कोई भी इंजेक्शन (प्रक्षेपी) संकल्प 'एफ' है - किसी भी बाएं त्रुटिहीन (दाएं त्रुटिहीन, क्रमशः) फ़ैक्टर के लिए चक्रीय।

विश्वकोश संकल्पों का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक आरiF (बाएं त्रुटिहीन फ़ैक्टर का, और इसी तरह Liसही त्रुटिहीन फ़ंक्टर का F) F-एसाइक्लिक संकल्प के होमोलॉजी के रूप में प्राप्त किया जा सकता है: एसाइक्लिक संकल्प दिया गया $$E_*$$ वस्तु एम की, हमारे पास है
 * $$R_i F(M) = H_i F(E_*),$$

जहां दाहिने हाथ की ओर कॉम्प्लेक्स की आई-वें समरूपता वस्तु है $$F(E_*).$$ यह स्थिति कई स्थितियों में लागू होती है। उदाहरण के लिए, लगातार शीफ R के लिए अलग-अलग कई गुना एम पर शेवों द्वारा हल किया जा सकता है $$\mathcal C^*(M)$$ चिकनी अंतर रूपों की:


 * $$0 \rightarrow R \subset \mathcal C^0(M) \stackrel d \rightarrow \mathcal C^1(M) \stackrel d \rightarrow \cdots \stackrel d \rightarrow \mathcal C^{\dim M}(M) \rightarrow 0.$$

पूले $$\mathcal C^*(M)$$ ठीक पुलिया हैं, जिन्हें वैश्विक खंड फंक्टर के संबंध में एसाइक्लिक के रूप में जाना जाता है $$\Gamma: \mathcal F \mapsto \mathcal F(M)$$... ... इसलिए, शेफ कोहोलॉजी, जो वैश्विक खंड functor Γ के व्युत्पन्न फ़ैक्टर है, के रूप में गणना की जाती है $$\mathrm H^i(M, \mathbf R) = \mathrm H^i( \mathcal C^*(M)).$$ इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट संकल्प विश्वकोश हैं।

यह भी देखें

 * मानक संकल्प
 * हिल्बर्ट-बर्च प्रमेय
 * हिल्बर्ट की सहक्रिया प्रमेय
 * मुफ्त प्रस्तुति
 * मैट्रिक्स गुणनखंड (बीजगणित)