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

Revision as of 15:16, 30 October 2023

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

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

परिभाषा

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

[1]

[2]

[3]

[4]

[5]

[6]

[7]

@@ Line 1: / Line 1: @@
 {{Short description|Construction in homological algebra}}
-गणित में, टोर फ़ैक्टर्स  [[अंगूठी (गणित)|वलय (गणित)]] पर [[मॉड्यूल के टेंसर उत्पाद]] के व्युत्पन्न फ़ैक्टर हैं। [[एक्सट ऑपरेटर]] के साथ, टोर होमोलॉजिकल बीजगणित की केंद्रीय अवधारणाओं में से है, जिसमें [[बीजगणितीय टोपोलॉजी]] के विचारों का उपयोग बीजगणितीय संरचनाओं के आक्रमणकारियों के निर्माण के लिए किया जाता है। समूहों की समरूपता,  बीजगणित और [[होशचाइल्ड समरूपता|साहचर्य बीजगणित]] सभी को टोर के संदर्भ में परिभाषित किया जा सकता है। यह नाम पूर्व टोर समूह और [[एबेलियन समूह]] के [[मरोड़ उपसमूह|टोरसन उपसमूह]]  के मध्य संबंध से आता है।
+गणित में, '''टोर फ़ैक्टर्स'''  [[अंगूठी (गणित)|वलय (गणित)]] पर [[मॉड्यूल के टेंसर उत्पाद]] के व्युत्पन्न फ़ैक्टर हैं। [[एक्सट ऑपरेटर]] के साथ, टोर होमोलॉजिकल बीजगणित की केंद्रीय अवधारणाओं में से है, जिसमें [[बीजगणितीय टोपोलॉजी]] के विचारों का उपयोग बीजगणितीय संरचनाओं के आक्रमणकारियों के निर्माण के लिए किया जाता है। समूहों की समरूपता,  बीजगणित और [[होशचाइल्ड समरूपता|साहचर्य बीजगणित]] सभी को टोर के संदर्भ में परिभाषित किया जा सकता है। यह नाम पूर्व टोर समूह और [[एबेलियन समूह]] के [[मरोड़ उपसमूह|टोरसन उपसमूह]]  के मध्य संबंध से आता है।
 एबेलियन समूहों के विशेष स्तिथियों  में, टोर को एडुआर्ड सीच (1935) द्वारा प्रस्तुत किया गया था और 1950 के निकट [[सैमुअल एलेनबर्ग]] द्वारा नामित किया गया था।<ref>Weibel (1999).</ref> यह प्रथम बार टोपोलॉजी में कुनेथ प्रमेय और [[सार्वभौमिक गुणांक प्रमेय]] पर प्रारम्भ किया गया था। किसी भी वलय पर मॉड्यूल के लिए, टोर को [[ हेनरी कर्तन ]] और ईलेनबर्ग द्वारा उनकी 1956 की पुस्तक होमोलॉजिकल बीजगणित में परिभाषित किया गया था।<ref>Cartan & Eilenberg (1956), section VI.1.</ref>
@@ Line 35: / Line 35: @@
 \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, टोर{{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>
+*क्रमविनिमेय वलय 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>

Anonymous

Search

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

Namespaces

More

Page actions

Revision as of 15:16, 30 October 2023

Contents

परिभाषा

गुण