टोर फ़ैक्टर्: Difference between revisions
No edit summary |
|||
Line 1: | Line 1: | ||
{{Short description|Construction in homological algebra}} | {{Short description|Construction in homological algebra}} | ||
गणित में, टोर फ़ैक्टर्स [[अंगूठी (गणित)|वलय (गणित)]] पर [[मॉड्यूल के टेंसर उत्पाद]] के व्युत्पन्न फ़ैक्टर हैं। [[एक्सट | गणित में, टोर फ़ैक्टर्स [[अंगूठी (गणित)|वलय (गणित)]] पर [[मॉड्यूल के टेंसर उत्पाद]] के व्युत्पन्न फ़ैक्टर हैं। [[एक्सट ऑपरेटर]] के साथ, टोर होमोलॉजिकल बीजगणित की केंद्रीय अवधारणाओं में से है, जिसमें [[बीजगणितीय टोपोलॉजी]] के विचारों का उपयोग बीजगणितीय संरचनाओं के आक्रमणकारियों के निर्माण के लिए किया जाता है। समूहों की समरूपता, बीजगणित और [[होशचाइल्ड समरूपता|साहचर्य बीजगणित]] सभी को टोर के संदर्भ में परिभाषित किया जा सकता है। यह नाम पूर्व टोर समूह और [[एबेलियन समूह]] के [[मरोड़ उपसमूह|टोरसन उपसमूह]] के मध्य संबंध से आता है। | ||
एबेलियन समूहों के विशेष स्तिथियों में, टोर को एडुआर्ड सीच (1935) द्वारा प्रस्तुत किया गया था और 1950 के निकट [[सैमुअल एलेनबर्ग]] द्वारा नामित किया गया था।<ref>Weibel (1999).</ref> यह प्रथम बार टोपोलॉजी में कुनेथ प्रमेय और [[सार्वभौमिक गुणांक प्रमेय]] पर प्रारम्भ किया गया था। किसी भी वलय पर मॉड्यूल के लिए, टोर को [[ हेनरी कर्तन ]] और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक होमोलॉजिकल बीजगणित में परिभाषित किया गया था।<ref>Cartan & Eilenberg (1956), section VI.1.</ref> | एबेलियन समूहों के विशेष स्तिथियों में, टोर को एडुआर्ड सीच (1935) द्वारा प्रस्तुत किया गया था और 1950 के निकट [[सैमुअल एलेनबर्ग]] द्वारा नामित किया गया था।<ref>Weibel (1999).</ref> यह प्रथम बार टोपोलॉजी में कुनेथ प्रमेय और [[सार्वभौमिक गुणांक प्रमेय]] पर प्रारम्भ किया गया था। किसी भी वलय पर मॉड्यूल के लिए, टोर को [[ हेनरी कर्तन ]] और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक होमोलॉजिकल बीजगणित में परिभाषित किया गया था।<ref>Cartan & Eilenberg (1956), section VI.1.</ref> | ||
Line 16: | Line 16: | ||
वैकल्पिक रूप से, ''A'' को स्थिर करके और फ़ैक्टर ''G''(''B'') =''A'' ⊗<sub>''R''</sub> ''B'' के बाएं व्युत्पन्न फ़ैक्टरों को ले कर टोर को परिभाषित किया जा सकता है। अर्थात , ''B'' के प्रक्षेपी संकल्प के साथ टेंसर ''A'' और होमोलॉजी लें। कार्टन और ईलेनबर्ग ने दिखाया कि ये निर्माण प्रक्षेपी संकल्प की रुचि से स्वतंत्र हैं, और दोनों निर्माण समान टोर समूह उत्पन्न करते हैं।<ref>Weibel (1994), section 2.4 and Theorem 2.7.2.</ref> इसके अतिरिक्त, निश्चित वलय ''R'' के लिए, टोर प्रत्येक चर ( ''R''-मॉड्यूल से एबेलियन समूहों तक) में है। | वैकल्पिक रूप से, ''A'' को स्थिर करके और फ़ैक्टर ''G''(''B'') =''A'' ⊗<sub>''R''</sub> ''B'' के बाएं व्युत्पन्न फ़ैक्टरों को ले कर टोर को परिभाषित किया जा सकता है। अर्थात , ''B'' के प्रक्षेपी संकल्प के साथ टेंसर ''A'' और होमोलॉजी लें। कार्टन और ईलेनबर्ग ने दिखाया कि ये निर्माण प्रक्षेपी संकल्प की रुचि से स्वतंत्र हैं, और दोनों निर्माण समान टोर समूह उत्पन्न करते हैं।<ref>Weibel (1994), section 2.4 and Theorem 2.7.2.</ref> इसके अतिरिक्त, निश्चित वलय ''R'' के लिए, टोर प्रत्येक चर ( ''R''-मॉड्यूल से एबेलियन समूहों तक) में है। | ||
कम्यूटेटिव वलय R और R-मॉड्यूल Aऔर B, टोर {{supsub|''R''|''i''}} के लिए (''A'', ''B'') ''R''-मॉड्यूल है (इस स्तिथियों में ''A'' ⊗<sub>''R''</sub> ''B R''-मॉड्यूल है)। गैर-कम्यूटेटिव वलय R, | कम्यूटेटिव वलय R और R-मॉड्यूल Aऔर B, टोर {{supsub|''R''|''i''}} के लिए (''A'', ''B'') ''R''-मॉड्यूल है (इस स्तिथियों में ''A'' ⊗<sub>''R''</sub> ''B R''-मॉड्यूल है)। गैर-कम्यूटेटिव वलय R, टोर{{supsub|''R''|''i''}} के लिए (A, B) सामान्यतः रूप से एकमात्र एबेलियन समूह है। यदि R वलय S पर बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो टोर{{supsub|''R''|''i''}}(A, B) ''S''-मॉड्यूल है। | ||
== गुण == | == गुण == | ||
Line 23: | Line 23: | ||
*तोर{{su|b=''i''|p=''R''}}(A, B) = 0 सभी i > 0 के लिए यदि या तो ''A'' या ''B'' [[फ्लैट मॉड्यूल|समतल है]] (उदाहरण के लिए, [[मुफ्त मॉड्यूल]]) ''R''-[[फ्लैट मॉड्यूल|मॉड्यूल]] के रूप में है। वास्तव में, ''A'' या ''B'' के समतल रिज़ॉल्यूशन का उपयोग करके टोर की गणना की जा सकती है; यह प्रक्षेपी संकल्प से अधिक सामान्य है।<ref>Weibel (1994), Lemma 3.2.8.</ref> | *तोर{{su|b=''i''|p=''R''}}(A, B) = 0 सभी i > 0 के लिए यदि या तो ''A'' या ''B'' [[फ्लैट मॉड्यूल|समतल है]] (उदाहरण के लिए, [[मुफ्त मॉड्यूल]]) ''R''-[[फ्लैट मॉड्यूल|मॉड्यूल]] के रूप में है। वास्तव में, ''A'' या ''B'' के समतल रिज़ॉल्यूशन का उपयोग करके टोर की गणना की जा सकती है; यह प्रक्षेपी संकल्प से अधिक सामान्य है।<ref>Weibel (1994), Lemma 3.2.8.</ref> | ||
* पिछले कथन के विपरीत हैं: | * पिछले कथन के विपरीत हैं: | ||
** यदि | ** यदि टोर{{su|b=1|p=''R''}} (''A'', ''B'') = 0 सभी ''B'' के लिए, ''A'' समतल है (और इसलिए टोर{{su|b=''i''|p=''R''}}(''A'', ''B'') = 0 सभी के लिए i> 0)। | ||
** यदि | ** यदि टोर{{su|b=1|p=''R''}} (''A'', ''B'') = 0 सभी ''A'' के लिए, ''B'' समतल है (और इसलिए टोर{{su|b=''i''|p=''R''}}(''A'', ''B'') = 0 सभी के लिए i> 0)। | ||
*व्युत्पन्न फ़ैक्टरों के सामान्य गुणों के अनुसार, सही ''R''-मॉड्यूल का अनुक्रम 0 → K → L → M → 0 फॉर्म का अनुक्रम उत्पन्न करता है<ref>Weibel (1994), Definition 2.1.1.</ref> <math display="block">\cdots \to \operatorname{Tor}_2^R(M,B) \to \operatorname{Tor}_1^R(K,B) \to \operatorname{Tor}_1^R(L,B) \to \operatorname{Tor}_1^R (M,B) \to K\otimes_R B\to L\otimes_R B\to M\otimes_R B\to 0,</math> किसी भी बाएं ''R''-मॉड्यूल ''B'' के लिए है। समान त्रुटिहीन अनुक्रम दूसरे चर के संबंध में टोर के लिए भी है। | *व्युत्पन्न फ़ैक्टरों के सामान्य गुणों के अनुसार, सही ''R''-मॉड्यूल का अनुक्रम 0 → K → L → M → 0 फॉर्म का अनुक्रम उत्पन्न करता है<ref>Weibel (1994), Definition 2.1.1.</ref> <math display="block">\cdots \to \operatorname{Tor}_2^R(M,B) \to \operatorname{Tor}_1^R(K,B) \to \operatorname{Tor}_1^R(L,B) \to \operatorname{Tor}_1^R (M,B) \to K\otimes_R B\to L\otimes_R B\to M\otimes_R B\to 0,</math> किसी भी बाएं ''R''-मॉड्यूल ''B'' के लिए है। समान त्रुटिहीन अनुक्रम दूसरे चर के संबंध में टोर के लिए भी है। | ||
*समरूपता: क्रम विनिमेय वलय R के लिए, | *समरूपता: क्रम विनिमेय वलय R के लिए, प्राकृतिक समरूपता टोर{{su|b=''i''|p=''R''}} (''A'', ''B'') ≅ टोर''Ri'' (''B'', ''A'') है। (''R'' कम्यूटेटिव के लिए, बाएं और दाएं ''R''-मॉड्यूल के मध्य भिन्नता करने की कोई आवश्यकता नहीं है।)<ref>Weibel (1994), Remark in section 3.1.</ref> | ||
*यदि R क्रम विनिमेय वलय है और u में R शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए, <math display="block">\operatorname{Tor}^R_i(R/(u),B)\cong\begin{cases} B/uB & i=0\\ B[u] & i=1\\ 0 &\text{otherwise}\end{cases}</math> कहाँ <math display="block">B[u] = \{x \in B : ux =0 \}</math> | *यदि R क्रम विनिमेय वलय है और u में R शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए, <math display="block">\operatorname{Tor}^R_i(R/(u),B)\cong\begin{cases} B/uB & i=0\\ B[u] & i=1\\ 0 &\text{otherwise}\end{cases}</math> कहाँ <math display="block">B[u] = \{x \in B : ux =0 \}</math> ''B'' का ''u''-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के <math>\Z</math> इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है <math>\operatorname{Tor}^{\Z}_1(A,B)</math> किसी भी [[अंतिम रूप से उत्पन्न एबेलियन समूह]] ''A'' के लिए है। | ||
* पिछले उदाहरण को सामान्य करते हुए, [[जटिल शर्ट]] का उपयोग करके, किसी भी [[नियमित अनुक्रम]] द्वारा | * पिछले उदाहरण को सामान्य करते हुए, [[जटिल शर्ट]] का उपयोग करके, किसी भी [[नियमित अनुक्रम]] द्वारा टोर समूहों की गणना की जा सकती है, जिसमें क्रमविनिमेय वलय के भागफल को सम्मिलित करता है <ref>Weibel (1994), section 4.5.</ref> उदाहरण के लिए, यदि R क्षेत्र k पर बहुपद वलय ''k''[''x''<sub>1</sub>, ..., ''x<sub>n</sub>''] है, <math>\operatorname{Tor}_*^R(k,k)</math> टोर<sub>1</sub> में ''n'' उत्पादक पर k के ऊपर [[बाहरी बीजगणित]] है। | ||
* <math>\operatorname{Tor}^{\Z}_i(A,B)=0</math> सभी के लिए | * <math>\operatorname{Tor}^{\Z}_i(A,B)=0</math> सभी i ≥ 2 के लिए है। प्रत्येक एबेलियन समूह A में लंबाई 1 का स्वतंत्र संकल्प है, क्योंकि [[मुक्त एबेलियन समूह|स्वतंत्र एबेलियन समूह]] का प्रत्येक उपसमूह स्वतंत्र एबेलियन है। | ||
*किसी भी वलय | *किसी भी वलय ''R'' के लिए, टोर प्रत्येक चर में प्रत्यक्ष योग (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स को संरक्षित करता है।<ref>Weibel (1994), Corollary 2.6.17.</ref> उदाहरण के लिए, पूर्व चर में, यह कहता है कि <math display="block">\begin{align} | ||
\operatorname{Tor}_i^R \left (\bigoplus_{\alpha} M_{\alpha}, N \right ) &\cong \bigoplus_{\alpha} \operatorname{Tor}_i^R(M_{\alpha},N) \\ | \operatorname{Tor}_i^R \left (\bigoplus_{\alpha} M_{\alpha}, N \right ) &\cong \bigoplus_{\alpha} \operatorname{Tor}_i^R(M_{\alpha},N) \\ | ||
\operatorname{Tor}_i^R \left (\varinjlim_{\alpha} M_{\alpha}, N \right ) &\cong \varinjlim_{\alpha} \operatorname{Tor}_i^R(M_{\alpha},N) | \operatorname{Tor}_i^R \left (\varinjlim_{\alpha} M_{\alpha}, N \right ) &\cong \varinjlim_{\alpha} \operatorname{Tor}_i^R(M_{\alpha},N) | ||
\end{align}</math> | \end{align}</math> | ||
* | *समतल आधार परिवर्तन: क्रमविनिमेय समतल R-बीजगणित T, R-मॉड्यूल A और B, और पूर्णांक i के लिए,<ref>Weibel (1994), Corollary 3.2.10.</ref> <math display="block">\mathrm{Tor}_i^R(A,B)\otimes_R T \cong \mathrm{Tor}_i^T(A\otimes_R T,B\otimes_R T).</math> यह इस प्रकार है कि टोर वलय के स्थानीयकरण के साथ संचार करता है। अर्थात्, R में गुणनात्मक रूप से बंद समुच्चय S के लिए, <math display="block">S^{-1} \operatorname{Tor}_i^R(A, B) \cong \operatorname{Tor}_i^{S^{-1} R} \left (S^{-1} A, S^{-1} B \right ).</math> | ||
*क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, | *क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, टोर{{supsub|''R''|*}} के लिए (A,B) में R के ऊपर [[ वर्गीकृत-कम्यूटेटिव ]] बीजगणित की संरचना है। इसके अतिरिक्त, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर [[विभाजित शक्ति]] संचालन हैं।<ref>Avramov & Halperin (1986), section 2.16; {{Citation | title=Stacks Project, Tag 09PQ | url=http://stacks.math.columbia.edu/tag/09PQ}}.</ref> | ||
Line 42: | Line 42: | ||
*[[ समूह समरूपता ]] द्वारा परिभाषित किया गया है <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> | * क्षेत्र 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> [[सार्वभौमिक लिफाफा बीजगणित]] है। | *ले बीजगणित समरूपता द्वारा परिभाषित किया गया है <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 | *क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, <math>\operatorname{Tor}_*^R(k,k)</math> k पर ग्रेडेड-कम्यूटेटिव [[हॉफ बीजगणित|अर्द्ध बीजगणित]] है।<ref>Avramov & Halperin (1986), section 4.7.</ref> (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो अर्द्ध बीजगणित <math>\operatorname{Tor}_*^R(k,k)</math>विस्तार ''R''(''k'',''k'') है बीजगणित के रूप में, <math>\operatorname{Tor}_*^R(k,k)</math> ग्रेडेड वेक्टर स्पेस π (R) पर मुक्त वर्गीकृत-कम्यूटेटिव विभाजित शक्ति बीजगणित है।<ref>Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.</ref> जब k का अभिलाक्षणिक शून्य होता है, तो π*(R) की पहचान आंद्रे-क्विलन समरूपता D*(k/R,k) से की जा सकती है।।<ref>Quillen (1970), section 7.</ref> | ||
Revision as of 14:02, 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, टोरR
i के लिए (A, B) सामान्यतः रूप से एकमात्र एबेलियन समूह है। यदि R वलय S पर बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो टोरR
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 के लिए, प्राकृतिक समरूपता टोरR
i (A, B) ≅ टोरRi (B, A) है। (R कम्यूटेटिव के लिए, बाएं और दाएं R-मॉड्यूल के मध्य भिन्नता करने की कोई आवश्यकता नहीं है।)[7] - यदि R क्रम विनिमेय वलय है और u में R शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए, कहाँB का u-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह A के लिए है।
- पिछले उदाहरण को सामान्य करते हुए, जटिल शर्ट का उपयोग करके, किसी भी नियमित अनुक्रम द्वारा टोर समूहों की गणना की जा सकती है, जिसमें क्रमविनिमेय वलय के भागफल को सम्मिलित करता है [8] उदाहरण के लिए, यदि R क्षेत्र k पर बहुपद वलय k[x1, ..., xn] है, टोर1 में n उत्पादक पर k के ऊपर बाहरी बीजगणित है।
- सभी i ≥ 2 के लिए है। प्रत्येक एबेलियन समूह A में लंबाई 1 का स्वतंत्र संकल्प है, क्योंकि स्वतंत्र एबेलियन समूह का प्रत्येक उपसमूह स्वतंत्र एबेलियन है।
- किसी भी वलय R के लिए, टोर प्रत्येक चर में प्रत्यक्ष योग (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स को संरक्षित करता है।[9] उदाहरण के लिए, पूर्व चर में, यह कहता है कि
- समतल आधार परिवर्तन: क्रमविनिमेय समतल R-बीजगणित T, R-मॉड्यूल A और B, और पूर्णांक i के लिए,[10] यह इस प्रकार है कि टोर वलय के स्थानीयकरण के साथ संचार करता है। अर्थात्, R में गुणनात्मक रूप से बंद समुच्चय S के लिए,
- क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, टोरR
* के लिए (A,B) में R के ऊपर वर्गीकृत-कम्यूटेटिव बीजगणित की संरचना है। इसके अतिरिक्त, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर विभाजित शक्ति संचालन हैं।[11]
महत्वपूर्ण विशेष स्तिथियों
- समूह समरूपता द्वारा परिभाषित किया गया है जहाँ G समूह है, M पूर्णांकों पर G का समूह प्रतिनिधित्व है, और G का समूह की वलय है।
- क्षेत्र k और A-बिमॉड्यूल M पर बीजगणित A के लिए , होशचाइल्ड होमोलॉजी द्वारा परिभाषित किया गया है
- ले बीजगणित समरूपता द्वारा परिभाषित किया गया है , जहां क्रमविनिमेय वलय R पर ले बीजगणित है, M है -मॉड्यूल, और सार्वभौमिक एनवलप बीजगणित है।
- क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, k पर ग्रेडेड-कम्यूटेटिव अर्द्ध बीजगणित है।[12] (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो अर्द्ध बीजगणित विस्तार R(k,k) है बीजगणित के रूप में, ग्रेडेड वेक्टर स्पेस π (R) पर मुक्त वर्गीकृत-कम्यूटेटिव विभाजित शक्ति बीजगणित है।[13] जब k का अभिलाक्षणिक शून्य होता है, तो π*(R) की पहचान आंद्रे-क्विलन समरूपता D*(k/R,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