टोर फ़ैक्टर्

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

एबेलियन समूहों के विशेष मामले में, टोर को एडुआर्ड सीच (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}$ पूर्णांकों की, इस गणना का उपयोग गणना करने के लिए किया जा सकता है ${\displaystyle }$