टोर फ़ैक्टर्

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

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

परिभाषा

माना R वलय (गणित) है। बाएं R- मॉड्यूल की श्रेणी के लिए R-मॉड और दाएं R- मॉड्यूल की श्रेणी के लिए मॉड -R लिखें | (यदि R क्रमविनिमेय है, तो दो श्रेणियों की पहचान की जा सकती है।) निश्चित बाएँ R-मॉड्यूल B के लिए, मान लीजिए $T(A)=A\otimes _{R}B$ मॉड- R में A के लिए। यह मॉड-R से एबेलियन समूह Ab की श्रेणी के लिए फ़ंक्टर है, और इसलिए इसने फ़ंक्टर्स को छोड़ दिया है $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 के लिए, समूह $\operatorname {Tor} _{i}^{R}(A,B)$ स्थिति i पर इस कॉम्प्लेक्स की समरूपता है। यह i ऋणात्मक के लिए शून्य है। इसके अतिरिक्त, $\operatorname {Tor} _{0}^{R}(A,B)$ मानचित्र का कोकर्नेल है $P_{1}\otimes _{R}B\to P_{0}\otimes _{R}B$, जो आइसोमोर्फिक $A\otimes _{R}B$ है।

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

गुण

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

• तोर^R
  ₀(A, B) ≅ A ⊗_R B किसी भी दाएं R-मॉड्यूल A और बाएं R-मॉड्यूल B के लिए है।
• तोर^R
  _i(A, B) = 0 सभी i > 0 के लिए यदि A या B समतल है (उदाहरण के लिए, मुक्त) R-मॉड्यूल के रूप में है। वास्तव में, A या B के समतल रिज़ॉल्यूशन का उपयोग करके टोर की गणना की जा सकती है; यह प्रक्षेपी संकल्प से अधिक सामान्य है।
• पिछले कथन के विपरीत हैं:
  • यदि टोर^R
    ₁ (A, B) = 0 सभी B के लिए, A समतल है (और इसलिए टोर^R
    _i(A, B) = 0 सभी के लिए i> 0)।
  • यदि टोर^R
    ₁ (A, B) = 0 सभी A के लिए, B समतल है (और इसलिए टोर^R
    _i(A, B) = 0 सभी के लिए i> 0)।
• व्युत्पन्न फ़ैक्टरों के सामान्य गुणों के अनुसार, सही R-मॉड्यूल का अनुक्रम 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-मॉड्यूल B के लिए है। समान त्रुटिहीन अनुक्रम दूसरे चर के संबंध में टोर के लिए भी है।
• समरूपता: क्रम विनिमेय वलय R के लिए, प्राकृतिक समरूपता टोर^R
  _i (A, B) ≅ टोरRi (B, A) है। (R कम्यूटेटिव के लिए, बाएं और दाएं R-मॉड्यूल के मध्य भिन्नता करने की कोई आवश्यकता नहीं है।)
• यदि R क्रम विनिमेय वलय है और u में 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\}$$
  B का u-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के $\mathbb {Z}$ इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है ${\mathrm{Tor}}_1^{\mathbb{Z}}<!--\; \; -->(A$