प्रोजेक्टिव मॉड्यूल

गणित में, विशेष रूप से बीजगणित में, प्रक्षेपी मापांक का वर्ग (समूह सिद्धांत) मुक्त मापांक के कुछ मुख्य गुणों को ध्यान में रखते हुए, छल्ला (गणित) के साथ मुक्त मापांक (अर्थात, मापांक (गणित) के आधार पर) के वर्ग को बढ़ाता है। नि: शुल्क

मापांक। इन मापांक के विभिन्न समकक्ष लक्षण नीचे दिखाई देते हैं।

प्रत्येक मुक्त मापांक प्रक्षेपी मापांक है, लेकिन कॉनवर्स (लॉजिक) कुछ छल्लों को पकड़ने में विफल रहता है, जैसे कि डेडेकिंड छल्ले जो प्रमुख आदर्श डोमेन नहीं हैं।चूंकि, प्रत्येक प्रक्षेपी मापांक एक मुक्त मापांक है यदि छल्ला एक प्रमुख आदर्श डोमेन है जैसे कि पूर्णांक, या एक बहुपद छल्ला (यह क्विलन -सुस्लिन प्रमेय है)।

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

उठाना संपत्ति
सामान्य श्रेणी के सिद्धांत की परिभाषा उठाने की संपत्ति के संदर्भ में है जो मुक्त से सघन मापांक तक ले जाती है: एक मापांक पी प्रक्षेपी है यदि और केवल यदि प्रत्येक सर्जिकल मापांक समरूपता के लिए f : N ↠ M और प्रत्येक मापांक समरूपता g : P → M, एक मापांक समरूपता उपस्थित है h : P → N ऐसा है कि f&hairsp;h = g।(हमें लिफ्टिंग होमोमोर्फिज्म एच को अद्वितीय होने की आवश्यकता नहीं है; यह एक सार्वभौमिक संपत्ति नहीं है।)


 * [[Image:Projective-module-P.svg|120px]]प्रक्षेपी की इस परिभाषा का लाभ यह है कि इसे मापांक श्रेणियों की तुलना में अधिक सामान्य श्रेणी (गणित) में किया जा सकता है: हमें मुक्त वस्तु की धारणा की आवश्यकता नहीं है।यह दोहरी (श्रेणी सिद्धांत) भी हो सकता है, जिससे इंजेक्टिव मापांक हो सकते हैं।उठाने वाली संपत्ति को हर रूप से हर रूप से फिर से तैयार किया जा सकता है $$P$$ को $$M$$ हर एपिमोर्फिज्म के माध्यम से कारक $$M$$।इस प्रकार, परिभाषा के अनुसार, प्रक्षेपी मापांक ठीक से मापांक की श्रेणी में प्रक्षेप्य वस्तु हैं। आर-मापांक की श्रेणी।

स्प्लिट-सटीक अनुक्रम
एक मापांक पी प्रक्षेपी है यदि और केवल यदि फॉर्म के मापांक के प्रत्येक छोटे सटीक अनुक्रम


 * $$0\rightarrow A\rightarrow B\rightarrow P\rightarrow 0$$

एक विभाजित सटीक अनुक्रम है।अर्थात, हर सर्जिकल मापांक होमोमोर्फिज्म के लिए f : B ↠ P वहाँ एक खंड मानचित्र उपस्थित है, अर्थात, एक मापांक समरूपतावाद h : P → B ऐसा कि f & hairsp; h = idP& hairsp ;;उस स्थिति में, h(P) बी का एक सीधा सारांश है, एच पी से एक समाकृतिकता है h(P), और h&hairsp;f सारांश पर एक प्रक्षेपण (रैखिक बीजगणित) है h(P)।समान रूप से,


 * $$B = \operatorname{Im}(h) \oplus \operatorname{Ker}(f) \ \

\text{ where } \operatorname{Ker}(f) \cong A\ \text{ and } \operatorname{Im}(h) \cong P.$$

मुक्त मापांक के प्रत्यक्ष सारांश
एक मापांक पी प्रक्षेपी है यदि और केवल यदि कोई अन्य मापांक क्यू है जैसे कि पी और क्यू के मापांक का प्रत्यक्ष योग एक मुक्त मापांक है।

सटीकता
एक आर-मापांक पी प्रक्षेपी है यदि और केवल यदि सहसंयोजक फंक्टर Hom(P, -): R-Mod → Ab एक सटीक फंक्टर है, जहां R-Mod बाएं आर-मापांक की श्रेणी है और 'एबी' एबेलियन समूहों की श्रेणी है।जब रिंग आर कम्यूटेटिव रिंग है, तो 'एबी' को लाभप्रद रूप से प्रतिस्थापित किया जाता है R-Mod पूर्ववर्ती लक्षण वर्णन में।यह फ़ंक्टर हमेशा सटीक फंक्शनर छोड़ दिया जाता है, लेकिन, जब P प्रक्षेपी होता है, तो यह भी सही सटीक होता है।इसका अर्थ यह है कि पी प्रक्षेपी है यदि और केवल यदि यह फंक्शनर उपदेशता (सर्जिकल होमोमोर्फिज्म) को संरक्षित करता है, या यदि यह परिमित कोलिमिट ्स को संरक्षित करता है।

दोहरी आधार
एक मापांक पी प्रक्षेपी है यदि और केवल यदि कोई समुच्चय उपस्थित है $$\{a_i \in P \mid i \in I\}$$ और एक समुच्चय $$\{f_i\in \mathrm{Hom}(P,R) \mid i\in I\}$$ जैसे कि पी, एफ में हर एक्स के लिएi&hairsp;&hairsp;(x) केवल कई के लिए नॉनज़ेरो है, और $$x=\sum f_i(x)a_i$$।

प्राथमिक उदाहरण और गुण
प्रक्षेपी मापांक के निम्नलिखित गुणों को जल्दी से किसी भी (समतुल्य) प्रक्षेपी मापांक की परिभाषाओं में से किसी भी से घटाया जाता है:
 * प्रक्षेपी मापांक के प्रत्यक्ष रकम और प्रत्यक्ष सारांश प्रक्षेपी हैं।
 * यदि e = e2 रिंग आर में एक idempotent (रिंग थ्योरी) है, तो आर। आर। पर एक प्रक्षेपी लेफ्ट मापांक है।

अन्य मापांक-सिद्धांत गुणों से संबंध
मुक्त और फ्लैट मापांक मापांक के लिए प्रक्षेपी मापांक का संबंध मापांक गुणों के निम्नलिखित आरेख में प्रस्तुत किया गया है:

बाएं-से-दाएं निहितार्थ किसी भी अंगूठी पर सच हैं, चूंकि कुछ लेखक केवल एक डोमेन (रिंग सिद्धांत) पर मरोड़-मुक्त मापांक को परिभाषित करते हैं।राइट-टू-लेफ्ट के निहितार्थ उन्हें लेबल करने वाले छल्ले पर सही हैं।ऐसे अन्य छल्ले हो सकते हैं जिन पर वे सच हैं।उदाहरण के लिए, स्थानीय रिंग या पीआईडी लेबल किए गए निहितार्थ एक क्षेत्र (गणित) पर बहुपद के छल्ले के लिए भी सही है: यह क्विलन -सुस्लिन प्रमेय है।

प्रक्षेपी बनाम मुक्त मापांक
कोई भी मुफ्त मापांक प्रक्षेपी है।निम्नलिखित स्थितियों में यह सच है:
 * यदि आर एक क्षेत्र या तिरछा क्षेत्र है: इस स्थिति में कोई भी मापांक मुक्त है।
 * यदि रिंग आर एक प्रमुख आदर्श डोमेन है।उदाहरण के लिए, यह लागू होता है R = Z (पूर्णांक), इसलिए एक एबेलियन समूह अनुमानित है यदि और केवल अगर यह एक मुक्त एबेलियन समूह है।कारण यह है कि एक प्रमुख आदर्श डोमेन पर एक मुक्त मापांक का कोई भी सबल मुक्त है।
 * यदि रिंग आर एक स्थानीय अंगूठी है।यह तथ्य स्थानीय रूप से मुक्त = प्रक्षेप्य के अंतर्ज्ञान का आधार है।यह तथ्य बारीक रूप से उत्पन्न मापांक प्रक्षेपी मापांक के लिए गणितीय प्रमाण के लिए आसान है।सामान्यतः, यह होने के कारण है ;प्रक्षेपी मापांक पर कप्लांस्की के प्रमेय को देखें।

सामान्यतः, प्रक्षेपी मापांक को मुक्त होने की आवश्यकता नहीं है: मुक्त और प्रक्षेप्य मापांक के बीच का अंतर, एक अर्थ में, बीजगणितीय K-Therory द्वारा मापा जाता है। बीजगणितीय K-Therory Group (गणित) k0(आर);नीचे देखें।
 * छल्ले के प्रत्यक्ष उत्पाद पर R × S जहां आर और एस शून्य रिंग रिंग हैं, दोनों R × 0 और 0 × S गैर-मुक्त प्रक्षेपी मापांक हैं।
 * एक डेडेकिंड डोमेन पर एक गैर-प्रासीपल आदर्श आदर्श (रिंग थ्योरी) हमेशा एक प्रक्षेपी मापांक है जो एक मुक्त मापांक नहीं है।
 * एक मैट्रिक्स रिंग एम परn(आर), प्राकृतिक मापांक आर& hairsp; n प्रक्षेपी है लेकिन मुक्त नहीं है। सामान्यतः, किसी भी सेमीसिम्पल रिंग पर, प्रत्येक मापांक प्रक्षेपी होता है, लेकिन शून्य आदर्श और रिंग ही एकमात्र मुक्त आदर्श हैं।

प्रक्षेपी बनाम फ्लैट मापांक
प्रत्येक प्रक्षेपी मापांक फ्लैट मापांक है। यह सामान्य रूप से सच नहीं है: एबेलियन समूह क्यू एक जेड-मापांक है जो सपाट है, लेकिन अनुमानित नहीं है। इसके विपरीत, एक बारीक संबंधित मापांक फ्लैट मापांक प्रक्षेपी है।

और यह साबित हुआ कि एक मापांक एम सपाट है यदि और केवल अगर यह बारीक रूप से उत्पन्न मापांक की एक सीधी सीमा है।

सामान्यतः, सपाटता और प्रोजेक्टिविटी के बीच सटीक संबंध स्थापित किया गया था (यह सभी देखें  और ) किसने दिखाया कि एक मापांक एम प्रक्षेपी है यदि और केवल अगर यह निम्नलिखित शर्तों को संतुष्ट करता है: इस लक्षण वर्णन का उपयोग यह दिखाने के लिए किया जा सकता है कि अगर $$R \to S$$ कम्यूटेटिव रिंग्स का एक ईमानदारी से सपाट रूपांतरण मानचित्र है और $$M$$ एक $$R$$-मापांक, फिर $$M$$ यदि और केवल यदि और केवल यदि $$M \otimes_R S$$ प्रक्षेपी है। दूसरे शब्दों में, प्रक्षेपी होने की संपत्ति ईमानदारी से सपाट वंश को संतुष्ट करती है।
 * एम सपाट है,
 * एम गिनती योग्य सेट उत्पन्न मापांक का एक सीधा योग है,
 * एम एक निश्चित मितग-लेफलर प्रकार की स्थिति को संतुष्ट करता है।

प्रक्षेपी मापांक की श्रेणी
प्रक्षेपी मापांक के सबमॉड्यूल्स को प्रक्षेपी नहीं होना चाहिए;एक रिंग आर जिसके लिए एक प्रक्षेपी लेफ्ट मापांक के प्रत्येक सबमॉड्यूल को प्रक्षेपी होता है, उसे वंशानुगत रिंग कहा जाता है।

प्रक्षेपी मापांक के भागफल मापांक को भी प्रक्षेपी होने की आवश्यकता नहीं है, उदाहरण के लिए 'z'/n 'z' का एक भागफल है, लेकिन मरोड़-मुक्त मापांक नहीं है। मरोड़-मुक्त, इसलिए सपाट नहीं है, और इसलिए प्रक्षेपी नहीं है।

एक अंगूठी पर बारीक रूप से उत्पन्न प्रक्षेपी मापांक की श्रेणी एक सटीक श्रेणी है।(बीजगणितीय के-थ्योरी भी देखें)।

प्रक्षेपी संकल्प
एक मापांक को देखते हुए, एम, एम का एक 'प्रक्षेपी संकल्प (बीजगणित)' मापांक का एक अनंत सटीक अनुक्रम है
 * & middot; & middot; & middot;→ पीn → & middot; & middot; & middot;→ पी2 → पी1 → पी0 → एम → 0,

सभी पी के साथi& thinsp; प्रक्षेपी।प्रत्येक मापांक में एक अनुमानित संकल्प होता है।वास्तव में एक मुक्त संकल्प (मुक्त मापांक द्वारा संकल्प) उपस्थित है। प्रक्षेपी मापांक के सटीक अनुक्रम को कभी -कभी संक्षिप्त किया जा सकता है P(M) → M → 0 या P• → M → 0। एक नियमित अनुक्रम के जटिल शर्ट द्वारा एक प्रक्षेपी संकल्प का एक क्लासिक उदाहरण दिया गया है, जो अनुक्रम द्वारा उत्पन्न आदर्श (रिंग थ्योरी) का एक मुक्त संकल्प है।

एक परिमित संकल्प की लंबाई सूचकांक n है जैसे कि पीn शून्य मापांक है और Pi = 0 के लिए मैं n से बड़ा।यदि M एक परिमित प्रक्षेपी संकल्प को स्वीकार करता है, तो M के सभी परिमित प्रक्षेपी संकल्प के बीच न्यूनतम लंबाई को इसका 'प्रक्षेपी डाइमेंशन' कहा जाता है और पीडी (एम) को निरूपित किया जाता है।यदि M एक परिमित प्रक्षेपी संकल्प को स्वीकार नहीं करता है, तो कन्वेंशन द्वारा प्रक्षेप्य आयाम को अनंत कहा जाता है।एक उदाहरण के रूप में, एक मापांक एम पर विचार करें जैसे कि pd(M) = 0।इस स्थिति में, अनुक्रम की सटीकता 0 → पी0 → एम → 0 इंगित करता है कि केंद्र में तीर एक आइसोमोर्फिज्म है, और इसलिए एम स्वयं प्रक्षेपी है।

क्रमविनिमेय छल्ले पर प्रक्षेपी मापांक
क्रमविनिमेय छल्ले पर प्रक्षेपी मापांक में अच्छे गुण होते हैं।

एक प्रक्षेपी मापांक का स्थानीयकरण (क्रमविनिमेय बीजगणित) स्थानीयकृत रिंग पर एक अनुमानित मापांक है।

एक स्थानीय रिंग पर एक प्रक्षेपी मापांक मुफ्त है।इस प्रकार एक प्रक्षेपी मापांक स्थानीय रूप से मुक्त है (इस अर्थ में कि प्रत्येक प्रमुख आदर्श पर इसका स्थानीयकरण रिंग के संबंधित स्थानीयकरण पर मुक्त है)।

नोथेरियन छल्ले पर बारीक रूप से उत्पन्न मापांक के लिए यह सच है: एक क्रमविनिमेय नोथेरियन रिंग पर एक बारीक रूप से उत्पन्न मापांक स्थानीय रूप से मुक्त है यदि और केवल यदि यह अनुमानित है।

चूंकि, एक नथियन रिंग पर बारीक रूप से उत्पन्न मापांक के उदाहरण हैं जो स्थानीय रूप से स्वतंत्र हैं और अनुमानित नहीं हैं।उदाहरण के लिए, एक बूलियन रिंग में इसके सभी स्थानीयकरण isomorphic हैं 'f'2, दो तत्वों का क्षेत्र, इसलिए एक बूलियन रिंग पर कोई भी मापांक स्थानीय रूप से मुक्त है, लेकिन बूलियन के छल्ले पर कुछ गैर-प्रक्षेप्य मापांक हैं।एक उदाहरण आर/आई है जहां आर 'एफ' की कई प्रतियों का एक प्रत्यक्ष उत्पाद है2 और मैं 'एफ' की कई प्रतियों का सीधा योग है2 आर के अंदर आर। आर-मापांक आर/आई स्थानीय रूप से मुक्त है क्योंकि आर बूलियन है (और यह आर-मापांक के रूप में भी बारीक रूप से उत्पन्न होता है, आकार 1 के एक फैले हुए सेट के साथ), लेकिन आर/आई प्रक्षेपी नहीं है क्योंकि मैं एक प्रमुख आदर्श नहीं है।(यदि एक भागफल मापांक r/i, किसी भी क्रमविनिमेय रिंग R और आदर्श I के लिए, एक अनुमानित R-मापांक है तो मैं प्रिंसिपल है।)

चूंकि, यह सच है कि एक क्रमविनिमेय रिंग आर (विशेष रूप से यदि एम एक सूक्ष्म रूप से उत्पन्न आर-मापांक है और आर नूथेरियन है) पर सूक्ष्म रूप से प्रस्तुत मापांक के लिए, निम्नलिखित समतुल्य हैं। इसके अतिरिक्त, यदि आर एक नॉटेथियन अभिन्न डोमेन है, तो, नाकायमा के लेम्मा द्वारा,ये स्थितियाँ समतुल्य हैं
 * 1) $$M$$ सपाट है।
 * 2) $$M$$ प्रक्षेपी है।
 * 3) $$M_\mathfrak{m}$$ के रूप में स्वतंत्र है $$R_\mathfrak{m}$$प्रत्येक अधिकतम आदर्श के लिए -मापांक $$\mathfrak{m}$$ आर।
 * 4) $$M_\mathfrak{p}$$ के रूप में स्वतंत्र है $$R_\mathfrak{p}$$-मिड्यूल हर प्राइम आदर्श के लिए $$\mathfrak{p}$$ आर।
 * 5) वहां है $$f_1,\ldots,f_n \in R$$ यूनिट आदर्श को उत्पन्न करना जैसे कि $$M[f_i^{-1}]$$ के रूप में स्वतंत्र है $$R[f_i^{-1}]$$प्रत्येक के लिए -मापांक।
 * 6) $$\widetilde{M}$$ एक स्थानीय रूप से मुक्त शीफ है $$\operatorname{Spec}R$$ (कहां $$\widetilde{M}$$ एक मापांक एम से जुड़ा शीफ है)
 * का आयाम (सदिश स्थान) $$k(\mathfrak{p})$$- सदिश स्थल $$M \otimes_R k(\mathfrak{p})$$ सभी प्रमुख आदर्शों के लिए समान है $$\mathfrak{p}$$ आर, जहां $$k(\mathfrak{p})$$ पर अवशेष क्षेत्र  $$\mathfrak{p}$$. है कहने का अर्थ यह है कि, एम में निरंतर श्रेणी है (जैसा कि नीचे परिभाषित किया गया है)।

माना A एक क्रमविनिमेय वलय है।यदि B छल्ले पर (संभवतः गैर-क्रमविनिमेय) ए-बीजगणित है, जो एक सबरिंग के रूप में एक सूक्ष्म रूप से उत्पन्न प्रक्षेप्य ए-मापांक है, तो ए बी का प्रत्यक्ष कारक है।।

श्रेणी
क्रमविनिमेय छल्ले आर और एक्स पर एक सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक हो। आर। छल्ले का स्पेक्ट्रम हो। एक प्रमुख आदर्श पर पी की श्रेणी $$\mathfrak{p}$$ एक्स में मुक्त  की श्रेणी  $$R_{\mathfrak{p}}$$-मापांक $$P_{\mathfrak{p}}$$ है।यह X पर एक स्थानीय रूप से निरंतर कार्य है। विशेष रूप से, यदि X जुड़ा हुआ है (अर्थात यदि R में 0 और 1 से कोई अन्य वर्गसम नहीं है), तो P में निरंतर श्रेणी है।

सदिश बंडलों और स्थानीय रूप से मुक्त मापांक
सिद्धांत की मूल प्रेरणा यह है कि प्रक्षेपी मापांक (कम से कम कुछ क्रमविनिमेय छल्लों से अधिक) सदिश बंडलों के अनुरूप हैं।इसे कॉम्पैक्ट स्पेस हौसडॉर्फ स्पेस पर रिंग ऑफ सतत कार्य (टोपोलॉजी)  रिंग ऑफ़ कंटीन्यूअस फंक्शन (टोपोलॉजी) के लिए सटीक बनाया जा सकता है, साथ ही साथ एक गुना पर चिकनी कार्यों की अंगूठी के लिए (सेर्रे-वैन प्रमेय देखें जो एक बारीक रूप से उत्पन्न प्रक्षेप्य कहता हैएक कॉम्पैक्ट  विविध  पर चिकनी कार्यों के स्थान पर मापांक एक चिकनी सदिश बंडल के चिकनी वर्गों का स्थान है)।

सदिश बंडल स्थानीय रूप से मुक्त हैं।यदि स्थानीयकरण की कुछ धारणा है, जिसे मापांक पर ले जाया जा सकता है, जैसे कि एक छल्ले के सामान्य स्थानीयकरण, कोई स्थानीय रूप से मुक्त मापांक को परिभाषित कर सकता है, और प्रक्षेप्य मापांक तब सामान्यतः स्थानीय रूप से मुक्त मापांक के साथ मेल खाते हैं।

एक बहुपद छल्ले पर प्रक्षेपी मापांक
क्विलन -सुस्लिन प्रमेय, जो सेरे की समस्या को हल करता है, एक और गहरा परिणाम है: यदि k एक क्षेत्र है, या सामान्यतः एक प्रमुख आदर्श डोमेन है, और R = K[X1,...,Xn] K के ऊपर एक बहुपद छल्ला है, तब R पर प्रत्येक प्रक्षेपी मापांक मुक्त है। इस समस्या को पहले सेरे द्वारा K A क्षेत्र (और मापांक को बारीक रूप से उत्पन्न किया जा रहा है) के साथ उठाया गया था।बास ने इसे गैर-फिनती उत्पन्न मापांक के लिए बसाया, और क्विलन और सुज़लिन ने स्वतंत्र रूप से और साथ ही साथ बारीक रूप से उत्पन्न मापांक की स्थिति का इलाज किया।

चूंकि एक प्रमुख आदर्श डोमेन पर प्रत्येक प्रक्षेपी मापांक स्वतंत्र है, कोई भी यह सवाल पूछ सकता है: यदि आर एक कम्यूटेटिव रिंग है जैसे कि हर (बारीक रूप से उत्पन्न) प्रक्षेपी आर-मापांक स्वतंत्र है, तो हर (बारीक रूप से उत्पन्न) प्रक्षेपी आर [एक्स] है।-मापांक मुक्त?जवाब न है।वक्र के स्थानीय रिंग के बराबर आर के साथ एक प्रतिवाद होता है y2 = x3 मूल में।इस प्रकार क्विलन-सुस्लिन प्रमेय कभी भी चर की संख्या पर एक साधारण गणितीय प्रेरण द्वारा साबित नहीं किया जा सकता है।

यह भी देखें

 * प्रोजेक्टिव कवर
 * शानुएल का लेम्मा
 * बास रद्दीकरण प्रमेय
 * मॉड्यूलर प्रतिनिधित्व सिद्धांत

संदर्भ

 * Nicolas Bourbaki, Commutative algebra, Ch. II, §5
 * Donald S. Passman (2004) A Course in Ring Theory, especially chapter 2 Projective modules, pp 13–22, AMS Chelsea, ISBN 0-8218-3680-3.
 * 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
 * Donald S. Passman (2004) A Course in Ring Theory, especially chapter 2 Projective modules, pp 13–22, AMS Chelsea, ISBN 0-8218-3680-3.
 * 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
 * Donald S. Passman (2004) A Course in Ring Theory, especially chapter 2 Projective modules, pp 13–22, AMS Chelsea, ISBN 0-8218-3680-3.
 * 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
 * Donald S. Passman (2004) A Course in Ring Theory, especially chapter 2 Projective modules, pp 13–22, AMS Chelsea, ISBN 0-8218-3680-3.
 * 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
 * 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
 * Charles Weibel, The K-book: An introduction to algebraic K-theory

]