टोर काम करता है

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

एबेलियन समूहों के विशेष मामले में, टोर को एडुआर्ड सीच (1935) द्वारा पेश किया गया था और 1950 के आसपास सैमुअल एलेनबर्ग द्वारा नामित किया गया था। यह पहली बार टोपोलॉजी में कुनेथ प्रमेय और सार्वभौमिक गुणांक प्रमेय पर लागू किया गया था। किसी भी अंगूठी पर मॉड्यूल के लिए, टोर को हेनरी कर्तन और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक होमोलॉजिकल बीजगणित में परिभाषित किया गया था।

परिभाषा

माना R एक वलय (गणित) है। मॉड्यूल (गणित) के श्रेणी सिद्धांत के लिए आर-मॉड लिखें | बाएं आर-मॉड्यूल और मॉड-आर दाएं आर-मॉड्यूल की श्रेणी के लिए। (यदि R क्रमविनिमेय वलय है, तो दो श्रेणियों की पहचान की जा सकती है।) एक निश्चित बाएँ R-मॉड्यूल B के लिए, मान लीजिए $T(A)=A\otimes _{R}B$ मॉड-आर में ए के लिए। यह मॉड-आर से एबेलियन समूह एबी की श्रेणी के लिए एक सही सटीक फ़ंक्टर है, और इसलिए इसने फ़ंक्टर्स को छोड़ दिया है $L_{i}T$. टोर समूह एबेलियन समूह हैं जिनके द्वारा परिभाषित किया गया है

$$\operatorname {Tor} _{i}^{R}(A,B)=(L_{i}T)(A),$$

एक पूर्णांक i के लिए परिभाषा के अनुसार, इसका अर्थ है: कोई भी प्रोजेक्टिव मॉड्यूल # प्रोजेक्टिव रेजोल्यूशन लें

$$\cdots \to P_{2}\to P_{1}\to P_{0}\to A\to 0,$$

और A को हटा दें, और चेन कॉम्प्लेक्स बनाएं:

$$\cdots \to P_{2}\otimes _{R}B\to P_{1}\otimes _{R}B\to P_{0}\otimes _{R}B\to 0$$

प्रत्येक पूर्णांक i के लिए, group $\operatorname {Tor} _{i}^{R}(A,B)$ स्थिति i पर इस कॉम्प्लेक्स का चेन कॉम्प्लेक्स है। यह i ऋणात्मक के लिए शून्य है। इसके अतिरिक्त, $\operatorname {Tor} _{0}^{R}(A,B)$ मानचित्र का cokernel है $P_{1}\otimes _{R}B\to P_{0}\otimes _{R}B$, जो कि समरूपी है $A\otimes _{R}B$.

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

एक कम्यूटेटिव रिंग आर और आर-मॉड्यूल ए और बी, टोर के लिए^R
_i(ए, बी) एक आर-मॉड्यूल है (उस ए ⊗ का उपयोग करके_R बी इस मामले में एक आर-मॉड्यूल है)। एक गैर-कम्यूटेटिव रिंग R, Tor के लिए^R
_i(ए, बी) सामान्य तौर पर केवल एक एबेलियन समूह है। यदि R एक वलय S पर एक बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो Tor^R
_i(ए, बी) कम से कम एक एस-मॉड्यूल है।

गुण

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

• तोर^R
  ₀(ए, बी) ≅ ए ⊗_R बी किसी भी सही आर-मॉड्यूल ए और बाएं आर-मॉड्यूल बी के लिए।
• तोर^R
  _i(ए, बी) = 0 सभी i > 0 के लिए यदि या तो ए या बी आर-मॉड्यूल के रूप में फ्लैट मॉड्यूल (उदाहरण के लिए, मुफ्त मॉड्यूल) है। वास्तव में, ए या बी के फ्लैट रिज़ॉल्यूशन का उपयोग करके टोर की गणना की जा सकती है; यह प्रक्षेपी (या मुक्त) संकल्प से अधिक सामान्य है।
• पिछले कथन के विपरीत हैं:
  • तोर का^R
    ₁(ए, बी) = 0 सभी बी के लिए, फिर ए फ्लैट है (और इसलिए टोर^R
    _i(ए, बी) = 0 सभी के लिए i> 0)।
  • अगर तोर^R
    ₁(ए, बी) = 0 सभी ए के लिए, फिर बी फ्लैट है (और इसलिए टोर^R
    _i(ए, बी) = 0 सभी के लिए i> 0)।
• व्युत्पन्न फ़ैक्टरों के सामान्य गुणों के अनुसार, सही आर-मॉड्यूल का हर छोटा सटीक अनुक्रम 0 → K → L → M → 0 फॉर्म का एक लंबा सटीक अनुक्रम उत्पन्न करता है
  $$\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,$$
  किसी भी बाएं आर-मॉड्यूल बी के लिए। समान सटीक अनुक्रम दूसरे चर के संबंध में टोर के लिए भी है।
• समरूपता: क्रमविनिमेय वलय R के लिए, एक प्राकृतिक तुल्याकारिता Tor है^R
  _i(ए, बी) ≅ टोर^R
  _i(बी ० ए)। (आर कम्यूटेटिव के लिए, बाएं और दाएं आर-मॉड्यूल के बीच अंतर करने की कोई आवश्यकता नहीं है।)
• यदि R एक क्रमविनिमेय वलय है और u in R एक शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए,
  $$\operatorname {Tor} _{i}^{R}(R/(u),B)\cong {\begin{cases}B/uB&i=0\\B[u]&i=1\\0&{\text{otherwise}}\end{cases}}$$
  कहाँ
  $$B[u]=\{x\in B:ux=0\}$$
  बी का यू-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को अंगूठी मान लेना $\mathbb {Z}$ पूर्णांकों की, इस गणना का उपयोग गणना करने के लिए किया जा सकता है $\operatorname {Tor} _{1}^{\mathbb {Z} }(A,B)$ किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह ए के लिए।
• पिछले उदाहरण को सामान्य करते हुए, जटिल शर्ट का उपयोग करके, किसी भी नियमित अनुक्रम द्वारा एक कम्यूटेटिव रिंग के भागफल को शामिल करने वाले टोर समूहों की गणना कर सकते हैं। उदाहरण के लिए, यदि R बहुपद वलय k[x₁, ..., एक्स_n] एक फ़ील्ड के ऊपर, फिर $\operatorname {Tor} _{*}^{R}(k,k)$ टोर में एन जेनरेटर पर के पर बाहरी बीजगणित है₁.
• $\operatorname {Tor} _{i}^{\mathbb {Z} }(A,B)=0$ सभी के लिए i ≥ 2। कारण: प्रत्येक एबेलियन समूह ए में लंबाई 1 का एक मुक्त संकल्प है, क्योंकि एक मुक्त एबेलियन समूह का प्रत्येक उपसमूह मुक्त एबेलियन है।
• किसी भी रिंग आर के लिए, टोर प्रत्येक चर में मॉड्यूल (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स के प्रत्यक्ष योग को संरक्षित करता है। उदाहरण के लिए, पहले चर में, यह कहता है कि
  $${\begin{aligned}\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)\end{aligned}}$$
• सपाट आधार परिवर्तन: क्रमविनिमेय फ्लैट आर-बीजगणित टी, आर-मॉड्यूल ए और बी, और एक पूर्णांक i के लिए,
  $$\mathrm {Tor} _{i}^{R}(A,B)\otimes _{R}T\cong \mathrm {Tor} _{i}^{T}(A\otimes _{R}T,B\otimes _{R}T).$$
  यह इस प्रकार है कि टो रिंग के स्थानीयकरण के साथ संचार करता है। अर्थात्, R में गुणनात्मक रूप से बंद समुच्चय S के लिए,
  $$S^{-1}\operatorname {Tor} _{i}^{R}(A,B)\cong \operatorname {Tor} _{i}^{S^{-1}R}\left(S^{-1}A,S^{-1}B\right).$$
• एक क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, Tor के लिए^R
  _*(ए, बी) में आर के ऊपर वर्गीकृत-कम्यूटेटिव बीजगणित की संरचना है। इसके अलावा, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर विभाजित शक्ति संचालन हैं।

महत्वपूर्ण विशेष मामले

• समूह समरूपता द्वारा परिभाषित किया गया है $H_{*}(G,M)=\operatorname {Tor} _{*}^{\mathbb {Z} [G]}(\mathbb {Z} ,M),$ जहाँ G एक समूह है, M पूर्णांकों पर G का एक समूह प्रतिनिधित्व है, और $\mathbb {Z} [G]$ G का समूह की अंगूठी है।
• फील्ड ए पर बीजगणित के लिए फील्ड के ऊपर ए और ए-बिमॉड्यूल एम, होशचाइल्ड होमोलॉजी द्वारा परिभाषित किया गया है
  $$HH_{*}(A,M)=\operatorname {Tor} _{*}^{A\otimes _{k}A^{\text{op}}}(A,M).$$
• झूठ बीजगणित समरूपता द्वारा परिभाषित किया गया है $H_{*}({\mathfrak {g}},M)=\operatorname {Tor} _{*}^{U{\mathfrak {g}}}(R,M)$, कहाँ ${\mathfrak {g}}$ क्रमविनिमेय वलय R पर एक झूठा बीजगणित है, M एक है ${\mathfrak {g}}$-मॉड्यूल, और $U{\mathfrak {g}}$ सार्वभौमिक घेरने वाला बीजगणित है।
• क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, $\operatorname {Tor} _{*}^{R}(k,k)$ k के ऊपर एक ग्रेडेड-कम्यूटेटिव हॉफ बीजगणित है। (यदि R अवशेष क्षेत्र k के साथ एक नोथेरियन स्थानीय वलय है, तो दोहरी हॉफ बीजगणित to $\operatorname {Tor} _{*}^{R}(k,k)$ Ext functor#महत्वपूर्ण विशेष मामले हैं^*
  _R(के, के).) एक बीजगणित के रूप में, $\operatorname {Tor} _{*}^{R}(k,k)$ ग्रेडेड वेक्टर स्पेस π पर फ्री ग्रेडेड-कम्यूटेटिव डिवाइडेड पावर बीजगणित है_*(आर)। जब k में शून्य क्षेत्र की विशेषता होती है, π_*(आर) की पहचान आंद्रे-क्विलेन होमोलॉजी डी से की जा सकती है_*(के / आर, के)।

यह भी देखें

• फ्लैट आकारिकी
• सेरे का प्रतिच्छेदन सूत्र
• व्युत्पन्न टेंसर उत्पाद
• इलेनबर्ग-मूर वर्णक्रमीय अनुक्रम

संदर्भ

• 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