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

From Vigyanwiki
No edit summary
No edit summary
 
(7 intermediate revisions by 4 users not shown)
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>{{nlab|id=projective+resolution|title=projective resolution}}, {{nlab|id=resolution}}</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/>' होते हैं, जो क्रमशः मुक्त मॉड्यूल, [[ प्रक्षेपी मॉड्यूल |प्रक्षेपी मॉड्यूल]] या [[फ्लैट मॉड्यूल]] से युक्त होते हैं। इसी प्रकार [[मुफ्त मॉड्यूल]] में 'इंजेक्शन रेजोल्यूशन' होता है, जो [[इंजेक्शन मॉड्यूल]] से मिलकर बने सही रेजोल्यूशन होते हैं।
 
== मॉड्यूल के रेजोल्यूशन ==


=== परिभाषाएं ===
=== परिभाषाएं ===
रिंग आर पर मॉड्यूल एम दिया गया है, एम का 'बायां संकल्प' (या बस 'रिज़ॉल्यूशन') आर-मॉड्यूल का सटीक अनुक्रम (संभवतः अनंत) है
वलय R पर मॉड्यूल एम दिया गया है, Mका '<nowiki/>'''बायां रेजोल्यूशन'''<nowiki/>' (या बस ''''रेजोल्यूशन'''<nowiki/>') R-मॉड्यूल का त्रुटिहीन अनुक्रम (संभवतः अनंत) है
:<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>सीमा मानचित्र कहलाते हैं। मानचित्र ε को 'वृद्धि मानचित्र' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
समरूपता d<sub>i</sub> सीमा माप कहलाते हैं। माप ε को ''''वृद्धि माप'''<nowiki/>' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त रेजोल्यूशन को इस प्रकार लिखा जा सकता है
:<math>E_\bullet\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.</math>
:<math>E_\bullet\overset{\varepsilon}{\longrightarrow}M\longrightarrow0.</math>
द्वैत (श्रेणी सिद्धांत) सही संकल्प (या सह-संकल्प, या केवल संकल्प) का है। विशेष रूप से, रिंग ''आर'' के ऊपर मॉड्यूल ''एम'' दिया गया है, सही रेजोल्यूशन ''आर''-मॉड्यूल का संभवतः अनंत सटीक अनुक्रम है
द्वैत (श्रेणी सिद्धांत) सही रेजोल्यूशन (या '''सह-रेजोल्यूशन''', या '''केवल रेजोल्यूशन''') का है। विशेष रूप से, वलय R के ऊपर मॉड्यूल ''M'' दिया गया है, सही रेजोल्यूशन ''R''-मॉड्यूल का संभवतः अनंत त्रुटिहीन अनुक्रम है
:<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> आर-मॉड्यूल है (इस तरह के रिज़ॉल्यूशन की दोहरी प्रकृति को इंगित करने के लिए रिज़ॉल्यूशन में ऑब्जेक्ट्स और उनके बीच के मानचित्रों पर सुपरस्क्रिप्ट का उपयोग करना आम है)। संक्षिप्तता के लिए, उपरोक्त संकल्प को इस प्रकार लिखा जा सकता है
जहां प्रत्येक C<sup>i</sup> R-मॉड्यूल है (इस प्रकार के रेजोल्यूशन की दोहरी प्रकृति को निरुपित करने के लिए रेजोल्यूशन में वस्तुओं और उनके बीच के मापों पर सुपरस्क्रिप्ट का उपयोग करना सामान्य है)। संक्षिप्तता के लिए, उपरोक्त रेजोल्यूशन को इस प्रकार लिखा जा सकता है
:<math>0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^\bullet.</math>
:<math>0\longrightarrow M\overset{\varepsilon}{\longrightarrow}C^\bullet.</math>
(सह) संकल्प परिमित कहा जाता है यदि केवल सूक्ष्म रूप से शामिल कई मॉड्यूल गैर-शून्य हैं। परिमित रिज़ॉल्यूशन की लंबाई अधिकतम सूचकांक 'एन' है जो परिमित रिज़ॉल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है।
A (सह) रेजोल्यूशन परिमित कहा जाता है यदि केवल सूक्ष्म रूप से सम्मिलित कई मॉड्यूल गैर-शून्य हैं। परिमित रेजोल्यूशन की लंबाई अधिकतम सूचकांक 'n' है जो परिमित रेजोल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है।


=== मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट संकल्प ===
=== मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट रेजोल्यूशन ===
कई परिस्थितियों में मॉड्यूल ई पर शर्तें लगाई जाती हैं<sub>''i''</sub> दिए गए मॉड्यूल एम को हल करना। उदाहरण के लिए, मॉड्यूल एम का मुक्त संकल्प बाएं संकल्प है जिसमें सभी मॉड्यूल <sub>''i''</sub> मुक्त आर-मॉड्यूल हैं। इसी तरह, प्रक्षेपी और सपाट संकल्प बाएं संकल्प हैं जैसे कि सभी ई<sub>''i''</sub> क्रमशः प्रोजेक्टिव मॉड्यूल और फ्लैट मॉड्यूल आर-मॉड्यूल हैं। अंतःक्षेपी संकल्प सही संकल्प हैं जिनके सी<sup>i</sup> सभी इंजेक्शन मॉड्यूल हैं।
कई परिस्थितियों में मॉड्यूल E<sub>i</sub> पर दिए गए मॉड्यूल M को हल करने के लिए शर्तें लगाई जाती हैं। उदाहरण के लिए एक मॉड्यूल M का एक मुक्त रेजोल्यूशन एक बायाँ रेजोल्यूशन है जिसमें सभी मॉड्यूल E<sub>i</sub> मुक्त R-मॉड्यूल हैं। इसी प्रकार, प्रक्षेपी और सपाट रेजोल्यूशन बाएं रेजोल्यूशन हैं जैसे कि सभी ई क्रमशः प्रक्षेपी और फ्लैट आर-मॉड्यूल हैं। अंतःक्षेपी रेजोल्यूशन सही रेजोल्यूशन हैं जिनके सीआई सभी इंजेक्शन मॉड्यूल हैं।


प्रत्येक आर-मॉड्यूल में मुक्त बायां संकल्प होता है।<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> दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल रेजोल्यूशनश को भी स्वीकार करता है। प्रमाण विचार E0 को M के तत्वों द्वारा उत्पन्न मुक्त R-मॉड्यूल के रूप में परिभाषित करना है, और फिर E<sub>1</sub> को प्राकृतिक मानचित्र E<sub>0 → M</sub> आदि के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त R-मॉड्यूल होना है। आर-मॉड्यूल में एक इंजेक्शन रेजोल्यूशन है। [[टोर काम करता है|टोर फ़ैक्टरों]] की गणना करने के लिए प्रक्षेपी रेजोल्यूशन (और, अधिक सामान्यतः, फ्लैट रेजोल्यूशन) का उपयोग किया जा सकता है।


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


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


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


=== [[वर्गीकृत मॉड्यूल]] और बीजगणित ===
=== [[वर्गीकृत मॉड्यूल]] और बीजगणित ===
बता दें कि एम ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो सकारात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर एम के पास मुफ्त संकल्प है जिसमें मुफ्त मॉड्यूल ई<sub>''i''</sub> इस तरह से वर्गीकृत किया जा सकता है कि d<sub>''i''</sub> और ε ​​वर्गीकृत सदिश स्थान#रैखिक मानचित्र हैं। इन श्रेणीबद्ध मुक्त संकल्पों में न्यूनतम मुक्त संकल्प वे हैं जिनके लिए प्रत्येक ''ई'' के आधार तत्वों की संख्या<sub>''i''</sub> न्यूनतम है। प्रत्येक ई के आधार तत्वों की संख्या<sub>''i''</sub> और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त संकल्पों के लिए समान हैं।
बता दें कि एम एक ग्रेडेड बीजगणित पर एक ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा एक क्षेत्र पर उत्पन्न होता है। तब M के पास एक मुक्त विभेदन होता है जिसमें मुक्त मॉड्यूल Ei को इस तरह वर्गीकृत किया जा सकता है कि di और ε श्रेणीबद्ध रेखीय मानचित्र होते हैं। इन श्रेणीबद्ध मुक्त रेजोल्यूशनश में न्यूनतम मुक्त रेजोल्यूशन वे हैं जिनके लिए प्रत्येक Ei के आधार तत्वों की संख्या न्यूनतम है। प्रत्येक ईआई और उनकी डिग्री के आधार तत्वों की संख्या एक श्रेणीबद्ध मॉड्यूल के सभी न्यूनतम मुक्त रेजोल्यूशनश के लिए समान होती है।
 
बता दें कि M ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर M के पास मुफ्त रेजोल्यूशन है जिसमें मुक्त मॉड्यूल Ei को इस तरह वर्गीकृत किया जा सकता है कि di और ε श्रेणीबद्ध रेखीय माप होते हैं। इन श्रेणीबद्ध मुक्त रेजोल्यूशनश में न्यूनतम मुक्त रेजोल्यूशन वे हैं जिनके लिए प्रत्येक ''E<sub>i</sub>'' के आधार तत्वों की संख्या न्यूनतम है। प्रत्येक E<sub>''i''</sub> के आधार तत्वों की संख्या और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त रेजोल्यूशनश के लिए समान हैं।


अगर मैं क्षेत्र पर बहुपद अंगूठी में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित प्रोजेक्टिव बीजगणितीय सेट की [[Castelnuovo-Mumford नियमितता]] न्यूनतम पूर्णांक आर है जैसे कि ई के आधार तत्वों की डिग्री<sub>''i''</sub> I के न्यूनतम मुक्त रिज़ॉल्यूशन में सभी r-i से कम हैं।
यदि I एक क्षेत्र पर बहुपद वलय में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की [[Castelnuovo-Mumford नियमितता|कैस्टेलनुओवो-ममफोर्ड नियमितता]] न्यूनतम पूर्णांक R है जैसे कि E<sub>''i''</sub> के आधार तत्वों की डिग्री I के न्यूनतम मुक्त रेजोल्यूशन में सभी r-i से कम हैं।


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


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


== एबेलियन श्रेणियों में संकल्प ==
== एबेलियन श्रेणियों में रेजोल्यूशन ==


एबेलियन श्रेणी में ऑब्जेक्ट एम के संकल्प की परिभाषा उपरोक्त के समान है, लेकिन ई<sub>i</sub>और सी<sup>i</sup> A में वस्तुएँ हैं, और शामिल सभी मानचित्र A में आकारिकी हैं।
एबेलियन श्रेणी A में वस्तु M के रेजोल्यूशन की परिभाषा उपरोक्त के समान है, किन्तु E<sub>i</sub> और C<sup>i</sup> A में वस्तुएँ हैं, और सम्मिलित सभी माप A में आकारिकी हैं।


प्रोजेक्टिव और इंजेक्शन मॉड्यूल की समान धारणा [[ प्रक्षेपण वस्तु |प्रक्षेपण वस्तु]] और [[इंजेक्शन वस्तु]] हैं, और तदनुसार, प्रोजेक्टिव और इंजेक्शन संकल्प। हालांकि, इस तरह के संकल्पों को सामान्य एबेलियन श्रेणी में मौजूद होने की आवश्यकता नहीं है। यदि ए के प्रत्येक ऑब्जेक्ट में प्रोजेक्टिव (प्रतिक्रियात्मक) संकल्प है, तो को पर्याप्त [[पर्याप्त परियोजनाएँ]]प्रतिक्रिया [[पर्याप्त इंजेक्शन]]) कहा जाता है। भले ही वे मौजूद हों, ऐसे संकल्पों के साथ काम करना अक्सर मुश्किल होता है। उदाहरण के लिए, जैसा कि ऊपर बताया गया है, प्रत्येक आर-मॉड्यूल में इंजेक्शन रिज़ॉल्यूशन होता है, लेकिन यह रिज़ॉल्यूशन कार्यात्मक नहीं होता है, यानी, समरूपता M → M' दिया जाता है, साथ में इंजेक्शन रिज़ॉल्यूशन
प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा [[ प्रक्षेपण वस्तु |प्रक्षेपण वस्तु]] और [[इंजेक्शन वस्तु]] हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन रेजोल्यूशन है। चूंकि, इस प्रकार के रेजोल्यूशनश को सामान्य एबेलियन श्रेणी 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>\mathcal{M}</math> पर <math>X</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>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 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर रिज़ॉल्यूशन की वस्तुओं पर गायब हो जाते हैं, तो सही सटीक फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ रिज़ॉल्यूशन चक्रीय होता है।
ए के वस्तु एम को एफ-एसाइक्लिक कहा जाता है, यदि व्युत्पन्न फ़ैक्टर आर<sub>''i''</sub>एफ (ई<sub>''n''</sub>) सभी i > 0 और n ≥ 0 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर रेजोल्यूशन की वस्तुओं पर गायब हो जाते हैं, तो सही त्रुटिहीन फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ रेजोल्यूशन चक्रीय होता है।


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


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


विश्वकोश संकल्पों का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक ''आर''<sub>''i''</sub>F (बाएं सटीक फ़ैक्टर का, और इसी तरह L<sub>''i''</sub>सही सटीक फ़ंक्टर का F) F-एसाइक्लिक रिज़ॉल्यूशन के होमोलॉजी के रूप में प्राप्त किया जा सकता है: एसाइक्लिक रिज़ॉल्यूशन दिया गया <math>E_*</math> वस्तु एम की, हमारे पास है
विश्वकोश रेजोल्यूशनश का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक ''आर''<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>
यह स्थिति कई स्थितियों में लागू होती है। उदाहरण के लिए, लगातार शीफ आर के लिए अलग-अलग कई गुना एम पर शेवों द्वारा हल किया जा सकता है <math>\mathcal C^*(M)</math> चिकनी अंतर रूपों की:
यह स्थिति कई स्थितियों में लागू होती है। उदाहरण के लिए, लगातार शीफ R के लिए अलग-अलग कई गुना एम पर शेवों द्वारा हल किया जा सकता है <math>\mathcal C^*(M)</math> चिकनी अंतर रूपों की:


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


== यह भी देखें ==
== यह भी देखें ==
* [[मानक संकल्प]]
* [[मानक संकल्प|मानक रेजोल्यूशन]]
* हिल्बर्ट-बर्च प्रमेय
* हिल्बर्ट-बर्च प्रमेय
* हिल्बर्ट की सहक्रिया प्रमेय
* हिल्बर्ट की सहक्रिया प्रमेय
Line 96: Line 99:
* {{Lang Algebra|edition=3}}
* {{Lang Algebra|edition=3}}
* {{Weibel IHA}}
* {{Weibel IHA}}
[[Category: समरूप बीजगणित]] [[Category: मॉड्यूल सिद्धांत]]


[[Category: Machine Translated Page]]
[[Category:Created On 08/05/2023]]
[[Category:Created On 08/05/2023]]
[[Category:Machine Translated Page]]
[[Category:Pages with script errors]]
[[Category:Templates Vigyan Ready]]
[[Category:मॉड्यूल सिद्धांत]]
[[Category:समरूप बीजगणित]]

Latest revision as of 09:54, 22 May 2023

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

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

मॉड्यूल के रेजोल्यूशन

परिभाषाएं

वलय R पर मॉड्यूल एम दिया गया है, Mका 'बायां रेजोल्यूशन' (या बस 'रेजोल्यूशन') R-मॉड्यूल का त्रुटिहीन अनुक्रम (संभवतः अनंत) है

समरूपता di सीमा माप कहलाते हैं। माप ε को 'वृद्धि माप' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त रेजोल्यूशन को इस प्रकार लिखा जा सकता है

द्वैत (श्रेणी सिद्धांत) सही रेजोल्यूशन (या सह-रेजोल्यूशन, या केवल रेजोल्यूशन) का है। विशेष रूप से, वलय R के ऊपर मॉड्यूल M दिया गया है, सही रेजोल्यूशन R-मॉड्यूल का संभवतः अनंत त्रुटिहीन अनुक्रम है

जहां प्रत्येक Ci R-मॉड्यूल है (इस प्रकार के रेजोल्यूशन की दोहरी प्रकृति को निरुपित करने के लिए रेजोल्यूशन में वस्तुओं और उनके बीच के मापों पर सुपरस्क्रिप्ट का उपयोग करना सामान्य है)। संक्षिप्तता के लिए, उपरोक्त रेजोल्यूशन को इस प्रकार लिखा जा सकता है

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

मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट रेजोल्यूशन

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

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

एक मॉड्यूल M का प्रोजेक्टिव रेजोल्यूशन एक चेन होमोटॉपी तक अद्वितीय है, यानी, दो प्रोजेक्टिव रेजोल्यूशन P0 → M और P1 → M का M दिया गया है, उनके बीच एक चेन होमोटॉपी उपस्थित है।

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

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

वर्गीकृत मॉड्यूल और बीजगणित

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

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

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

उदाहरण

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

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

एबेलियन श्रेणियों में रेजोल्यूशन

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

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

सामान्यतः बीच का माप और प्राप्त करने का कोई क्रियात्मक विधि नहीं है।

सामान्य रूप से प्रक्षेपी रेजोल्यूशनश के बिना एबेलियन श्रेणियां

अनुमानित प्रस्तावों के बिना एबेलियन श्रेणियों के उदाहरणों का वर्ग श्रेणियां हैं योजना पर सुसंगत शीफ का (गणित) . उदाहरण के लिए, यदि प्रक्षेपीय स्पेस है, कोई सुसंगत शीफ पर त्रुटिहीन अनुक्रम द्वारा दी गई प्रस्तुति है

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

चक्रीय रेजोल्यूशन

कई मामलों में वास्तव में रेजोल्यूशन में दिखाई देने वाली वस्तुओं में कोई दिलचस्पी नहीं है, किन्तु किसी दिए गए फ़ैक्टर के संबंध में रेजोल्यूशन के व्यवहार में। इसलिए, कई स्थितियों में, चक्रीय रेजोल्यूशनश की धारणा का उपयोग किया जाता है: बाएं त्रुटिहीन फ़ैक्टर एफ दिया गया: बी दो एबेलियन श्रेणियों के बीच, रेजोल्यूशन

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

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

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

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

जहां दाहिने हाथ की ओर कॉम्प्लेक्स की आई-वें समरूपता वस्तु है यह स्थिति कई स्थितियों में लागू होती है। उदाहरण के लिए, लगातार शीफ R के लिए अलग-अलग कई गुना एम पर शेवों द्वारा हल किया जा सकता है चिकनी अंतर रूपों की:

पूले ठीक पुलिया हैं, जिन्हें वैश्विक खंड फंक्टर के संबंध में एसाइक्लिक के रूप में जाना जाता है ... ... इसलिए, शेफ कोहोलॉजी, जो वैश्विक खंड functor Γ के व्युत्पन्न फ़ैक्टर है, के रूप में गणना की जाती है इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट रेजोल्यूशन विश्वकोश हैं।

यह भी देखें

टिप्पणियाँ

  1. Jacobson 2009, §6.5 uses coresolution, though right resolution is more common, as in Weibel 1994, Chap. 2
  2. projective resolution at the nLab, resolution at the nLab
  3. 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.