टोर फ़ैक्टर्: Difference between revisions
No edit summary |
|||
Line 40: | Line 40: | ||
== महत्वपूर्ण विशेष स्तिथियों == | == महत्वपूर्ण विशेष स्तिथियों == | ||
*[[ समूह समरूपता ]] द्वारा परिभाषित किया गया है <math>H_*(G,M)=\operatorname{Tor}^{\Z[G]}_*(\Z, M),</math> जहाँ G समूह है, M पूर्णांकों पर G का [[समूह प्रतिनिधित्व]] है, और <math>\Z[G]</math> G का [[ समूह की अंगूठी | समूह की वलय]] है। | *[[ समूह समरूपता ]] द्वारा परिभाषित किया गया है <math>H_*(G,M)=\operatorname{Tor}^{\Z[G]}_*(\Z, M),</math> जहाँ G समूह है, M पूर्णांकों पर G का [[समूह प्रतिनिधित्व]] है, और <math>\Z[G]</math> G का [[ समूह की अंगूठी |समूह की वलय]] है। | ||
* | * क्षेत्र k और ''A''-बिमॉड्यूल M पर बीजगणित ''A'' के लिए , होशचाइल्ड होमोलॉजी द्वारा परिभाषित किया गया है <math display="block">HH_*(A,M)=\operatorname{Tor}_*^{A\otimes_k A^{\text{op}}}(A, M).</math> | ||
* | *ले बीजगणित समरूपता द्वारा परिभाषित किया गया है <math>H_*(\mathfrak g,M)=\operatorname{Tor}_*^{U\mathfrak g}(R,M)</math>, जहां <math>\mathfrak g</math> क्रमविनिमेय वलय R पर ले बीजगणित है, M है <math>\mathfrak g</math>-मॉड्यूल, और <math>U\mathfrak g</math> [[सार्वभौमिक लिफाफा बीजगणित]] है। | ||
*क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, <math>\operatorname{Tor}_*^R(k,k)</math> k के ऊपर ग्रेडेड-कम्यूटेटिव [[हॉफ बीजगणित]] है।<ref>Avramov & Halperin (1986), section 4.7.</ref> (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो दोहरी हॉफ बीजगणित to <math>\operatorname{Tor}_*^R(k,k)</math> Ext functor#महत्वपूर्ण विशेष स्तिथियों हैं{{supsub|*|''R''}}(के, के).) बीजगणित के रूप में, <math>\operatorname{Tor}_*^R(k,k)</math> ग्रेडेड वेक्टर स्पेस π पर फ्री ग्रेडेड-कम्यूटेटिव डिवाइडेड पावर बीजगणित है<sub>*</sub>(आर)।<ref>Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.</ref> जब k में शून्य क्षेत्र की विशेषता होती है, π<sub>*</sub>(आर) की पहचान आंद्रे-क्विलेन होमोलॉजी डी से की जा सकती है<sub>*</sub>(के / आर, के)।<ref>Quillen (1970), section 7.</ref> | *क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, <math>\operatorname{Tor}_*^R(k,k)</math> k के ऊपर ग्रेडेड-कम्यूटेटिव [[हॉफ बीजगणित]] है।<ref>Avramov & Halperin (1986), section 4.7.</ref> (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो दोहरी हॉफ बीजगणित to <math>\operatorname{Tor}_*^R(k,k)</math> Ext functor#महत्वपूर्ण विशेष स्तिथियों हैं{{supsub|*|''R''}}(के, के).) बीजगणित के रूप में, <math>\operatorname{Tor}_*^R(k,k)</math> ग्रेडेड वेक्टर स्पेस π पर फ्री ग्रेडेड-कम्यूटेटिव डिवाइडेड पावर बीजगणित है<sub>*</sub>(आर)।<ref>Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.</ref> जब k में शून्य क्षेत्र की विशेषता होती है, π<sub>*</sub>(आर) की पहचान आंद्रे-क्विलेन होमोलॉजी डी से की जा सकती है<sub>*</sub>(के / आर, के)।<ref>Quillen (1970), section 7.</ref> | ||
Revision as of 11:45, 29 April 2023
गणित में, टोर फ़ैक्टर्स वलय (गणित) पर मॉड्यूल के टेंसर उत्पाद के व्युत्पन्न फ़ैक्टर हैं। ्सट ऑपरेटर के साथ, टोर होमोलॉजिकल बीजगणित की केंद्रीय अवधारणाओं में से है, जिसमें बीजगणितीय टोपोलॉजी के विचारों का उपयोग बीजगणितीय संरचनाओं के आक्रमणकारियों के निर्माण के लिए किया जाता है। समूहों की समरूपता, बीजगणित और साहचर्य बीजगणित सभी को टोर के संदर्भ में परिभाषित किया जा सकता है। यह नाम पूर्व टोर समूह टोर और एबेलियन समूह के टोरसन उपसमूह के मध्य संबंध से आता है।
एबेलियन समूहों के विशेष स्तिथियों में, टोर को एडुआर्ड सीच (1935) द्वारा प्रस्तुत किया गया था और 1950 के निकट सैमुअल एलेनबर्ग द्वारा नामित किया गया था।[1] यह प्रथम बार टोपोलॉजी में कुनेथ प्रमेय और सार्वभौमिक गुणांक प्रमेय पर प्रारम्भ किया गया था। किसी भी वलय पर मॉड्यूल के लिए, टोर को हेनरी कर्तन और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक होमोलॉजिकल बीजगणित में परिभाषित किया गया था।[2]
परिभाषा
माना R वलय (गणित) है। बाएं R- मॉड्यूल की श्रेणी के लिए R-मॉड और दाएं R- मॉड्यूल की श्रेणी के लिए मॉड -R लिखें | (यदि R क्रमविनिमेय है, तो दो श्रेणियों की पहचान की जा सकती है।) निश्चित बाएँ R-मॉड्यूल B के लिए, मान लीजिए मॉड- R में A के लिए। यह मॉड-R से एबेलियन समूह Ab की श्रेणी के लिए फ़ंक्टर है, और इसलिए इसने फ़ंक्टर्स को छोड़ दिया है . टोर समूह एबेलियन समूह हैं जिनके द्वारा परिभाषित किया गया है
वैकल्पिक रूप से, A को स्थिर करके और फ़ैक्टर G(B) =A ⊗R B के बाएं व्युत्पन्न फ़ैक्टरों को ले कर टोर को परिभाषित किया जा सकता है। अर्थात , B के प्रक्षेपी संकल्प के साथ टेंसर A और होमोलॉजी लें। कार्टन और ईलेनबर्ग ने दिखाया कि ये निर्माण प्रक्षेपी संकल्प की रुचि से स्वतंत्र हैं, और दोनों निर्माण समान टोर समूह उत्पन्न करते हैं।[3] इसके अतिरिक्त, निश्चित वलय R के लिए, टोर प्रत्येक चर ( R-मॉड्यूल से एबेलियन समूहों तक) में है।
कम्यूटेटिव वलय R और R-मॉड्यूल Aऔर B, टोर R
i के लिए (A, B) R-मॉड्यूल है (इस स्तिथियों में A ⊗R B R-मॉड्यूल है)। गैर-कम्यूटेटिव वलय R, TorR
i के लिए (A, B) सामान्यतः रूप से एकमात्र एबेलियन समूह है। यदि R वलय S पर बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो TorR
i(A, B) S-मॉड्यूल है।
गुण
यहाँ टोर समूहों के कुछ बुनियादी गुण और संगणनाएँ दी गई हैं।[4]
- तोरR
0(A, B) ≅ A ⊗R B किसी भी सही R-मॉड्यूल A और बाएं R-मॉड्यूल B के लिए है। - तोरR
i(A, B) = 0 सभी i > 0 के लिए यदि या तो A या B समतल है (उदाहरण के लिए, मुफ्त मॉड्यूल) R-मॉड्यूल के रूप में है। वास्तव में, A या B के समतल रिज़ॉल्यूशन का उपयोग करके टोर की गणना की जा सकती है; यह प्रक्षेपी संकल्प से अधिक सामान्य है।[5] - पिछले कथन के विपरीत हैं:
- यदि तोरR
1(A, B) = 0 सभी B के लिए, A समतल है (और इसलिए टोरR
i(A, B) = 0 सभी के लिए i> 0)। - यदि तोरR
1(A, B) = 0 सभी A के लिए, B समतल है (और इसलिए टोरR
i(A, B) = 0 सभी के लिए i> 0)।
- यदि तोरR
- व्युत्पन्न फ़ैक्टरों के सामान्य गुणों के अनुसार, सही R-मॉड्यूल का अनुक्रम 0 → K → L → M → 0 फॉर्म का अनुक्रम उत्पन्न करता है[6] किसी भी बाएं R-मॉड्यूल B के लिए है। समान त्रुटिहीन अनुक्रम दूसरे चर के संबंध में टोर के लिए भी है।
- समरूपता: क्रम विनिमेय वलय R के लिए, प्राकृतिक समरूपता TorR
i (A, B) ≅ TorRi (B, A) है। (R कम्यूटेटिव के लिए, बाएं और दाएं R-मॉड्यूल के मध्य अंतर करने की कोई आवश्यकता नहीं है।)[7] - यदि R क्रम विनिमेय वलय है और u में R शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए, कहाँB का u-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह A के लिए है।
- पिछले उदाहरण को सामान्य करते हुए, जटिल शर्ट का उपयोग करके, किसी भी नियमित अनुक्रम द्वारा कम्यूटेटिव वलय के भागफल को शामिल करने वाले टोर समूहों की गणना कर सकते हैं।[8] उदाहरण के लिए, यदि R बहुपद वलय k[x1, ..., ्सn] फ़ील्ड के ऊपर, फिर टोर में एन जेनरेटर पर के पर बाहरी बीजगणित है1.
- सभी के लिए i ≥ 2। कारण: प्रत्येक एबेलियन समूह ए में लंबाई 1 का मुक्त संकल्प है, क्योंकि मुक्त एबेलियन समूह का प्रत्येक उपसमूह मुक्त एबेलियन है।
- किसी भी वलय आर के लिए, टोर प्रत्येक चर में मॉड्यूल (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स के प्रत्यक्ष योग को संरक्षित करता है।[9] उदाहरण के लिए, पूर्व चर में, यह कहता है कि
- सपाट आधार परिवर्तन: क्रमविनिमेय फ्लैट आर-बीजगणित टी, आर-मॉड्यूल ए और बी, और पूर्णांक i के लिए,[10] यह इस प्रकार है कि टो वलय के स्थानीयकरण के साथ संचार करता है। अर्थात्, R में गुणनात्मक रूप से बंद समुच्चय S के लिए,
- क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, Tor के लिएR
*(ए, बी) में आर के ऊपर वर्गीकृत-कम्यूटेटिव बीजगणित की संरचना है। इसके अलावा, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर विभाजित शक्ति संचालन हैं।[11]
महत्वपूर्ण विशेष स्तिथियों
- समूह समरूपता द्वारा परिभाषित किया गया है जहाँ G समूह है, M पूर्णांकों पर G का समूह प्रतिनिधित्व है, और G का समूह की वलय है।
- क्षेत्र k और A-बिमॉड्यूल M पर बीजगणित A के लिए , होशचाइल्ड होमोलॉजी द्वारा परिभाषित किया गया है
- ले बीजगणित समरूपता द्वारा परिभाषित किया गया है , जहां क्रमविनिमेय वलय R पर ले बीजगणित है, M है -मॉड्यूल, और सार्वभौमिक लिफाफा बीजगणित है।
- क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, k के ऊपर ग्रेडेड-कम्यूटेटिव हॉफ बीजगणित है।[12] (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो दोहरी हॉफ बीजगणित to Ext functor#महत्वपूर्ण विशेष स्तिथियों हैं*
R(के, के).) बीजगणित के रूप में, ग्रेडेड वेक्टर स्पेस π पर फ्री ग्रेडेड-कम्यूटेटिव डिवाइडेड पावर बीजगणित है*(आर)।[13] जब k में शून्य क्षेत्र की विशेषता होती है, π*(आर) की पहचान आंद्रे-क्विलेन होमोलॉजी डी से की जा सकती है*(के / आर, के)।[14]
यह भी देखें
- फ्लैट आकारिकी
- सेरे का प्रतिच्छेदन सूत्र
- व्युत्पन्न टेंसर उत्पाद
- इलेनबर्ग-मूर वर्णक्रमीय अनुक्रम
टिप्पणियाँ
- ↑ Weibel (1999).
- ↑ Cartan & Eilenberg (1956), section VI.1.
- ↑ Weibel (1994), section 2.4 and Theorem 2.7.2.
- ↑ Weibel (1994), Chapters 2 and 3.
- ↑ Weibel (1994), Lemma 3.2.8.
- ↑ Weibel (1994), Definition 2.1.1.
- ↑ Weibel (1994), Remark in section 3.1.
- ↑ Weibel (1994), section 4.5.
- ↑ Weibel (1994), Corollary 2.6.17.
- ↑ Weibel (1994), Corollary 3.2.10.
- ↑ Avramov & Halperin (1986), section 2.16; Stacks Project, Tag 09PQ.
- ↑ Avramov & Halperin (1986), section 4.7.
- ↑ Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.
- ↑ Quillen (1970), section 7.
संदर्भ
- Avramov, Luchezar; Halperin, Stephen (1986), "Through the looking glass: a dictionary between rational homotopy theory and local algebra", in J.-E. Roos (ed.), Algebra, algebraic topology, and their interactions (Stockholm, 1983), Lecture Notes in Mathematics, vol. 1183, Springer Nature, pp. 1–27, doi:10.1007/BFb0075446, ISBN 978-3-540-16453-1, MR 0846435
- Cartan, Henri; Eilenberg, Samuel (1999) [1956], Homological algebra, Princeton: Princeton University Press, ISBN 0-691-04991-2, MR 0077480
- Čech, Eduard (1935), "Les groupes de Betti d'un complexe infini" (PDF), Fundamenta Mathematicae, 25: 33–44, doi:10.4064/fm-25-1-33-44, JFM 61.0609.02
- Gulliksen, Tor; Levin, Gerson (1969), Homology of local rings, Queen's Papers in Pure and Applied Mathematics, vol. 20, Queen's University, MR 0262227
- Quillen, Daniel (1970), "On the (co-)homology of commutative rings", Applications of categorical algebra, Proc. Symp. Pure Mat., vol. 17, American Mathematical Society, pp. 65–87, MR 0257068
- Sjödin, Gunnar (1980), "Hopf algebras and derivations", Journal of Algebra, 64: 218–229, doi:10.1016/0021-8693(80)90143-X, MR 0575792
- 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.
- Weibel, Charles (1999), "History of homological algebra", History of topology (PDF), Amsterdam: North-Holland, pp. 797–836, MR 1721123
बाहरी संबंध
- The Stacks Project Authors, The Stacks Project