टोर फ़ैक्टर्: Difference between revisions

From Vigyanwiki
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, Tor{{supsub|''R''|''i''}} के लिए (A, B) सामान्यतः रूप से  एकमात्र एबेलियन समूह है। यदि R  वलय S पर  बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो Tor{{supsub|''R''|''i''}}(A, B)  ''S''-मॉड्यूल है।
कम्यूटेटिव वलय 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 सभी ''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)।
** यदि  टोर{{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 के लिए, प्राकृतिक समरूपता Tor{{su|b=''i''|p=''R''}} (''A'', ''B'') ≅ Tor''Ri'' (''B'', ''A'') है। (''R'' कम्यूटेटिव के लिए, बाएं और दाएं ''R''-मॉड्यूल के मध्य अंतर करने की कोई आवश्यकता नहीं है।)<ref>Weibel (1994), Remark in section 3.1.</ref>
*समरूपता: क्रम विनिमेय वलय 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> ''B'' का ''u''-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के <math>\Z</math> इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है <math>\operatorname{Tor}^{\Z}_1(A,B)</math> किसी भी [[अंतिम रूप से उत्पन्न एबेलियन समूह]] ''A'' के लिए है।
*यदि 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[x<sub>1</sub>, ..., ्स<sub>''n''</sub>]  फ़ील्ड के ऊपर, फिर <math>\operatorname{Tor}_*^R(k,k)</math> टोर में एन जेनरेटर पर के पर [[बाहरी बीजगणित]] है<sub>1</sub>.
* पिछले उदाहरण को सामान्य करते हुए, [[जटिल शर्ट]] का उपयोग करके, किसी भी [[नियमित अनुक्रम]] द्वारा टोर समूहों की गणना की जा सकती है, जिसमें क्रमविनिमेय वलय के भागफल को सम्मिलित करता है <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> सभी के लिए i ≥ 2। कारण: प्रत्येक एबेलियन समूह में लंबाई 1 का मुक्त संकल्प है, क्योंकि [[मुक्त एबेलियन समूह]] का प्रत्येक उपसमूह मुक्त एबेलियन है।
* <math>\operatorname{Tor}^{\Z}_i(A,B)=0</math> सभी i ≥ 2 के लिए है।  प्रत्येक एबेलियन समूह A में लंबाई 1 का स्वतंत्र संकल्प है, क्योंकि [[मुक्त एबेलियन समूह|स्वतंत्र एबेलियन समूह]] का प्रत्येक उपसमूह स्वतंत्र एबेलियन है।
*किसी भी वलय आर के लिए, टोर प्रत्येक चर में मॉड्यूल (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स के प्रत्यक्ष योग को संरक्षित करता है।<ref>Weibel (1994), Corollary 2.6.17.</ref> उदाहरण के लिए, पूर्व चर में, यह कहता है कि <math display="block">\begin{align}
*किसी भी वलय ''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>
*सपाट आधार परिवर्तन: क्रमविनिमेय फ्लैट आर-बीजगणित टी, आर-मॉड्यूल और बी, और  पूर्णांक 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-बीजगणित 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, Tor के लिए{{supsub|''R''|*}}(, बी) में आर के ऊपर [[ वर्गीकृत-कम्यूटेटिव ]] बीजगणित की संरचना है। इसके अलावा, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर [[विभाजित शक्ति]] संचालन हैं।<ref>Avramov & Halperin (1986), section 2.16; {{Citation | title=Stacks Project, Tag 09PQ | url=http://stacks.math.columbia.edu/tag/09PQ}}.</ref>
*क्रमविनिमेय वलय 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 के ऊपर ग्रेडेड-कम्यूटेटिव [[हॉफ बीजगणित]] है।<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 के साथ नोथेरियन स्थानीय वलय है, तो अर्द्ध बीजगणित <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 की श्रेणी के लिए फ़ंक्टर है, और इसलिए इसने फ़ंक्टर्स को छोड़ दिया है . टोर समूह एबेलियन समूह हैं जिनके द्वारा परिभाषित किया गया है

पूर्णांक i के लिए परिभाषा के अनुसार, इसका अर्थ है: कोई अनुमानित संकल्प लें
और A को निषेध दें, और चेन कॉम्प्लेक्स बनाएं:
प्रत्येक पूर्णांक i के लिए, समूह स्थिति i पर इस कॉम्प्लेक्स का चेन कॉम्प्लेक्स है। यह i ऋणात्मक के लिए शून्य है। इसके अतिरिक्त, मानचित्र का कोकर्नेल है , जो आइसोमोर्फिक है।

वैकल्पिक रूप से, A को स्थिर करके और फ़ैक्टर G(B) =AR B के बाएं व्युत्पन्न फ़ैक्टरों को ले कर टोर को परिभाषित किया जा सकता है। अर्थात , B के प्रक्षेपी संकल्प के साथ टेंसर A और होमोलॉजी लें। कार्टन और ईलेनबर्ग ने दिखाया कि ये निर्माण प्रक्षेपी संकल्प की रुचि से स्वतंत्र हैं, और दोनों निर्माण समान टोर समूह उत्पन्न करते हैं।[3] इसके अतिरिक्त, निश्चित वलय R के लिए, टोर प्रत्येक चर ( R-मॉड्यूल से एबेलियन समूहों तक) में है।

कम्यूटेटिव वलय R और R-मॉड्यूल Aऔर B, टोर R
i
के लिए (A, B) R-मॉड्यूल है (इस स्तिथियों में AR B R-मॉड्यूल है)। गैर-कम्यूटेटिव वलय R, टोरR
i
के लिए (A, B) सामान्यतः रूप से एकमात्र एबेलियन समूह है। यदि R वलय S पर बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो टोरR
i
(A, B) S-मॉड्यूल है।

गुण

यहाँ टोर समूहों के कुछ बुनियादी गुण और संगणनाएँ दी गई हैं।[4]

  • तोरR
    0
    (A, B) ≅ AR 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-मॉड्यूल का अनुक्रम 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]


यह भी देखें

टिप्पणियाँ

  1. Weibel (1999).
  2. Cartan & Eilenberg (1956), section VI.1.
  3. Weibel (1994), section 2.4 and Theorem 2.7.2.
  4. Weibel (1994), Chapters 2 and 3.
  5. Weibel (1994), Lemma 3.2.8.
  6. Weibel (1994), Definition 2.1.1.
  7. Weibel (1994), Remark in section 3.1.
  8. Weibel (1994), section 4.5.
  9. Weibel (1994), Corollary 2.6.17.
  10. Weibel (1994), Corollary 3.2.10.
  11. Avramov & Halperin (1986), section 2.16; Stacks Project, Tag 09PQ.
  12. Avramov & Halperin (1986), section 4.7.
  13. Gulliksen & Levin (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1.
  14. Quillen (1970), section 7.


संदर्भ


बाहरी संबंध