प्रोजेक्टिव मॉड्यूल: Difference between revisions
No edit summary |
No edit summary |
||
Line 13: | Line 13: | ||
:[[Image:Projective-module-P.svg|120px]] | :[[Image:Projective-module-P.svg|120px]] | ||
:प्रक्षेपी की इस परिभाषा का लाभ यह है कि इसे मापांक श्रेणियों की तुलना में अधिक सामान्य [[ श्रेणी (गणित) |श्रेणी (गणित)]] में किया जा सकता है: हमें मुक्त वस्तु की धारणा की आवश्यकता नहीं है। यह उभय (श्रेणी सिद्धांत) भी हो सकता है, जिससे [[ इंजेक्टिव मॉड्यूल |एकत्र मापांक]] हो सकते हैं। भारोत्तोलन संपत्ति को प्रत्येक रूपवाद के रूप में भी उभय किया जा सकता है <math>P</math> से <math>M</math> कारक प्रत्येक एपिमोर्फिज्म के माध्यम से कारक <math>M</math> को इस प्रकार, परिभाषा के अनुसार, प्रक्षेपी मापांक | :प्रक्षेपी की इस परिभाषा का लाभ यह है कि इसे मापांक श्रेणियों की तुलना में अधिक सामान्य [[ श्रेणी (गणित) |श्रेणी (गणित)]] में किया जा सकता है: हमें मुक्त वस्तु की धारणा की आवश्यकता नहीं है। यह उभय (श्रेणी सिद्धांत) भी हो सकता है, जिससे [[ इंजेक्टिव मॉड्यूल |एकत्र मापांक]] हो सकते हैं। भारोत्तोलन संपत्ति को प्रत्येक रूपवाद के रूप में भी उभय किया जा सकता है <math>P</math> से <math>M</math> कारक प्रत्येक एपिमोर्फिज्म के माध्यम से कारक <math>M</math> को इस प्रकार, परिभाषा के अनुसार, प्रक्षेपी मापांक R-मापांक की श्रेणी में [[ प्रक्षेप्य वस्तु |प्रक्षेप्य वस्तुएं]] हैं। | ||
=== विभाजित-त्रुटिहीन अनुक्रम === | === विभाजित-त्रुटिहीन अनुक्रम === | ||
Line 28: | Line 28: | ||
=== मुक्त मापांक के प्रत्यक्ष सारांश === | === मुक्त मापांक के प्रत्यक्ष सारांश === | ||
मापांक पी प्रक्षेपी है यदि केवल कोई अन्य मापांक क्यू है जैसे कि पी और क्यू का [[ मॉड्यूल का प्रत्यक्ष योग |प्रत्यक्ष योग]] मुक्त मापांक है। | |||
=== | === शुद्धता === | ||
R-मापांक पी प्रक्षेपी है यदि केवल सह-संयोजक [[ फंक्टर |कारक]] {{nowrap|Hom(''P'', -): ''R''-'''Mod''' → '''Ab'''}} [[ सटीक फंक्टर | त्रुटिहीन]] [[ फंक्टर |कारक]] है, जहां {{nowrap|''R''-'''Mod'''}} बाएं R-मापांक की श्रेणी है और 'एबी' [[ एबेलियन समूहों की श्रेणी |एबेलियन समूहों की श्रेणी]] है।जब रिंग R [[ कम्यूटेटिव रिंग |कम्यूटेटिव रिंग]] है, तो 'एबी' को लाभप्रद रूप से प्रतिस्थापित किया जाता है {{nowrap|''R''-'''Mod'''}} पूर्ववर्ती लक्षण वर्णन में।यह फ़ंक्टर हमेशा सटीक फंक्शनर छोड़ दिया जाता है, लेकिन, जब P प्रक्षेपी होता है, तो यह भी सही त्रुटिहीन होता है।इसका अर्थ यह है कि पी प्रक्षेपी है यदि और केवल यदि यह फंक्शनर [[ उपदेशता |उपदेशता]] (विशेषण समरूपता) को संरक्षित करता है, या यदि यह परिमित[[ कोलिमिट | कोलिमिट्स]] को संरक्षित करता है। | |||
=== दोहरी आधार === | === दोहरी आधार === | ||
Line 40: | Line 40: | ||
प्रक्षेपी मापांक के निम्नलिखित गुणों को प्रक्षेपी मापांक उपरोक्त (समतुल्य) परिभाषाओं में से किसी से भी जल्दी से घटाया जाता है: | प्रक्षेपी मापांक के निम्नलिखित गुणों को प्रक्षेपी मापांक उपरोक्त (समतुल्य) परिभाषाओं में से किसी से भी जल्दी से घटाया जाता है: | ||
* प्रक्षेपी मापांक के प्रत्यक्ष योग और प्रत्यक्ष सारांश प्रक्षेपी हैं। | * प्रक्षेपी मापांक के प्रत्यक्ष योग और प्रत्यक्ष सारांश प्रक्षेपी हैं। | ||
* यदि {{nowrap|1=''e'' = ''e''<sup>2</sup>}} वलय | * यदि {{nowrap|1=''e'' = ''e''<sup>2</sup>}} वलय R में एक वर्गसम (वलय सिद्धांत) है, तब R,R पर एक प्रक्षेपी बाएं मापांक है। | ||
== अन्य मापांक-सिद्धांत गुणों से संबंध == | == अन्य मापांक-सिद्धांत गुणों से संबंध == | ||
मुक्त और[[ फ्लैट मॉड्यूल | समतल मापांक]] के लिए प्रक्षेपी मापांक का संबंध मापांक गुणों के निम्नलिखित | मुक्त और[[ फ्लैट मॉड्यूल | समतल मापांक]] के लिए प्रक्षेपी मापांक का संबंध मापांक गुणों के निम्नलिखित Rेख में प्रस्तुत किया गया है: | ||
[[Image:Module properties in commutative algebra.svg|कम्यूटेटिव बीजगणित में मॉड्यूल गुण]]बाएं-से-दाएं निहितार्थ किसी भी वलय पर सही हैं, चूंकि कुछ लेखक केवल एक [[ डोमेन (रिंग सिद्धांत) |डोमेन (वलय सिद्धांत)]] पर मरोड़-मुक्त मापांक को परिभाषित करते हैं। दाएं-टू-बाएं के निहितार्थ उन्हें लेबल करने वाले वलय पर सही हैं। ऐसे अन्य वलय हो सकते हैं जिन पर वे सही हैं।उदाहरण के लिए, स्थानीय वलय या पीआईडी लेबल किए गए निहितार्थ एक [[ क्षेत्र (गणित) |क्षेत्र (गणित)]] पर बहुपद वलयों के लिए भी सही है: यह क्विलन -सुस्लिन प्रमेय है। | [[Image:Module properties in commutative algebra.svg|कम्यूटेटिव बीजगणित में मॉड्यूल गुण]]बाएं-से-दाएं निहितार्थ किसी भी वलय पर सही हैं, चूंकि कुछ लेखक केवल एक [[ डोमेन (रिंग सिद्धांत) |डोमेन (वलय सिद्धांत)]] पर मरोड़-मुक्त मापांक को परिभाषित करते हैं। दाएं-टू-बाएं के निहितार्थ उन्हें लेबल करने वाले वलय पर सही हैं। ऐसे अन्य वलय हो सकते हैं जिन पर वे सही हैं।उदाहरण के लिए, स्थानीय वलय या पीआईडी लेबल किए गए निहितार्थ एक [[ क्षेत्र (गणित) |क्षेत्र (गणित)]] पर बहुपद वलयों के लिए भी सही है: यह क्विलन -सुस्लिन प्रमेय है। | ||
Line 50: | Line 50: | ||
=== प्रक्षेपी विरुद्ध मुक्त मापांक === | === प्रक्षेपी विरुद्ध मुक्त मापांक === | ||
कोई भी मुक्त मापांक प्रक्षेपी है।निम्नलिखित स्थितियों में यह विपरीत सत्य है: | कोई भी मुक्त मापांक प्रक्षेपी है।निम्नलिखित स्थितियों में यह विपरीत सत्य है: | ||
* यदि | * यदि R एक क्षेत्र या[[ तिरछा क्षेत्र ]]है: इस स्थिति में कोई भी मापांक मुक्त है। | ||
* यदि वलय | * यदि वलय R एक प्रमुख आदर्श डोमेन है।उदाहरण के लिए, यह लागू होता है {{nowrap|1=''R'' = '''Z'''}} (पूर्णांक), इसलिए एक एबेलियन समूह अनुमानित है यदि और केवल यदि यह एक [[ मुक्त एबेलियन समूह |मुक्त एबेलियन समूह]] है।कारण यह है कि एक प्रमुख आदर्श डोमेन पर एक मुक्त मापांक का कोई भी[[ सबल | सबल]] मुक्त है। | ||
* यदि वलय | * यदि वलय R एक स्थानीय वलय है।यह तथ्य स्थानीय रूप से मुक्त = प्रक्षेप्य के अंतर्ज्ञान का आधार है।यह तथ्य सूक्ष्म रूप से उत्पन्न मापांक प्रक्षेपी मापांक के लिए [[ गणितीय प्रमाण |गणितीय प्रमाण]] के लिए सरल है।सामान्यतः, यह होने के कारण है {{harvtxt|कपलान्स्की|1958}};प्रक्षेपी मापांक पर कप्लांस्की के प्रमेय को देखें। | ||
सामान्यतः, प्रक्षेपी मापांक को मुक्त होने की आवश्यकता नहीं है: | सामान्यतः, प्रक्षेपी मापांक को मुक्त होने की आवश्यकता नहीं है: | ||
* वलय के प्रत्यक्ष उत्पाद पर {{nowrap|''R'' × ''S''}} जहां | * वलय के प्रत्यक्ष उत्पाद पर {{nowrap|''R'' × ''S''}} जहां R और एस शून्य वलय हैं, दोनों {{nowrap|''R'' × 0}} और {{nowrap|0 × ''S''}} गैर-मुक्त प्रक्षेपी मापांक हैं। | ||
* [[ डेडेकिंड डोमेन |डेडेकिंड डोमेन]] पर एक गैर-प्रमुख आदर्श (वलय सिद्धांत) प्रायः प्रक्षेपी मापांक है जो मुक्त मापांक नहीं है। | * [[ डेडेकिंड डोमेन |डेडेकिंड डोमेन]] पर एक गैर-प्रमुख आदर्श (वलय सिद्धांत) प्रायः प्रक्षेपी मापांक है जो मुक्त मापांक नहीं है। | ||
* एक [[ मैट्रिक्स रिंग |आव्यूह]] [[ डेडेकिंड रिंग |वलय]] एम पर<sub>''n''</sub>( | * एक [[ मैट्रिक्स रिंग |आव्यूह]] [[ डेडेकिंड रिंग |वलय]] एम पर<sub>''n''</sub>(R), प्राकृतिक मापांक R<sup>& hairsp; n </sup> प्रक्षेपी है लेकिन मुक्त नहीं है।{{dubious|reason=Needs qualification, e.g., 'for n>1': n=1 is a clear counterexample.|date=May 2022}} सामान्यतः, किसी भी [[ सेमीसिम्पल रिंग |अर्ध-सरल]] [[ डेडेकिंड रिंग |वलय]] पर, प्रत्येक मापांक प्रक्षेपी होता है, लेकिन[[ शून्य आदर्श ]]और वलय ही एकमात्र मुक्त आदर्श हैं। | ||
मुक्त और प्रक्षेप्य मापांक के बीच का अंतर, एक अर्थ में, बीजगणितीय K-सिद्धांत द्वारा मापा जाता है। बीजगणितीय K-सिद्धांत समूह (गणित) k<sub>0</sub>( | मुक्त और प्रक्षेप्य मापांक के बीच का अंतर, एक अर्थ में, बीजगणितीय K-सिद्धांत द्वारा मापा जाता है। बीजगणितीय K-सिद्धांत समूह (गणित) k<sub>0</sub>(R);नीचे देखें। | ||
=== प्रक्षेपी विरुद्ध समतल मापांक === | === प्रक्षेपी विरुद्ध समतल मापांक === | ||
Line 73: | Line 73: | ||
== प्रक्षेपी मापांक की श्रेणी == | == प्रक्षेपी मापांक की श्रेणी == | ||
प्रक्षेपी मापांक के सबमॉड्यूल्स को प्रक्षेपी होने की आवश्यकता नहीं है; वलय | प्रक्षेपी मापांक के सबमॉड्यूल्स को प्रक्षेपी होने की आवश्यकता नहीं है; वलय R जिसके लिए प्रक्षेपी बाएं मापांक के प्रत्येक सबमॉड्यूल के प्रक्षेपी होते है, उसे वंशानुगत वलय कहा जाता है। | ||
प्रक्षेपी मापांक के [[ भागफल मॉड्यूल |भागफल मापांक]] को भी प्रक्षेपी होने की आवश्यकता नहीं है, उदाहरण के लिए 'z'/n 'z' का एक भागफल है, लेकिन मरोड़-मुक्त मापांक नहीं है। इसलिए समतल नहीं है, और इसलिए प्रक्षेपी नहीं है। | प्रक्षेपी मापांक के [[ भागफल मॉड्यूल |भागफल मापांक]] को भी प्रक्षेपी होने की आवश्यकता नहीं है, उदाहरण के लिए 'z'/n 'z' का एक भागफल है, लेकिन मरोड़-मुक्त मापांक नहीं है। इसलिए समतल नहीं है, और इसलिए प्रक्षेपी नहीं है। | ||
Line 98: | Line 98: | ||
चूंकि, एक [[ नथियन रिंग |नथियन वलय]] पर सूक्ष्म रूप से उत्पन्न मापांक के उदाहरण हैं जो स्थानीय रूप से स्वतंत्र हैं और अनुमानित नहीं हैं।उदाहरण के लिए, | चूंकि, एक [[ नथियन रिंग |नथियन वलय]] पर सूक्ष्म रूप से उत्पन्न मापांक के उदाहरण हैं जो स्थानीय रूप से स्वतंत्र हैं और अनुमानित नहीं हैं।उदाहरण के लिए, | ||
एक [[ बूलियन रिंग |बूलियन वलय]] में दो तत्वों के क्षेत्र 'f'<sub>2</sub>, के लिए इसके सभी स्थानीयकरण समरूपी होते हैं, इसलिए बूलियन वलय पर कोई भी मापांक स्थानीय रूप से मुक्त होता है, किन्तु | एक [[ बूलियन रिंग |बूलियन वलय]] में दो तत्वों के क्षेत्र 'f'<sub>2</sub>, के लिए इसके सभी स्थानीयकरण समरूपी होते हैं, इसलिए बूलियन वलय पर कोई भी मापांक स्थानीय रूप से मुक्त होता है, किन्तु | ||
बूलियन के वलयों पर कुछ गैर-प्रक्षेप्य मापांक होते हैं।एक उदाहरण | बूलियन के वलयों पर कुछ गैर-प्रक्षेप्य मापांक होते हैं।एक उदाहरण R/आई है जहां | ||
R 'एफ' की कई प्रतियों का एक प्रत्यक्ष उत्पाद है<sub>2</sub> और आई R के अंदर 'एफ' की कई प्रतियों का प्रत्यक्ष योग है<sub>2</sub>। | |||
R-मापांक R/आई स्थानीय रूप से मुक्त है क्योंकि R बूलियन है (और यह R-मापांक के रूप में भी सूक्ष्म रूप से उत्पन्न होता है, आकार 1 के एक फैले हुए सेट के साथ), लेकिन R/आई प्रक्षेपी नहीं है क्योंकि | |||
आई एक प्रमुख आदर्श नहीं है।(यदि एक भागफल मापांक r/i, किसी भी क्रमविनिमेय रिंग R और आदर्श I के लिए, एक अनुमानित R-मापांक है तब आई प्रमुख है।) | आई एक प्रमुख आदर्श नहीं है।(यदि एक भागफल मापांक r/i, किसी भी क्रमविनिमेय रिंग R और आदर्श I के लिए, एक अनुमानित R-मापांक है तब आई प्रमुख है।) | ||
चूंकि, यह सच है कि क्रमविनिमेय वलय | चूंकि, यह सच है कि क्रमविनिमेय वलय R (विशेष रूप से यदि एम एक सूक्ष्म रूप से उत्पन्न R-मापांक है और R नूथेरियन है) पर[[ बारीक रूप से प्रस्तुत मॉड्यूल | सूक्ष्म रूप से प्रस्तुत मापांक]] के लिए, निम्नलिखित समतुल्य हैं।<ref>Exercises 4.11 and 4.12 and Corollary 6.6 of David Eisenbud, ''Commutative Algebra with a view towards Algebraic Geometry'', GTM 150, Springer-Verlag, 1995. Also, {{harvnb|Milne|1980}}</ref> | ||
#<math>M</math> सपाट है। | #<math>M</math> सपाट है। | ||
#<math>M</math> प्रक्षेपी है। | #<math>M</math> प्रक्षेपी है। | ||
#<math>M_\mathfrak{m}</math> इस रूप में स्वतंत्र है <math>R_\mathfrak{m}</math>प्रत्येक [[ अधिकतम आदर्श |अधिकतम आदर्श]] के लिए -मापांक <math>\mathfrak{m}</math> | #<math>M_\mathfrak{m}</math> इस रूप में स्वतंत्र है <math>R_\mathfrak{m}</math>प्रत्येक [[ अधिकतम आदर्श |अधिकतम आदर्श]] के लिए -मापांक <math>\mathfrak{m}</math> R। | ||
#<math>M_\mathfrak{p}</math> इस रूप में स्वतंत्र है <math>R_\mathfrak{p}</math>-मिड्यूल हर प्राइम आदर्श के लिए <math>\mathfrak{p}</math> | #<math>M_\mathfrak{p}</math> इस रूप में स्वतंत्र है <math>R_\mathfrak{p}</math>-मिड्यूल हर प्राइम आदर्श के लिए <math>\mathfrak{p}</math> R। | ||
#वहां है <math>f_1,\ldots,f_n \in R</math> यूनिट आदर्श को उत्पन्न करना जैसे कि <math>M[f_i^{-1}]</math> के रूप में स्वतंत्र है <math>R[f_i^{-1}]</math>प्रत्येक के लिए -मापांक। | #वहां है <math>f_1,\ldots,f_n \in R</math> यूनिट आदर्श को उत्पन्न करना जैसे कि <math>M[f_i^{-1}]</math> के रूप में स्वतंत्र है <math>R[f_i^{-1}]</math>प्रत्येक के लिए -मापांक। | ||
#<math>\widetilde{M}</math> एक स्थानीय रूप से मुक्त शीफ है <math>\operatorname{Spec}R</math> (जहां <math>\widetilde{M}</math> एक मापांक एम से जुड़ा शीफ है) | #<math>\widetilde{M}</math> एक स्थानीय रूप से मुक्त शीफ है <math>\operatorname{Spec}R</math> (जहां <math>\widetilde{M}</math> एक मापांक एम से जुड़ा शीफ है) | ||
इसके अतिरिक्त, यदि | इसके अतिरिक्त, यदि R एक नॉटेथियन [[ अभिन्न डोमेन |अभिन्न डोमेन]] है, तो, नाकायमा के लेम्मा द्वारा,ये स्थितियाँ समतुल्य हैं | ||
*का आयाम (सदिश स्थान) <math>k(\mathfrak{p})</math>-[[ सदिश स्थल ]] <math>M \otimes_R k(\mathfrak{p})</math> सभी प्रमुख आदर्शों के लिए समान है <math>\mathfrak{p}</math> | *का आयाम (सदिश स्थान) <math>k(\mathfrak{p})</math>-[[ सदिश स्थल ]] <math>M \otimes_R k(\mathfrak{p})</math> सभी प्रमुख आदर्शों के लिए समान है <math>\mathfrak{p}</math> R, जहां <math>k(\mathfrak{p})</math> पर अवशेष क्षेत्र <math>\mathfrak{p}</math>.<ref>That is, <math>k(\mathfrak{p})=R_\mathfrak{p}/\mathfrak{p}R_\mathfrak{p}</math> is the residue field of the local ring <math>R_\mathfrak{p}</math>.</ref>है कहने का अर्थ यह है कि, एम में निरंतर श्रेणी है (जैसा कि नीचे परिभाषित किया गया है)। | ||
माना A एक क्रमविनिमेय वलय है।यदि B वलय पर (संभवतः गैर-क्रमविनिमेय) ए-बीजगणित है, जो एक [[ सबरिंग |सबरिंग]] के रूप में एक सूक्ष्म रूप से उत्पन्न प्रक्षेप्य ए-मापांक है, तो ए बी का प्रत्यक्ष कारक है।।<ref>{{harvnb|Bourbaki, Algèbre commutative|1989|loc=Ch II, §5, Exercise 4}}</ref> | माना A एक क्रमविनिमेय वलय है।यदि B वलय पर (संभवतः गैर-क्रमविनिमेय) ए-बीजगणित है, जो एक [[ सबरिंग |सबरिंग]] के रूप में एक सूक्ष्म रूप से उत्पन्न प्रक्षेप्य ए-मापांक है, तो ए बी का प्रत्यक्ष कारक है।।<ref>{{harvnb|Bourbaki, Algèbre commutative|1989|loc=Ch II, §5, Exercise 4}}</ref> | ||
Line 118: | Line 118: | ||
=== श्रेणी === | === श्रेणी === | ||
क्रमविनिमेय वलय | क्रमविनिमेय वलय R और एक्स पर एक सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक हो। R वलय का स्पेक्ट्रम हो। एक प्रमुख आदर्श पर पी की श्रेणी <math>\mathfrak{p}</math> एक्स में मुक्त की श्रेणी <math>R_{\mathfrak{p}}</math>-मापांक <math>P_{\mathfrak{p}}</math> है।यह X पर एक स्थानीय रूप से निरंतर कार्य है। विशेष रूप से, यदि X जुड़ा हुआ है (अर्थात यदि R में 0 और 1 से कोई अन्य वर्गसम नहीं है), तो P में निरंतर श्रेणी है। | ||
== सदिश बंडलों और स्थानीय रूप से मुक्त मापांक == | == सदिश बंडलों और स्थानीय रूप से मुक्त मापांक == | ||
Line 130: | Line 130: | ||
इस समस्या को पहले सेरे द्वारा K A क्षेत्र (और मापांक को सूक्ष्म रूप से उत्पन्न किया जा रहा है) के साथ उठाया गया था।बास ने इसे गैर-फिनती उत्पन्न मापांक के लिए बसाया,<ref>{{cite journal|title=Big projective modules are free|last=Bass|first=Hyman|journal=Illinois Journal of Mathematics|volume=7|number=1|year=1963|publisher=Duke University Press|doi=10.1215/ijm/1255637479|at=Corollary 4.5}}</ref> और क्विलन और सुज़लिन ने स्वतंत्र रूप से और साथ ही साथ सूक्ष्म रूप से उत्पन्न मापांक की स्थिति का इलाज किया। | इस समस्या को पहले सेरे द्वारा K A क्षेत्र (और मापांक को सूक्ष्म रूप से उत्पन्न किया जा रहा है) के साथ उठाया गया था।बास ने इसे गैर-फिनती उत्पन्न मापांक के लिए बसाया,<ref>{{cite journal|title=Big projective modules are free|last=Bass|first=Hyman|journal=Illinois Journal of Mathematics|volume=7|number=1|year=1963|publisher=Duke University Press|doi=10.1215/ijm/1255637479|at=Corollary 4.5}}</ref> और क्विलन और सुज़लिन ने स्वतंत्र रूप से और साथ ही साथ सूक्ष्म रूप से उत्पन्न मापांक की स्थिति का इलाज किया। | ||
चूंकि एक प्रमुख आदर्श डोमेन पर प्रत्येक प्रक्षेपी मापांक स्वतंत्र है, कोई भी यह सवाल पूछ सकता है: यदि | चूंकि एक प्रमुख आदर्श डोमेन पर प्रत्येक प्रक्षेपी मापांक स्वतंत्र है, कोई भी यह सवाल पूछ सकता है: यदि R एक क्रमविनिमेय वलय है जैसे कि प्रत्येक (सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R-मापांक स्वतंत्र है, तो प्रत्येक(सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R [एक्स] है।-मापांक मुक्त?जवाब न है।वक्र के स्थानीय वलय के बराबर R के साथ एक[[ प्रतिवाद | प्रतिवाद]] होता है {{nowrap|1=''y''<sup>2</sup> = ''x''<sup>3</sup>}} मूल में।इस प्रकार क्विलन-सुस्लिन प्रमेय कभी भी चर की संख्या पर एक साधारण गणितीय प्रेरण द्वारा सिद्ध नहीं किया जा सकता है। | ||
== यह भी देखें == | == यह भी देखें == |
Revision as of 16:56, 23 January 2023
गणित में, विशेष रूप से बीजगणित में, प्रक्षेपी मापांक का वर्ग (समूह सिद्धांत) मुक्त मापांक के कुछ मुख्य गुणों का अध्यन करते हुए, वलय (गणित) के साथ मुक्त मापांक (अर्थात, मापांक के आधार पर) के वर्ग को बढ़ाता है। इन मापांक के विभिन्न समकक्ष लक्षण नीचे प्रदर्शित हैं।
प्रत्येक मुक्त मापांक प्रक्षेपी मापांक है, लेकिन संवाद के आधार पर कुछ वलयों को धारण करने में विफल है, जैसे कि डेडेकिंड वलय जो प्रमुख आदर्श डोमेन नहीं हैं। चूंकि, प्रत्येक प्रक्षेपी मापांक मुक्त मापांक है यदि वलय प्रमुख आदर्श डोमेन है जैसे कि पूर्णांक, या बहुपद वलय (यह क्विलन -सुस्लिन प्रमेय है)।
प्रक्षेपी मापांक को प्रथम बार 1956 में हेनरी कार्टन और सैमुअल एलेनबर्ग द्वारा प्रभावशाली पुस्तक 'समरूप बीजगणित' 'में प्रस्तुत किया गया था।
परिभाषाएँ
उद्यत संपत्ति
सामान्य श्रेणी की सैद्धांतिक परिभाषा उद्यत की संपत्ति के संदर्भ में है जो मुक्त से प्रक्षेप्य मापांक तक ले जाती है: मापांक P प्रक्षेपी है यदि केवल प्रत्येक विशेषण मापांक समरूपता के लिए f : N ↠ M और प्रत्येक मापांक समरूपता g : P → M, मापांक समरूपता h : P → N उपस्थित है जैसे कि f h = g (हमें उद्यत समरूपता एच की आवश्यकता नहीं है; यह सार्वभौमिक संपत्ति नहीं है।)
- प्रक्षेपी की इस परिभाषा का लाभ यह है कि इसे मापांक श्रेणियों की तुलना में अधिक सामान्य श्रेणी (गणित) में किया जा सकता है: हमें मुक्त वस्तु की धारणा की आवश्यकता नहीं है। यह उभय (श्रेणी सिद्धांत) भी हो सकता है, जिससे एकत्र मापांक हो सकते हैं। भारोत्तोलन संपत्ति को प्रत्येक रूपवाद के रूप में भी उभय किया जा सकता है से कारक प्रत्येक एपिमोर्फिज्म के माध्यम से कारक को इस प्रकार, परिभाषा के अनुसार, प्रक्षेपी मापांक R-मापांक की श्रेणी में प्रक्षेप्य वस्तुएं हैं।
विभाजित-त्रुटिहीन अनुक्रम
मापांक पी प्रक्षेपी है यदि केवल मापांक प्रपत्र के प्रत्येक छोटे त्रुटिहीन अनुक्रम
विभाजित त्रुटिहीन अनुक्रम है। अर्थात, प्रत्येक विशेषण मापांक समरूपता के लिए f : B ↠ P खंड मानचित्र उपस्थित है, अर्थात, मापांक समरूपतावाद h : P → B ऐसा है कि fh = idP; समान रूप से, उस स्थिति में, h(P) B का प्रत्यक्ष योग है, h, P से h(P) तक समरूपता है और h f सारांश h(P), पर प्रक्षेपण है।
मुक्त मापांक के प्रत्यक्ष सारांश
मापांक पी प्रक्षेपी है यदि केवल कोई अन्य मापांक क्यू है जैसे कि पी और क्यू का प्रत्यक्ष योग मुक्त मापांक है।
शुद्धता
R-मापांक पी प्रक्षेपी है यदि केवल सह-संयोजक कारक Hom(P, -): R-Mod → Ab त्रुटिहीन कारक है, जहां R-Mod बाएं R-मापांक की श्रेणी है और 'एबी' एबेलियन समूहों की श्रेणी है।जब रिंग R कम्यूटेटिव रिंग है, तो 'एबी' को लाभप्रद रूप से प्रतिस्थापित किया जाता है R-Mod पूर्ववर्ती लक्षण वर्णन में।यह फ़ंक्टर हमेशा सटीक फंक्शनर छोड़ दिया जाता है, लेकिन, जब P प्रक्षेपी होता है, तो यह भी सही त्रुटिहीन होता है।इसका अर्थ यह है कि पी प्रक्षेपी है यदि और केवल यदि यह फंक्शनर उपदेशता (विशेषण समरूपता) को संरक्षित करता है, या यदि यह परिमित कोलिमिट्स को संरक्षित करता है।
दोहरी आधार
एक मापांक पी प्रक्षेपी है यदि और केवल यदि कोई समुच्चय उपस्थित है और एक समुच्चय जैसे कि पी, एफ में प्रत्येक एक्स के लिएi (x) केवल कई के लिए अशून्य है, और ।
प्राथमिक उदाहरण और गुण
प्रक्षेपी मापांक के निम्नलिखित गुणों को प्रक्षेपी मापांक उपरोक्त (समतुल्य) परिभाषाओं में से किसी से भी जल्दी से घटाया जाता है:
- प्रक्षेपी मापांक के प्रत्यक्ष योग और प्रत्यक्ष सारांश प्रक्षेपी हैं।
- यदि e = e2 वलय R में एक वर्गसम (वलय सिद्धांत) है, तब R,R पर एक प्रक्षेपी बाएं मापांक है।
अन्य मापांक-सिद्धांत गुणों से संबंध
मुक्त और समतल मापांक के लिए प्रक्षेपी मापांक का संबंध मापांक गुणों के निम्नलिखित Rेख में प्रस्तुत किया गया है:
बाएं-से-दाएं निहितार्थ किसी भी वलय पर सही हैं, चूंकि कुछ लेखक केवल एक डोमेन (वलय सिद्धांत) पर मरोड़-मुक्त मापांक को परिभाषित करते हैं। दाएं-टू-बाएं के निहितार्थ उन्हें लेबल करने वाले वलय पर सही हैं। ऐसे अन्य वलय हो सकते हैं जिन पर वे सही हैं।उदाहरण के लिए, स्थानीय वलय या पीआईडी लेबल किए गए निहितार्थ एक क्षेत्र (गणित) पर बहुपद वलयों के लिए भी सही है: यह क्विलन -सुस्लिन प्रमेय है।
प्रक्षेपी विरुद्ध मुक्त मापांक
कोई भी मुक्त मापांक प्रक्षेपी है।निम्नलिखित स्थितियों में यह विपरीत सत्य है:
- यदि R एक क्षेत्र यातिरछा क्षेत्र है: इस स्थिति में कोई भी मापांक मुक्त है।
- यदि वलय R एक प्रमुख आदर्श डोमेन है।उदाहरण के लिए, यह लागू होता है R = Z (पूर्णांक), इसलिए एक एबेलियन समूह अनुमानित है यदि और केवल यदि यह एक मुक्त एबेलियन समूह है।कारण यह है कि एक प्रमुख आदर्श डोमेन पर एक मुक्त मापांक का कोई भी सबल मुक्त है।
- यदि वलय R एक स्थानीय वलय है।यह तथ्य स्थानीय रूप से मुक्त = प्रक्षेप्य के अंतर्ज्ञान का आधार है।यह तथ्य सूक्ष्म रूप से उत्पन्न मापांक प्रक्षेपी मापांक के लिए गणितीय प्रमाण के लिए सरल है।सामान्यतः, यह होने के कारण है कपलान्स्की (1958) ;प्रक्षेपी मापांक पर कप्लांस्की के प्रमेय को देखें।
सामान्यतः, प्रक्षेपी मापांक को मुक्त होने की आवश्यकता नहीं है:
- वलय के प्रत्यक्ष उत्पाद पर R × S जहां R और एस शून्य वलय हैं, दोनों R × 0 और 0 × S गैर-मुक्त प्रक्षेपी मापांक हैं।
- डेडेकिंड डोमेन पर एक गैर-प्रमुख आदर्श (वलय सिद्धांत) प्रायः प्रक्षेपी मापांक है जो मुक्त मापांक नहीं है।
- एक आव्यूह वलय एम परn(R), प्राकृतिक मापांक R& hairsp; n प्रक्षेपी है लेकिन मुक्त नहीं है।[dubious ] सामान्यतः, किसी भी अर्ध-सरल वलय पर, प्रत्येक मापांक प्रक्षेपी होता है, लेकिनशून्य आदर्श और वलय ही एकमात्र मुक्त आदर्श हैं।
मुक्त और प्रक्षेप्य मापांक के बीच का अंतर, एक अर्थ में, बीजगणितीय K-सिद्धांत द्वारा मापा जाता है। बीजगणितीय K-सिद्धांत समूह (गणित) k0(R);नीचे देखें।
प्रक्षेपी विरुद्ध समतल मापांक
प्रत्येक प्रक्षेपी मापांक समतल मापांक है।[1] यह सामान्य रूप से सच नहीं है: एबेलियन समूह क्यू एक जेड-मापांक है जो समतल है, लेकिन अनुमानित नहीं है।[2] इसके विपरीत, एक सूक्ष्म संबंधित मापांक समतल मापांक प्रक्षेपी है।[3]
गोवरोव (1965) और लाजार्ड (1969) यह सिद्ध किया कि मापांक एम समतल है यदि और केवल यदि यह सूक्ष्म रूप से उत्पन्न मापांक की एक सीधी सीमा है।
सामान्यतः, समतलता और प्रक्षेप्य के बीच त्रुटिहीन संबंध रेनॉड & ग्रुसन (1971) द्वारा स्थापित किया गया था (यह सभी देखें ड्रिनफेल्ड (2006) और ब्रौनलिंग, ग्रोचेनिग & वोल्फसन (2016) ) जिन्होंने दिखाया कि एक मापांक एम प्रक्षेपी है यदि और केवल यदि यह निम्नलिखित शर्तों को संतुष्ट करता है:
- एम समतल है,
- एम गणनात्मक रूप से उत्पन्न मापांक का प्रत्यक्ष योग है,
- एम एक निश्चित मित्तग-लेफलर प्रकार की स्थिति को संतुष्ट करता है।
इस लक्षण वर्णन का उपयोग यह दिखाने के लिए किया जा सकता है कि यदि क्रमविनिमेय वलयों का एक ईमानदारी से समतल रूपांतरण मानचित्र है और एक -मापांक, तब यदि और केवल यदि प्रक्षेपी है।[4] दूसरे शब्दों में, प्रक्षेपी होने की संपत्ति ईमानदारी से समतल वंश को संतुष्ट करती है।
प्रक्षेपी मापांक की श्रेणी
प्रक्षेपी मापांक के सबमॉड्यूल्स को प्रक्षेपी होने की आवश्यकता नहीं है; वलय R जिसके लिए प्रक्षेपी बाएं मापांक के प्रत्येक सबमॉड्यूल के प्रक्षेपी होते है, उसे वंशानुगत वलय कहा जाता है।
प्रक्षेपी मापांक के भागफल मापांक को भी प्रक्षेपी होने की आवश्यकता नहीं है, उदाहरण के लिए 'z'/n 'z' का एक भागफल है, लेकिन मरोड़-मुक्त मापांक नहीं है। इसलिए समतल नहीं है, और इसलिए प्रक्षेपी नहीं है।
वलय पर सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक की श्रेणी एक त्रुटिहीन श्रेणी है।(बीजगणितीय के-सिद्धांत भी देखें)।
प्रक्षेपी संकल्प
मापांक एम,को देखते हुए, एम का एक 'प्रक्षेपी संकल्प (बीजगणित)' मापांक का एक अनंत त्रुटिहीन अनुक्रम है
- ··· → Pn → ··· → P2 → P1 → P0 → M → 0,
सभी पीi; प्रक्षेपी के साथ।प्रत्येक मापांक में एक अनुमानित संकल्प होता है।वास्तव में एक मुक्त संकल्प (मुक्त मापांक द्वारा संकल्प) उपस्थित है। प्रक्षेपी मापांक के त्रुटिहीन अनुक्रम को कभी -कभीP(M) → M → 0 या P• → M → 0 के रूप में संक्षिप्त किया जा सकता है। एक नियमित अनुक्रम के जटिल परिसर द्वारा प्रक्षेपी संकल्प का एक उत्कृष्ट उदाहरण दिया गया है, जो अनुक्रम द्वारा उत्पन्न आदर्श (वलय सिद्धांत) का एक मुक्त संकल्प है।
एक परिमित संकल्प की लंबाई सूचकांक n है जैसे कि पीn शून्य मापांक है और Pi = 0 के लिए i n से अधिक है।यदि M एक परिमित प्रक्षेपी संकल्प को स्वीकार करता है, तो M के सभी परिमित प्रक्षेपी संकल्प के बीच न्यूनतम लंबाई को इसका 'प्रक्षेपी आयाम' कहा जाता है और पीडी (एम) को निरूपित किया जाता है।यदि M एक परिमित प्रक्षेपी संकल्प को स्वीकार नहीं करता है, तब परिपाटी द्वारा प्रक्षेप्य आयाम को अनंत कहा जाता है।एक उदाहरण के रूप में, एक मापांक एम पर विचार करें जैसे कि pd(M) = 0।इस स्थिति में, अनुक्रम की त्रुटिहीन 0 → पी0 → एम → 0 इंगित करता है कि केंद्र में तीर एक समरूपी है, और इसलिए एम स्वयं प्रक्षेपी है।
क्रमविनिमेय वलयों पर प्रक्षेपी मापांक
क्रमविनिमेय वलयों पर प्रक्षेपी मापांक में अच्छे गुण होते हैं।
प्रक्षेपी मापांक का स्थानीयकरण (क्रमविनिमेय बीजगणित) स्थानीयकृत वलय पर अनुमानित मापांक है।
स्थानीय वलय पर प्रक्षेपी मापांक निःशुल्क है।इस प्रकार एक प्रक्षेपी मापांक स्थानीय रूप से मुक्त है (इस अर्थ में कि प्रत्येक प्रमुख आदर्श पर इसका स्थानीयकरण वलय के संबंधित स्थानीयकरण पर मुक्त है)।
नोथेरियन वलय पर सूक्ष्म रूप से उत्पन्न मापांक के लिए यह सच है: क्रमविनिमेय नोथेरियन वलय पर सूक्ष्म रूप से उत्पन्न मापांक स्थानीय रूप से मुक्त है यदि और केवल यदि यह अनुमानित है।
चूंकि, एक नथियन वलय पर सूक्ष्म रूप से उत्पन्न मापांक के उदाहरण हैं जो स्थानीय रूप से स्वतंत्र हैं और अनुमानित नहीं हैं।उदाहरण के लिए, एक बूलियन वलय में दो तत्वों के क्षेत्र 'f'2, के लिए इसके सभी स्थानीयकरण समरूपी होते हैं, इसलिए बूलियन वलय पर कोई भी मापांक स्थानीय रूप से मुक्त होता है, किन्तु बूलियन के वलयों पर कुछ गैर-प्रक्षेप्य मापांक होते हैं।एक उदाहरण R/आई है जहां R 'एफ' की कई प्रतियों का एक प्रत्यक्ष उत्पाद है2 और आई R के अंदर 'एफ' की कई प्रतियों का प्रत्यक्ष योग है2। R-मापांक R/आई स्थानीय रूप से मुक्त है क्योंकि R बूलियन है (और यह R-मापांक के रूप में भी सूक्ष्म रूप से उत्पन्न होता है, आकार 1 के एक फैले हुए सेट के साथ), लेकिन R/आई प्रक्षेपी नहीं है क्योंकि आई एक प्रमुख आदर्श नहीं है।(यदि एक भागफल मापांक r/i, किसी भी क्रमविनिमेय रिंग R और आदर्श I के लिए, एक अनुमानित R-मापांक है तब आई प्रमुख है।)
चूंकि, यह सच है कि क्रमविनिमेय वलय R (विशेष रूप से यदि एम एक सूक्ष्म रूप से उत्पन्न R-मापांक है और R नूथेरियन है) पर सूक्ष्म रूप से प्रस्तुत मापांक के लिए, निम्नलिखित समतुल्य हैं।[5]
- सपाट है।
- प्रक्षेपी है।
- इस रूप में स्वतंत्र है प्रत्येक अधिकतम आदर्श के लिए -मापांक R।
- इस रूप में स्वतंत्र है -मिड्यूल हर प्राइम आदर्श के लिए R।
- वहां है यूनिट आदर्श को उत्पन्न करना जैसे कि के रूप में स्वतंत्र है प्रत्येक के लिए -मापांक।
- एक स्थानीय रूप से मुक्त शीफ है (जहां एक मापांक एम से जुड़ा शीफ है)
इसके अतिरिक्त, यदि R एक नॉटेथियन अभिन्न डोमेन है, तो, नाकायमा के लेम्मा द्वारा,ये स्थितियाँ समतुल्य हैं
- का आयाम (सदिश स्थान) -सदिश स्थल सभी प्रमुख आदर्शों के लिए समान है R, जहां पर अवशेष क्षेत्र .[6]है कहने का अर्थ यह है कि, एम में निरंतर श्रेणी है (जैसा कि नीचे परिभाषित किया गया है)।
माना A एक क्रमविनिमेय वलय है।यदि B वलय पर (संभवतः गैर-क्रमविनिमेय) ए-बीजगणित है, जो एक सबरिंग के रूप में एक सूक्ष्म रूप से उत्पन्न प्रक्षेप्य ए-मापांक है, तो ए बी का प्रत्यक्ष कारक है।।[7]
श्रेणी
क्रमविनिमेय वलय R और एक्स पर एक सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक हो। R वलय का स्पेक्ट्रम हो। एक प्रमुख आदर्श पर पी की श्रेणी एक्स में मुक्त की श्रेणी -मापांक है।यह X पर एक स्थानीय रूप से निरंतर कार्य है। विशेष रूप से, यदि X जुड़ा हुआ है (अर्थात यदि R में 0 और 1 से कोई अन्य वर्गसम नहीं है), तो P में निरंतर श्रेणी है।
सदिश बंडलों और स्थानीय रूप से मुक्त मापांक
This section needs additional citations for verification. (July 2008) (Learn how and when to remove this template message) |
सिद्धांत की मूल प्रेरणा यह है कि प्रक्षेपी मापांक (कम से कम कुछ क्रमविनिमेय वलयों से अधिक) सदिश बंडलों के अनुरूप हैं।इसे कॉम्पैक्ट स्पेस हौसडॉर्फ स्पेस पर रिंग ऑफ सतत कार्य (टोपोलॉजी) रिंग ऑफ़ कंटीन्यूअस फंक्शन (टोपोलॉजी) के लिए सटीक बनाया जा सकता है, साथ ही साथ एक गुना पर चिकनी कार्यों की अंगूठी के लिए (सेर्रे-वैन प्रमेय देखें जो एक सूक्ष्म रूप से उत्पन्न प्रक्षेप्य कहता हैएक कॉम्पैक्ट विविध पर चिकनी कार्यों के स्थान पर मापांक एक चिकनी सदिश बंडल के चिकनी वर्गों का स्थान है)।
सदिश बंडल स्थानीय रूप से मुक्त हैं।यदि स्थानीयकरण की कुछ धारणा है, जिसे मापांक पर ले जाया जा सकता है, जैसे कि एक वलय के सामान्य स्थानीयकरण, कोई स्थानीय रूप से मुक्त मापांक को परिभाषित कर सकता है, और प्रक्षेप्य मापांक तब सामान्यतः स्थानीय रूप से मुक्त मापांक के साथ मेल खाते हैं।
एक बहुपद वलय पर प्रक्षेपी मापांक
क्विलन -सुस्लिन प्रमेय, जो सेरे की समस्या को हल करता है, एक और गहरा परिणाम है: यदि k एक क्षेत्र है, या सामान्यतः एक प्रमुख आदर्श डोमेन है, और R = K[X1,...,Xn] K के ऊपर एक बहुपद वलय है, तब R पर प्रत्येक प्रक्षेपी मापांक मुक्त है। इस समस्या को पहले सेरे द्वारा K A क्षेत्र (और मापांक को सूक्ष्म रूप से उत्पन्न किया जा रहा है) के साथ उठाया गया था।बास ने इसे गैर-फिनती उत्पन्न मापांक के लिए बसाया,[8] और क्विलन और सुज़लिन ने स्वतंत्र रूप से और साथ ही साथ सूक्ष्म रूप से उत्पन्न मापांक की स्थिति का इलाज किया।
चूंकि एक प्रमुख आदर्श डोमेन पर प्रत्येक प्रक्षेपी मापांक स्वतंत्र है, कोई भी यह सवाल पूछ सकता है: यदि R एक क्रमविनिमेय वलय है जैसे कि प्रत्येक (सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R-मापांक स्वतंत्र है, तो प्रत्येक(सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R [एक्स] है।-मापांक मुक्त?जवाब न है।वक्र के स्थानीय वलय के बराबर R के साथ एक प्रतिवाद होता है y2 = x3 मूल में।इस प्रकार क्विलन-सुस्लिन प्रमेय कभी भी चर की संख्या पर एक साधारण गणितीय प्रेरण द्वारा सिद्ध नहीं किया जा सकता है।
यह भी देखें
- प्रोजेक्टिव कवर
- शानुएल का लेम्मा
- बास रद्दीकरण प्रमेय
- मॉड्यूलर प्रतिनिधित्व सिद्धांत
टिप्पणियाँ
- ↑ Hazewinkel; et al. (2004). "Corollary 5.4.5". Algebras, Rings and Modules, Part 1. p. 131.
- ↑ Hazewinkel; et al. (2004). "Remark after Corollary 5.4.5". Algebras, Rings and Modules, Part 1. pp. 131–132.
- ↑ Cohn 2003, Corollary 4.6.4
- ↑ "Section 10.95 (05A4): Descending properties of modules—The Stacks project". stacks.math.columbia.edu (in English). Retrieved 2022-11-03.
- ↑ Exercises 4.11 and 4.12 and Corollary 6.6 of David Eisenbud, Commutative Algebra with a view towards Algebraic Geometry, GTM 150, Springer-Verlag, 1995. Also, Milne 1980
- ↑ That is, is the residue field of the local ring .
- ↑ Bourbaki, Algèbre commutative 1989, Ch II, §5, Exercise 4
- ↑ Bass, Hyman (1963). "Big projective modules are free". Illinois Journal of Mathematics. Duke University Press. 7 (1). Corollary 4.5. doi:10.1215/ijm/1255637479.
संदर्भ
- William A. Adkins; Steven H. Weintraub (1992). Algebra: An Approach via Module Theory. Springer. Sec 3.5.
- Iain T. Adamson (1972). Elementary rings and modules. University Mathematical Texts. Oliver and Boyd. ISBN 0-05-002192-3.
- Nicolas Bourbaki, Commutative algebra, Ch. II, §5
- Braunling, Oliver; Groechenig, Michael; Wolfson, Jesse (2016), "Tate objects in exact categories", Mosc. Math. J., 16 (3), arXiv:1402.4969v4, doi:10.17323/1609-4514-2016-16-3-433-504, MR 3510209, S2CID 118374422
- Paul M. Cohn (2003). Further algebra and applications. Springer. ISBN 1-85233-667-6.
- Drinfeld, Vladimir (2006), "Infinite-dimensional vector bundles in algebraic geometry: an introduction", in Pavel Etingof; Vladimir Retakh; I. M. Singer (eds.), The Unity of Mathematics, Birkhäuser Boston, pp. 263–304, arXiv:math/0309155v4, doi:10.1007/0-8176-4467-9_7, ISBN 978-0-8176-4076-7, MR 2181808
- Govorov, V. E. (1965), "On flat modules (Russian)", Siberian Math. J., 6: 300–304
- Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, Vladimir V. (2004). Algebras, rings and modules. Springer Science. ISBN 978-1-4020-2690-4.
- Kaplansky, Irving (1958), "Projective modules", Ann. of Math., 2, 68 (2): 372–377, doi:10.2307/1970252, hdl:10338.dmlcz/101124, JSTOR 1970252, MR 0100017
- Lang, Serge (1993). Algebra (3rd ed.). Addison–Wesley. ISBN 0-201-55540-9.
- Lazard, D. (1969), "Autour de la platitude", Bulletin de la Société Mathématique de France, 97: 81–128, doi:10.24033/bsmf.1675
- Milne, James (1980). Étale cohomology. Princeton Univ. Press. ISBN 0-691-08238-3.
- Donald S. Passman (2004) A Course in Ring Theory, especially chapter 2 Projective modules, pp 13–22, AMS Chelsea, ISBN 0-8218-3680-3 .
- Raynaud, Michel; Gruson, Laurent (1971), "Critères de platitude et de projectivité. Techniques de "platification" d'un module", Invent. Math., 13: 1–89, Bibcode:1971InMat..13....1R, doi:10.1007/BF01390094, MR 0308104, S2CID 117528099
- Paulo Ribenboim (1969) Rings and Modules, §1.6 Projective modules, pp 19–24, Interscience Publishers.
- Charles Weibel, The K-book: An introduction to algebraic K-theory