रेजोल्यूशन (बीजगणित): Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
गणित में, और अधिक विशेष रूप से होमोलॉजिकल बीजगणित में, संकल्प (या बाएं संकल्प; दोहरी रूप से सहसंबंध या सही संकल्प<ref>{{harvnb|Jacobson|2009|loc=§6.5}} uses ''coresolution'', though ''right resolution'' is more common, as in {{harvnb|Weibel|1994|loc=Chap. 2}}</ref>) [[मॉड्यूल (गणित)]] का | गणित में, और अधिक विशेष रूप से होमोलॉजिकल बीजगणित में, '''संकल्प''' (या बाएं संकल्प; दोहरी रूप से सहसंबंध या सही संकल्प<ref>{{harvnb|Jacobson|2009|loc=§6.5}} uses ''coresolution'', though ''right resolution'' is more common, as in {{harvnb|Weibel|1994|loc=Chap. 2}}</ref>) [[मॉड्यूल (गणित)]] का एक त्रुटिहीन अनुक्रम है (या, अधिक सामान्यतः, [[एबेलियन श्रेणी]] की वस्तुओं (श्रेणी सिद्धांत) का), जिसका उपयोग किसी विशिष्ट मॉड्यूल या वस्तु की संरचना को चिह्नित करने वाले इनवेरिएंट (गणित) वर्ग को परिभाषित करने के लिए किया जाता है। जब, सामान्यतः, तीरों को दाईं ओर उन्मुख किया जाता है, तो अनुक्रम को (बाएं) संकल्पों के लिए बाईं ओर और दाएं संकल्पों के लिए दाईं ओर अनंत माना जाता है। चूँकि, परिमित रिज़ॉल्यूशन वह है जहाँ अनुक्रम में केवल बहुत सी वस्तुएँ [[शून्य वस्तु|गैर-शून्य]] हैं; यह सामान्यतः परिमित त्रुटिहीन अनुक्रम द्वारा दर्शाया जाता है जिसमें सबसे बाईं वस्तु (रिज़ॉल्यूशन के लिए) या सबसे दाहिनी वस्तु (सहसंयोजन के लिए) शून्य-वस्तु होती है।<ref>{{nlab|id=projective+resolution|title=projective resolution}}, {{nlab|id=resolution}}</ref> | ||
सामान्यतः, अनुक्रम में वस्तुओं को कुछ गुण P (उदाहरण के लिए मुक्त होने के लिए) प्रतिबंधित किया जाता है। इस प्रकार एक P संकल्प की बात करता है। विशेष रूप से, प्रत्येक मॉड्यूल में '<nowiki/>'''मुफ्त संकल्प'''<nowiki/>', '<nowiki/>'''प्रक्षेपीय संकल्प'''<nowiki/>' और ''''फ्लैट संकल्प'''<nowiki/>' होते हैं, जो क्रमशः मुक्त मॉड्यूल, [[ प्रक्षेपी मॉड्यूल |प्रक्षेपी मॉड्यूल]] या [[फ्लैट मॉड्यूल]] से युक्त होते हैं। इसी प्रकार [[मुफ्त मॉड्यूल]] में 'इंजेक्शन संकल्प' होता है, जो [[इंजेक्शन मॉड्यूल]] से मिलकर बने सही संकल्प होते हैं। | |||
== मॉड्यूल के संकल्प == | == मॉड्यूल के संकल्प == | ||
=== परिभाषाएं === | === परिभाषाएं === | ||
रिंग आर पर मॉड्यूल एम दिया गया है, एम का 'बायां संकल्प' (या बस 'रिज़ॉल्यूशन') आर-मॉड्यूल का | रिंग आर पर मॉड्यूल एम दिया गया है, एम का 'बायां संकल्प' (या बस 'रिज़ॉल्यूशन') आर-मॉड्यूल का त्रुटिहीन अनुक्रम (संभवतः अनंत) है | ||
:<math>\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.</math> | :<math>\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.</math> | ||
समरूपता डी<sub>i</sub>सीमा मानचित्र कहलाते हैं। मानचित्र ε को 'वृद्धि मानचित्र' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है | समरूपता डी<sub>i</sub>सीमा मानचित्र कहलाते हैं। मानचित्र ε को 'वृद्धि मानचित्र' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है | ||
:<math>E_\bullet\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.</math> | :<math>E_\bullet\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.</math> | ||
द्वैत (श्रेणी सिद्धांत) सही संकल्प (या सह-संकल्प, या केवल संकल्प) का है। विशेष रूप से, रिंग ''आर'' के ऊपर मॉड्यूल ''एम'' दिया गया है, सही | द्वैत (श्रेणी सिद्धांत) सही संकल्प (या सह-संकल्प, या केवल संकल्प) का है। विशेष रूप से, रिंग ''आर'' के ऊपर मॉड्यूल ''एम'' दिया गया है, सही संकल्प ''आर''-मॉड्यूल का संभवतः अनंत त्रुटिहीन अनुक्रम है | ||
:<math>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,</math> | :<math>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,</math> | ||
जहां प्रत्येक सी<sup>i</sup> आर-मॉड्यूल है (इस तरह के रिज़ॉल्यूशन की दोहरी प्रकृति को इंगित करने के लिए रिज़ॉल्यूशन में | जहां प्रत्येक सी<sup>i</sup> आर-मॉड्यूल है (इस तरह के रिज़ॉल्यूशन की दोहरी प्रकृति को इंगित करने के लिए रिज़ॉल्यूशन में वस्तु्स और उनके बीच के मानचित्रों पर सुपरस्क्रिप्ट का उपयोग करना आम है)। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है | ||
:<math>0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^\bullet.</math> | :<math>0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^\bullet.</math> | ||
ए (सह) संकल्प परिमित कहा जाता है यदि केवल सूक्ष्म रूप से शामिल कई मॉड्यूल गैर-शून्य हैं। परिमित रिज़ॉल्यूशन की लंबाई अधिकतम सूचकांक 'एन' है जो परिमित रिज़ॉल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है। | ए (सह) संकल्प परिमित कहा जाता है यदि केवल सूक्ष्म रूप से शामिल कई मॉड्यूल गैर-शून्य हैं। परिमित रिज़ॉल्यूशन की लंबाई अधिकतम सूचकांक 'एन' है जो परिमित रिज़ॉल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है। | ||
=== मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट संकल्प === | === मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट संकल्प === | ||
कई परिस्थितियों में मॉड्यूल ई पर शर्तें लगाई जाती हैं<sub>''i''</sub> दिए गए मॉड्यूल एम को हल करना। उदाहरण के लिए, मॉड्यूल एम का मुक्त संकल्प बाएं संकल्प है जिसमें सभी मॉड्यूल ई<sub>''i''</sub> मुक्त आर-मॉड्यूल हैं। इसी तरह, प्रक्षेपी और सपाट संकल्प बाएं संकल्प हैं जैसे कि सभी ई<sub>''i''</sub> क्रमशः | कई परिस्थितियों में मॉड्यूल ई पर शर्तें लगाई जाती हैं<sub>''i''</sub> दिए गए मॉड्यूल एम को हल करना। उदाहरण के लिए, मॉड्यूल एम का मुक्त संकल्प बाएं संकल्प है जिसमें सभी मॉड्यूल ई<sub>''i''</sub> मुक्त आर-मॉड्यूल हैं। इसी तरह, प्रक्षेपी और सपाट संकल्प बाएं संकल्प हैं जैसे कि सभी ई<sub>''i''</sub> क्रमशः प्रक्षेपीय मॉड्यूल और फ्लैट मॉड्यूल आर-मॉड्यूल हैं। अंतःक्षेपी संकल्प सही संकल्प हैं जिनके सी<sup>i</sup> सभी इंजेक्शन मॉड्यूल हैं। | ||
प्रत्येक आर-मॉड्यूल में मुक्त बायां संकल्प होता है।<ref>{{harvnb|Jacobson|2009|loc=§6.5}}</ref> दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल संकल्पों को भी स्वीकार करता है। सबूत विचार ई को परिभाषित करना है<sub>0</sub> एम के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होने के लिए, और फिर ई<sub>1</sub> प्राकृतिक मानचित्र ई के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होना<sub>0</sub> → एम आदि। वास्तव में, प्रत्येक आर-मॉड्यूल में इंजेक्शन संकल्प होता है। [[टोर काम करता है]] की गणना करने के लिए प्रक्षेपी संकल्प (और, अधिक | प्रत्येक आर-मॉड्यूल में मुक्त बायां संकल्प होता है।<ref>{{harvnb|Jacobson|2009|loc=§6.5}}</ref> दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल संकल्पों को भी स्वीकार करता है। सबूत विचार ई को परिभाषित करना है<sub>0</sub> एम के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होने के लिए, और फिर ई<sub>1</sub> प्राकृतिक मानचित्र ई के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होना<sub>0</sub> → एम आदि। वास्तव में, प्रत्येक आर-मॉड्यूल में इंजेक्शन संकल्प होता है। [[टोर काम करता है]] की गणना करने के लिए प्रक्षेपी संकल्प (और, अधिक सामान्यतः, फ्लैट संकल्प) का उपयोग किया जा सकता है। | ||
मॉड्यूल एम का | मॉड्यूल एम का प्रक्षेपीय रेज़ोल्यूशन [[चेन होमोटॉपी]] तक अद्वितीय है, यानी, दो प्रक्षेपीय रेज़ोल्यूशन पी दिए गए हैं<sub>0</sub> → एम और पी<sub>1</sub> → M का M उनके बीच श्रृंखला होमोटॉपी मौजूद है। | ||
समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए संकल्पों का उपयोग किया जाता है। मॉड्यूल एम के परिमित | समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए संकल्पों का उपयोग किया जाता है। मॉड्यूल एम के परिमित प्रक्षेपीय रिज़ॉल्यूशन की न्यूनतम लंबाई को इसका प्रक्षेपीय डायमेंशन कहा जाता है और इसे पीडी (एम) के रूप में दर्शाया जाता है। उदाहरण के लिए, मॉड्यूल में [[प्रक्षेपी आयाम]] शून्य होता है यदि और केवल यदि यह प्रक्षेपी मॉड्यूल है। यदि एम परिमित प्रक्षेपी संकल्प को स्वीकार नहीं करता है तो प्रक्षेपी आयाम अनंत है। उदाहरण के लिए, कम्यूटेटिव [[ स्थानीय अंगूठी |स्थानीय अंगूठी]] R के लिए, प्रक्षेपीय डायमेंशन परिमित है अगर और केवल अगर R [[ नियमित स्थानीय अंगूठी |नियमित स्थानीय अंगूठी]] है और इस मामले में यह R के [[क्रुल आयाम]] के साथ मेल खाता है। अनुरूप रूप से, [[इंजेक्शन आयाम]] आईडी (M) और [[ समतल आयाम |समतल आयाम]] fd (एम) को मॉड्यूल के लिए भी परिभाषित किया गया है। | ||
इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही आर मॉड्यूल की श्रेणी में आर के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे आर का सही [[वैश्विक आयाम]] कहा जाता है। इसी तरह, [[कमजोर वैश्विक आयाम]] को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार रिंग की विशेषताओं को दर्शाता है। उदाहरण के लिए, रिंग का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल रिंग है, और रिंग का कमजोर वैश्विक आयाम 0 है यदि और केवल अगर यह [[वॉन न्यूमैन नियमित रिंग]] है। | इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही आर मॉड्यूल की श्रेणी में आर के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे आर का सही [[वैश्विक आयाम]] कहा जाता है। इसी तरह, [[कमजोर वैश्विक आयाम]] को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार रिंग की विशेषताओं को दर्शाता है। उदाहरण के लिए, रिंग का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल रिंग है, और रिंग का कमजोर वैश्विक आयाम 0 है यदि और केवल अगर यह [[वॉन न्यूमैन नियमित रिंग]] है। | ||
Line 29: | Line 30: | ||
बता दें कि एम ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो सकारात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर एम के पास मुफ्त संकल्प है जिसमें मुफ्त मॉड्यूल ई<sub>''i''</sub> इस तरह से वर्गीकृत किया जा सकता है कि d<sub>''i''</sub> और ε वर्गीकृत सदिश स्थान#रैखिक मानचित्र हैं। इन श्रेणीबद्ध मुक्त संकल्पों में न्यूनतम मुक्त संकल्प वे हैं जिनके लिए प्रत्येक ''ई'' के आधार तत्वों की संख्या<sub>''i''</sub> न्यूनतम है। प्रत्येक ई के आधार तत्वों की संख्या<sub>''i''</sub> और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त संकल्पों के लिए समान हैं। | बता दें कि एम ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो सकारात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर एम के पास मुफ्त संकल्प है जिसमें मुफ्त मॉड्यूल ई<sub>''i''</sub> इस तरह से वर्गीकृत किया जा सकता है कि d<sub>''i''</sub> और ε वर्गीकृत सदिश स्थान#रैखिक मानचित्र हैं। इन श्रेणीबद्ध मुक्त संकल्पों में न्यूनतम मुक्त संकल्प वे हैं जिनके लिए प्रत्येक ''ई'' के आधार तत्वों की संख्या<sub>''i''</sub> न्यूनतम है। प्रत्येक ई के आधार तत्वों की संख्या<sub>''i''</sub> और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त संकल्पों के लिए समान हैं। | ||
अगर मैं क्षेत्र पर बहुपद अंगूठी में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित | अगर मैं क्षेत्र पर बहुपद अंगूठी में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की [[Castelnuovo-Mumford नियमितता]] न्यूनतम पूर्णांक आर है जैसे कि ई के आधार तत्वों की डिग्री<sub>''i''</sub> I के न्यूनतम मुक्त रिज़ॉल्यूशन में सभी r-i से कम हैं। | ||
=== उदाहरण === | === उदाहरण === | ||
Line 38: | Line 39: | ||
== एबेलियन श्रेणियों में संकल्प == | == एबेलियन श्रेणियों में संकल्प == | ||
एबेलियन श्रेणी ए में | एबेलियन श्रेणी ए में वस्तु एम के संकल्प की परिभाषा उपरोक्त के समान है, लेकिन ई<sub>i</sub>और सी<sup>i</sup> A में वस्तुएँ हैं, और शामिल सभी मानचित्र A में आकारिकी हैं। | ||
प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा [[ प्रक्षेपण वस्तु |प्रक्षेपण वस्तु]] और [[इंजेक्शन वस्तु]] हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन संकल्प। हालांकि, इस तरह के संकल्पों को सामान्य एबेलियन श्रेणी ए में मौजूद होने की आवश्यकता नहीं है। यदि ए के प्रत्येक वस्तु में प्रक्षेपीय (प्रतिक्रियात्मक) संकल्प है, तो ए को पर्याप्त [[पर्याप्त परियोजनाएँ]]प्रतिक्रिया [[पर्याप्त इंजेक्शन]]) कहा जाता है। भले ही वे मौजूद हों, ऐसे संकल्पों के साथ काम करना अक्सर मुश्किल होता है। उदाहरण के लिए, जैसा कि ऊपर बताया गया है, प्रत्येक आर-मॉड्यूल में इंजेक्शन रिज़ॉल्यूशन होता है, लेकिन यह रिज़ॉल्यूशन कार्यात्मक नहीं होता है, यानी, समरूपता M → M' दिया जाता है, साथ में इंजेक्शन रिज़ॉल्यूशन | |||
:<math>0 \rightarrow M \rightarrow I_*, \ \ 0 \rightarrow M' \rightarrow I'_*,</math> | :<math>0 \rightarrow M \rightarrow I_*, \ \ 0 \rightarrow M' \rightarrow I'_*,</math> | ||
सामान्य तौर पर बीच का नक्शा प्राप्त करने का कोई क्रियात्मक तरीका नहीं है <math>I_*</math> और <math>I'_*</math>. | सामान्य तौर पर बीच का नक्शा प्राप्त करने का कोई क्रियात्मक तरीका नहीं है <math>I_*</math> और <math>I'_*</math>. | ||
=== सामान्य रूप से प्रक्षेपी संकल्पों के बिना एबेलियन श्रेणियां === | === सामान्य रूप से प्रक्षेपी संकल्पों के बिना एबेलियन श्रेणियां === | ||
अनुमानित प्रस्तावों के बिना एबेलियन श्रेणियों के उदाहरणों का वर्ग श्रेणियां हैं <math>\text{Coh}(X)</math> योजना पर [[सुसंगत शीफ]] का (गणित) <math>X</math>. उदाहरण के लिए, अगर <math>X = \mathbb{P}^n_S</math> | अनुमानित प्रस्तावों के बिना एबेलियन श्रेणियों के उदाहरणों का वर्ग श्रेणियां हैं <math>\text{Coh}(X)</math> योजना पर [[सुसंगत शीफ]] का (गणित) <math>X</math>. उदाहरण के लिए, अगर <math>X = \mathbb{P}^n_S</math> प्रक्षेपीय स्पेस है, कोई सुसंगत शीफ <math>\mathcal{M}</math> पर <math>X</math> त्रुटिहीन अनुक्रम द्वारा दी गई प्रस्तुति है | ||
:<math>\bigoplus_{i,j=0} \mathcal{O}_X(s_{i,j}) \to \bigoplus_{i=0} \mathcal{O}_X(s_i) \to \mathcal{M} \to 0.</math> | :<math>\bigoplus_{i,j=0} \mathcal{O}_X(s_{i,j}) \to \bigoplus_{i=0} \mathcal{O}_X(s_i) \to \mathcal{M} \to 0.</math> | ||
पहले दो शब्द सामान्य रूप से | पहले दो शब्द सामान्य रूप से प्रक्षेपीय नहीं हैं <math>H^n(\mathbb{P}^n_S,\mathcal{O}_X(s)) \neq 0</math> के लिए <math>s > 0</math>. लेकिन, दोनों शर्तें स्थानीय रूप से मुफ़्त हैं, और स्थानीय रूप से सपाट हैं। कुछ व्युत्पन्न फ़ैक्टरों की गणना के लिए प्रक्षेपीय संकल्पों को प्रतिस्थापित करने के लिए, कुछ कंप्यूटेशंस के लिए शेव के दोनों वर्गों का उपयोग किया जा सकता है। | ||
== चक्रीय संकल्प == | == चक्रीय संकल्प == | ||
कई मामलों में वास्तव में संकल्प में दिखाई देने वाली वस्तुओं में कोई दिलचस्पी नहीं है, लेकिन किसी दिए गए फ़ैक्टर के संबंध में संकल्प के व्यवहार में। | कई मामलों में वास्तव में संकल्प में दिखाई देने वाली वस्तुओं में कोई दिलचस्पी नहीं है, लेकिन किसी दिए गए फ़ैक्टर के संबंध में संकल्प के व्यवहार में। | ||
इसलिए, कई स्थितियों में, चक्रीय संकल्पों की धारणा का उपयोग किया जाता है: बाएं | इसलिए, कई स्थितियों में, चक्रीय संकल्पों की धारणा का उपयोग किया जाता है: बाएं त्रुटिहीन फ़ैक्टर ''एफ'' दिया गया: ''ए'' → ''बी'' दो एबेलियन श्रेणियों के बीच, संकल्प | ||
:<math>0 \rightarrow M \rightarrow E_0 \rightarrow E_1 \rightarrow E_2 \rightarrow \cdots</math> | :<math>0 \rightarrow M \rightarrow E_0 \rightarrow E_1 \rightarrow E_2 \rightarrow \cdots</math> | ||
ए के | ए के वस्तु एम को एफ-एसाइक्लिक कहा जाता है, अगर व्युत्पन्न फ़ैक्टर आर<sub>''i''</sub>एफ (ई<sub>''n''</sub>) सभी i > 0 और n ≥ 0 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर रिज़ॉल्यूशन की वस्तुओं पर गायब हो जाते हैं, तो सही त्रुटिहीन फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ रिज़ॉल्यूशन चक्रीय होता है। | ||
उदाहरण के लिए, आर मॉड्यूल एम, [[टेंसर उत्पाद]] दिया गया<math>\otimes_R M</math> सही | उदाहरण के लिए, आर मॉड्यूल एम, [[टेंसर उत्पाद]] दिया गया<math>\otimes_R M</math> सही त्रुटिहीन फ़ैक्टर मॉड (''आर'') → मॉड (''आर'') है। इस फ़ैक्टर के संबंध में प्रत्येक फ्लैट रिज़ॉल्यूशन विश्वकोश है। ''फ्लैट संकल्प'' प्रत्येक ''एम'' द्वारा टेन्सर उत्पाद के लिए विश्वकोश है। इसी तरह, सभी फ़ैक्टर होम ( ⋅ , ''M'') के लिए एसाइक्लिक रेज़ोल्यूशन प्रक्षेपीय रेज़ोल्यूशन हैं और फ़ैक्टर्स होम (''M'', ⋅ ) के लिए एसाइक्लिक इंज़ेक्टिव रिज़ॉल्यूशन हैं। | ||
कोई भी इंजेक्शन (प्रक्षेपी) संकल्प 'एफ' है - किसी भी बाएं | कोई भी इंजेक्शन (प्रक्षेपी) संकल्प 'एफ' है - किसी भी बाएं त्रुटिहीन (दाएं त्रुटिहीन, क्रमशः) फ़ैक्टर के लिए चक्रीय। | ||
विश्वकोश संकल्पों का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक ''आर''<sub>''i''</sub>F (बाएं | विश्वकोश संकल्पों का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक ''आर''<sub>''i''</sub>F (बाएं त्रुटिहीन फ़ैक्टर का, और इसी तरह L<sub>''i''</sub>सही त्रुटिहीन फ़ंक्टर का F) F-एसाइक्लिक रिज़ॉल्यूशन के होमोलॉजी के रूप में प्राप्त किया जा सकता है: एसाइक्लिक रिज़ॉल्यूशन दिया गया <math>E_*</math> वस्तु एम की, हमारे पास है | ||
:<math>R_i F(M) = H_i F(E_*),</math> | :<math>R_i F(M) = H_i F(E_*),</math> | ||
जहां दाहिने हाथ की ओर कॉम्प्लेक्स की आई-वें समरूपता वस्तु है <math>F(E_*).</math> | जहां दाहिने हाथ की ओर कॉम्प्लेक्स की आई-वें समरूपता वस्तु है <math>F(E_*).</math> |
Revision as of 11:35, 16 May 2023
गणित में, और अधिक विशेष रूप से होमोलॉजिकल बीजगणित में, संकल्प (या बाएं संकल्प; दोहरी रूप से सहसंबंध या सही संकल्प[1]) मॉड्यूल (गणित) का एक त्रुटिहीन अनुक्रम है (या, अधिक सामान्यतः, एबेलियन श्रेणी की वस्तुओं (श्रेणी सिद्धांत) का), जिसका उपयोग किसी विशिष्ट मॉड्यूल या वस्तु की संरचना को चिह्नित करने वाले इनवेरिएंट (गणित) वर्ग को परिभाषित करने के लिए किया जाता है। जब, सामान्यतः, तीरों को दाईं ओर उन्मुख किया जाता है, तो अनुक्रम को (बाएं) संकल्पों के लिए बाईं ओर और दाएं संकल्पों के लिए दाईं ओर अनंत माना जाता है। चूँकि, परिमित रिज़ॉल्यूशन वह है जहाँ अनुक्रम में केवल बहुत सी वस्तुएँ गैर-शून्य हैं; यह सामान्यतः परिमित त्रुटिहीन अनुक्रम द्वारा दर्शाया जाता है जिसमें सबसे बाईं वस्तु (रिज़ॉल्यूशन के लिए) या सबसे दाहिनी वस्तु (सहसंयोजन के लिए) शून्य-वस्तु होती है।[2]
सामान्यतः, अनुक्रम में वस्तुओं को कुछ गुण P (उदाहरण के लिए मुक्त होने के लिए) प्रतिबंधित किया जाता है। इस प्रकार एक P संकल्प की बात करता है। विशेष रूप से, प्रत्येक मॉड्यूल में 'मुफ्त संकल्प', 'प्रक्षेपीय संकल्प' और 'फ्लैट संकल्प' होते हैं, जो क्रमशः मुक्त मॉड्यूल, प्रक्षेपी मॉड्यूल या फ्लैट मॉड्यूल से युक्त होते हैं। इसी प्रकार मुफ्त मॉड्यूल में 'इंजेक्शन संकल्प' होता है, जो इंजेक्शन मॉड्यूल से मिलकर बने सही संकल्प होते हैं।
मॉड्यूल के संकल्प
परिभाषाएं
रिंग आर पर मॉड्यूल एम दिया गया है, एम का 'बायां संकल्प' (या बस 'रिज़ॉल्यूशन') आर-मॉड्यूल का त्रुटिहीन अनुक्रम (संभवतः अनंत) है
समरूपता डीiसीमा मानचित्र कहलाते हैं। मानचित्र ε को 'वृद्धि मानचित्र' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
द्वैत (श्रेणी सिद्धांत) सही संकल्प (या सह-संकल्प, या केवल संकल्प) का है। विशेष रूप से, रिंग आर के ऊपर मॉड्यूल एम दिया गया है, सही संकल्प आर-मॉड्यूल का संभवतः अनंत त्रुटिहीन अनुक्रम है
जहां प्रत्येक सीi आर-मॉड्यूल है (इस तरह के रिज़ॉल्यूशन की दोहरी प्रकृति को इंगित करने के लिए रिज़ॉल्यूशन में वस्तु्स और उनके बीच के मानचित्रों पर सुपरस्क्रिप्ट का उपयोग करना आम है)। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
ए (सह) संकल्प परिमित कहा जाता है यदि केवल सूक्ष्म रूप से शामिल कई मॉड्यूल गैर-शून्य हैं। परिमित रिज़ॉल्यूशन की लंबाई अधिकतम सूचकांक 'एन' है जो परिमित रिज़ॉल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है।
मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट संकल्प
कई परिस्थितियों में मॉड्यूल ई पर शर्तें लगाई जाती हैंi दिए गए मॉड्यूल एम को हल करना। उदाहरण के लिए, मॉड्यूल एम का मुक्त संकल्प बाएं संकल्प है जिसमें सभी मॉड्यूल ईi मुक्त आर-मॉड्यूल हैं। इसी तरह, प्रक्षेपी और सपाट संकल्प बाएं संकल्प हैं जैसे कि सभी ईi क्रमशः प्रक्षेपीय मॉड्यूल और फ्लैट मॉड्यूल आर-मॉड्यूल हैं। अंतःक्षेपी संकल्प सही संकल्प हैं जिनके सीi सभी इंजेक्शन मॉड्यूल हैं।
प्रत्येक आर-मॉड्यूल में मुक्त बायां संकल्प होता है।[3] दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल संकल्पों को भी स्वीकार करता है। सबूत विचार ई को परिभाषित करना है0 एम के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होने के लिए, और फिर ई1 प्राकृतिक मानचित्र ई के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त आर-मॉड्यूल होना0 → एम आदि। वास्तव में, प्रत्येक आर-मॉड्यूल में इंजेक्शन संकल्प होता है। टोर काम करता है की गणना करने के लिए प्रक्षेपी संकल्प (और, अधिक सामान्यतः, फ्लैट संकल्प) का उपयोग किया जा सकता है।
मॉड्यूल एम का प्रक्षेपीय रेज़ोल्यूशन चेन होमोटॉपी तक अद्वितीय है, यानी, दो प्रक्षेपीय रेज़ोल्यूशन पी दिए गए हैं0 → एम और पी1 → M का M उनके बीच श्रृंखला होमोटॉपी मौजूद है।
समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए संकल्पों का उपयोग किया जाता है। मॉड्यूल एम के परिमित प्रक्षेपीय रिज़ॉल्यूशन की न्यूनतम लंबाई को इसका प्रक्षेपीय डायमेंशन कहा जाता है और इसे पीडी (एम) के रूप में दर्शाया जाता है। उदाहरण के लिए, मॉड्यूल में प्रक्षेपी आयाम शून्य होता है यदि और केवल यदि यह प्रक्षेपी मॉड्यूल है। यदि एम परिमित प्रक्षेपी संकल्प को स्वीकार नहीं करता है तो प्रक्षेपी आयाम अनंत है। उदाहरण के लिए, कम्यूटेटिव स्थानीय अंगूठी R के लिए, प्रक्षेपीय डायमेंशन परिमित है अगर और केवल अगर R नियमित स्थानीय अंगूठी है और इस मामले में यह R के क्रुल आयाम के साथ मेल खाता है। अनुरूप रूप से, इंजेक्शन आयाम आईडी (M) और समतल आयाम fd (एम) को मॉड्यूल के लिए भी परिभाषित किया गया है।
इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही आर मॉड्यूल की श्रेणी में आर के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे आर का सही वैश्विक आयाम कहा जाता है। इसी तरह, कमजोर वैश्विक आयाम को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार रिंग की विशेषताओं को दर्शाता है। उदाहरण के लिए, रिंग का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल रिंग है, और रिंग का कमजोर वैश्विक आयाम 0 है यदि और केवल अगर यह वॉन न्यूमैन नियमित रिंग है।
वर्गीकृत मॉड्यूल और बीजगणित
बता दें कि एम ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो सकारात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर एम के पास मुफ्त संकल्प है जिसमें मुफ्त मॉड्यूल ईi इस तरह से वर्गीकृत किया जा सकता है कि di और ε वर्गीकृत सदिश स्थान#रैखिक मानचित्र हैं। इन श्रेणीबद्ध मुक्त संकल्पों में न्यूनतम मुक्त संकल्प वे हैं जिनके लिए प्रत्येक ई के आधार तत्वों की संख्याi न्यूनतम है। प्रत्येक ई के आधार तत्वों की संख्याi और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त संकल्पों के लिए समान हैं।
अगर मैं क्षेत्र पर बहुपद अंगूठी में सजातीय आदर्श है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की Castelnuovo-Mumford नियमितता न्यूनतम पूर्णांक आर है जैसे कि ई के आधार तत्वों की डिग्रीi I के न्यूनतम मुक्त रिज़ॉल्यूशन में सभी r-i से कम हैं।
उदाहरण
स्थानीय अंगूठी में नियमित अनुक्रम के कोज़ुल परिसर या क्षेत्र में अंतिम रूप से उत्पन्न वर्गीकृत बीजगणित में सजातीय नियमित अनुक्रम द्वारा मुक्त संकल्प का उत्कृष्ट उदाहरण दिया जाता है।
मान लीजिए X एस्फेरिकल स्पेस है, यानी इसका सार्वभौमिक आवरण E सिकुड़ा हुआ है। तब E का प्रत्येक विलक्षण होमोलॉजी (या एकवचन समरूपता) चेन कॉम्प्लेक्स मॉड्यूल 'Z' का मुक्त रिज़ॉल्यूशन है, जो न केवल रिंग 'Z' के ऊपर है, बल्कि समूह की अंगूठी 'Z' [π] पर भी है।1(एक्स)]।
एबेलियन श्रेणियों में संकल्प
एबेलियन श्रेणी ए में वस्तु एम के संकल्प की परिभाषा उपरोक्त के समान है, लेकिन ईiऔर सीi A में वस्तुएँ हैं, और शामिल सभी मानचित्र A में आकारिकी हैं।
प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा प्रक्षेपण वस्तु और इंजेक्शन वस्तु हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन संकल्प। हालांकि, इस तरह के संकल्पों को सामान्य एबेलियन श्रेणी ए में मौजूद होने की आवश्यकता नहीं है। यदि ए के प्रत्येक वस्तु में प्रक्षेपीय (प्रतिक्रियात्मक) संकल्प है, तो ए को पर्याप्त पर्याप्त परियोजनाएँप्रतिक्रिया पर्याप्त इंजेक्शन) कहा जाता है। भले ही वे मौजूद हों, ऐसे संकल्पों के साथ काम करना अक्सर मुश्किल होता है। उदाहरण के लिए, जैसा कि ऊपर बताया गया है, प्रत्येक आर-मॉड्यूल में इंजेक्शन रिज़ॉल्यूशन होता है, लेकिन यह रिज़ॉल्यूशन कार्यात्मक नहीं होता है, यानी, समरूपता M → M' दिया जाता है, साथ में इंजेक्शन रिज़ॉल्यूशन
सामान्य तौर पर बीच का नक्शा प्राप्त करने का कोई क्रियात्मक तरीका नहीं है और .
सामान्य रूप से प्रक्षेपी संकल्पों के बिना एबेलियन श्रेणियां
अनुमानित प्रस्तावों के बिना एबेलियन श्रेणियों के उदाहरणों का वर्ग श्रेणियां हैं योजना पर सुसंगत शीफ का (गणित) . उदाहरण के लिए, अगर प्रक्षेपीय स्पेस है, कोई सुसंगत शीफ पर त्रुटिहीन अनुक्रम द्वारा दी गई प्रस्तुति है
पहले दो शब्द सामान्य रूप से प्रक्षेपीय नहीं हैं के लिए . लेकिन, दोनों शर्तें स्थानीय रूप से मुफ़्त हैं, और स्थानीय रूप से सपाट हैं। कुछ व्युत्पन्न फ़ैक्टरों की गणना के लिए प्रक्षेपीय संकल्पों को प्रतिस्थापित करने के लिए, कुछ कंप्यूटेशंस के लिए शेव के दोनों वर्गों का उपयोग किया जा सकता है।
चक्रीय संकल्प
कई मामलों में वास्तव में संकल्प में दिखाई देने वाली वस्तुओं में कोई दिलचस्पी नहीं है, लेकिन किसी दिए गए फ़ैक्टर के संबंध में संकल्प के व्यवहार में। इसलिए, कई स्थितियों में, चक्रीय संकल्पों की धारणा का उपयोग किया जाता है: बाएं त्रुटिहीन फ़ैक्टर एफ दिया गया: ए → बी दो एबेलियन श्रेणियों के बीच, संकल्प
ए के वस्तु एम को एफ-एसाइक्लिक कहा जाता है, अगर व्युत्पन्न फ़ैक्टर आरiएफ (ईn) सभी i > 0 और n ≥ 0 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर रिज़ॉल्यूशन की वस्तुओं पर गायब हो जाते हैं, तो सही त्रुटिहीन फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ रिज़ॉल्यूशन चक्रीय होता है।
उदाहरण के लिए, आर मॉड्यूल एम, टेंसर उत्पाद दिया गया सही त्रुटिहीन फ़ैक्टर मॉड (आर) → मॉड (आर) है। इस फ़ैक्टर के संबंध में प्रत्येक फ्लैट रिज़ॉल्यूशन विश्वकोश है। फ्लैट संकल्प प्रत्येक एम द्वारा टेन्सर उत्पाद के लिए विश्वकोश है। इसी तरह, सभी फ़ैक्टर होम ( ⋅ , M) के लिए एसाइक्लिक रेज़ोल्यूशन प्रक्षेपीय रेज़ोल्यूशन हैं और फ़ैक्टर्स होम (M, ⋅ ) के लिए एसाइक्लिक इंज़ेक्टिव रिज़ॉल्यूशन हैं।
कोई भी इंजेक्शन (प्रक्षेपी) संकल्प 'एफ' है - किसी भी बाएं त्रुटिहीन (दाएं त्रुटिहीन, क्रमशः) फ़ैक्टर के लिए चक्रीय।
विश्वकोश संकल्पों का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक आरiF (बाएं त्रुटिहीन फ़ैक्टर का, और इसी तरह Liसही त्रुटिहीन फ़ंक्टर का F) F-एसाइक्लिक रिज़ॉल्यूशन के होमोलॉजी के रूप में प्राप्त किया जा सकता है: एसाइक्लिक रिज़ॉल्यूशन दिया गया वस्तु एम की, हमारे पास है
जहां दाहिने हाथ की ओर कॉम्प्लेक्स की आई-वें समरूपता वस्तु है यह स्थिति कई स्थितियों में लागू होती है। उदाहरण के लिए, लगातार शीफ आर के लिए अलग-अलग कई गुना एम पर शेवों द्वारा हल किया जा सकता है चिकनी अंतर रूपों की:
पूले ठीक पुलिया हैं, जिन्हें वैश्विक खंड फंक्टर के संबंध में एसाइक्लिक के रूप में जाना जाता है ... ... इसलिए, शेफ कोहोलॉजी, जो वैश्विक खंड functor Γ के व्युत्पन्न फ़ैक्टर है, के रूप में गणना की जाती है इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट संकल्प विश्वकोश हैं।
यह भी देखें
- मानक संकल्प
- हिल्बर्ट-बर्च प्रमेय
- हिल्बर्ट की सहक्रिया प्रमेय
- मुफ्त प्रस्तुति
- मैट्रिक्स गुणनखंड (बीजगणित)
टिप्पणियाँ
- ↑ Jacobson 2009, §6.5 uses coresolution, though right resolution is more common, as in Weibel 1994, Chap. 2
- ↑ projective resolution at the nLab, resolution at the nLab
- ↑ Jacobson 2009, §6.5
संदर्भ
- Iain T. Adamson (1972), Elementary rings and modules, University Mathematical Texts, Oliver and Boyd, ISBN 0-05-002192-3
- Eisenbud, David (1995), Commutative algebra. With a view toward algebraic geometry, Graduate Texts in Mathematics, vol. 150, Berlin, New York: Springer-Verlag, ISBN 3-540-94268-8, MR 1322960, Zbl 0819.13001
- Jacobson, Nathan (2009) [1985], Basic algebra II (Second ed.), Dover Publications, ISBN 978-0-486-47187-7
- Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley, ISBN 978-0-201-55540-0, Zbl 0848.13001
- Weibel, Charles A. (1994). An introduction to homological algebra. Cambridge Studies in Advanced Mathematics. Vol. 38. Cambridge University Press. ISBN 978-0-521-55987-4. MR 1269324. OCLC 36131259.