समूह कोहोलॉजी

This article is about समरूपता और कोहोमोलाॅजी का समूह. For किसी स्थान या अन्य वस्तु के होमोलॉजी या कोहोलॉजी समूह, see समरूपता (गणित).

गणित में अधिकांशतः विशेष रूप से होमोलॉजिकल बीजगणित में, समूह कोहोलॉजी गणितीय उपकरणों का एक समुच्चय है जिसका उपयोग कोहोलॉजी सिद्धांत का उपयोग करके समूह (गणित) का अध्ययन करने के लिए किया जाता है, जो बीजगणितीय टोपोलॉजी की विशेष तकनीक है। इस प्रकार समूह अभ्यावेदन के अनुरूप होकर समूह कोहोलॉजी के संबद्ध जी-मॉड्यूल में समूह G की समूह क्रिया (गणित) को दिखाया जाता है।जी-मॉड्यूल M समूह के गुणों को स्पष्ट करने के लिए जी-मॉड्यूल को तत्वों के साथ टोपोलॉजिकल स्पेस के रूप में मानकर $G^{n}$ सिंप्लेक्स का प्रतिनिधित्व करते हुए, इस क्षेत्र के टोपोलॉजिकल गुणों की गणना की जा सकती है, जैसे कोहोलॉजी समूहों का समुच्चय $H^{n}(G,M)$ इसका उदाहरण हैं। इस प्रकार कोहोलॉजी समूह के परिवर्तन करने पर इसमें समूह G और G-मॉड्यूल M की संरचना में अंतर्दृष्टि प्रदान करते हैं। ग्रुप कोहोलॉजी मॉड्यूल या स्पेस मौलिक समूह एक्शन के निश्चित बिंदुओं की जांच में भूमिका निभाता है और ग्रुप एक्शन के संबंध में भागफल मॉड्यूल या स्पेस को प्रकट करता हैं। इस प्रकार ग्रुप कॉहोलॉजी का उपयोग अमूर्त बीजगणित, होमोलॉजिकल बीजगणित, बीजगणितीय टोपोलॉजी और बीजगणितीय संख्या सिद्धांत के साथ-साथ समूह सिद्धांत के अनुप्रयोगों में भी किया जाता है। बीजगणितीय टोपोलॉजी के रूप में, एक दोहरी सिद्धांत है, जिसे ग्रुप होमोलॉजी कहा जाता है। समूह कोहोलॉजी की तकनीकों को इस स्थिति में भी बढ़ाया जा सकता है कि जी-मॉड्यूल के अतिरिक्त, G गैर-अबेलियन जी-समूह पर कार्य करता है; वास्तव में, गैर-एबेलियन समूह या गैर-एबेलियन गुणांकों के लिए किसी मॉड्यूल का सामान्यीकरण हैं।

ये बीजगणितीय विचार सामयिक विचारों से निकटता से संबंधित हैं। असतत समूह G का समूह सह-विज्ञान एक उपयुक्त स्थान का एकवचन सह-विज्ञान है, जिसका मूल समूह G है, अर्थात् संबंधित आइलेंबर्ग मैकलेन क्षेत्र को दर्शाता हैं। इस प्रकार इसका समूह कोहोलॉजी $\mathbb {Z}$¹ सर्कल एस के एकवचन कोहोलॉजी के रूप में सोचा जा सकता है, और इसी प्रकार $\mathbb {Z} /2\mathbb {Z}$ और $\mathbb {P} ^{\infty }(\mathbb {R} ).$ इसका उदाहरण हैं। इस प्रकार इसके समूहों के कोहोलॉजी के बारे में बहुत कुछ जाना जाता है, जिसमें निम्न-आयामी कोहोलॉजी, कार्यात्मकता और समूहों को कैसे परिवर्तित करना है, इसकी व्याख्या इसमें सम्मिलित है। इस प्रकार समूह कोहोलॉजी का विषय 1920 के दशक में प्रारंभ हुआ, 1940 के दशक के अंत में परिपक्व हुआ, और आज भी सक्रिय अनुसंधान के क्षेत्र के रूप में प्रस्तुत रहा है।

प्रेरणा

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

ऐसे जी-मॉड्यूल M को देखते हुए, जी-इनवेरिएंट के सबमॉड्यूल पर विचार करना स्वाभाविक है। G इनवेरिएंट के अवयव इस प्रकार हैं:

$M^{G}=\lbrace x\in M\ |\ \forall g\in G:\ gx=x\rbrace .$

अब, यदि N, M का G-सबमॉड्यूल है अर्थात, M का उपसमूह G की क्रिया द्वारा स्वयं में मैप किया गया है, तो यह सामान्य रूप से सत्य नहीं है कि इनवेरिएंट $M/N$ M में उन इनवैरियेंट के भागफल के रूप में पाए जाते हैं जो N में उपस्थित रहते हैं: इस प्रकार इसमें अपरिवर्तनीयता होने के कारण 'मौड्यूलो N' मुख्यतः व्यापक है। इसके पहले समूह कोहोलॉजी का उद्देश्य $H^{1}(G,N)$ इस अंतर को सटीक रूप से मापना है।

समूह कोहोलॉजी फलन $H^{*}$ सामान्य रूप से मापें कि किस हद तक आक्रमणकारियों को लेना सटीक अनुक्रमों का सम्मान नहीं करता है। यह लंबे सटीक अनुक्रम द्वारा व्यक्त किया गया है।

परिभाषाएँ

सभी जी-मॉड्यूल का संग्रह श्रेणी सिद्धांत है, इस प्रकार $f(gx)=g(f(x))$ फलन में G के लिए सभी g और M में x के लिए उपस्थित रहते हैं। इस प्रकार प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना $M^{G}$ जी-मॉड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए फ़ंक्टर उत्पन्न करता है। यह फंक्टर लेफ्ट सटीक फंक्टर के रूप से उपयोग होते है किन्तु आवश्यक नहीं कि सही सटीक हो। इसलिए हम इसके सही व्युत्पन्न कारक बना सकते हैं। उनके मूल्य आबेली समूह हैं और उन्हें इसके द्वारा निरूपित किया जाता है, इस प्रकार $H^{n}(G,M)$m में गुणांक के साथ G का एन-वें कोहोलॉजी समूह के रूप में प्रयुक्त होता हैं। इसके अतिरिक्त समूह $H^{0}(G,M)$ को $M^{G}$ से पहचाना जा सकता है।

कोचेन कॉम्प्लेक्स

व्युत्पन्न फ़ैक्टरों का उपयोग करने वाली परिभाषा अवधारणात्मक रूप से बहुत स्पष्ट है, किन्तु ठोस अनुप्रयोगों के लिए, निम्नलिखित संगणनाएं, जो कुछ लेखक परिभाषा के रूप में भी उपयोग करते हैं, अधिकांशतः सहायक होते हैं। इसके लिए $n\geq 0,$ के लिए इस प्रकार $C^{n}(G,M)$ से सभी फलन का समूह बनता हैं। इस प्रकार $G^{n}$ M के लिए (यहाँ $G^{0}$ साधन $\operatorname {id} _{G}$). यह एक एबेलियन समूह है; इसके तत्वों को अमानवीय एन-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म को इस प्रकार प्रदर्शित कर सकते हैं-

${\begin{cases}d^{n+1}\colon C^{n}(G,M)\to C^{n+1}(G,M)\\\left(d^{n+1}\varphi \right)(g_{1},\ldots ,g_{n+1})=g_{1}\varphi (g_{2},\dots ,g_{n+1})+\sum _{i=1}^{n}(-1)^{i}\varphi \left(g_{1},\ldots ,g_{i-1},g_{i}g_{i+1},\ldots ,g_{n+1}\right)+(-1)^{n+1}\varphi (g_{1},\ldots ,g_{n})\end{cases}}$

$d^{n+1}\circ d^{n}=0,$ समीकर इसकी जांच कर सकता है, इसलिए यह कोचेन कॉम्प्लेक्स को परिभाषित करता है जिसकी कोहोलॉजी की गणना की जा सकती है। यह दिखाया जा सकता है कि व्युत्पन्न फ़ैक्टरों के संदर्भ में समूह कोहोलॉजी की उपर्युक्त परिभाषा इस परिसर के कोहोलॉजी के लिए आइसोमोर्फिक है।

$H^{n}(G,M)=Z^{n}(G,M)/B^{n}(G,M).$

यहाँ क्रमशः n-कोसाइकिल्स और n-कोबाउंड्रीज के समूहों को परिभाषित किया गया है।

$Z^{n}(G,M)=\ker(d^{n+1})$

$B^{n}(G,M)={\begin{cases}0&n=0\\\operatorname {im} (d^{n})&n\geqslant 1\end{cases}}$

फ़ैक्टर Xटⁿ और ग्रुप कोहोलॉजी की औपचारिक परिभाषा

समूह रिंग पर मॉड्यूल के रूप में जी-मॉड्यूल की व्याख्या $\mathbb {Z} [G],$ से करते हैं जिसके लिए कोई भी इसे नोट कर सकता है-

$H^{0}(G,M)=M^{G}=\operatorname {Hom} _{\mathbb {Z} [G]}(\mathbb {Z} ,M),$

अर्ताथ, M में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के $\mathbb {Z}$ समूह से की जाती है, जिसे तुच्छ जी-मॉड्यूल के रूप में माना जाता है, इस प्रकार G का प्रत्येक तत्व पहचान के रूप में कार्य करता है।

इसलिए, चूंकि X्ट फंक्टर्स होम फंक्टर के व्युत्पन्न फ़ैक्टर हैं, इसलिए एक प्राकृतिक समरूपता है

$H^{n}(G,M)=\operatorname {Ext} _{\mathbb {Z} [G]}^{n}(\mathbb {Z} ,M).$

इन Xट समूहों की गणना प्रोजेक्टिव रिज़ॉल्यूशन $\mathbb {Z}$ के माध्यम से भी की जा सकती है, इसका लाभ यह है कि ऐसा संकल्प केवल G पर निर्भर करता है और M पर निर्भर नहीं करते हैं। हम इस संदर्भ के लिए Ext की परिभाषा को अधिक स्पष्ट रूप से याद करते हैं। F को एक प्रक्षेपी संकल्प या प्रक्षेपी होने देते हैं, इस प्रकार $\mathbb {Z} [G]$-संकल्प उदाहरण के लिए एक मुक्त संकल्प या मुक्त $\mathbb {Z} [G]$-संकल्प को इसका $\mathbb {Z} [G]$-मापांक $\mathbb {Z}$:

$\cdots \to F_{n}\to F_{n-1}\to \cdots \to F_{0}\to \mathbb {Z} \to 0.$

उदाहरण के लिए, कोई सदैव समूह के रिंग का संकल्प ले सकता है, इस प्रकार $F_{n}=\mathbb {Z} [G^{n+1}],$ मोर्फिज्म के साथ

${\begin{cases}f_{n}:\mathbb {Z} [G^{n+1}]\to \mathbb {Z} [G^{n}]\\(g_{0},g_{1},\ldots ,g_{n})\mapsto \sum _{i=0}^{n}(-1)^{i}\left(g_{0},\ldots ,{\widehat {g_{i}}},\dots ,g_{n}\right)\end{cases}}$

इसके लिए $\mathbb {Z} [G]$ के मान को याद रखते हैं, इस प्रकार मॉड्यूलस एन और m, होम_G(n, m) एक एबेलियन समूह है जिसमें $\mathbb {Z} [G]$-होमोमाॅर्फिज्म N से M तक सम्मिलित हैं, चूंकि $\operatorname {Hom} _{G}(-,M)$ प्रतिपरिवर्ती फ़ैक्टर है और लागू करते हुए तीरों को उलट देता है, इस प्रकार $\operatorname {Hom} _{G}(-,M)$ एफ को टर्मवाइज और ड्रॉप करता हैं। इस प्रकार $\operatorname {Hom} _{G}(\mathbb {Z} ,M)$ कोचेन कॉम्प्लेक्स का उत्पादन करता है

$\operatorname {Hom} _{G}(-,M)(F,M)$:

$\cdots \leftarrow \operatorname {Hom} _{G}(F_{n},M)\leftarrow \operatorname {Hom} _{G}(F_{n-1},M)\leftarrow \dots \leftarrow \operatorname {Hom} _{G}(F_{0},M)\leftarrow 0.$

कोहोलॉजी समूह $H^{*}(G,M)$ मॉड्यूल M में गुणांक वाले G को उपरोक्त कोचेन क्षेत्र के कोहोलॉजी के रूप में परिभाषित किया गया है:

$H^{n}(G,M)=H^{n}({\rm {Hom}}_{G}(F,M)),\qquad n\geqslant 0.$

यह निर्माण प्रारंभ में एक कोबाउंड्री ऑपरेटर की ओर ले जाता है जो सजातीय कोचेन पर कार्य करता है। ये $\operatorname {Hom} _{G}(F,M)$ के तत्व हैं, अर्ताथ इस प्रकार यह कार्य करता है कि $\phi _{n}\colon G^{n}\to M$ समीकरण का पालन करें-

$g\phi _{n}(g_{1},g_{2},\ldots ,g_{n})=\phi _{n}(gg_{1},gg_{2},\ldots ,gg_{n}).$

कोबाउंड्री ऑपरेटर $\delta \colon C^{n}\to C^{n+1}$ अब स्वाभाविक रूप से परिभाषित किया गया है, उदाहरण के लिए,

$\delta \phi _{2}(g_{1},g_{2},g_{3})=\phi _{2}(g_{2},g_{3})-\phi _{2}(g_{1},g_{3})+\phi _{2}(g_{1},g_{2}).$

कोबाउंड्री ऑपरेटर d से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन पर कार्य करता है $\varphi$, पुनर्मूल्यांकन करके दिया जाता है जिससे कि

${\begin{aligned}\varphi _{2}(g_{1},g_{2})&=\phi _{3}(1,g_{1},g_{1}g_{2})\\\varphi _{3}(g_{1},g_{2},g_{3})&=\phi _{4}(1,g_{1},g_{1}g_{2},g_{1}g_{2}g_{3}),\end{aligned}}$

और इसी प्रकार

जैसा कि पिछले भाग में है।

ग्रुप होमोलॉजी

ग्रुप कोहोलॉजी के निर्माण के लिए दो तरह से ग्रुप होमोलॉजी की निम्नलिखित परिभाषा है: इसका जी-मॉड्यूल इस प्रकार दिया गया है। जिसमें g·m − 'm, g ∈ G, m ∈ M रूप के अवयवों द्वारा M को इसके तथाकथित कोइनवैरियेंट, भागफल समूह निर्दिष्ट करता हैं-

$M_{G}:=M/DM,$

इसका सही कारक इस प्रकार है। इसकी परिभाषा के अनुसार इसके बायें व्युत्पन्न फंक्‍टर समूह समरूपता हैं

$H_{n}(G,M).$

सहसंयोजक फ़ंक्टर जो M_G असाइन करता है, जिसके लिए M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक $\mathbb {Z} \otimes _{\mathbb {Z} [G]}M,$ है जहाँ $\mathbb {Z}$ तुच्छ जी-क्रिया के साथ संपन्न किया जाता है। इसलिए टोर काम करता है के संदर्भ में समूह समरूपता के लिए अभिव्यक्ति भी मिलती है,

$H_{n}(G,M)=\operatorname {Tor} _{n}^{\mathbb {Z} [G]}(\mathbb {Z} ,M)$

ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन ग्रुप इनवेरिएंट/कॉइनवेरिएंट के कन्वेंशन से सहमत है, जबकि जिसे को-स्विच के रूप में दर्शाया गया है:

• सुपरस्क्रिप्ट कोहोलॉजी H * और इनवेरिएंट X^G के अनुरूप हैं जबकि
• सबस्क्रिप्ट होमोलॉजी H के अनुरूप हैं_∗ और संयोग X_G:= X/G हैं।

विशेष रूप से, गृहविज्ञान समूह H_n(जी, M) की गणना निम्नानुसार की जा सकती है। इसके प्रक्षेपी संकल्प F के साथ प्रारंभ करें $\mathbb {Z} [G]$-मापांक $\mathbb {Z} ,$ जैसा कि पिछले अनुभाग में है। सहपरिवर्ती फ़ंक्टर लागू करें $\cdot \otimes _{\mathbb {Z} [G]}M$ एक चेन कॉम्प्लेक्स प्राप्त करने के लिए टर्मवाइज एफ $F\otimes _{\mathbb {Z} [G]}M$:

$\cdots \to F_{n}\otimes _{\mathbb {Z} [G]}M\to F_{n-1}\otimes _{\mathbb {Z} [G]}M\to \cdots \to F_{0}\otimes _{\mathbb {Z} [G]}M\to \mathbb {Z} \otimes _{\mathbb {Z} [G]}M.$

तब H_n(जी, M) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, $H_{n}(G,M)=H_{n}(F\otimes _{\mathbb {Z} [G]}M)$ एन ≥ 0 के लिए।

पूर्ण संकल्पों और टेट कोहोलॉजी समूह के संदर्भ में कुछ समूहों, विशेष रूप से परिमित समूह के लिए ग्रुप होमोलॉजी और कोहोलॉजी का समान रूप से सही किया जा सकता है।

समूह समरूपता $H_{*}(G,k)$ एबेलियन समूहों का G एक प्रमुख आदर्श डोमेन k में मानों के साथ बाहरी बीजगणित से निकटता $\wedge ^{*}(G\otimes k)$ से संबंधित है।

निम्न-आयामी कोहोलॉजी समूह

H¹

पहला कोहोलॉजी समूह तथाकथित क्रॉस्ड होमोमोर्फिज्म का भागफल है, अर्ताथ मानचित्र (समुच्चय के) f : G → M संतोषजनक f(ab) = f(a) + af(b) for all a, b in G, माॅड्यूलो तथाकथित प्रिंसिपल क्रॉस होमोमोर्फिज्म, अर्ताथ मानचित्र f : G → M कुछ निश्चित m ∈ M के लिए f(g) = gm−m द्वारा दिया गया है। यह उपरोक्त कोचेन की परिभाषा से आता है।

यदि M पर G की क्रिया मामूली है, तो उपरोक्त H¹ (G,M) = होम(G, M) तक उबलता है, इस समूह की समाकारिता का समूह G → M, चूँकि पार की गई समाकारिता तब केवल साधारण समाकारिता होती है और सह-सीमाएँ (अर्थात् मुख्य पार की गई समाकारिता) की छवि समान रूप से होनी चाहिए शून्य: इसलिए केवल शून्य सीमा है।

दूसरी ओर, के मामले पर विचार करें $H^{1}(\mathbb {Z} /2,\mathbb {Z} _{-}),$ जहाँ $\mathbb {Z} _{-}$ गैर-तुच्छ को दर्शाता है $\mathbb {Z} /2$पूर्णांकों के योगात्मक समूह पर संरचना, जो प्रत्येक के लिए -a भेजता है $a\in \mathbb {Z}$; और हम जहाँ मानते हैं $\mathbb {Z} /2$ समूह के रूप में $\{\pm 1\}$. की छवियों के लिए सभी संभावित स्थितियों पर विचार करके $\{1,-1\}$ प्राप्त होता हैं, यह देखा जा सकता है कि पार की गई समरूपता सभी मानचित्रों का निर्माण करती है $f_{t}:\{\pm 1\}\to \mathbb {Z}$ संतुष्टि देने वाला $f_{t}(1)=0$ और $f_{t}(-1)=t$ पूर्णांक t के कुछ मनमाना विकल्प के लिए। प्रिंसिपल क्रॉस्ड होमोमोर्फिज्म को अतिरिक्त रूप से पूरा करना होगा $f_{t}(-1)=(-1)*m-m=-2m$ कुछ पूर्णांक M के लिए: इसलिए प्रत्येक पार होमोमोर्फिज्म $f_{t}$ -1 को सम पूर्णांक में भेजना $t=-2m$ प्रमुख है, और इसलिए:

$H^{1}(\mathbb {Z} /2,\mathbb {Z} _{-})\cong \mathbb {Z} /2={\rm {\ (say)\ {\it {}}}}\langle f:f(1)=0,f(-1)=1\rangle ,$

समूह संचालन बिंदुवार जोड़ के साथ: $(f_{s}+f_{t})(x)=f_{s}(x)+f_{t}(x)=f_{s+t}(x)$, नोट किया कि $f_{0}$ पहचान तत्व है।

H²

यदि M एक तुच्छ जी-मॉड्यूल है (अर्ताथ M पर G की क्रिया तुच्छ है), दूसरा कोहोलॉजी समूह H²(G,M) ग्रुप एक्सटेंशन#M द्वारा G के केंद्रीय एक्सटेंशन के समुच्चय के साथ एक-से-एक पत्राचार में है (एक प्राकृतिक समकक्ष संबंध तक)। अधिक सामान्यतः, अगर M पर G की कार्यान्वयन गैर-तुच्छ है, इस प्रकार H²(जी,M) सभी समूह विस्तार के समरूपता वर्गों को वर्गीकृत करता है $0\to M\to E\to G\to 0$ M द्वारा G की, जिसमें ई पर G की क्रिया आंतरिक ऑटोमोर्फिज्म द्वारा, एक आइसोमोर्फिक जी-मॉड्यूल संरचना के साथ M (की छवि) प्रदान करती है।

अनुभाग से उदाहरण में $H^{1}$ तुरंत ऊपर, $H^{2}(\mathbb {Z} /2,\mathbb {Z} _{-})=0,$ के एकमात्र विस्तार के रूप में $\mathbb {Z} /2$ द्वारा $\mathbb {Z}$ दी गई गैर-तुच्छ क्रिया के साथ अनंत डायहेड्रल समूह है, जो एक विभाजित विस्तार है और अंदर इतना तुच्छ है $H^{2}$ समूह। यह वास्तव में समूह-सैद्धांतिक दृष्टि से अद्वितीय गैर-तुच्छ तत्व का महत्व है $H^{1}(\mathbb {Z} /2,\mathbb {Z} _{-}),$.

एक दूसरे समूह कोहोलॉजी समूह का एक उदाहरण ब्राउर समूह है: यह क्षेत्र के पूर्ण गैलोइस समूह का कोहोलॉजी है जो अलग-अलग बंद होने पर उलटा तत्वों पर कार्य करता है:

$H^{2}\left(\mathrm {Gal} (k),(k^{\mathrm {sep} })^{\times }\right).$

यह भी देखें [1]।

मौलिक उदाहरण

=== एक परिमित चक्रीय समूह === का समूह कोहोलॉजी

परिमित चक्रीय समूह के लिए $G=C_{m}$ आदेश की $m$ जनरेटर के साथ $\sigma$, तत्व $\sigma -1\in \mathbb {Z} [G]$ संबद्ध समूह वलय में शून्य का भाजक है क्योंकि इसका गुणनफल है $N$,

द्वारा दिया गया$N=1+\sigma +\sigma ^{2}+\cdots +\sigma ^{m-1}\in \mathbb {Z} [G],$

देता है${\begin{aligned}N(1-\sigma )&=1+\sigma +\cdots +\sigma ^{m-1}\\&\quad -\sigma -\sigma ^{2}-\cdots -\sigma ^{m}\\&=1-\sigma ^{m}\\&=0.\end{aligned}}$

इस गुण का उपयोग संकल्प के निर्माण के लिए किया जा सकता है तुच्छ का $\mathbb {Z} [G]$-मापांक $\mathbb {Z}$ कॉम्प्लेक्स <ब्लॉककोट> के माध्यम से$\cdots \xrightarrow {\sigma -1} \mathbb {Z} [G]\xrightarrow {N} \mathbb {Z} [G]\xrightarrow {\sigma -1} \mathbb {Z} [G]\xrightarrow {\text{aug}} \mathbb {Z} \to 0$किसी के लिए समूह कोहोलॉजी संगणना दे रहा है $\mathbb {Z} [G]$-मापांक $M$. ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल देता है $\mathbb {Z}$ इसका $\mathbb {Z} [G]$

द्वारा -स्ट्रक्चर${\text{aug}}\left(\sum _{g\in G}a_{g}g\right)=\sum _{g\in G}a_{g}$

यह संकल्प समूह कोहोलॉजी की गणना देता है क्योंकि कोहोलॉजी समूहों का समरूपता है<ब्लॉककोट>$H^{k}(G,A)\cong {\text{Ext}}_{\mathbb {Z} [G]}^{k}(\mathbb {Z} ,A)$दिखा रहा है कि फंक्टर को लागू करना ${\text{Hom}}_{\mathbb {Z} [G]}(-,A)$ उपरोक्त परिसर में (के साथ $\mathbb {Z}$ हटा दिया गया है क्योंकि यह रिज़ॉल्यूशन अर्ध-समरूपता है), गणना देता है

$H^{k}(G,A)={\begin{cases}A^{G}/NA&k{\text{ even}},k\geq 2\\{}_{N}A/(\sigma -1)A&k{\text{ odd}},k\geq 1\end{cases}}$

के लिये

${}_{N}A=\{a\in A:Na=0\}$

उदाहरण के लिए, यदि $A=\mathbb {Z}$, तुच्छ मॉड्यूल, फिर $\mathbb {Z} ^{G}=\mathbb {Z}$, $N\mathbb {Z} ={\text{aug}}(N)\mathbb {Z} =m\mathbb {Z}$, और ${}_{N}\mathbb {Z} =0$, इसलिए

$H^{k}(C_{m},\mathbb {Z} )={\begin{cases}\mathbb {Z} /m\mathbb {Z} &k{\text{ even}},k\geq 2\\0&k{\text{ odd}},k\geq 1\end{cases}}$</ब्लॉककोट>

स्पष्ट चक्र

बार रिज़ॉल्यूशन का उपयोग करते हुए एक चक्रीय समूह के समूह कोहोलॉजी के लिए स्पष्ट चक्र स्पष्ट रूप से दिए जा सकते हैं^{प्रॉप 2.3}. हमें जनरेटर का पूरा समुच्चय मिलता है $l$-कोसाइकिल के लिए $l$ नक्शों की तरह विषम

$\omega _{a}:B_{l}\to k^{*}$

द्वारा दिया गया$[g^{i_{1}},\ldots ,g^{i_{l}}]\mapsto \zeta _{m}^{ai_{1}\left[{\frac {i_{2}+i_{3}}{m}}\right]\cdots \left[{\frac {i_{l-1}+i_{l}}{m}}\right]}$

के लिए $l$ अजीब, $0\leq a\leq m-1$, $\zeta _{m}$ एक आदिम $m$-एकता की जड़, $k$ एक क्षेत्र युक्त $m$-एकता की जड़ें, और <ब्लॉककोट>$\left[{\frac {a}{b}}\right]$

किसी परिमेय संख्या के लिए $a/b$ से अधिक नहीं सबसे बड़े पूर्णांक को निरूपित करना $a/b$. इसके अलावा, हम संकेतन <ब्लॉककोट> का उपयोग कर रहे हैं$B_{l}=\bigoplus _{0\leq i_{1},\ldots ,i_{l}\leq m-1}\mathbb {Z} G\cdot [g^{i_{1}},\ldots ,g^{i_{l}}]$जहाँ $g$ के लिए जनरेटर है $G=C_{m}$. ध्यान दें कि के लिए $l$ गैर-शून्य भी सूचकांक कोहोलॉजी समूह तुच्छ हैं।

मुक्त समूहों की कोहोलॉजी

एक संकल्प का उपयोग करना

एक समुच्चय दिया $S$ संबंधित मुक्त समूह $G={\text{Free}}(S)={\underset {s\in S}{*}}\mathbb {Z}$ एक स्पष्ट संकल्प है तुच्छ मॉड्यूल का $\mathbb {Z} _{\text{triv}}$ जिसकी गणना आसानी से की जा सकती है। वृद्धि मानचित्र पर ध्यान दें${\text{aug}}:\mathbb {Z} [G]\to \mathbb {Z} _{\text{triv}}$में फ्री सबमॉड्यूल द्वारा दिया गया कर्नेल है $I_{S}$ समुच्चय द्वारा उत्पन्न $\{s-1:s\in S\}$, इसलिए $I_{S}=\bigoplus _{s\in S}\mathbb {Z} [G]\cdot (s-1)$क्योंकि यह वस्तु मुफ़्त है, यह एक संकल्प देता है

$0\to I_{S}\to \mathbb {Z} [G]\to \mathbb {Z} _{\text{triv}}\to 0$

इसलिए समूह कोहोलॉजी $G$ में गुणांक के साथ $\mathbb {Z} _{\text{triv}}$ फ़ैक्टर को लागू करके गणना की जा सकती है ${\text{Hom}}_{\mathbb {Z} [G]}(-,\mathbb {Z} )$ परिसर के लिए $0\to I_{S}\to \mathbb {Z} [G]\to 0$, दे रहा है

$H^{k}(G,\mathbb {Z} _{\text{triv}})={\begin{cases}\mathbb {Z} &k=0\\\bigoplus _{s\in S}\mathbb {Z} &k=1\\0&k\geq 2\end{cases}}$

इसका कारण दोहरा नक्शा

है${\text{Hom}}_{\mathbb {Z} [G]}(\mathbb {Z} [G],\mathbb {Z} _{\text{triv}})\to {\text{Hom}}_{\mathbb {Z} [G]}(I_{S},\mathbb {Z} _{\text{triv}})$

कोई भी भेजता है $\mathbb {Z} [G]$-मॉड्यूल आकारिकी <ब्लॉककोट>$\phi :\mathbb {Z} [G]\to \mathbb {Z} _{\text{triv}}$प्रेरित रूपवाद पर $I_{S}$ समावेश की रचना करके। केवल नक्शे ही भेजे जाते हैं $0$ हैं $\mathbb {Z}$वृद्धि मानचित्र के गुणक, पहला कोहोलॉजी समूह दे रहे हैं। केवल दूसरे नक्शों पर ध्यान देकर दूसरा पाया जा सकता है

$\psi \in {\text{Hom}}_{\mathbb {Z} [G]}(I_{S},\mathbb {Z} _{\text{triv}})$

द्वारा उत्पन्न किया जा सकता है $\mathbb {Z}$नक्शे भेजने का आधार $(s-1)\mapsto 1$ एक निश्चित के लिए $s\in S$, और भेज रहा हूँ $(s'-1)\mapsto 0$ किसी के लिए $s'\in S-\{s\}$.

टोपोलॉजी का प्रयोग

मुक्त समूहों का समूह कोहोलॉजी $\mathbb {Z} *\mathbb {Z} *\cdots *\mathbb {Z}$ द्वारा उत्पन्न $n$ टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की आसानी से गणना की जा सकती है। याद रखें कि हर समूह के लिए $G$ एक टोपोलॉजिकल स्पेस है $BG$, समूह का वर्गीकरण स्थान कहा जाता है, जिसमें गुण होता है$\pi _{1}(BG)=G{\text{ and }}\pi _{k}(BG)=0{\text{ for }}k\geq 2$इसके अलावा, इसमें यह गुण है कि इसकी टोपोलॉजिकल कोहोलॉजी समूह कोहोलॉजी के लिए आइसोमॉर्फिक है।

$H^{k}(BG,\mathbb {Z} )\cong H^{k}(G,\mathbb {Z} )$कुछ समूह कोहोलॉजी समूहों की गणना करने का एक तरीका दे रहा है। टिप्पणी $\mathbb {Z}$ किसी भी स्थानीय प्रणाली द्वारा प्रतिस्थापित किया जा सकता है ${\mathcal {L}}$ जो मानचित्र द्वारा निर्धारित किया जाता है। इस प्रकार $\pi _{1}(G)\to GL(V)$ कुछ एबेलियन समूह के लिए $V$ की स्थितियों में $B(\mathbb {Z} *\cdots *\mathbb {Z} )$ के लिए $n$ अक्षर, यह एक पच्चर योग द्वारा दर्शाया गया है, इस प्रकार $n$ मंडलियां $S^{1}\vee \cdots \vee S^{1}$ जिसे वैन कम्पेन प्रमेय का उपयोग करके दिखाया जा सकता है | वैन-कम्पेन प्रमेय, समूह कोहोलॉजी देता है।

$H^{k}(\mathbb {Z} *\cdots *\mathbb {Z} )={\begin{cases}\mathbb {Z} &k=0\\\mathbb {Z} ^{n}&k=1\\0&k\geq 2\end{cases}}$

एक अभिन्न जाली का समूह कोहोलॉजी

एक अभिन्न जाली के लिए $\Lambda$ पद का $n$ (इसलिए आइसोमॉर्फिक टू $\mathbb {Z} ^{n}$), इसके समूह कोहोलॉजी की गणना सापेक्ष आसानी से की जा सकती है। सबसे पहले, क्योंकि $B\mathbb {Z} \cong S^{1}$, और $B\mathbb {Z} \times B\mathbb {Z}$ है $\pi _{1}\cong \mathbb {Z} \times \mathbb {Z}$, जो एबेलियन समूह के रूप में आइसोमोर्फिक हैं $\mathbb {Z} \oplus \mathbb {Z}$, समूह कोहोलॉजी में समरूपता <ब्लॉककोट> है$H^{k}(\Lambda ,\mathbb {Z} _{\text{triv}})\cong H^{k}(\mathbb {R} ^{n}/\mathbb {Z} ^{n},\mathbb {Z} )$ रैंक के एक टोरस के अभिन्न कोहोलॉजी के साथ $n$.

गुण

निम्नलिखित में, M को जी-मॉड्यूल होने दें।

कोहोलॉजी का लंबा सटीक क्रम

व्यवहार में, अधिकांशतः निम्नलिखित तथ्य का उपयोग करते हुए कोहोलॉजी समूहों की गणना की जाती है: यदि

$0\to L\to M\to N\to 0$

जी-मॉड्यूल का एक छोटा सटीक अनुक्रम है, तो एक लंबा सटीक अनुक्रम प्रेरित होता है:

$0\longrightarrow L^{G}\longrightarrow M^{G}\longrightarrow N^{G}{\overset {\delta ^{0}}{\longrightarrow }}H^{1}(G,L)\longrightarrow H^{1}(G,M)\longrightarrow H^{1}(G,N){\overset {\delta ^{1}}{\longrightarrow }}H^{2}(G,L)\longrightarrow \cdots$

तथाकथित समरूपता को जोड़ना,

$\delta ^{n}:H^{n}(G,N)\to H^{n+1}(G,L)$

अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है। अगर $c\in H^{n}(G,N)$ एक n-cocycle द्वारा दर्शाया गया है $\phi :G^{n}\to N,$ तब $\delta ^{n}(c)$ द्वारा दर्शाया गया है $d^{n}(\psi ),$ जहाँ $\psi$ और कोचन $G^{n}\to M$ उठाने की $\phi$ (अर्थात। $\phi$ की रचना है $\psi$ विशेषण मानचित्र M → N) के साथ उपयोग होता हैं।

कार्यात्मकता

समूह कोहोलॉजी निम्नलिखित अर्थों में समूह G पर विपरीत रूप से निर्भर करती है: यदि f : H → G एक समूह समरूपता है, तो हमारे पास स्वाभाविक रूप से प्रेरित आकारिकी Hⁿ है इस प्रकार (G, M) → Hⁿ(H, M के लिए जहां बाद में, M को F के माध्यम से H-मॉड्यूल के रूप में माना जाता है। इस मानचित्र को प्रतिबंध मानचित्र कहा जाता है। यदि G में H का सूचकांक (समूह सिद्धांत) परिमित है, तो विपरीत दिशा में एक मानचित्र भी है, जिसे स्थानांतरण मानचित्र कहा जाता है,

$cor_{H}^{G}:H^{n}(H,M)\to H^{n}(G,M).$

डिग्री 0 में, यह मानचित्र द्वारा दिया गया है

${\begin{cases}M^{H}\to M^{G}\\m\mapsto \sum _{g\in G/H}gm\end{cases}}$

जी-मॉड्यूल M → एन के आकारिकी को देखते हुए, H में कोहोलॉजी समूहों का आकार मिलता है^एन(जी, M) → H^एन(जी, एन)।

उत्पाद

टोपोलॉजी और ज्योमेट्री में अन्य कोहोलॉजी सिद्धांतों के समान, जैसे कि एकवचन कॉहोलॉजी या डॉ कहलमज , ग्रुप कॉहोलॉजी एक उत्पाद संरचना का आनंद लेती है: कप उत्पाद नामक एक प्राकृतिक नक्शा है:

$H^{n}(G,N)\otimes H^{m}(G,M)\to H^{n+m}(G,M\otimes N)$

किसी भी दो जी-मॉड्यूल M और एन के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर $\oplus _{n\geqslant 0}H^{n}(G,R),$ देता है जहाँ R एक वलय है जैसे $\mathbb {Z}$ या $\mathbb {Z} /p.$ एक परिमित समूह G के लिए, इस कोहोलॉजी का सम भाग विशेषता p में बजता है, $\oplus _{n\geqslant 0}H^{2n}(G,\mathbb {Z} /p)$ G की संरचना समूह के बारे में बहुत सारी जानकारी रखती है, उदाहरण के लिए इस रिंग का क्रुल आयाम एक एबेलियन उपसमूह के अधिकतम रैंक के बराबर है $(\mathbb {Z} /p)^{r}$. उदाहरण के लिए, G को असतत टोपोलॉजी के तहत दो तत्वों वाला समूह होने दें। वास्तविक प्रक्षेप्य स्थान $\mathbb {P} ^{\infty }(\mathbb {R} )$ G. Let के लिए एक वर्गीकरण स्थान है $k=\mathbb {F} _{2},$ दो तत्वों का क्षेत्र (गणित)। तब

$H^{*}(G;k)\cong k[x],$

एक एकल जनरेटर पर एक बहुपद k-बीजगणित, क्योंकि यह एक विलक्षण कोहोलॉजी रिंग $\mathbb {P} ^{\infty }(\mathbb {R} ).$ है।

कुनेथ सूत्र

अगर, M = के एक क्षेत्र है, तो H * (जी; के) एक वर्गीकृत के-बीजगणित है और समूहों के एक उत्पाद का कोहोलॉजी एक कुनेथ सूत्र द्वारा अलग-अलग समूहों से संबंधित है:

$H^{*}(G_{1}\times G_{2};k)\cong H^{*}(G_{1};k)\otimes H^{*}(G_{2};k).$

उदाहरण के लिए, यदि G एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और $k=\mathbb {F} _{2},$ तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k-बीजगणित है¹(जी; के).,

$H^{*}(G;k)\cong k[x_{1},\ldots ,x_{r}].$

होमोलॉजी बनाम कोहोलॉजी

अन्य कोहोलॉजी सिद्धांतों के लिए, जैसे कि एकवचन कोहोलॉजी, समूह कोहोलॉजी और होमोलॉजी एक छोटे से सटीक अनुक्रम के माध्यम से एक दूसरे से संबंधित हैं

$0\to \mathrm {Ext} _{\mathbb {Z} }^{1}\left(H_{n-1}(G,\mathbb {Z} ),A\right)\to H^{n}(G,A)\to \mathrm {Hom} \left(H_{n}(G,\mathbb {Z} ),A\right)\to 0,$

जहां ए को तुच्छ जी-एक्शन के साथ संपन्न किया गया है और बाईं ओर का शब्द पहला Xट फंक्शनल है।

समामेलित उत्पाद

एक समूह A दिया गया है जो दो समूहों G₁ का उपसमूह है और G₂समामेलित उत्पाद की समरूपता $G:=G_{1}\star _{A}G_{2}$ (पूर्णांक गुणांक के साथ) एक लंबे सटीक अनुक्रम में स्थित है

$\cdots \to H_{n}(A)\to H_{n}(G_{1})\oplus H_{n}(G_{2})\to H_{n}(G)\to H_{n-1}(A)\to \cdots$

की समरूपता $\mathrm {SL} _{2}(\mathbb {Z} )=\mathbb {Z} /4\star _{\mathbb {Z} /2}\mathbb {Z} /6$ इसका उपयोग करके गणना की जा सकती है:

$H_{n}(\mathrm {SL} _{2}(\mathbb {Z} ))={\begin{cases}\mathbb {Z} &n=0\\\mathbb {Z} /12&{\text{odd degrees}}\\0&{\text{otherwise}}\end{cases}}$

यह सटीक अनुक्रम यह दिखाने के लिए भी लागू किया जा सकता है कि होमोलॉजी $\mathrm {SL} _{2}(k[t])$ और विशेष रैखिक समूह $\mathrm {SL} _{2}(k)$ अनंत क्षेत्र k के लिए सहमत हैं।

समूह का परिवर्तन

होशचाइल्ड-सेरे वर्णक्रमीय अनुक्रम G के सामान्य उपसमूह N के कोहोलॉजी और भाग G / N को समूह G (के लिए (प्रो-) परिमित समूह G) के कोहोलॉजी से संबंधित करता है। इससे किसी को मुद्रास्फीति-प्रतिबंध सटीक क्रम मिलता है।

वर्गीकरण स्थान की कोहोलॉजी

समूह कोहोलॉजी समरूपता के माध्यम से शेफ कोहोलॉजी जैसे टोपोलॉजिकल कोहोलॉजी सिद्धांतों से निकटता से संबंधित है

$H^{n}(BG,\mathbb {Z} )\cong H^{n}(G,\mathbb {Z} ).$

इजहार$BG$बाईं ओर एक वर्गीकरण स्थान है $G$. यह एक ईलेनबर्ग-मैकलेन स्थान है $K(G,1)$, अर्ताथ, एक स्थान जिसका मौलिक समूह है $G$ और जिनके उच्च होमोटॉपी समूह लुप्त हो जाते हैं)। के लिए रिक्त स्थान वर्गीकृत करना $\mathbb {Z} ,\mathbb {Z} /2$ और $\mathbb {Z} /n$ 1-गोला S¹ हैं, अनंत वास्तविक प्रक्षेपी स्थान $\mathbb {P} ^{\infty }(\mathbb {R} )=\cup _{n}\mathbb {P} ^{n}(\mathbb {R} ),$ और लेंस रिक्त स्थान, क्रमशः। सामान्य रूप में,$BG$भागफल के रूप में बनाया जा सकता है $EG/G$, जहाँ $EG$ एक अनुबंधित स्थान है जिस पर $G$ स्वतंत्र रूप से कार्य करता है। चूंकि,$BG$सामान्यतः आसानी से सुने जाने योग्य ज्यामितीय विवरण नहीं होता है।

अधिक सामान्यतः, कोई भी किसी से जुड़ सकता है $G$-मापांक $M$ एक स्थानीय प्रणाली पर $BG$ और उपरोक्त तुल्याकारिता एक तुल्याकारिता के लिए सामान्यीकरण करती है

$H^{n}(BG,M)=H^{n}(G,M).$

आगे के उदाहरण

समूहों के अर्ध-प्रत्यक्ष उत्पाद

एलेनबर्ग-मैकलेन रिक्त स्थान के फाइब्रेशन और गुणों की टोपोलॉजी का उपयोग करके समूहों के अर्ध-प्रत्यक्ष उत्पाद की गणना करने का एक तरीका है। याद रखें कि समूहों के अर्ध-प्रत्यक्ष उत्पाद के लिए $G=N\rtimes H$ समूहों का एक संबद्ध संक्षिप्त सटीक क्रम है, $1\to N\to N\rtimes H\to H\to 1$संबंधित ईलेनबर्ग-मैकलेन रिक्त स्थान का उपयोग करके एक फाइबर ग्रीनहाउस होता है

$K(N,1)\to K(G,1)\to K(H,1)$

जिसे एक सेरे स्पेक्ट्रल अनुक्रम के माध्यम से रखा जा सकता है। यह $E_{2}$-पेज $E_{2}^{p,q}=H^{p}(K(H,1),H^{q}(K(N,1)))\Rightarrow H^{p+q}(K(G,1))$जो ग्रुप कोहोलॉजी के बारे में जानकारी देता है $G$ के समूह कोहोलॉजी समूहों से $H,N$. ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है।

परिमित समूहों की कोहोलॉजी

उच्च कोहोलॉजी समूह मरोड़ हैं

कोहोलॉजी समूह Hⁿ(G, M) परिमित समूहों G के सभी n≥1 के लिए मरोड़ हैं। वास्तव में, मास्चके के प्रमेय द्वारा एक परिमित समूह के प्रतिनिधित्व की श्रेणी विशेषता शून्य के किसी भी क्षेत्र पर अर्ध-सरल है या अधिक सामान्यतः, कोई भी क्षेत्र जिसकी विशेषता समूह के क्रम को विभाजित नहीं करती है, इसलिए, समूह कोहोलॉजी को एक व्युत्पन्न के रूप में देखना इस एबेलियन श्रेणी में फ़ैक्टर, कोई यह प्राप्त करता है कि यह शून्य है। अन्य तर्क यह है कि विशेषता शून्य के एक क्षेत्र पर, एक परिमित समूह का समूह बीजगणित आव्यूह बीजगणित का प्रत्यक्ष योग है (संभवतः विभाजन बीजगणित पर जो मूल क्षेत्र के विस्तार हैं), जबकि एक आव्यूह बीजगणित इसके आधार के समतुल्य मोरिटा है, इस क्षेत्र के लिए यह कोहोलॉजी है।

यदि जी-मॉड्यूल M में G का क्रम उलटा है (उदाहरण के लिए, यदि M एक है $\mathbb {Q}$-वेक्टर स्पेस), इसे दिखाने के लिए ट्रांसफर मैप का उपयोग किया जा सकता है $H^{n}(G,M)=0$ के लिए $n\geqslant 1.$ इस तथ्य का एक विशिष्ट अनुप्रयोग निम्नानुसार है: लघु सटीक अनुक्रम का लंबा सटीक कोहोलॉजी अनुक्रम (जहां सभी तीन समूहों में एक तुच्छ जी-एक्शन है)

$0\to \mathbb {Z} \to \mathbb {Q} \to \mathbb {Q} /\mathbb {Z} \to 0$

एक समरूपता उत्पन्न करता है

$\mathrm {Hom} (G,\mathbb {Q} /\mathbb {Z} )=H^{1}(G,\mathbb {Q} /\mathbb {Z} )\cong H^{2}(G,\mathbb {Z} ).$

टेट कोहोलॉजी

टेट कोहोलॉजी समूह एक परिमित समूह G के होमोलॉजी और कोहोलॉजी दोनों को मिलाते हैं:

${\widehat {H}}^{n}(G,M):={\begin{cases}H^{n}(G,M)&n\geqslant 1\\\operatorname {coker} N&n=0\\\ker N&n=-1\\H_{-n-1}(G,M)&n\leqslant -2,\end{cases}}$

जहाँ $N:M_{G}\to M^{G}$ मानक मानचित्र से प्रेरित है:

${\begin{cases}M\to M\\m\mapsto \sum _{g\in G}gm\end{cases}}$

टेट कोहोलॉजी समान विशेषताओं का आनंद लेती है, जैसे लंबे सटीक अनुक्रम, उत्पाद संरचनाएं। वर्ग क्षेत्र सिद्धांत में एक महत्वपूर्ण अनुप्रयोग है, वर्ग निर्माण देखें।

परिमित चक्रीय समूहों के टेट कोहोलॉजी, $G=\mathbb {Z} /n,$ 2-आवधिक है इस अर्थ में कि समरूपताएँ हैं

${\widehat {H}}^{m}(G,M)\cong {\widehat {H}}^{m+2}(G,M)\qquad {\text{for all }}m\in \mathbb {Z} .$

डी-आवधिक कोहोलॉजी के लिए एक आवश्यक और पर्याप्त मानदंड यह है कि G के केवल एबेलियन उपसमूह चक्रीय हैं। उदाहरण के लिए, कोई अर्ध-प्रत्यक्ष उत्पाद $\mathbb {Z} /n\rtimes \mathbb {Z} /m$ कोप्राइम पूर्णांक n और m के लिए यह गुण है।

अनुप्रयोग

बीजगणितीय के-सिद्धांत और रैखिक समूहों की समरूपता

बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है:क्विलेन्स प्लस कंस्ट्रक्शन या +-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को अंतरिक्ष के समरूप समूहों के रूप में परिभाषित किया गया है $\mathrm {BGL} (R)^{+}.$ यहाँ $\mathrm {GL} (R)=\cup _{n\geq 1}\mathrm {GL} _{n}(R)$ अनंत सामान्य रैखिक समूह है। इस प्रकार इसके क्षेत्र के लिए $\mathrm {BGL} (R)^{+}$ के समान होमोलॉजी है $\mathrm {BGL} (R),$ अर्ताथ, जीएल (आर) का समूह समरूपता प्राप्त होती हैं। कुछ स्थितियों में, स्थिरता के परिणाम यह प्रमाणित करते हैं कि कोहोलॉजी समूहों का क्रम इस प्रकार हैं।

$\dots \to H_{m}\left(\mathrm {GL} _{n}(R)\right)\to H_{m}\left(\mathrm {GL} _{n+1}(R)\right)\to \cdots$

काफी बड़े n के लिए स्थिर हो जाता है, इसलिए अनंत सामान्य रैखिक समूह के कोहोलॉजी की गणना को कुछ में से एक में कम कर देता है $\mathrm {GL} _{n}(R)$. ऐसे परिणाम तब स्थापित किए गए हैं जब R एक क्षेत्र है या किसी संख्या क्षेत्र में पूर्णांकों की रिंग के लिए उपयोग होता हैं। इस प्रकार किसी समूह की श्रृंखला की समूह समरूपता की घटना $G_{n}$ स्थिरीकरण को समरूप स्थिरता कहा जाता है। इस स्थिति के अतिरिक्त $G_{n}=\mathrm {GL} _{n}(R)$ अभी उल्लेख किया गया है, यह कई अन्य समूहों पर लागू होता है जैसे सममित समूह या मानचित्रण वर्ग समूह इसका उदाहरण हैं।

अनुमानित प्रतिनिधित्व और समूह एक्टेंसशन

क्वांटम यांत्रिकी में हमारे पास अधिकांशतः समरूपता समूह वाले सिस्टम होते हैं इस प्रकार $G.$ के लिए उक्त क्रियान्वयन की उम्मीद करते हैं, तथा इस प्रकार $G$ हिल्बर्ट अंतरिक्ष पर ${\mathcal {H}}$ एकात्मक मैट्रिसेस द्वारा $U(g).$ हम उम्मीद कर सकते हैं। इसके लिए $U(g_{1})U(g_{2})=U(g_{1}g_{2}),$ को क्वांटम यांत्रिकी के नियमों के लिए केवल आवश्यकता होती है

$U(g_{1})U(g_{2})=\exp\{2\pi i\omega (g_{1},g_{2})\}U(g_{1}g_{2}),$

जहाँ $\exp\{2\pi i\omega (g_{1},g_{2})\}\in {\rm {U}}(1)$ इसका मुख्य चरण है। यह अनुमानित प्रतिनिधित्व $G$ समूह विस्तार के पारंपरिक प्रतिनिधित्व के रूप में भी सोचा जा सकता है ${\tilde {G}}$ का $G$ द्वारा $\mathrm {U} (1),$ जैसा कि सटीक क्रम द्वारा वर्णित है

$1\to {\rm {U}}(1)\to {\tilde {G}}\to G\to 1.$

साहचर्य की आवश्यकता है

$U(g_{1})[U(g_{2})U(g_{3})]=[U(g_{1})U(g_{2})]U(g_{3})$

ओर जाता है

$\omega (g_{2},g_{3})-\omega (g_{1}g_{2},g_{3})+\omega (g_{1},g_{2}g_{3})-\omega (g_{1},g_{2})=0,$

जिसे हम उस कथन के रूप में पहचानते हैं $d\omega (g_{1},g_{2},g_{3})=0,$ अर्ताथ वह $\omega$ मूल्यों को लेने वाला एक चक्रव्यूह है $\mathbb {R} /\mathbb {Z} \simeq {\rm {U}}(1).$ हम पूछ सकते हैं कि क्या हम पुनर्परिभाषित करके चरणों को समाप्त कर सकते हैं

$U(g)\to \exp\{2\pi i\eta (g)\}U(g)$

जो बदलता है

$\omega (g_{1},g_{2})\to \omega (g_{1},g_{2})+\eta (g_{2})-\eta (g_{1}g_{2})+\eta (g_{1}).$

इसे हम शिफ्टिंग के रूप में पहचानते हैं $\omega$ एक सीमा द्वारा $\omega \to \omega +d\eta .$ अलग-अलग प्रक्षेप्य अभ्यावेदन इसलिए वर्गीकृत किए गए हैं $H^{2}(G,\mathbb {R} /\mathbb {Z} ).$ ध्यान दें कि यदि हम चरणों को स्वयं समूह द्वारा कार्य करने की अनुमति देते हैं, इस प्रकार उदाहरण के लिए, समय उत्क्रमण चरण को जटिल-संयुग्मित करेगा, तो प्रत्येक सह-सीमा संचालन में पहला शब्द होगा $g_{1}$ पिछले अनुभागों में सह-सीमा की सामान्य परिभाषाओं के अनुसार इस पर कार्य करता हैं। उदाहरण के लिए, $d\eta (g_{1},g_{2})\to g_{1}\eta (g_{2})-\eta (g_{1}g_{2})+\eta (g_{1}).$ इसका प्रमुख उदाहरण हैं।

एक्सटेंशन

सांस्थितिकीय समूहों की सह-सम्बंधता

एक टोपोलॉजिकल समूह G दिया गया है, अर्ताथ टोपोलॉजी से लैस एक समूह जैसे कि उत्पाद और व्युत्क्रम निरंतर मानचित्र हैं, निरंतर जी-मॉड्यूल पर विचार करना स्वाभाविक है, अर्थात, यह आवश्यक है कि कार्यान्वयन

$G\times M\to M$

एक सतत नक्शा है। इस तरह के मॉड्यूल के लिए पुनः इसे व्युत्पन्न फ़ैक्टर $M\mapsto M^{G}$ पर विचार कर सकता है। बीजगणित और संख्या सिद्धांत में होने वाला एक विशेष मामला तब होता है जब G अनंत होता है, उदाहरण के लिए किसी क्षेत्र का निरपेक्ष गैलोज़ समूह को परिणामी कोहोलॉजी को गैलोइस कोहोलॉजी कहा जाता है।

गैर-अबेलियन समूह कोहोलॉजी

See also: नॉनबेलियन कोहोलॉजी

G-इनवैरियेंट और 1-cochains का उपयोग करके, एक गैर-अबेलियन समूह में गुणांक वाले समूह G के लिए शून्य और पहले समूह कोहोलॉजी का निर्माण कर सकता है। विशेष रूप से, एक जी-ग्रुप एक (आवश्यक नहीं कि एबेलियन) समूह ए है जिसमें G द्वारा एक क्रिया होती है।

A में गुणांक वाले G के शून्य कोहोलॉजी को उपसमूह के रूप में परिभाषित किया गया है

$H^{0}(G,A)=A^{G},$

जी द्वारा निर्धारित ए के तत्वों का।

A में गुणांकों के साथ G की पहली कोहोलॉजी को 1-सहसंबंधियों के अतिरिक्त 1-कोसाइकल मॉडुलो एक तुल्यता संबंध के रूप में परिभाषित किया गया है। मानचित्र के लिए शर्त $\varphi$ 1-कोसायकल होना वह है $\varphi (gh)=\varphi (g)[g\varphi (h)]$ और $\ \varphi \sim \varphi '$ अगर a में a है तो $\ a\varphi '(g)=\varphi (g)\cdot (ga)$ ऐसा है कि सामान्य रूप में, $H^{1}(G,A)$ एक समूह नहीं है जब A गैर-आबेली है। इसके अतिरिक्त इसमें एक नुकीले समुच्चय की संरचना है - ठीक वैसी ही स्थिति 0 वें होमोटोपी समूह $\ \pi _{0}(X;x)$ में उत्पन्न होती है, जो एक सामान्य टोपोलॉजिकल स्पेस के लिए एक समूह नहीं बल्कि एक पॉइंटेड समुच्चय है। ध्यान दें कि विशिष्ट बिंदु के रूप में पहचान तत्व के साथ एक समूह विशेष रूप से एक बिंदु समुच्चय है।

स्पष्ट गणनाओं का उपयोग करते हुए, कोहोलॉजी में अभी भी एक छोटा लंबा सटीक अनुक्रम प्राप्त होता है। विशेष रूप से इसे इस प्रकार प्रकट करते हैं-

$1\to A\to B\to C\to 1\,$

जी-समूहों का एक छोटा सटीक अनुक्रम हो, तो पॉइंटेड समुच्चय का एक सटीक अनुक्रम होता है

$1\to A^{G}\to B^{G}\to C^{G}\to H^{1}(G,A)\to H^{1}(G,B)\to H^{1}(G,C).\,$

इतिहास और अन्य क्षेत्रों से संबंध

1943-45 में समूह कोहोलॉजी की धारणा तैयार किए जाने से पहले, एक समूह के निम्न-आयामी कोहोलॉजी का शास्त्रीय रूप से अध्ययन किया गया था। विषय के पहले प्रमेय को 1897 में हिल्बर्ट के प्रमेय 90 के रूप में पहचाना जा सकता है; इसे Mी नोथेर के गैलोज सिद्धांत में समीकरणों में पुनर्गठित किया गया था, इन समूहों के लिए विस्तार समस्या के लिए कारक समुच्चय का विचार से जुड़ा हुआ $H^{2}$ ओटो होल्डर (1893) के काम में उत्पन्न हुआ, कुछ नहीं के 1904 में प्रक्षेपी अभ्यावेदन के अध्ययन में, ओटो श्रेयर के 1926 के उपचार में, और रिचर्ड ब्राउर के 1928 में सरल बीजगणित और ब्राउर समूह के अध्ययन में। इस इतिहास की एक विस्तृत चर्चा में पाया जा सकता है।

1941 में पढ़ाई के समय $H^{2}(G,\mathbb {Z} )$ (जो समूहों में एक विशेष भूमिका निभाता है), हेंज हॉफ ने खोज की जिसे अब हॉफ का अभिन्न समरूपता सूत्र कहा जाता है, जो परिमित, परिमित रूप से प्रस्तुत समूह के शूर गुणक के लिए शूर के सूत्र के समान है:

$H_{2}(G,\mathbb {Z} )\cong (R\cap [F,F])/[F,R],$

जहाँ $G\cong F/R$ और F एक मुक्त समूह है।

हॉफ के परिणाम ने 1943-45 में कई समूहों द्वारा समूह कोहोलॉजी की स्वतंत्र खोज का नेतृत्व किया: संयुक्त राज्य अमेरिका में सैमुअल एलेनबर्ग और सॉन्डर्स मैक लेन; स्विट्जरलैंड में हॉफ और बेनो एकमैन; नीदरलैंड में हंस फ्रायडेंथल; और दिमित्री फदीव सोवियत संघ में स्थिति अराजक थी क्योंकि द्वितीय विश्व युद्ध के समय इन देशों के बीच संचार मुश्किल था।

टोपोलॉजिकल दृष्टिकोण से, G के होमोलॉजी और कोहोलॉजी को पहले टॉपोलॉजिकल क्लासिफाइंग स्पेस बीजी के लिए एक मॉडल के होमोलॉजी और कोहोलॉजी के रूप में परिभाषित किया गया था, जैसा कि ऊपर चर्चा की गई है। व्यवहार में, इसका मतलब औपचारिक बीजगणितीय परिभाषाओं में प्रयुक्त श्रृंखला परिसरों का उत्पादन करने के लिए टोपोलॉजी का उपयोग करना था। एक मॉड्यूल-सैद्धांतिक दृष्टिकोण से यह 1950 के दशक की शुरुआत में होमोलॉजिकल बीजगणित के हेनरी कर्तन -सैमुअल इलेनबर्ग सिद्धांत में एकीकृत किया गया था।

वर्ग क्षेत्र सिद्धांत के लिए बीजगणितीय संख्या सिद्धांत में आवेदन ने प्रमेय प्रदान किए जो सामान्य गाल्वा विस्तार के लिए मान्य थे। वर्ग क्षेत्र सिद्धांत के कोहोलॉजिकल भाग को वर्ग संरचनाओं के सिद्धांत के रूप में अभिगृहीत किया गया था। इसके अतिरिक्त इसने गैलोज़ कोहोलॉजी और ईटेल कोहोलॉजी (जो इस पर बनाता है) की धारणा को जन्म दिया हैं। 1960 के बाद के सिद्धांत में कुछ परिशोधन किए गए हैं, जैसे कि निरंतर साइकिल और जॉन टेट (गणितज्ञ) का टेट कोहोलॉजी समूह, किन्तु मूल रूपरेखा वही रहती है। यह एक बड़ा क्षेत्र है, और अब बीजगणितीय समूहों के सिद्धांतों में मौलिक है।

लाई बीजगणित के अनुरूप सिद्धांत, जिसे लाई बीजगणित कोहोलॉजी कहा जाता है, इसको पहली बार 1940 के दशक के अंत में क्लाउड चेवेली और ईलेनबर्ग और जीन-लुई शर्ट्स द्वारा विकसित किया गया था। (Weibel 1999, p. 810). यह औपचारिक रूप से समान है, असत्य बीजगणित के लिए अपरिवर्तनीयता की इसी परिभाषा का उपयोग करते हैं। यह प्रतिनिधित्व सिद्धांत में बहुत अधिक लागू होता है, और सैद्धांतिक भौतिकी के बीआरएसटी परिमाणीकरण के साथ निकटता से जुड़ा हुआ है।

समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ उपलब्ध हैं। समरूपता के साथ लघु-श्रेणी के उलझे हुए राज्यों को समरूपता-संरक्षित टोपोलॉजिकल ऑर्डर के रूप में भी जाना जाता है। समरूपता-संरक्षित टोपोलॉजिकल स्टेट्स को उपयोग करते हैं।

यह भी देखें

• लिंडन-होशचाइल्ड-सेरे स्पेक्ट्रल अनुक्रम
• एन-ग्रुप (श्रेणी सिद्धांत)
• पोस्टनिकोव टॉवर

संदर्भ

उद्धृत कार्य

• Adem, Alejandro; Milgram, R. James (2004), Cohomology of Finite Groups, Grundlehren der Mathematischen Wissenschaften, vol. 309 (2nd ed.), Springer-Verlag, doi:10.1007/978-3-662-06280-7, ISBN 978-3-540-20283-7, MR 2035696, Zbl 1061.20044
• Arslanov, M. M. (2011), Математическая жизнь в Казани в годы войны, Mat. Pros., Ser. 3, vol. 15, MCCME, pp. 20–34, ISBN 978-5-94057-741-6
• Brown, Kenneth S. (1972), Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer Verlag, ISBN 978-0-387-90688-1, MR 0672956
• Faddeev, D. K. (1947), О фактор-системах в абелевых группах с операторами, Dokl. Akad. Nauk SSSR, vol. 58, Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences, pp. 361–364, ISSN 0002-3264
• Hopf, Heinz (1942), "Fundamentalgruppe und zweite Bettische Gruppe", Commentarii Mathematici Helvetici, 14 (1): 257–309, doi:10.1007/BF02565622, JFM 68.0503.01, MR 0006510, S2CID 122819784, Zbl 0027.09503
• Knudson, Kevin P. (2001), Homology of Linear Groups, Progress in Mathematics, vol. 193, Birkhäuser Verlag, Zbl 0997.20045
• Milne, James (2013), "Chapter II: The Cohomology of Groups", Class Field Theory, vol. v4.02
• Rotman, Joseph J. (1995), An Introduction to the Theory of Groups, Graduate Texts in Mathematics, vol. 148 (4th ed.), Springer-Verlag, doi:10.1007/978-1-4612-4176-8, ISBN 978-0-387-94285-8, MR 1307623
• Serre, Jean-Pierre (1979). "Chapter VII". स्थानीय क्षेत्र. Graduate Texts in Mathematics. Vol. 67. Berlin, New York: Springer-Verlag. ISBN 978-0-387-90424-5. MR 0554237. Zbl 0423.12016.
• Weibel, Charles A. (1999), "History of homological algebra", History of Topology, Cambridge University Press, pp. 797–836, CiteSeerX 10.1.1.39.9076, doi:10.1016/B978-044482375-5/50029-8, ISBN 978-0-444-82375-5, MR 1721123

अग्रिम पठन

• Serre, Jean-Pierre (1994), Cohomologie galoisienne, Lecture Notes in Mathematics, vol. 5 (Fifth ed.), Berlin, New York: Springer-Verlag, doi:10.1007/BFb0108758, ISBN 978-3-540-58002-7, MR 1324577
• Shatz, Stephen S. (1972), Profinite groups, arithmetic, and geometry, Princeton, NJ: Princeton University Press, ISBN 978-0-691-08017-8, MR 0347778
• Chapter 6 of 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.