टोर फ़ैक्टर्

From Vigyanwiki

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

एबेलियन समूहों के विशेष स्तिथियों में, टोर को एडुआर्ड सीच (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, TorR
i
के लिए (A, B) सामान्यतः रूप से एकमात्र एबेलियन समूह है। यदि R वलय S पर बीजगणित है (जिसका विशेष रूप से अर्थ है कि S क्रमविनिमेय है), तो TorR
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 के लिए, प्राकृतिक समरूपता TorR
    i
    (A, B) ≅ TorRi (B, A) है। (R कम्यूटेटिव के लिए, बाएं और दाएं R-मॉड्यूल के मध्य अंतर करने की कोई आवश्यकता नहीं है।)[7]
  • यदि R क्रम विनिमेय वलय है और u में R शून्य विभाजक नहीं है, तो किसी भी R-मॉड्यूल B के लिए,
    कहाँ
    B का u-टॉर्शन उपसमूह है। यह टोर नाम की व्याख्या है। R को वलय मान लेना पूर्णांकों के इस परिकलन का उपयोग परिकलन के लिए किया जा सकता है किसी भी अंतिम रूप से उत्पन्न एबेलियन समूह A के लिए है।
  • पिछले उदाहरण को सामान्य करते हुए, जटिल शर्ट का उपयोग करके, किसी भी नियमित अनुक्रम द्वारा कम्यूटेटिव वलय के भागफल को शामिल करने वाले टोर समूहों की गणना कर सकते हैं।[8] उदाहरण के लिए, यदि R बहुपद वलय k[x1, ..., ्सn] फ़ील्ड के ऊपर, फिर टोर में एन जेनरेटर पर के पर बाहरी बीजगणित है1.
  • सभी के लिए i ≥ 2। कारण: प्रत्येक एबेलियन समूह ए में लंबाई 1 का मुक्त संकल्प है, क्योंकि मुक्त एबेलियन समूह का प्रत्येक उपसमूह मुक्त एबेलियन है।
  • किसी भी वलय आर के लिए, टोर प्रत्येक चर में मॉड्यूल (संभवतः अनंत) और फ़िल्टर किए गए कोलिमिट्स के प्रत्यक्ष योग को संरक्षित करता है।[9] उदाहरण के लिए, पूर्व चर में, यह कहता है कि
  • सपाट आधार परिवर्तन: क्रमविनिमेय फ्लैट आर-बीजगणित टी, आर-मॉड्यूल ए और बी, और पूर्णांक i के लिए,[10]
    यह इस प्रकार है कि टो वलय के स्थानीयकरण के साथ संचार करता है। अर्थात्, R में गुणनात्मक रूप से बंद समुच्चय S के लिए,
  • क्रमविनिमेय वलय R और क्रमविनिमेय R-बीजगणित A और B, Tor के लिएR
    *
    (ए, बी) में आर के ऊपर वर्गीकृत-कम्यूटेटिव बीजगणित की संरचना है। इसके अलावा, टोर बीजगणित में विषम डिग्री के तत्वों का वर्ग शून्य है, और सकारात्मक डिग्री के तत्वों पर विभाजित शक्ति संचालन हैं।[11]


महत्वपूर्ण विशेष स्तिथियों

  • समूह समरूपता द्वारा परिभाषित किया गया है जहाँ G समूह है, M पूर्णांकों पर G का समूह प्रतिनिधित्व है, और G का समूह की वलय है।
  • क्षेत्र k और A-बिमॉड्यूल M पर बीजगणित A के लिए , होशचाइल्ड होमोलॉजी द्वारा परिभाषित किया गया है
  • ले बीजगणित समरूपता द्वारा परिभाषित किया गया है , जहां क्रमविनिमेय वलय R पर ले बीजगणित है, M है -मॉड्यूल, और सार्वभौमिक लिफाफा बीजगणित है।
  • क्षेत्र k पर समाकारिता के साथ क्रमविनिमेय वलय R के लिए, k के ऊपर ग्रेडेड-कम्यूटेटिव हॉफ बीजगणित है।[12] (यदि R अवशेष क्षेत्र k के साथ नोथेरियन स्थानीय वलय है, तो दोहरी हॉफ बीजगणित to Ext functor#महत्वपूर्ण विशेष स्तिथियों हैं*
    R
    (के, के).) बीजगणित के रूप में, ग्रेडेड वेक्टर स्पेस π पर फ्री ग्रेडेड-कम्यूटेटिव डिवाइडेड पावर बीजगणित है*(आर)।[13] जब 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.


संदर्भ


बाहरी संबंध