रेजोल्यूशन (बीजगणित): Difference between revisions
m (Abhishek moved page संकल्प (बीजगणित) to रेजोल्यूशन (बीजगणित) without leaving a redirect) |
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>{{nlab|id=projective+resolution|title=projective resolution}}, {{nlab|id=resolution}}</ref> | ||
सामान्यतः, अनुक्रम में वस्तुओं को कुछ गुण P (उदाहरण के लिए मुक्त होने के लिए) प्रतिबंधित किया जाता है। इस प्रकार एक P | सामान्यतः, अनुक्रम में वस्तुओं को कुछ गुण P (उदाहरण के लिए मुक्त होने के लिए) प्रतिबंधित किया जाता है। इस प्रकार एक P रेजोल्यूशन की बात करता है। विशेष रूप से, प्रत्येक मॉड्यूल में '<nowiki/>'''मुफ्त रेजोल्यूशन'''<nowiki/>', '<nowiki/>'''प्रक्षेपीय रेजोल्यूशन'''<nowiki/>' और ''''फ्लैट रेजोल्यूशन'''<nowiki/>' होते हैं, जो क्रमशः मुक्त मॉड्यूल, [[ प्रक्षेपी मॉड्यूल |प्रक्षेपी मॉड्यूल]] या [[फ्लैट मॉड्यूल]] से युक्त होते हैं। इसी प्रकार [[मुफ्त मॉड्यूल]] में 'इंजेक्शन रेजोल्यूशन' होता है, जो [[इंजेक्शन मॉड्यूल]] से मिलकर बने सही रेजोल्यूशन होते हैं। | ||
== मॉड्यूल के | == मॉड्यूल के रेजोल्यूशन == | ||
=== परिभाषाएं === | === परिभाषाएं === | ||
वलय R पर मॉड्यूल एम दिया गया है, Mका '<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> | ||
समरूपता d<sub>i</sub> सीमा माप कहलाते हैं। माप ε को ''''वृद्धि माप'''<nowiki/>' कहा जाता है। संक्षिप्तता के लिए, उपरोक्त | समरूपता 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> | ||
जहां प्रत्येक C<sup>i</sup> R-मॉड्यूल है (इस प्रकार के | जहां प्रत्येक 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 (सह) | A (सह) रेजोल्यूशन परिमित कहा जाता है यदि केवल सूक्ष्म रूप से सम्मिलित कई मॉड्यूल गैर-शून्य हैं। परिमित रेजोल्यूशन की लंबाई अधिकतम सूचकांक 'n' है जो परिमित रेजोल्यूशन में गैर-शून्य मॉड्यूल को लेबल करता है। | ||
=== मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट | === मुक्त, प्रक्षेपी, अंतःक्षेपी, और सपाट रेजोल्यूशन === | ||
कई परिस्थितियों में मॉड्यूल E<sub>i</sub> पर दिए गए मॉड्यूल M को हल करने के लिए शर्तें लगाई जाती हैं। उदाहरण के लिए एक मॉड्यूल M का एक मुक्त | कई परिस्थितियों में मॉड्यूल E<sub>i</sub> पर दिए गए मॉड्यूल M को हल करने के लिए शर्तें लगाई जाती हैं। उदाहरण के लिए एक मॉड्यूल M का एक मुक्त रेजोल्यूशन एक बायाँ रेजोल्यूशन है जिसमें सभी मॉड्यूल E<sub>i</sub> मुक्त R-मॉड्यूल हैं। इसी प्रकार, प्रक्षेपी और सपाट रेजोल्यूशन बाएं रेजोल्यूशन हैं जैसे कि सभी ई क्रमशः प्रक्षेपी और फ्लैट आर-मॉड्यूल हैं। अंतःक्षेपी रेजोल्यूशन सही रेजोल्यूशन हैं जिनके सीआई सभी इंजेक्शन मॉड्यूल हैं। | ||
प्रत्येक आर-मॉड्यूल में मुक्त बायाँ विभेदन होता है।<ref>{{harvnb|Jacobson|2009|loc=§6.5}}</ref> दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल | प्रत्येक आर-मॉड्यूल में मुक्त बायाँ विभेदन होता है।<ref>{{harvnb|Jacobson|2009|loc=§6.5}}</ref> दुर्भाग्य से, प्रत्येक मॉड्यूल प्रक्षेपी और समतल रेजोल्यूशनश को भी स्वीकार करता है। प्रमाण विचार E0 को M के तत्वों द्वारा उत्पन्न मुक्त R-मॉड्यूल के रूप में परिभाषित करना है, और फिर E<sub>1</sub> को प्राकृतिक मानचित्र E<sub>0 → M</sub> आदि के कर्नेल के तत्वों द्वारा उत्पन्न मुक्त R-मॉड्यूल होना है। आर-मॉड्यूल में एक इंजेक्शन रेजोल्यूशन है। [[टोर काम करता है|टोर फ़ैक्टरों]] की गणना करने के लिए प्रक्षेपी रेजोल्यूशन (और, अधिक सामान्यतः, फ्लैट रेजोल्यूशन) का उपयोग किया जा सकता है। | ||
एक मॉड्यूल M का प्रोजेक्टिव | एक मॉड्यूल M का प्रोजेक्टिव रेजोल्यूशन एक [[चेन होमोटॉपी]] तक अद्वितीय है, यानी, दो प्रोजेक्टिव रेजोल्यूशन P<sub>0 → M</sub> और P<sub>1 → M</sub> का M दिया गया है, उनके बीच एक चेन होमोटॉपी उपस्थित है। | ||
समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए | समजातीय आयाम (बहुविकल्पी) को परिभाषित करने के लिए रेजोल्यूशनश का उपयोग किया जाता है। मॉड्यूल एम के परिमित प्रक्षेपीय रेजोल्यूशन की न्यूनतम लंबाई को इसका प्रक्षेपीय डायमेंशन कहा जाता है और इसे pd(''M'') के रूप में दर्शाया जाता है। उदाहरण के लिए, मॉड्यूल में [[प्रक्षेपी आयाम]] शून्य होता है यदि और केवल यदि यह प्रक्षेपी मॉड्यूल है। यदि M परिमित प्रक्षेपी रेजोल्यूशन को स्वीकार नहीं करता है तो प्रक्षेपी आयाम अनंत है। उदाहरण के लिए, कम्यूटेटिव [[ स्थानीय अंगूठी |स्थानीय वलय]] R के लिए, प्रक्षेपीय डायमेंशन परिमित है यदि और केवल यदि R [[ नियमित स्थानीय अंगूठी |नियमित स्थानीय वलय]] है और इस स्थिति में यह R के [[क्रुल आयाम]] के साथ मेल खाता है। अनुरूप रूप से, [[इंजेक्शन आयाम]] id (M) और [[ समतल आयाम |समतल आयाम]] fd (M) को मॉड्यूल के लिए भी परिभाषित किया गया है। | ||
इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही R मॉड्यूल की श्रेणी में R के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे R का सही [[वैश्विक आयाम]] कहा जाता है। इसी तरह, [[कमजोर वैश्विक आयाम]] को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार वलय की विशेषताओं को दर्शाता है। उदाहरण के लिए, वलय का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल वलय है, और वलय का कमजोर वैश्विक आयाम 0 है यदि और केवल यदि यह [[वॉन न्यूमैन नियमित रिंग|वॉन न्यूमैन नियमित वलय]] है। | इंजेक्शन और प्रक्षेपी आयामों का उपयोग सही R मॉड्यूल की श्रेणी में R के लिए होमोलॉजिकल आयाम को परिभाषित करने के लिए किया जाता है जिसे R का सही [[वैश्विक आयाम]] कहा जाता है। इसी तरह, [[कमजोर वैश्विक आयाम]] को परिभाषित करने के लिए फ्लैट आयाम का उपयोग किया जाता है। इन आयामों का व्यवहार वलय की विशेषताओं को दर्शाता है। उदाहरण के लिए, वलय का सही वैश्विक आयाम 0 है यदि और केवल यदि यह अर्ध-सरल वलय है, और वलय का कमजोर वैश्विक आयाम 0 है यदि और केवल यदि यह [[वॉन न्यूमैन नियमित रिंग|वॉन न्यूमैन नियमित वलय]] है। | ||
=== [[वर्गीकृत मॉड्यूल]] और बीजगणित === | === [[वर्गीकृत मॉड्यूल]] और बीजगणित === | ||
बता दें कि एम एक ग्रेडेड बीजगणित पर एक ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा एक क्षेत्र पर उत्पन्न होता है। तब M के पास एक मुक्त विभेदन होता है जिसमें मुक्त मॉड्यूल Ei को इस तरह वर्गीकृत किया जा सकता है कि di और ε श्रेणीबद्ध रेखीय मानचित्र होते हैं। इन श्रेणीबद्ध मुक्त | बता दें कि एम एक ग्रेडेड बीजगणित पर एक ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा एक क्षेत्र पर उत्पन्न होता है। तब M के पास एक मुक्त विभेदन होता है जिसमें मुक्त मॉड्यूल Ei को इस तरह वर्गीकृत किया जा सकता है कि di और ε श्रेणीबद्ध रेखीय मानचित्र होते हैं। इन श्रेणीबद्ध मुक्त रेजोल्यूशनश में न्यूनतम मुक्त रेजोल्यूशन वे हैं जिनके लिए प्रत्येक Ei के आधार तत्वों की संख्या न्यूनतम है। प्रत्येक ईआई और उनकी डिग्री के आधार तत्वों की संख्या एक श्रेणीबद्ध मॉड्यूल के सभी न्यूनतम मुक्त रेजोल्यूशनश के लिए समान होती है। | ||
बता दें कि M ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर M के पास मुफ्त | बता दें कि M ग्रेडेड बीजगणित पर ग्रेडेड मॉड्यूल है, जो धनात्मक डिग्री के तत्वों द्वारा क्षेत्र पर उत्पन्न होता है। फिर M के पास मुफ्त रेजोल्यूशन है जिसमें मुक्त मॉड्यूल Ei को इस तरह वर्गीकृत किया जा सकता है कि di और ε श्रेणीबद्ध रेखीय माप होते हैं। इन श्रेणीबद्ध मुक्त रेजोल्यूशनश में न्यूनतम मुक्त रेजोल्यूशन वे हैं जिनके लिए प्रत्येक ''E<sub>i</sub>'' के आधार तत्वों की संख्या न्यूनतम है। प्रत्येक E<sub>''i''</sub> के आधार तत्वों की संख्या और उनकी डिग्री ग्रेडेड मॉड्यूल के सभी न्यूनतम मुक्त रेजोल्यूशनश के लिए समान हैं। | ||
यदि I एक क्षेत्र पर बहुपद वलय में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की [[Castelnuovo-Mumford नियमितता|कैस्टेलनुओवो-ममफोर्ड नियमितता]] न्यूनतम पूर्णांक R है जैसे कि E<sub>''i''</sub> के आधार तत्वों की डिग्री I के न्यूनतम मुक्त | यदि I एक क्षेत्र पर बहुपद वलय में [[सजातीय आदर्श]] है, तो I द्वारा परिभाषित प्रक्षेपीय बीजगणितीय सेट की [[Castelnuovo-Mumford नियमितता|कैस्टेलनुओवो-ममफोर्ड नियमितता]] न्यूनतम पूर्णांक R है जैसे कि E<sub>''i''</sub> के आधार तत्वों की डिग्री I के न्यूनतम मुक्त रेजोल्यूशन में सभी r-i से कम हैं। | ||
=== उदाहरण === | === उदाहरण === | ||
स्थानीय वलय में [[नियमित अनुक्रम]] के कोज़ुल परिसर या क्षेत्र में अंतिम रूप से उत्पन्न वर्गीकृत बीजगणित में सजातीय नियमित अनुक्रम द्वारा मुक्त | स्थानीय वलय में [[नियमित अनुक्रम]] के कोज़ुल परिसर या क्षेत्र में अंतिम रूप से उत्पन्न वर्गीकृत बीजगणित में सजातीय नियमित अनुक्रम द्वारा मुक्त रेजोल्यूशन का उत्कृष्ट उदाहरण दिया जाता है। | ||
मान लीजिए X [[एस्फेरिकल स्पेस]] है, अर्थात् इसका [[ सार्वभौमिक आवरण |सार्वभौमिक आवरण]] E सिकुड़ा हुआ है। तब E का प्रत्येक विलक्षण होमोलॉजी (या [[एकवचन समरूपता]]) श्रृंखला परिसर न केवल वलय Z के ऊपर किन्तु [[ समूह की अंगूठी |समूह की वलय]] Z [π1 (X)] पर भी मॉड्यूल Z का एक मुक्त | मान लीजिए X [[एस्फेरिकल स्पेस]] है, अर्थात् इसका [[ सार्वभौमिक आवरण |सार्वभौमिक आवरण]] E सिकुड़ा हुआ है। तब E का प्रत्येक विलक्षण होमोलॉजी (या [[एकवचन समरूपता]]) श्रृंखला परिसर न केवल वलय Z के ऊपर किन्तु [[ समूह की अंगूठी |समूह की वलय]] Z [π1 (X)] पर भी मॉड्यूल Z का एक मुक्त रेजोल्यूशन है। | ||
== एबेलियन श्रेणियों में | == एबेलियन श्रेणियों में रेजोल्यूशन == | ||
एबेलियन श्रेणी A में वस्तु M के | एबेलियन श्रेणी A में वस्तु M के रेजोल्यूशन की परिभाषा उपरोक्त के समान है, किन्तु E<sub>i</sub> और C<sup>i</sup> A में वस्तुएँ हैं, और सम्मिलित सभी माप A में आकारिकी हैं। | ||
प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा [[ प्रक्षेपण वस्तु |प्रक्षेपण वस्तु]] और [[इंजेक्शन वस्तु]] हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन | प्रक्षेपीय और इंजेक्शन मॉड्यूल की समान धारणा [[ प्रक्षेपण वस्तु |प्रक्षेपण वस्तु]] और [[इंजेक्शन वस्तु]] हैं, और तदनुसार, प्रक्षेपीय और इंजेक्शन रेजोल्यूशन है। चूंकि, इस प्रकार के रेजोल्यूशनश को सामान्य एबेलियन श्रेणी 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 के लिए गायब हो जाते हैं। यदि इसके व्युत्पन्न फ़ैक्टर रेजोल्यूशन की वस्तुओं पर गायब हो जाते हैं, तो सही त्रुटिहीन फ़ंक्टर के संबंध में दोहरे रूप से, बायाँ रेजोल्यूशन चक्रीय होता है। | ||
उदाहरण के लिए, R मॉड्यूल एम, [[टेंसर उत्पाद]] दिया गया<math>\otimes_R M</math> सही त्रुटिहीन फ़ैक्टर मॉड (''आर'') → मॉड (''आर'') है। इस फ़ैक्टर के संबंध में प्रत्येक फ्लैट | उदाहरण के लिए, R मॉड्यूल एम, [[टेंसर उत्पाद]] दिया गया<math>\otimes_R M</math> सही त्रुटिहीन फ़ैक्टर मॉड (''आर'') → मॉड (''आर'') है। इस फ़ैक्टर के संबंध में प्रत्येक फ्लैट रेजोल्यूशन विश्वकोश है। ''फ्लैट रेजोल्यूशन'' प्रत्येक ''एम'' द्वारा टेन्सर उत्पाद के लिए विश्वकोश है। इसी तरह, सभी फ़ैक्टर होम ( ⋅ , ''M'') के लिए एसाइक्लिक रेजोल्यूशन प्रक्षेपीय रेजोल्यूशन हैं और फ़ैक्टर्स होम (''M'', ⋅ ) के लिए एसाइक्लिक इंज़ेक्टिव रेजोल्यूशन हैं। | ||
कोई भी इंजेक्शन (प्रक्षेपी) | कोई भी इंजेक्शन (प्रक्षेपी) रेजोल्यूशन 'एफ' है - किसी भी बाएं त्रुटिहीन (दाएं त्रुटिहीन, क्रमशः) फ़ैक्टर के लिए चक्रीय। | ||
विश्वकोश | विश्वकोश रेजोल्यूशनश का महत्व इस तथ्य में निहित है कि व्युत्पन्न कारक ''आर''<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> | ||
Line 70: | Line 70: | ||
पूले <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> | ||
इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट | इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट रेजोल्यूशन विश्वकोश हैं। | ||
== यह भी देखें == | == यह भी देखें == | ||
* [[मानक संकल्प]] | * [[मानक संकल्प|मानक रेजोल्यूशन]] | ||
* हिल्बर्ट-बर्च प्रमेय | * हिल्बर्ट-बर्च प्रमेय | ||
* हिल्बर्ट की सहक्रिया प्रमेय | * हिल्बर्ट की सहक्रिया प्रमेय |
Revision as of 12:33, 16 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 Γ के व्युत्पन्न फ़ैक्टर है, के रूप में गणना की जाती है इसी प्रकार वैश्विक खंड फ़ैक्टर के संबंध में गोडेमेंट रेजोल्यूशन विश्वकोश हैं।
यह भी देखें
- मानक रेजोल्यूशन
- हिल्बर्ट-बर्च प्रमेय
- हिल्बर्ट की सहक्रिया प्रमेय
- मुफ्त प्रस्तुति
- मैट्रिक्स गुणनखंड (बीजगणित)
टिप्पणियाँ
- ↑ 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.