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

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

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

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

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


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

विभाजित-त्रुटिहीन अनुक्रम
मापांक P प्रक्षेपी है यदि केवल मापांक प्रपत्र के प्रत्येक छोटे त्रुटिहीन अनुक्रम


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

विभाजित त्रुटिहीन अनुक्रम है। अर्थात, प्रत्येक विशेषण मापांक समरूपता के लिए f : B ↠ P खंड मानचित्र उपस्थित है, अर्थात, मापांक समरूपतावाद h : P → B ऐसा है कि fh = idP; समान रूप से, उस स्थिति में, h(P) B का प्रत्यक्ष योग है, 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.$$

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

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

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

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

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



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

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

सामान्यतः, प्रक्षेपी मापांक को मुक्त होने की आवश्यकता नहीं है: मुक्त और प्रक्षेपी मापांक के मध्य का अंतर, बीजगणितीय K-सिद्धांत द्वारा मापा जाता है। नीचे देखें।
 * वलय के प्रत्यक्ष उत्पाद पर R × S जहां R और S शून्य वलय हैं, दोनों R × 0 और 0 × S गैर-मुक्त प्रक्षेपी मापांक हैं।
 * डेडेकिंड डोमेन पर अप्रमुख आदर्श (वलय सिद्धांत) प्रायः प्रक्षेपी मापांक होता है जो मुक्त मापांक नहीं होता है।
 * आव्यूह वलय Mn(R) पर, प्राकृतिक मापांक Rn प्रक्षेपी है लेकिन मुक्त नहीं है। सामान्यतः, किसी भी अर्ध-सरल वलय पर, प्रत्येक मापांक प्रक्षेपी होता है, लेकिन शून्य आदर्श और वलय एकमात्र मुक्त आदर्श हैं।

प्रक्षेपी विरुद्ध समतल मापांक
प्रत्येक प्रक्षेपी C समतल मापांक है। यह सामान्य रूप से सत्य नहीं है: एबेलियन समूह Q, Z-मापांक है जो समतल है, लेकिन अनुमानित नहीं है।

इसके विपरीत, सूक्ष्म रूप से संबंधित समतल प्रक्षेपी है।

और ने यह सिद्ध किया कि मापांक M समतल है यदि केवल यह सीमित रूप से उत्पन्न मुक्त मॉड्यूल की सीधी सीमा है।

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

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

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

वलय पर सूक्ष्म रूप से उत्पन्न प्रक्षेपी मापांक की श्रेणी त्रुटिहीन श्रेणी है।(बीजगणितीय के-सिद्धांत भी देखें)।

प्रक्षेपी संकल्प
मापांक M,को देखते हुए, M का 'प्रक्षेपी विभेदन (बीजगणित)' मापांक का अनंत त्रुटिहीन अनुक्रम है
 * ··· → Pn → ··· → P2 → P1 → P0 → M → 0,

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

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

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

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

स्थानीय वलय पर प्रक्षेपी मापांक निःशुल्क है। इस प्रकार प्रक्षेपी मापांक स्थानीय रूप से मुक्त है।

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

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

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

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

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

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

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

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

चूंकि एक प्रमुख आदर्श डोमेन पर प्रत्येक प्रक्षेपी मापांक स्वतंत्र है, कोई भी यह सवाल पूछ सकता है: यदि R एक क्रमविनिमेय वलय है जैसे कि प्रत्येक (सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R-मापांक स्वतंत्र है, तो प्रत्येक(सूक्ष्म रूप से उत्पन्न) प्रक्षेपी R [एक्स] है।-मापांक मुक्त?जवाब न है।वक्र के स्थानीय वलय के बराबर R के साथ एक प्रतिवाद होता है 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

]