समूह कोहोलॉजी: Difference between revisions

From Vigyanwiki
(Created page with "{{Short description|Tools for studying groups based on techniques from algebraic topology}} {{about|homology and cohomology ''of'' a group|homology or cohomology groups of a s...")
 
No edit summary
Line 1: Line 1:
{{Short description|Tools for studying groups based on techniques from algebraic topology}}
{{Short description|Tools for studying groups based on techniques from algebraic topology}}
{{about|homology and cohomology ''of'' a group|homology or cohomology groups of a space or other object|Homology (mathematics)}}
{{about|समरूपता और कोहोमोलाॅजी ''का'' समूह|किसी स्थान या अन्य वस्तु के होमोलॉजी या कोहोलॉजी समूह|समरूपता (गणित)}}


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


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


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


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


:<math> M^{G} = \lbrace x \in M \ | \ \forall g \in G : \ gx=x \rbrace. </math>
:<math> M^{G} = \lbrace x \in M \ | \ \forall g \in G : \ gx=x \rbrace. </math>
अब, यदि N, M का G-सबमॉड्यूल है (अर्थात, M का एक उपसमूह G की क्रिया द्वारा स्वयं में मैप किया गया है), तो यह सामान्य रूप से सत्य नहीं है कि इनवेरिएंट <math>M/N</math> M में उन invariants के भागफल के रूप में पाए जाते हैं जो N में हैं: अपरिवर्तनीय होने के कारण 'modulo N' व्यापक है। पहले समूह कोहोलॉजी का उद्देश्य <math>H^1(G,N)</math> इस अंतर को सटीक रूप से मापना है।
अब, यदि N, M का G-सबमॉड्यूल है अर्थात, M का उपसमूह G की क्रिया द्वारा स्वयं में मैप किया गया है, तो यह सामान्य रूप से सत्य नहीं है कि इनवेरिएंट <math>M/N</math> M में उन इनवैरियेंट के भागफल के रूप में पाए जाते हैं जो N में उपस्थित रहते हैं: इस प्रकार इसमें अपरिवर्तनीयता होने के कारण 'मौड्यूलो N' मुख्यतः व्यापक है। इसके पहले समूह कोहोलॉजी का उद्देश्य <math>H^1(G,N)</math> इस अंतर को सटीक रूप से मापना है।


समूह कोहोलॉजी फ़ंक्शंस <math>H^*</math> सामान्य रूप से मापें कि किस हद तक आक्रमणकारियों को लेना सटीक अनुक्रमों का सम्मान नहीं करता है। यह एक लंबे सटीक अनुक्रम द्वारा व्यक्त किया गया है।
समूह कोहोलॉजी फलन <math>H^*</math> सामान्य रूप से मापें कि किस हद तक आक्रमणकारियों को लेना सटीक अनुक्रमों का सम्मान नहीं करता है। यह लंबे सटीक अनुक्रम द्वारा व्यक्त किया गया है।


== परिभाषाएँ ==
== परिभाषाएँ ==
सभी जी-मॉड्यूल का संग्रह [[श्रेणी सिद्धांत]] है <math>f(gx) = g(f(x))</math> G में सभी g और M में x के लिए)। प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना <math>M^G</math> जी-मॉड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए एक फ़ंक्टर पैदा करता है। यह [[functor]] लेफ्ट सटीक functor है लेकिन जरूरी नहीं कि सही सटीक हो। इसलिए हम इसके सही [[व्युत्पन्न कारक]] बना सकते हैं।{{efn|This uses that the category of ''G''-modules has enough [[injective object|injectives]], since it is isomorphic to the category of all [[module (mathematics)|modules]] over the [[group ring]] <math>\Z[G].</math>}} उनके मूल्य आबेली समूह हैं और उन्हें इसके द्वारा निरूपित किया जाता है <math>H^n(G,M)</math>एम में गुणांक के साथ जी का एन-वें कोहोलॉजी समूह। इसके अलावा, समूह <math>H^0(G,M)</math> से पहचाना जा सकता है <math>M^G</math>.
सभी जी-मॉड्यूल का संग्रह [[श्रेणी सिद्धांत]] है, इस प्रकार <math>f(gx) = g(f(x))</math> फलन में G के लिए सभी g और M में x के लिए उपस्थित रहते हैं। इस प्रकार प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना <math>M^G</math> जी-मॉड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए फ़ंक्टर उत्पन्न करता है। यह [[functor|फंक्टर]] लेफ्ट सटीक फंक्टर के रूप से उपयोग होते है किन्तु आवश्यक नहीं कि सही सटीक हो। इसलिए हम इसके सही [[व्युत्पन्न कारक]] बना सकते हैं।{{efn|This uses that the category of ''G''-modules has enough [[injective object|injectives]], since it is isomorphic to the category of all [[module (mathematics)|modules]] over the [[group ring]] <math>\Z[G].</math>}} उनके मूल्य आबेली समूह हैं और उन्हें इसके द्वारा निरूपित किया जाता है, इस प्रकार <math>H^n(G,M)</math>m में गुणांक के साथ G का एन-वें कोहोलॉजी समूह के रूप में प्रयुक्त होता हैं। इसके अतिरिक्त समूह <math>H^0(G,M)</math> को <math>M^G</math> से पहचाना जा सकता है।


=== कोचेन कॉम्प्लेक्स ===
=== कोचेन कॉम्प्लेक्स ===
व्युत्पन्न फ़ैक्टरों का उपयोग करने वाली परिभाषा अवधारणात्मक रूप से बहुत स्पष्ट है, लेकिन ठोस अनुप्रयोगों के लिए, निम्नलिखित संगणनाएं, जो कुछ लेखक परिभाषा के रूप में भी उपयोग करते हैं, अक्सर सहायक होते हैं।<ref>Page 62 of [[#Reference-Mil2008|Milne 2008]] or section VII.3 of [[#Reference-Se1979|Serre 1979]]</ref> के लिए <math>n \ge 0,</math> होने देना <math>C^n(G,M)</math> से सभी कार्यों (गणित) का समूह बनें <math>G^n</math> एम के लिए (यहाँ <math>G^0</math> साधन <math>\operatorname{id}_G</math>). यह एक एबेलियन समूह है; इसके तत्वों को (अमानवीय) एन-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म
व्युत्पन्न फ़ैक्टरों का उपयोग करने वाली परिभाषा अवधारणात्मक रूप से बहुत स्पष्ट है, किन्तु ठोस अनुप्रयोगों के लिए, निम्नलिखित संगणनाएं, जो कुछ लेखक परिभाषा के रूप में भी उपयोग करते हैं, अधिकांशतः सहायक होते हैं।<ref>Page 62 of [[#Reference-Mil2008|Milne 2008]] or section VII.3 of [[#Reference-Se1979|Serre 1979]]</ref> इसके लिए <math>n \ge 0,</math> के लिए इस प्रकार <math>C^n(G,M)</math> से सभी फलन का समूह बनता हैं। इस प्रकार <math>G^n</math> M के लिए (यहाँ <math>G^0</math> साधन <math>\operatorname{id}_G</math>). यह एक एबेलियन समूह है; इसके तत्वों को अमानवीय एन-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म को इस प्रकार प्रदर्शित कर सकते हैं-


:<math>\begin{cases}  
:<math>\begin{cases}  
Line 27: Line 26:
\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_ig_{i+1}, \ldots, g_{n+1} \right ) + (-1)^{n+1}\varphi(g_1,\ldots, g_n)
\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_ig_{i+1}, \ldots, g_{n+1} \right ) + (-1)^{n+1}\varphi(g_1,\ldots, g_n)
\end{cases}</math>
\end{cases}</math>
कोई इसकी जांच कर सकता है <math>d^{n+1} \circ d^n = 0,</math> इसलिए यह एक [[कोचेन कॉम्प्लेक्स]] को परिभाषित करता है जिसकी कोहोलॉजी की गणना की जा सकती है। यह दिखाया जा सकता है कि व्युत्पन्न फ़ैक्टरों के संदर्भ में समूह कोहोलॉजी की उपर्युक्त परिभाषा इस परिसर के कोहोलॉजी के लिए आइसोमोर्फिक है
<math>d^{n+1} \circ d^n = 0,</math> समीकर इसकी जांच कर सकता है, इसलिए यह [[कोचेन कॉम्प्लेक्स]] को परिभाषित करता है जिसकी कोहोलॉजी की गणना की जा सकती है। यह दिखाया जा सकता है कि व्युत्पन्न फ़ैक्टरों के संदर्भ में समूह कोहोलॉजी की उपर्युक्त परिभाषा इस परिसर के कोहोलॉजी के लिए आइसोमोर्फिक है।


:<math>H^n(G,M) = Z^n(G,M)/B^n(G,M).</math>
:<math>H^n(G,M) = Z^n(G,M)/B^n(G,M).</math>
यहाँ क्रमशः n-cocycles और n-coboundaries के समूहों को परिभाषित किया गया है
यहाँ क्रमशः n-कोसाइकिल्स और n-कोबाउंड्रीज के समूहों को परिभाषित किया गया है।


:<math>Z^n(G,M) = \ker(d^{n+1}) </math>
:<math>Z^n(G,M) = \ker(d^{n+1}) </math>
:<math>B^n(G,M) = \begin{cases} 0 & n = 0 \\ \operatorname{im}(d^{n}) & n \geqslant 1 \end{cases}</math>
:<math>B^n(G,M) = \begin{cases} 0 & n = 0 \\ \operatorname{im}(d^{n}) & n \geqslant 1 \end{cases}</math>
 
=== फ़ैक्टर Xट<sup>n</sup> और ग्रुप कोहोलॉजी की औपचारिक परिभाषा===
 
समूह रिंग पर मॉड्यूल के रूप में जी-मॉड्यूल की व्याख्या <math>\Z[G],</math> से करते हैं जिसके लिए कोई भी इसे नोट कर सकता है-
=== फ़ैक्टर एक्सट<sup>n</sup> और ग्रुप कोहोलॉजी की औपचारिक परिभाषा===
समूह रिंग पर मॉड्यूल के रूप में जी-मॉड्यूल की व्याख्या करना <math>\Z[G],</math> कोई इसे नोट कर सकता है


:<math>H^{0}(G,M) = M^G = \operatorname{Hom}_{\Z[G]}(\Z ,M),</math>
:<math>H^{0}(G,M) = M^G = \operatorname{Hom}_{\Z[G]}(\Z ,M),</math>
यानी, एम में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के समूह से की जाती है <math>\Z</math>, जिसे तुच्छ जी-मॉड्यूल के रूप में माना जाता है (जी का प्रत्येक तत्व पहचान के रूप में कार्य करता है) एम।
अर्ताथ, M में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के <math>\Z</math> समूह से की जाती है, जिसे तुच्छ जी-मॉड्यूल के रूप में माना जाता है, इस प्रकार G का प्रत्येक तत्व पहचान के रूप में कार्य करता है।


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


:<math>H^{n}(G,M) = \operatorname{Ext}^{n}_{\Z [G]}(\Z, M).</math>
:<math>H^{n}(G,M) = \operatorname{Ext}^{n}_{\Z [G]}(\Z, M).</math>
इन एक्सट समूहों की गणना प्रोजेक्टिव रिज़ॉल्यूशन के माध्यम से भी की जा सकती है <math>\Z</math>, लाभ यह है कि ऐसा संकल्प केवल G पर निर्भर करता है और M पर नहीं। हम इस संदर्भ के लिए Ext की परिभाषा को अधिक स्पष्ट रूप से याद करते हैं। F को एक प्रक्षेपी संकल्प | प्रक्षेपी होने दें <math>\Z[G]</math>-संकल्प (उदाहरण के लिए एक मुक्त संकल्प | मुक्त <math>\Z[G]</math>-संकल्प) तुच्छ का <math>\Z[G]</math>-मापांक <math>\Z</math>:
इन Xट समूहों की गणना प्रोजेक्टिव रिज़ॉल्यूशन <math>\Z</math> के माध्यम से भी की जा सकती है, इसका लाभ यह है कि ऐसा संकल्प केवल G पर निर्भर करता है और M पर निर्भर नहीं करते हैं। हम इस संदर्भ के लिए Ext की परिभाषा को अधिक स्पष्ट रूप से याद करते हैं। F को एक प्रक्षेपी संकल्प या प्रक्षेपी होने देते हैं, इस प्रकार <math>\Z[G]</math>-संकल्प उदाहरण के लिए एक मुक्त संकल्प या मुक्त <math>\Z[G]</math>-संकल्प को इसका <math>\Z[G]</math>-मापांक <math>\Z</math>:


:<math> \cdots \to F_n\to F_{n-1} \to\cdots \to F_0\to \Z\to 0.</math>
:<math> \cdots \to F_n\to F_{n-1} \to\cdots \to F_0\to \Z\to 0.</math>
उदाहरण के लिए, कोई हमेशा समूह के छल्ले का संकल्प ले सकता है, <math>F_n = \Z[G^{n+1}],</math> मोर्फिज्म के साथ
उदाहरण के लिए, कोई सदैव समूह के रिंग का संकल्प ले सकता है, इस प्रकार <math>F_n = \Z[G^{n+1}],</math> मोर्फिज्म के साथ


:<math>\begin{cases}f_n : \Z[G^{n+1}] \to \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}</math>
:<math>\begin{cases}f_n : \Z[G^{n+1}] \to \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}</math>
इसके लिए याद करें <math>\Z[G]</math>-मॉड्यूलस एन और एम, होम<sub>''G''</sub>(एन, एम) एक एबेलियन समूह है जिसमें शामिल हैं <math>\Z[G]</math>-homomorphisms N से M. चूंकि <math>\operatorname{Hom}_{G}(-,M)</math> एक प्रतिपरिवर्ती फ़ैक्टर है और लागू करते हुए तीरों को उलट देता है <math>\operatorname{Hom}_{G}(-,M)</math> एफ को टर्मवाइज और ड्रॉप करना <math>\operatorname{Hom}_G(\Z, M)</math> एक कोचेन कॉम्प्लेक्स का उत्पादन करता है <math>\operatorname{Hom}_{G}(-,M)(F,M)</math>:
इसके लिए <math>\Z[G]</math> के मान को याद रखते हैं, इस प्रकार मॉड्यूलस एन और m, होम<sub>''G''</sub>(n, m) एक एबेलियन समूह है जिसमें <math>\Z[G]</math>-होमोमाॅर्फिज्म N से M तक सम्मिलित हैं, चूंकि <math>\operatorname{Hom}_{G}(-,M)</math> प्रतिपरिवर्ती फ़ैक्टर है और लागू करते हुए तीरों को उलट देता है, इस प्रकार <math>\operatorname{Hom}_{G}(-,M)</math> एफ को टर्मवाइज और ड्रॉप करता हैं। इस प्रकार <math>\operatorname{Hom}_G(\Z, M)</math> कोचेन कॉम्प्लेक्स का उत्पादन करता है
 
<math>\operatorname{Hom}_{G}(-,M)(F,M)</math>:


:<math>\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.</math>
:<math>\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.</math>
कोहोलॉजी समूह <math>H^*(G,M)</math> मॉड्यूल एम में गुणांक वाले जी को उपरोक्त कोचेन परिसर के कोहोलॉजी के रूप में परिभाषित किया गया है:
कोहोलॉजी समूह <math>H^*(G,M)</math> मॉड्यूल M में गुणांक वाले G को उपरोक्त कोचेन क्षेत्र के कोहोलॉजी के रूप में परिभाषित किया गया है:


:<math> H^n(G,M)=H^n({\rm Hom}_{G}(F,M)), \qquad n \geqslant 0.</math>
:<math> H^n(G,M)=H^n({\rm Hom}_{G}(F,M)), \qquad n \geqslant 0.</math>
यह निर्माण शुरू में एक कोबाउंड्री ऑपरेटर की ओर ले जाता है जो सजातीय कोचेन पर कार्य करता है। ये के तत्व हैं <math>\operatorname{Hom}_G(F,M)</math>, यानी कार्य करता है <math>\phi_n\colon G^n \to M</math> कि पालन करें
यह निर्माण प्रारंभ में एक कोबाउंड्री ऑपरेटर की ओर ले जाता है जो सजातीय कोचेन पर कार्य करता है। ये <math>\operatorname{Hom}_G(F,M)</math> के तत्व हैं, अर्ताथ इस प्रकार यह कार्य करता है कि  <math>\phi_n\colon G^n \to M</math> समीकरण का पालन करें-


:<math> g\phi_n(g_1,g_2,\ldots, g_n)= \phi_n(gg_1,gg_2,\ldots, gg_n).</math>
:<math> g\phi_n(g_1,g_2,\ldots, g_n)= \phi_n(gg_1,gg_2,\ldots, gg_n).</math>
Line 63: Line 62:


:<math> \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).</math>
:<math> \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).</math>
कोबाउंड्री ऑपरेटर d से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन पर कार्य करता है <math> \varphi</math>, पुनर्मूल्यांकन करके दिया जाता है ताकि
कोबाउंड्री ऑपरेटर d से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन पर कार्य करता है <math> \varphi</math>, पुनर्मूल्यांकन करके दिया जाता है जिससे कि


:<math>\begin{align}
:<math>\begin{align}
Line 69: Line 68:
\varphi_3(g_1,g_2,g_3) &= \phi_4(1, g_1,g_1g_2, g_1g_2g_3),
\varphi_3(g_1,g_2,g_3) &= \phi_4(1, g_1,g_1g_2, g_1g_2g_3),
\end{align}</math>
\end{align}</math>
और इसी तरह। इस प्रकार
और इसी प्रकार


:<math>\begin{align}
:<math>\begin{align}
Line 80: Line 79:


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


:<math>M_G:=M/DM,</math>
:<math>M_G:=M/DM,</math>
एक सही सटीक कारक है। परिभाषा के अनुसार इसके बायें व्युत्पन्न फंक्‍टर समूह समरूपता हैं
इसका सही कारक इस प्रकार है। इसकी परिभाषा के अनुसार इसके बायें व्युत्पन्न फंक्‍टर समूह समरूपता हैं


:<math>H_n(G,M).</math>
:<math>H_n(G,M).</math>
सहसंयोजक फ़ंक्टर जो एम असाइन करता है<sub>G</sub>M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक है <math>\Z \otimes_{\Z[G]} M,</math> कहाँ <math>\Z</math> तुच्छ जी-क्रिया के साथ संपन्न है।{{efn|1=Recall that the tensor product <math>N \otimes_{\Z[G]} M</math> is defined whenever ''N'' is a right <math>\Z[G]</math>-module and ''M'' is a left <math>\Z[G]</math>-module. If ''N'' is a left <math>\Z[G]</math>-module, we turn it into a right <math>\Z[G]</math>-module by setting ''ag'' = ''g''<sup>−1</sup>''a'' for every ''g'' ∈ ''G'' and every ''a'' ∈ ''N''. This convention allows to define the tensor product <math>N \otimes_{\Z[G]} M</math> in the case where both ''M'' and ''N'' are left <math>\Z[G]</math>-modules.}} इसलिए [[टोर काम करता है]] के संदर्भ में समूह समरूपता के लिए एक अभिव्यक्ति भी मिलती है,
सहसंयोजक फ़ंक्टर जो M<sub>G</sub> असाइन करता है, जिसके लिए M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक <math>\Z \otimes_{\Z[G]} M,</math> है  जहाँ <math>\Z</math> तुच्छ जी-क्रिया के साथ संपन्न किया जाता है।{{efn|1=Recall that the tensor product <math>N \otimes_{\Z[G]} M</math> is defined whenever ''N'' is a right <math>\Z[G]</math>-module and ''M'' is a left <math>\Z[G]</math>-module. If ''N'' is a left <math>\Z[G]</math>-module, we turn it into a right <math>\Z[G]</math>-module by setting ''ag'' = ''g''<sup>−1</sup>''a'' for every ''g'' ∈ ''G'' and every ''a'' ∈ ''N''. This convention allows to define the tensor product <math>N \otimes_{\Z[G]} M</math> in the case where both ''M'' and ''N'' are left <math>\Z[G]</math>-modules.}} इसलिए [[टोर काम करता है]] के संदर्भ में समूह समरूपता के लिए अभिव्यक्ति भी मिलती है,


:<math>H_n(G,M) = \operatorname{Tor}_n^{\Z[G]}(\Z,M)</math>
:<math>H_n(G,M) = \operatorname{Tor}_n^{\Z[G]}(\Z,M)</math>
ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन ग्रुप इनवेरिएंट/कॉइनवेरिएंट के कन्वेंशन से सहमत है, जबकि जिसे को-स्विच के रूप में दर्शाया गया है:
ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन ग्रुप इनवेरिएंट/कॉइनवेरिएंट के कन्वेंशन से सहमत है, जबकि जिसे को-स्विच के रूप में दर्शाया गया है:
* सुपरस्क्रिप्ट कोहोलॉजी एच * और इनवेरिएंट एक्स के अनुरूप हैं<sup>जी</sup> जबकि
* सुपरस्क्रिप्ट कोहोलॉजी H * और इनवेरिएंट X<sup>G</sup> के अनुरूप हैं जबकि
* सबस्क्रिप्ट होमोलॉजी एच के अनुरूप हैं<sub>∗</sub> और संयोग एक्स<sub>G</sub>:= एक्स/जी।
* सबस्क्रिप्ट होमोलॉजी H के अनुरूप हैं<sub>∗</sub> और संयोग X<sub>G</sub>:= X/G हैं।


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


:<math> \cdots \to F_n\otimes_{\Z[G]}M\to F_{n-1}\otimes_{\Z[G]}M \to\cdots \to F_0\otimes_{\Z[G]}M\to \Z\otimes_{\Z[G]}M.</math>
:<math> \cdots \to F_n\otimes_{\Z[G]}M\to F_{n-1}\otimes_{\Z[G]}M \to\cdots \to F_0\otimes_{\Z[G]}M\to \Z\otimes_{\Z[G]}M.</math>
तब एच<sub>''n''</sub>(जी, एम) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, <math>H_n(G,M)=H_n(F\otimes_{\Z[G]}M)</math> एन ≥ 0 के लिए।
तब H<sub>''n''</sub>(जी, M) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, <math>H_n(G,M)=H_n(F\otimes_{\Z[G]}M)</math> एन ≥ 0 के लिए।


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


समूह समरूपता <math>H_*(G, k)</math> एबेलियन समूहों का G एक [[प्रमुख आदर्श डोमेन]] k में मानों के साथ [[बाहरी बीजगणित]] से निकटता से संबंधित है <math>\wedge^* (G \otimes k)</math>.{{efn|For example, the two are isomorphic if all primes ''p'' such that ''G'' has ''p''-torsion are invertible in ''k''. See {{harv|Knudson|2001}}, Theorem A.1.19 for the precise statement.}}
समूह समरूपता <math>H_*(G, k)</math> एबेलियन समूहों का G एक [[प्रमुख आदर्श डोमेन]] k में मानों के साथ [[बाहरी बीजगणित]] से निकटता <math>\wedge^* (G \otimes k)</math> से संबंधित है।{{efn|For example, the two are isomorphic if all primes ''p'' such that ''G'' has ''p''-torsion are invertible in ''k''. See {{harv|Knudson|2001}}, Theorem A.1.19 for the precise statement.}}


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


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


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


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


:<math>H^1(\Z/2,\Z_{-})\cong \Z/2 = {\rm\ (say)\ \it} \langle f: f(1)=0, f(-1)=1\rangle,</math>
:<math>H^1(\Z/2,\Z_{-})\cong \Z/2 = {\rm\ (say)\ \it} \langle f: f(1)=0, f(-1)=1\rangle,</math>
समूह संचालन बिंदुवार जोड़ के साथ: <math>(f_s+f_t)(x) = f_s(x) + f_t(x) = f_{s+t}(x)</math>, नोट किया कि <math>f_0</math> पहचान तत्व है।
समूह संचालन बिंदुवार जोड़ के साथ: <math>(f_s+f_t)(x) = f_s(x) + f_t(x) = f_{s+t}(x)</math>, नोट किया कि <math>f_0</math> पहचान तत्व है।


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


अनुभाग से उदाहरण में <math>H^1</math> तुरंत ऊपर, <math>H^2(\Z/2, \Z_-) =0,</math> के एकमात्र विस्तार के रूप में <math>\Z/2</math> द्वारा <math>\Z</math> दी गई गैर-तुच्छ क्रिया के साथ [[अनंत डायहेड्रल समूह]] है, जो एक [[विभाजित विस्तार]] है और अंदर इतना तुच्छ है <math>H^2</math> समूह।
अनुभाग से उदाहरण में <math>H^1</math> तुरंत ऊपर, <math>H^2(\Z/2, \Z_-) =0,</math> के एकमात्र विस्तार के रूप में <math>\Z/2</math> द्वारा <math>\Z</math> दी गई गैर-तुच्छ क्रिया के साथ [[अनंत डायहेड्रल समूह]] है, जो एक [[विभाजित विस्तार]] है और अंदर इतना तुच्छ है <math>H^2</math> समूह।
Line 125: Line 124:
यह भी देखें [https://groupprops.subwiki.org/wiki/Special:WhatLinksHere/Cohomology_group]।
यह भी देखें [https://groupprops.subwiki.org/wiki/Special:WhatLinksHere/Cohomology_group]।


== बुनियादी उदाहरण ==
== मौलिक उदाहरण ==


=== एक परिमित चक्रीय समूह === का समूह कोहोलॉजी
=== एक परिमित चक्रीय समूह === का समूह कोहोलॉजी
Line 133: Line 132:
&=1 - \sigma^m \\
&=1 - \sigma^m \\
&= 0.
&= 0.
\end{align}</math></blockquote>इस गुण का उपयोग संकल्प के निर्माण के लिए किया जा सकता है<ref>{{Cite book |last1=Dummit |first1=David Steven |title=सार बीजगणित|last2=Foote |first2=Richard M. |date=14 July 2003 |isbn=0-471-43334-9 |edition=Third |location=Hoboken, NJ |page=801 |oclc=52559229}}</ref><ref>{{Cite book |last=Brown |first=Kenneth S. |title=समूहों का कोहोलॉजी|date=6 December 2012 |isbn=978-1-4684-9327-6 |location=New York, New York |page=35 |oclc=853269200}}</ref> तुच्छ का <math>\mathbb{Z}[G]</math>-मापांक <math>\mathbb{Z}</math> कॉम्प्लेक्स <ब्लॉककोट> के माध्यम से<math>\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</math></blockquote>किसी के लिए समूह कोहोलॉजी संगणना दे रहा है <math>\mathbb{Z}[G]</math>-मापांक <math>M</math>. ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल देता है <math>\mathbb{Z}</math> इसका <math>\mathbb{Z}[G]</math><blockquote> द्वारा -स्ट्रक्चर<math>\text{aug}\left(\sum_{g \in G}a_gg \right) = \sum_{g \in G}a_g</math></blockquote>यह संकल्प समूह कोहोलॉजी की गणना देता है क्योंकि कोहोलॉजी समूहों का समरूपता है<ब्लॉककोट><math>H^k(G,A) \cong \text{Ext}^k_{\mathbb{Z}[G]}(\mathbb{Z},A)</math></blockquote>दिखा रहा है कि functor को लागू करना <math>\text{Hom}_{\mathbb{Z}[G]}(-,A)</math> उपरोक्त परिसर में (के साथ <math>\mathbb{Z}</math> हटा दिया गया है क्योंकि यह रिज़ॉल्यूशन [[अर्ध-समरूपता]] है), गणना देता है<blockquote><math>H^k(G,A) = \begin{cases}
\end{align}</math></blockquote>इस गुण का उपयोग संकल्प के निर्माण के लिए किया जा सकता है<ref>{{Cite book |last1=Dummit |first1=David Steven |title=सार बीजगणित|last2=Foote |first2=Richard M. |date=14 July 2003 |isbn=0-471-43334-9 |edition=Third |location=Hoboken, NJ |page=801 |oclc=52559229}}</ref><ref>{{Cite book |last=Brown |first=Kenneth S. |title=समूहों का कोहोलॉजी|date=6 December 2012 |isbn=978-1-4684-9327-6 |location=New York, New York |page=35 |oclc=853269200}}</ref> तुच्छ का <math>\mathbb{Z}[G]</math>-मापांक <math>\mathbb{Z}</math> कॉम्प्लेक्स <ब्लॉककोट> के माध्यम से<math>\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</math></blockquote>किसी के लिए समूह कोहोलॉजी संगणना दे रहा है <math>\mathbb{Z}[G]</math>-मापांक <math>M</math>. ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल देता है <math>\mathbb{Z}</math> इसका <math>\mathbb{Z}[G]</math><blockquote> द्वारा -स्ट्रक्चर<math>\text{aug}\left(\sum_{g \in G}a_gg \right) = \sum_{g \in G}a_g</math></blockquote>यह संकल्प समूह कोहोलॉजी की गणना देता है क्योंकि कोहोलॉजी समूहों का समरूपता है<ब्लॉककोट><math>H^k(G,A) \cong \text{Ext}^k_{\mathbb{Z}[G]}(\mathbb{Z},A)</math>दिखा रहा है कि फंक्टर को लागू करना <math>\text{Hom}_{\mathbb{Z}[G]}(-,A)</math> उपरोक्त परिसर में (के साथ <math>\mathbb{Z}</math> हटा दिया गया है क्योंकि यह रिज़ॉल्यूशन [[अर्ध-समरूपता]] है), गणना देता है<blockquote><math>H^k(G,A) = \begin{cases}
A^G/NA & k\text{ even}, k \geq 2 \\
A^G/NA & k\text{ even}, k \geq 2 \\
{}_NA/(\sigma - 1)A & k\text{ odd}, k \geq 1
{}_NA/(\sigma - 1)A & k\text{ odd}, k \geq 1
Line 142: Line 141:


==== स्पष्ट चक्र ====
==== स्पष्ट चक्र ====
बार रिज़ॉल्यूशन का उपयोग करते हुए एक चक्रीय समूह के समूह कोहोलॉजी के लिए स्पष्ट चक्र स्पष्ट रूप से दिए जा सकते हैं<ref>{{Cite journal |last1=Huang |first1=Hua-Lin |last2=Liu |first2=Gongxiang |last3=Ye |first3=Yu |date=2012-06-23 |title=रैखिक जीआर-श्रेणियों के एक वर्ग पर लट वाली मोनोइडल संरचनाएं|language=en |arxiv=1206.5402v3}}</ref><sup>प्रॉप 2.3</sup>. हमें जनरेटर का पूरा सेट मिलता है <math>l</math>-कोसाइकिल के लिए <math>l</math> नक्शों की तरह विषम<blockquote><math>\omega_a: B_l \to k^*</math></blockquote><blockquote> द्वारा दिया गया<math>[g^{i_1},\ldots, g^{i_l}] \mapsto \zeta_m^{
बार रिज़ॉल्यूशन का उपयोग करते हुए एक चक्रीय समूह के समूह कोहोलॉजी के लिए स्पष्ट चक्र स्पष्ट रूप से दिए जा सकते हैं<ref>{{Cite journal |last1=Huang |first1=Hua-Lin |last2=Liu |first2=Gongxiang |last3=Ye |first3=Yu |date=2012-06-23 |title=रैखिक जीआर-श्रेणियों के एक वर्ग पर लट वाली मोनोइडल संरचनाएं|language=en |arxiv=1206.5402v3}}</ref><sup>प्रॉप 2.3</sup>. हमें जनरेटर का पूरा समुच्चय मिलता है <math>l</math>-कोसाइकिल के लिए <math>l</math> नक्शों की तरह विषम<blockquote><math>\omega_a: B_l \to k^*</math></blockquote><blockquote> द्वारा दिया गया<math>[g^{i_1},\ldots, g^{i_l}] \mapsto \zeta_m^{
   ai_1 \left[ \frac{i_2 + i_3}{m} \right]
   ai_1 \left[ \frac{i_2 + i_3}{m} \right]
   \cdots  
   \cdots  
   \left[ \frac{i_{l-1} + i_l}{m} \right]
   \left[ \frac{i_{l-1} + i_l}{m} \right]
}</math></blockquote>के लिए <math>l</math> अजीब,  <math>0 \leq a \leq m-1</math>, <math>\zeta_m</math> एक आदिम <math>m</math>-एकता की जड़, <math>k</math> एक क्षेत्र युक्त <math>m</math>-एकता की जड़ें, और <ब्लॉककोट><math>\left[\frac{a}{b} \right]</math></blockquote>किसी परिमेय संख्या के लिए <math>a/b</math> से अधिक नहीं सबसे बड़े पूर्णांक को निरूपित करना <math>a/b</math>. इसके अलावा, हम संकेतन <ब्लॉककोट> का उपयोग कर रहे हैं<math>B_l = \bigoplus_{0 \leq i_1,\ldots, i_l \leq m-1}\mathbb{Z}G \cdot [g^{i_1},\ldots, g^{i_l}]</math></blockquote>कहाँ <math>g</math> के लिए जनरेटर है <math>G = C_m</math>. ध्यान दें कि के लिए <math>l</math> गैर-शून्य भी सूचकांक कोहोलॉजी समूह तुच्छ हैं।
}</math></blockquote>के लिए <math>l</math> अजीब,  <math>0 \leq a \leq m-1</math>, <math>\zeta_m</math> एक आदिम <math>m</math>-एकता की जड़, <math>k</math> एक क्षेत्र युक्त <math>m</math>-एकता की जड़ें, और <ब्लॉककोट><math>\left[\frac{a}{b} \right]</math></blockquote>किसी परिमेय संख्या के लिए <math>a/b</math> से अधिक नहीं सबसे बड़े पूर्णांक को निरूपित करना <math>a/b</math>. इसके अलावा, हम संकेतन <ब्लॉककोट> का उपयोग कर रहे हैं<math>B_l = \bigoplus_{0 \leq i_1,\ldots, i_l \leq m-1}\mathbb{Z}G \cdot [g^{i_1},\ldots, g^{i_l}]</math>जहाँ <math>g</math> के लिए जनरेटर है <math>G = C_m</math>. ध्यान दें कि के लिए <math>l</math> गैर-शून्य भी सूचकांक कोहोलॉजी समूह तुच्छ हैं।


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


==== एक संकल्प का उपयोग करना ====
==== एक संकल्प का उपयोग करना ====
एक सेट दिया <math>S</math> संबंधित मुक्त समूह <math>G = \text{Free}(S) = \underset{s \in S}{*} \mathbb{Z}</math> एक स्पष्ट संकल्प है<ref>{{Cite book |last=Evens, Leonard. |url=https://www.worldcat.org/oclc/23732584 |title=समूहों की कोहोलॉजी|date=1991 |publisher=Clarendon Press |isbn=0-19-853580-5 |location=Oxford |oclc=23732584}}</ref> तुच्छ मॉड्यूल का <math>\mathbb{Z}_{\text{triv}}</math> जिसकी गणना आसानी से की जा सकती है। वृद्धि मानचित्र <ब्लॉककोट> पर ध्यान दें<math>\text{aug}:\mathbb{Z}[G] \to \mathbb{Z}_{\text{triv}}</math></blockquote>में फ्री सबमॉड्यूल द्वारा दिया गया कर्नेल है <math>I_S</math> सेट द्वारा उत्पन्न <math>\{s - 1 : s \in S \}</math>, इसलिए <ब्लॉककोट><math>I_S = \bigoplus_{s \in S} \mathbb{Z}[G]\cdot (s-1)</math></blockquote>क्योंकि यह वस्तु मुफ़्त है, यह एक संकल्प देता है<blockquote><math>0 \to I_S \to \mathbb{Z}[G] \to \mathbb{Z}_{\text{triv}} \to 0</math></blockquote>इसलिए समूह कोहोलॉजी <math>G</math> में गुणांक के साथ <math>\mathbb{Z}_{\text{triv}}</math> फ़ैक्टर को लागू करके गणना की जा सकती है <math>\text{Hom}_{\mathbb{Z}[G]}(-,\mathbb{Z})</math> परिसर के लिए <math>0 \to I_S \to \mathbb{Z}[G] \to 0</math>, दे रहा है<blockquote><math>H^k(G,\mathbb{Z}_{\text{triv}}) = \begin{cases}
एक समुच्चय दिया <math>S</math> संबंधित मुक्त समूह <math>G = \text{Free}(S) = \underset{s \in S}{*} \mathbb{Z}</math> एक स्पष्ट संकल्प है<ref>{{Cite book |last=Evens, Leonard. |url=https://www.worldcat.org/oclc/23732584 |title=समूहों की कोहोलॉजी|date=1991 |publisher=Clarendon Press |isbn=0-19-853580-5 |location=Oxford |oclc=23732584}}</ref> तुच्छ मॉड्यूल का <math>\mathbb{Z}_{\text{triv}}</math> जिसकी गणना आसानी से की जा सकती है। वृद्धि मानचित्र पर ध्यान दें<math>\text{aug}:\mathbb{Z}[G] \to \mathbb{Z}_{\text{triv}}</math>में फ्री सबमॉड्यूल द्वारा दिया गया कर्नेल है <math>I_S</math> समुच्चय द्वारा उत्पन्न <math>\{s - 1 : s \in S \}</math>, इसलिए <math>I_S = \bigoplus_{s \in S} \mathbb{Z}[G]\cdot (s-1)</math>क्योंकि यह वस्तु मुफ़्त है, यह एक संकल्प देता है<blockquote><math>0 \to I_S \to \mathbb{Z}[G] \to \mathbb{Z}_{\text{triv}} \to 0</math></blockquote>इसलिए समूह कोहोलॉजी <math>G</math> में गुणांक के साथ <math>\mathbb{Z}_{\text{triv}}</math> फ़ैक्टर को लागू करके गणना की जा सकती है <math>\text{Hom}_{\mathbb{Z}[G]}(-,\mathbb{Z})</math> परिसर के लिए <math>0 \to I_S \to \mathbb{Z}[G] \to 0</math>, दे रहा है<blockquote><math>H^k(G,\mathbb{Z}_{\text{triv}}) = \begin{cases}
\mathbb{Z} & k = 0 \\
\mathbb{Z} & k = 0 \\
\bigoplus_{s \in S}\mathbb{Z} & k = 1 \\
\bigoplus_{s \in S}\mathbb{Z} & k = 1 \\
Line 159: Line 158:


==== टोपोलॉजी का प्रयोग ====
==== टोपोलॉजी का प्रयोग ====
मुक्त समूहों का समूह कोहोलॉजी <math>\mathbb{Z}*\mathbb{Z}*\cdots *\mathbb{Z}</math> द्वारा उत्पन्न <math>n</math> टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की आसानी से गणना की जा सकती है। याद रखें कि हर समूह के लिए <math>G</math> एक टोपोलॉजिकल स्पेस है <math>BG</math>, समूह का वर्गीकरण स्थान कहा जाता है, जिसमें <ब्लॉकक्वोट> गुण होता है<math>\pi_1(BG) = G \text{ and } \pi_k(BG) = 0 \text{ for } k \geq 2</math></blockquote>इसके अलावा, इसमें यह गुण है कि इसकी टोपोलॉजिकल कोहोलॉजी समूह कोहोलॉजी के लिए आइसोमॉर्फिक है<ब्लॉककोट><math>H^k(BG,\mathbb{Z}) \cong H^k(G,\mathbb{Z})</math></blockquote>कुछ समूह कोहोलॉजी समूहों की गणना करने का एक तरीका दे रहा है। टिप्पणी <math>\mathbb{Z}</math> किसी भी स्थानीय प्रणाली द्वारा प्रतिस्थापित किया जा सकता है <math>\mathcal{L}</math> जो मानचित्र <ब्लॉककोट> द्वारा निर्धारित किया जाता है<math>\pi_1(G) \to GL(V)</math></blockquote>कुछ एबेलियन समूह के लिए <math>V</math>. के मामले में <math>B(\mathbb{Z}*\cdots *\mathbb{Z})</math> के लिए <math>n</math> अक्षर, यह एक पच्चर योग द्वारा दर्शाया गया है <math>n</math> मंडलियां <math>S^1 \vee \cdots \vee S^1</math><ref>{{Cite book |last=Hatcher |first=Allen |title=बीजगणितीय टोपोलॉजी|date=2002 |publisher=Cambridge University Press |isbn=0-521-79160-X |location=Cambridge |page=43 |oclc=45420394}}</ref> जिसे [[वैन कम्पेन प्रमेय]] का उपयोग करके दिखाया जा सकता है | वैन-कम्पेन प्रमेय, समूह कोहोलॉजी देता है<ref>{{Cite web |last=Webb |first=Peter |title=समूहों के कोहोलॉजी का परिचय|url=http://www-users.math.umn.edu/~webb/oldteaching/Year2010-11/8246CohomologyNotes.pdf |url-status=live |archive-url=https://web.archive.org/web/20200506001345/http://www-users.math.umn.edu/~webb/oldteaching/Year2010-11/8246CohomologyNotes.pdf |archive-date=6 May 2020}}</ref><ब्लॉककोट><math>H^k(\mathbb{Z}*\cdots * \mathbb{Z}) = \begin{cases}
मुक्त समूहों का समूह कोहोलॉजी <math>\mathbb{Z}*\mathbb{Z}*\cdots *\mathbb{Z}</math> द्वारा उत्पन्न <math>n</math> टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की आसानी से गणना की जा सकती है। याद रखें कि हर समूह के लिए <math>G</math> एक टोपोलॉजिकल स्पेस है <math>BG</math>, समूह का वर्गीकरण स्थान कहा जाता है, जिसमें गुण होता है<math>\pi_1(BG) = G \text{ and } \pi_k(BG) = 0 \text{ for } k \geq 2</math>इसके अलावा, इसमें यह गुण है कि इसकी टोपोलॉजिकल कोहोलॉजी समूह कोहोलॉजी के लिए आइसोमॉर्फिक है।
 
<math>H^k(BG,\mathbb{Z}) \cong H^k(G,\mathbb{Z})</math>कुछ समूह कोहोलॉजी समूहों की गणना करने का एक तरीका दे रहा है। टिप्पणी <math>\mathbb{Z}</math> किसी भी स्थानीय प्रणाली द्वारा प्रतिस्थापित किया जा सकता है <math>\mathcal{L}</math> जो मानचित्र द्वारा निर्धारित किया जाता है। इस प्रकार <math>\pi_1(G) \to GL(V)</math> कुछ एबेलियन समूह के लिए <math>V</math> की स्थितियों में <math>B(\mathbb{Z}*\cdots *\mathbb{Z})</math> के लिए <math>n</math> अक्षर, यह एक पच्चर योग द्वारा दर्शाया गया है, इस प्रकार <math>n</math> मंडलियां <math>S^1 \vee \cdots \vee S^1</math><ref>{{Cite book |last=Hatcher |first=Allen |title=बीजगणितीय टोपोलॉजी|date=2002 |publisher=Cambridge University Press |isbn=0-521-79160-X |location=Cambridge |page=43 |oclc=45420394}}</ref> जिसे [[वैन कम्पेन प्रमेय]] का उपयोग करके दिखाया जा सकता है | वैन-कम्पेन प्रमेय, समूह कोहोलॉजी देता है।<ref>{{Cite web |last=Webb |first=Peter |title=समूहों के कोहोलॉजी का परिचय|url=http://www-users.math.umn.edu/~webb/oldteaching/Year2010-11/8246CohomologyNotes.pdf |url-status=live |archive-url=https://web.archive.org/web/20200506001345/http://www-users.math.umn.edu/~webb/oldteaching/Year2010-11/8246CohomologyNotes.pdf |archive-date=6 May 2020}}</ref>
 
<math>H^k(\mathbb{Z}*\cdots * \mathbb{Z}) = \begin{cases}
\mathbb{Z} & k = 0 \\
\mathbb{Z} & k = 0 \\
\mathbb{Z}^n & k = 1 \\
\mathbb{Z}^n & k = 1 \\
0 & k \geq 2
0 & k \geq 2
\end{cases}</math></ब्लॉककोट>
\end{cases}</math>


=== एक अभिन्न जाली का समूह कोहोलॉजी ===
=== एक अभिन्न जाली का समूह कोहोलॉजी ===
Line 170: Line 173:
== गुण ==
== गुण ==


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


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


:<math> 0 \to L \to M \to N \to 0 </math>
:<math> 0 \to L \to M \to N \to 0 </math>
Line 182: Line 185:


:<math>\delta^n : H^n (G,N) \to H^{n+1}(G, L)</math>
:<math>\delta^n : H^n (G,N) \to H^{n+1}(G, L)</math>
अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है।<ref>Remark II.1.21 of [[#Reference-Mil2008|Milne 2008]]</ref> अगर <math>c \in H^n(G, N)</math> एक n-cocycle द्वारा दर्शाया गया है <math>\phi: G^n \to N,</math> तब <math>\delta^n(c)</math> द्वारा दर्शाया गया है <math>d^n(\psi),</math> कहाँ <math>\psi</math> और कोचन <math>G^n \to M</math> उठाने की <math>\phi</math> (अर्थात। <math>\phi</math> की रचना है <math>\psi</math> विशेषण मानचित्र M → N) के साथ।
अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है।<ref>Remark II.1.21 of [[#Reference-Mil2008|Milne 2008]]</ref> अगर <math>c \in H^n(G, N)</math> एक n-cocycle द्वारा दर्शाया गया है <math>\phi: G^n \to N,</math> तब <math>\delta^n(c)</math> द्वारा दर्शाया गया है <math>d^n(\psi),</math> जहाँ <math>\psi</math> और कोचन <math>G^n \to M</math> उठाने की <math>\phi</math> (अर्थात। <math>\phi</math> की रचना है <math>\psi</math> विशेषण मानचित्र M → N) के साथ उपयोग होता हैं।


=== कार्यात्मकता ===
=== कार्यात्मकता ===
समूह कोहोलॉजी निम्नलिखित अर्थों में समूह G पर विपरीत रूप से निर्भर करती है: यदि f : H → G एक समूह समरूपता है, तो हमारे पास स्वाभाविक रूप से प्रेरित आकारिकी H है<sup>एन</sup>(जी, एम) → एच<sup>n</sup>(एच, एम) (जहां बाद में, एम को एफ के माध्यम से एच-मॉड्यूल के रूप में माना जाता है)। इस मानचित्र को प्रतिबंध मानचित्र कहा जाता है। यदि G में H का [[सूचकांक (समूह सिद्धांत)]] परिमित है, तो विपरीत दिशा में एक मानचित्र भी है, जिसे स्थानांतरण मानचित्र कहा जाता है,<ref>{{harv|Brown|1972}}, §III.9</ref>
समूह कोहोलॉजी निम्नलिखित अर्थों में समूह G पर विपरीत रूप से निर्भर करती है: यदि f : H → G एक समूह समरूपता है, तो हमारे पास स्वाभाविक रूप से प्रेरित आकारिकी H<sup>n</sup> है इस प्रकार (G, M) → H<sup>n</sup>(H, M के लिए जहां बाद में, M को F के माध्यम से H-मॉड्यूल के रूप में माना जाता है। इस मानचित्र को प्रतिबंध मानचित्र कहा जाता है। यदि G में H का [[सूचकांक (समूह सिद्धांत)]] परिमित है, तो विपरीत दिशा में एक मानचित्र भी है, जिसे स्थानांतरण मानचित्र कहा जाता है,<ref>{{harv|Brown|1972}}, §III.9</ref>
:<math>cor_H^G : H^n(H, M) \to H^n (G, M).</math>
:<math>cor_H^G : H^n(H, M) \to H^n (G, M).</math>
डिग्री 0 में, यह मानचित्र द्वारा दिया गया है
डिग्री 0 में, यह मानचित्र द्वारा दिया गया है


:<math>\begin{cases} M^H \to M^G \\ m \mapsto \sum_{g \in G/H} gm \end{cases}</math>
:<math>\begin{cases} M^H \to M^G \\ m \mapsto \sum_{g \in G/H} gm \end{cases}</math>
जी-मॉड्यूल एम → एन के आकारिकी को देखते हुए, एच में कोहोलॉजी समूहों का आकार मिलता है<sup>एन</sup>(जी, एम) → एच<sup>एन</sup>(जी, एन)।
जी-मॉड्यूल M → एन के आकारिकी को देखते हुए, H में कोहोलॉजी समूहों का आकार मिलता है<sup>एन</sup>(जी, M) → H<sup>एन</sup>(जी, एन)।


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


:<math>H^n(G, N) \otimes H^m(G, M) \to H^{n+m} (G, M \otimes N)</math>
:<math>H^n(G, N) \otimes H^m(G, M) \to H^{n+m} (G, M \otimes N)</math>
किसी भी दो जी-मॉड्यूल एम और एन के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर देता है <math>\oplus_{n \geqslant 0} H^n(G, R),</math> जहाँ R एक वलय है जैसे <math>\Z</math> या <math>\Z/p.</math> एक परिमित समूह G के लिए, इस कोहोलॉजी का सम भाग विशेषता p में बजता है, <math>\oplus_{n \geqslant 0} H^{2n}(G, \Z/ p)</math> जी की संरचना समूह के बारे में बहुत सारी जानकारी रखती है, उदाहरण के लिए इस रिंग का [[क्रुल आयाम]] एक एबेलियन उपसमूह के अधिकतम रैंक के बराबर है <math>(\Z / p)^r</math>.<ref>Quillen, Daniel. ''The spectrum of an equivariant cohomology ring. I. II.'' Ann. Math. (2) 94, 549-572, 573-602 (1971).</ref>
किसी भी दो जी-मॉड्यूल M और एन के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर <math>\oplus_{n \geqslant 0} H^n(G, R),</math> देता है  जहाँ R एक वलय है जैसे <math>\Z</math> या <math>\Z/p.</math> एक परिमित समूह G के लिए, इस कोहोलॉजी का सम भाग विशेषता p में बजता है, <math>\oplus_{n \geqslant 0} H^{2n}(G, \Z/ p)</math> G की संरचना समूह के बारे में बहुत सारी जानकारी रखती है, उदाहरण के लिए इस रिंग का [[क्रुल आयाम]] एक एबेलियन उपसमूह के अधिकतम रैंक के बराबर है <math>(\Z / p)^r</math>.<ref>Quillen, Daniel. ''The spectrum of an equivariant cohomology ring. I. II.'' Ann. Math. (2) 94, 549-572, 573-602 (1971).</ref>
उदाहरण के लिए, G को असतत टोपोलॉजी के तहत दो तत्वों वाला समूह होने दें। वास्तविक प्रक्षेप्य स्थान <math>\mathbb{P}^{\infty}(\R)</math> G. Let के लिए एक वर्गीकरण स्थान है <math>k=\mathbb{F}_2,</math> दो तत्वों का [[क्षेत्र (गणित)]]। तब
उदाहरण के लिए, G को असतत टोपोलॉजी के तहत दो तत्वों वाला समूह होने दें। वास्तविक प्रक्षेप्य स्थान <math>\mathbb{P}^{\infty}(\R)</math> G. Let के लिए एक वर्गीकरण स्थान है <math>k=\mathbb{F}_2,</math> दो तत्वों का [[क्षेत्र (गणित)]]। तब


:<math>H^*(G;k)\cong k[x],</math>
:<math>H^*(G;k)\cong k[x],</math>
एक एकल जनरेटर पर एक बहुपद k-बीजगणित, क्योंकि यह एक विलक्षण कोहोलॉजी रिंग है <math>\mathbb{P}^{\infty}(\R).</math>
एक एकल जनरेटर पर एक बहुपद k-बीजगणित, क्योंकि यह एक विलक्षण कोहोलॉजी रिंग <math>\mathbb{P}^{\infty}(\R).</math> है।
 
 
=== कुनेथ सूत्र ===
=== कुनेथ सूत्र ===


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


:<math>H^*(G_1\times G_2;k)\cong H^*(G_1;k)\otimes H^*(G_2;k).</math>
:<math>H^*(G_1\times G_2;k)\cong H^*(G_1;k)\otimes H^*(G_2;k).</math>
उदाहरण के लिए, यदि जी एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और <math>k=\mathbb{F}_2,</math> तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k-बीजगणित है<sup>1</sup>(जी; के).,
उदाहरण के लिए, यदि G एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और <math>k=\mathbb{F}_2,</math> तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k-बीजगणित है<sup>1</sup>(जी; के).,


:<math>H^*(G;k)\cong k[x_1, \ldots, x_r].</math>
:<math>H^*(G;k)\cong k[x_1, \ldots, x_r].</math>
Line 216: Line 217:
अन्य कोहोलॉजी सिद्धांतों के लिए, जैसे कि एकवचन कोहोलॉजी, समूह कोहोलॉजी और होमोलॉजी एक छोटे से सटीक अनुक्रम के माध्यम से एक दूसरे से संबंधित हैं<ref>{{harv|Brown|1972}}, Exercise III.1.3</ref>
अन्य कोहोलॉजी सिद्धांतों के लिए, जैसे कि एकवचन कोहोलॉजी, समूह कोहोलॉजी और होमोलॉजी एक छोटे से सटीक अनुक्रम के माध्यम से एक दूसरे से संबंधित हैं<ref>{{harv|Brown|1972}}, Exercise III.1.3</ref>
:<math>0 \to \mathrm{Ext}^1_{\Z}\left(H_{n-1}(G, \Z), A\right) \to H^n(G, A) \to \mathrm{Hom}\left(H_n(G, \Z), A\right) \to 0,</math>
:<math>0 \to \mathrm{Ext}^1_{\Z}\left(H_{n-1}(G, \Z), A\right) \to H^n(G, A) \to \mathrm{Hom}\left(H_n(G, \Z), A\right) \to 0,</math>
जहां ए को तुच्छ जी-एक्शन के साथ संपन्न किया गया है और बाईं ओर का शब्द पहला एक्सट फंक्शनल है।
जहां ए को तुच्छ जी-एक्शन के साथ संपन्न किया गया है और बाईं ओर का शब्द पहला Xट फंक्शनल है।


=== समामेलित उत्पाद ===
=== समामेलित उत्पाद ===
एक समूह A दिया गया है जो दो समूहों G का उपसमूह है<sub>1</sub> और जी<sub>2</sub>समामेलित उत्पाद की समरूपता <math>G := G_1 \star_A G_2</math> (पूर्णांक गुणांक के साथ) एक लंबे सटीक अनुक्रम में स्थित है
एक समूह A दिया गया है जो दो समूहों G<sub>1</sub> का उपसमूह है और G<sub>2</sub>समामेलित उत्पाद की समरूपता <math>G := G_1 \star_A G_2</math> (पूर्णांक गुणांक के साथ) एक लंबे सटीक अनुक्रम में स्थित है


:<math>\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</math>
:<math>\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</math>
Line 226: Line 227:
:<math>H_n(\mathrm{SL}_2(\Z)) = \begin{cases} \Z & n =0 \\ \Z/12 & \text{odd degrees} \\ 0 & \text{otherwise} \end{cases}</math>
:<math>H_n(\mathrm{SL}_2(\Z)) = \begin{cases} \Z & n =0 \\ \Z/12 & \text{odd degrees} \\ 0 & \text{otherwise} \end{cases}</math>
यह सटीक अनुक्रम यह दिखाने के लिए भी लागू किया जा सकता है कि होमोलॉजी <math>\mathrm{SL}_2(k[t])</math> और [[विशेष रैखिक समूह]] <math>\mathrm{SL}_2(k)</math> अनंत क्षेत्र k के लिए सहमत हैं।<ref>{{harv|Knudson|2001}}, Chapter 4</ref>
यह सटीक अनुक्रम यह दिखाने के लिए भी लागू किया जा सकता है कि होमोलॉजी <math>\mathrm{SL}_2(k[t])</math> और [[विशेष रैखिक समूह]] <math>\mathrm{SL}_2(k)</math> अनंत क्षेत्र k के लिए सहमत हैं।<ref>{{harv|Knudson|2001}}, Chapter 4</ref>
=== समूह का परिवर्तन ===
=== समूह का परिवर्तन ===
Hochschild-Serre वर्णक्रमीय अनुक्रम G के एक सामान्य उपसमूह N के कोहोलॉजी और भाग G / N को समूह G (के लिए (प्रो-) परिमित समूह G) के कोहोलॉजी से संबंधित करता है। इससे किसी को [[मुद्रास्फीति-प्रतिबंध सटीक क्रम]] मिलता है।
होशचाइल्ड-सेरे वर्णक्रमीय अनुक्रम G के सामान्य उपसमूह N के कोहोलॉजी और भाग G / N को समूह G (के लिए (प्रो-) परिमित समूह G) के कोहोलॉजी से संबंधित करता है। इससे किसी को [[मुद्रास्फीति-प्रतिबंध सटीक क्रम]] मिलता है।


=== वर्गीकरण स्थान की कोहोलॉजी ===
=== वर्गीकरण स्थान की कोहोलॉजी ===
समूह कोहोलॉजी समरूपता के माध्यम से [[शेफ कोहोलॉजी]] जैसे टोपोलॉजिकल कोहोलॉजी सिद्धांतों से निकटता से संबंधित है<ref>{{Cite journal |last=Stasheff |first=James D. |date=1978-07-01 |title=समूहों और वर्गीकरण रिक्त स्थान की सतत कोहोलॉजी|journal=Bulletin of the American Mathematical Society |volume=84 |issue=4 |pages=513–531 |doi=10.1090/s0002-9904-1978-14488-7 |issn=0002-9904 |doi-access=free}}</ref>
समूह कोहोलॉजी समरूपता के माध्यम से [[शेफ कोहोलॉजी]] जैसे टोपोलॉजिकल कोहोलॉजी सिद्धांतों से निकटता से संबंधित है<ref>{{Cite journal |last=Stasheff |first=James D. |date=1978-07-01 |title=समूहों और वर्गीकरण रिक्त स्थान की सतत कोहोलॉजी|journal=Bulletin of the American Mathematical Society |volume=84 |issue=4 |pages=513–531 |doi=10.1090/s0002-9904-1978-14488-7 |issn=0002-9904 |doi-access=free}}</ref>
:<math>H^n (BG, \Z) \cong H^n (G, \Z).</math>
:<math>H^n (BG, \Z) \cong H^n (G, \Z).</math>
इजहार<math>BG</math>बाईं ओर एक वर्गीकरण स्थान है <math>G</math>. यह एक ईलेनबर्ग-मैकलेन स्थान है <math>K(G,1)</math>, यानी, एक स्थान जिसका मौलिक समूह है <math>G</math> और जिनके उच्च [[होमोटॉपी समूह]] लुप्त हो जाते हैं)।{{efn|For this, ''G'' is assumed to be discrete. For general topological groups, <math>\pi_n (BG) = \pi_{n-1} (G)</math>.}} के लिए रिक्त स्थान वर्गीकृत करना <math>\Z, \Z/2</math> और <math>\Z/n</math> [[1-गोला]] S हैं<sup>1</sup>, अनंत वास्तविक प्रक्षेपी स्थान <math>\mathbb{P}^{\infty}(\R) = \cup_n \mathbb{P}^n(\R),</math> और लेंस रिक्त स्थान, क्रमशः। सामान्य रूप में,<math>BG</math>भागफल के रूप में बनाया जा सकता है <math>EG/G</math>, कहाँ <math>EG</math> एक अनुबंधित स्थान है जिस पर <math>G</math> स्वतंत्र रूप से कार्य करता है। हालाँकि,<math>BG</math>आमतौर पर आसानी से सुने जाने योग्य ज्यामितीय विवरण नहीं होता है।
इजहार<math>BG</math>बाईं ओर एक वर्गीकरण स्थान है <math>G</math>. यह एक ईलेनबर्ग-मैकलेन स्थान है <math>K(G,1)</math>, अर्ताथ, एक स्थान जिसका मौलिक समूह है <math>G</math> और जिनके उच्च [[होमोटॉपी समूह]] लुप्त हो जाते हैं)।{{efn|For this, ''G'' is assumed to be discrete. For general topological groups, <math>\pi_n (BG) = \pi_{n-1} (G)</math>.}} के लिए रिक्त स्थान वर्गीकृत करना <math>\Z, \Z/2</math> और <math>\Z/n</math> [[1-गोला]] S<sup>1</sup> हैं, अनंत वास्तविक प्रक्षेपी स्थान <math>\mathbb{P}^{\infty}(\R) = \cup_n \mathbb{P}^n(\R),</math> और लेंस रिक्त स्थान, क्रमशः। सामान्य रूप में,<math>BG</math>भागफल के रूप में बनाया जा सकता है <math>EG/G</math>, जहाँ <math>EG</math> एक अनुबंधित स्थान है जिस पर <math>G</math> स्वतंत्र रूप से कार्य करता है। चूंकि,<math>BG</math>सामान्यतः आसानी से सुने जाने योग्य ज्यामितीय विवरण नहीं होता है।


अधिक आम तौर पर, कोई भी किसी से जुड़ सकता है <math>G</math>-मापांक <math>M</math> एक [[स्थानीय प्रणाली]] पर <math>BG</math> और उपरोक्त तुल्याकारिता एक तुल्याकारिता के लिए सामान्यीकरण करती है<ref>{{harv|Adem|Milgram|2004}}, Chapter II.</ref>
अधिक सामान्यतः, कोई भी किसी से जुड़ सकता है <math>G</math>-मापांक <math>M</math> एक [[स्थानीय प्रणाली]] पर <math>BG</math> और उपरोक्त तुल्याकारिता एक तुल्याकारिता के लिए सामान्यीकरण करती है<ref>{{harv|Adem|Milgram|2004}}, Chapter II.</ref>
:<math>H^n (BG, M) = H^n (G, M).</math>
:<math>H^n (BG, M) = H^n (G, M).</math>
== आगे के उदाहरण ==
== आगे के उदाहरण ==


=== समूहों के अर्ध-प्रत्यक्ष उत्पाद ===
=== समूहों के अर्ध-प्रत्यक्ष उत्पाद ===
एलेनबर्ग-मैकलेन रिक्त स्थान के फाइब्रेशन और गुणों की टोपोलॉजी का उपयोग करके समूहों के अर्ध-प्रत्यक्ष उत्पाद की गणना करने का एक तरीका है। याद रखें कि समूहों के अर्ध-प्रत्यक्ष उत्पाद के लिए <math>G = N \rtimes H</math> समूहों का एक संबद्ध संक्षिप्त सटीक क्रम है <ब्लॉककोट><math>1 \to N \to N\rtimes H \to H \to 1</math></blockquote>संबंधित ईलेनबर्ग-मैकलेन रिक्त स्थान का उपयोग करके एक [[फाइबर ग्रीनहाउस]] होता है<blockquote><math>K(N,1) \to K(G,1) \to K(H,1)</math></blockquote>जिसे एक [[सेरे स्पेक्ट्रल अनुक्रम]] के माध्यम से रखा जा सकता है। यह एक देता है <math>E_2</math>-पेज <ब्लॉककोट><math>E_2^{p,q} = H^p(K(H,1),H^q(K(N,1))) \Rightarrow H^{p+q}(K(G,1))</math></blockquote>जो ग्रुप कोहोलॉजी के बारे में जानकारी देता है <math>G</math> के समूह कोहोलॉजी समूहों से <math>H,N</math>. ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है।
एलेनबर्ग-मैकलेन रिक्त स्थान के फाइब्रेशन और गुणों की टोपोलॉजी का उपयोग करके समूहों के अर्ध-प्रत्यक्ष उत्पाद की गणना करने का एक तरीका है। याद रखें कि समूहों के अर्ध-प्रत्यक्ष उत्पाद के लिए <math>G = N \rtimes H</math> समूहों का एक संबद्ध संक्षिप्त सटीक क्रम है, <math>1 \to N \to N\rtimes H \to H \to 1</math>संबंधित ईलेनबर्ग-मैकलेन रिक्त स्थान का उपयोग करके एक [[फाइबर ग्रीनहाउस]] होता है<blockquote><math>K(N,1) \to K(G,1) \to K(H,1)</math></blockquote>जिसे एक [[सेरे स्पेक्ट्रल अनुक्रम]] के माध्यम से रखा जा सकता है। यह <math>E_2</math>-पेज <math>E_2^{p,q} = H^p(K(H,1),H^q(K(N,1))) \Rightarrow H^{p+q}(K(G,1))</math>जो ग्रुप कोहोलॉजी के बारे में जानकारी देता है <math>G</math> के समूह कोहोलॉजी समूहों से <math>H,N</math>. ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है।


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


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


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


:<math>0 \to \Z \to \Q \to \Q / \Z \to 0</math>
:<math>0 \to \Z \to \Q \to \Q / \Z \to 0</math>
Line 262: Line 259:


:<math>\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} </math>
:<math>\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} </math>
कहाँ <math>N: M_G \to M^G</math> मानक मानचित्र से प्रेरित है:
जहाँ <math>N: M_G \to M^G</math> मानक मानचित्र से प्रेरित है:


:<math>\begin{cases} M \to M \\ m \mapsto \sum_{g \in G} gm \end{cases}</math>
:<math>\begin{cases} M \to M \\ m \mapsto \sum_{g \in G} gm \end{cases}</math>
टेट कोहोलॉजी समान विशेषताओं का आनंद लेती है, जैसे लंबे सटीक अनुक्रम, उत्पाद संरचनाएं। [[वर्ग क्षेत्र सिद्धांत]] में एक महत्वपूर्ण अनुप्रयोग है, वर्ग निर्माण देखें।
टेट कोहोलॉजी समान विशेषताओं का आनंद लेती है, जैसे लंबे सटीक अनुक्रम, उत्पाद संरचनाएं। [[वर्ग क्षेत्र सिद्धांत]] में एक महत्वपूर्ण अनुप्रयोग है, वर्ग निर्माण देखें।


परिमित [[चक्रीय समूह]]ों के टेट कोहोलॉजी, <math>G = \Z/n,</math> 2-आवधिक है इस अर्थ में कि समरूपताएँ हैं
परिमित [[चक्रीय समूह|चक्रीय समूहों]] के टेट कोहोलॉजी, <math>G = \Z/n,</math> 2-आवधिक है इस अर्थ में कि समरूपताएँ हैं


:<math>\widehat H^m(G, M) \cong \widehat H^{m+2}(G, M) \qquad \text{for all } m \in \Z.</math>
:<math>\widehat H^m(G, M) \cong \widehat H^{m+2}(G, M) \qquad \text{for all } m \in \Z.</math>
डी-आवधिक कोहोलॉजी के लिए एक आवश्यक और पर्याप्त मानदंड यह है कि जी के केवल एबेलियन उपसमूह चक्रीय हैं।<ref>{{harv|Brown|1972}}, §VI.9</ref> उदाहरण के लिए, कोई [[अर्ध-प्रत्यक्ष उत्पाद]] <math>\Z / n \rtimes \Z /m </math> कोप्राइम पूर्णांक n और m के लिए यह गुण है।
डी-आवधिक कोहोलॉजी के लिए एक आवश्यक और पर्याप्त मानदंड यह है कि G के केवल एबेलियन उपसमूह चक्रीय हैं।<ref>{{harv|Brown|1972}}, §VI.9</ref> उदाहरण के लिए, कोई [[अर्ध-प्रत्यक्ष उत्पाद]] <math>\Z / n \rtimes \Z /m </math> कोप्राइम पूर्णांक n और m के लिए यह गुण है।


== अनुप्रयोग ==
== अनुप्रयोग ==


===[[बीजगणितीय के-सिद्धांत]] और रैखिक समूहों की समरूपता ===
===[[बीजगणितीय के-सिद्धांत]] और रैखिक समूहों की समरूपता ===
बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है: Quillen's plus Construction|+-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को अंतरिक्ष के समरूप समूहों के रूप में परिभाषित किया गया है <math>\mathrm{BGL}(R)^+.</math> यहाँ <math>\mathrm{GL}(R) = \cup_{n \ge 1} \mathrm{GL}_n(R)</math> अनंत [[सामान्य रैखिक समूह]] है। अंतरिक्ष <math>\mathrm{BGL}(R)^+</math> के समान होमोलॉजी है <math>\mathrm{BGL}(R),</math> यानी, जीएल (आर) का समूह समरूपता। कुछ मामलों में, स्थिरता के परिणाम यह दावा करते हैं कि कोहोलॉजी समूहों का क्रम
बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है:क्विलेन्स प्लस कंस्ट्रक्शन या +-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को अंतरिक्ष के समरूप समूहों के रूप में परिभाषित किया गया है <math>\mathrm{BGL}(R)^+.</math> यहाँ <math>\mathrm{GL}(R) = \cup_{n \ge 1} \mathrm{GL}_n(R)</math> अनंत [[सामान्य रैखिक समूह]] है। इस प्रकार इसके क्षेत्र के लिए <math>\mathrm{BGL}(R)^+</math> के समान होमोलॉजी है <math>\mathrm{BGL}(R),</math> अर्ताथ, जीएल (आर) का समूह समरूपता प्राप्त होती हैं। कुछ स्थितियों में, स्थिरता के परिणाम यह प्रमाणित करते हैं कि कोहोलॉजी समूहों का क्रम इस प्रकार हैं।


:<math>\dots \to H_m\left(\mathrm{GL}_n (R)\right) \to H_m\left(\mathrm{GL}_{n+1}(R)\right) \to \cdots</math>
:<math>\dots \to H_m\left(\mathrm{GL}_n (R)\right) \to H_m\left(\mathrm{GL}_{n+1}(R)\right) \to \cdots</math>
काफी बड़े n के लिए स्थिर हो जाता है, इसलिए अनंत सामान्य रैखिक समूह के कोहोलॉजी की गणना को कुछ में से एक में कम कर देता है <math>\mathrm{GL}_n(R)</math>. ऐसे परिणाम तब स्थापित किए गए हैं जब R एक क्षेत्र है<ref>{{Citation |last=Suslin |first=Andrei A. |title=Algebraic K-theory, number theory, geometry and analysis |volume=1046 |pages=357–375 |year=1984 |series=[[Lecture Notes in Mathematics]] |chapter=Homology of <math>\operatorname{GL}_n</math>, characteristic classes and Milnor K-theory |publisher=Springer |authorlink=Andrei Suslin}}</ref> या किसी [[संख्या क्षेत्र]] में [[पूर्णांकों की अंगूठी]] के लिए।<ref>In this case, the coefficients are rational. {{Cite journal |last=Borel |first=Armand |author-link=Armand Borel |year=1974 |title=Stable real cohomology of arithmetic groups |journal=[[Annales Scientifiques de l'École Normale Supérieure]] |series=Série 4 |volume=7 |issue=2 |pages=235–272 |doi=10.24033/asens.1269 |doi-access=free}}</ref>
काफी बड़े n के लिए स्थिर हो जाता है, इसलिए अनंत सामान्य रैखिक समूह के कोहोलॉजी की गणना को कुछ में से एक में कम कर देता है <math>\mathrm{GL}_n(R)</math>. ऐसे परिणाम तब स्थापित किए गए हैं जब R एक क्षेत्र है<ref>{{Citation |last=Suslin |first=Andrei A. |title=Algebraic K-theory, number theory, geometry and analysis |volume=1046 |pages=357–375 |year=1984 |series=[[Lecture Notes in Mathematics]] |chapter=Homology of <math>\operatorname{GL}_n</math>, characteristic classes and Milnor K-theory |publisher=Springer |authorlink=Andrei Suslin}}</ref> या किसी [[संख्या क्षेत्र]] में [[पूर्णांकों की अंगूठी|पूर्णांकों की रिंग]] के लिए उपयोग होता हैं।<ref>In this case, the coefficients are rational. {{Cite journal |last=Borel |first=Armand |author-link=Armand Borel |year=1974 |title=Stable real cohomology of arithmetic groups |journal=[[Annales Scientifiques de l'École Normale Supérieure]] |series=Série 4 |volume=7 |issue=2 |pages=235–272 |doi=10.24033/asens.1269 |doi-access=free}}</ref> इस प्रकार किसी समूह की श्रृंखला की समूह समरूपता की घटना <math>G_n</math> स्थिरीकरण को [[समरूप स्थिरता]] कहा जाता है। इस स्थिति के अतिरिक्त <math>G_n = \mathrm{GL}_n(R)</math> अभी उल्लेख किया गया है, यह कई अन्य समूहों पर लागू होता है जैसे [[सममित समूह]] या [[मानचित्रण वर्ग समूह]] इसका उदाहरण हैं।
समूहों की एक श्रृंखला की समूह समरूपता की घटना <math>G_n</math> स्थिरीकरण को [[समरूप स्थिरता]] कहा जाता है। मामले के अलावा <math>G_n = \mathrm{GL}_n(R)</math> अभी उल्लेख किया गया है, यह कई अन्य समूहों पर लागू होता है जैसे [[सममित समूह]] या [[मानचित्रण वर्ग समूह]]


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


क्वांटम यांत्रिकी में हमारे पास अक्सर समरूपता समूह वाले सिस्टम होते हैं <math>G.</math> हम कार्रवाई की उम्मीद करते हैं <math>G</math> हिल्बर्ट अंतरिक्ष पर <math>\mathcal{H}</math> एकात्मक मैट्रिसेस द्वारा <math>U(g).</math> हम उम्मीद कर सकते हैं <math>U(g_1) U(g_2)= U(g_1g_2),</math> लेकिन क्वांटम यांत्रिकी के नियमों के लिए केवल आवश्यकता होती है
क्वांटम यांत्रिकी में हमारे पास अधिकांशतः समरूपता समूह वाले सिस्टम होते हैं इस प्रकार <math>G.</math> के लिए उक्त क्रियान्वयन की उम्मीद करते हैं, तथा इस प्रकार <math>G</math> हिल्बर्ट अंतरिक्ष पर <math>\mathcal{H}</math> एकात्मक मैट्रिसेस द्वारा <math>U(g).</math> हम उम्मीद कर सकते हैं। इसके लिए <math>U(g_1) U(g_2)= U(g_1g_2),</math> को क्वांटम यांत्रिकी के नियमों के लिए केवल आवश्यकता होती है


:<math>U(g_1) U(g_2)= \exp \{2\pi i\omega(g_1,g_2)\} U(g_1g_2),</math>
:<math>U(g_1) U(g_2)= \exp \{2\pi i\omega(g_1,g_2)\} U(g_1g_2),</math>
कहाँ <math>\exp\{2\pi i\omega(g_1,g_2)\}\in{\rm U}(1)</math> एक चरण है। यह [[अनुमानित प्रतिनिधित्व]] <math>G</math> समूह विस्तार के पारंपरिक प्रतिनिधित्व के रूप में भी सोचा जा सकता है <math>\tilde G</math> का <math>G</math> द्वारा <math>\mathrm{U}(1),</math> जैसा कि सटीक क्रम द्वारा वर्णित है
जहाँ <math>\exp\{2\pi i\omega(g_1,g_2)\}\in{\rm U}(1)</math> इसका मुख्य चरण है। यह [[अनुमानित प्रतिनिधित्व]] <math>G</math> समूह विस्तार के पारंपरिक प्रतिनिधित्व के रूप में भी सोचा जा सकता है <math>\tilde G</math> का <math>G</math> द्वारा <math>\mathrm{U}(1),</math> जैसा कि सटीक क्रम द्वारा वर्णित है


:<math>1 \to {\rm U}(1) \to \tilde G \to G\to 1.</math>
:<math>1 \to {\rm U}(1) \to \tilde G \to G\to 1.</math>
Line 295: Line 291:


:<math>\omega(g_2, g_3)-\omega(g_1g_2, g_3)+ \omega(g_1,g_2g_3)-\omega(g_1,g_2)=0,</math>
:<math>\omega(g_2, g_3)-\omega(g_1g_2, g_3)+ \omega(g_1,g_2g_3)-\omega(g_1,g_2)=0,</math>
जिसे हम उस कथन के रूप में पहचानते हैं <math>d\omega(g_1,g_2,g_3)=0,</math> यानी वह <math>\omega</math> मूल्यों को लेने वाला एक चक्रव्यूह है <math>\R/\Z\simeq {\rm U}(1).</math> हम पूछ सकते हैं कि क्या हम पुनर्परिभाषित करके चरणों को समाप्त कर सकते हैं
जिसे हम उस कथन के रूप में पहचानते हैं <math>d\omega(g_1,g_2,g_3)=0,</math> अर्ताथ वह <math>\omega</math> मूल्यों को लेने वाला एक चक्रव्यूह है <math>\R/\Z\simeq {\rm U}(1).</math> हम पूछ सकते हैं कि क्या हम पुनर्परिभाषित करके चरणों को समाप्त कर सकते हैं


:<math>U(g)\to \exp\{2\pi i\eta(g)\} U(g)</math>
:<math>U(g)\to \exp\{2\pi i\eta(g)\} U(g)</math>
Line 301: Line 297:


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


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


:<math>G \times M \to M</math>
:<math>G \times M \to M</math>
एक सतत नक्शा है। इस तरह के मॉड्यूल के लिए, कोई फिर से व्युत्पन्न फ़ैक्टर पर विचार कर सकता है <math>M \mapsto M^G</math>. बीजगणित और [[संख्या सिद्धांत]] में होने वाला एक विशेष मामला तब होता है जब G अनंत होता है, उदाहरण के लिए किसी क्षेत्र का निरपेक्ष गैलोज़ समूह। परिणामी कोहोलॉजी को [[गैलोइस कोहोलॉजी]] कहा जाता है।
एक सतत नक्शा है। इस तरह के मॉड्यूल के लिए पुनः इसे व्युत्पन्न फ़ैक्टर <math>M \mapsto M^G</math> पर विचार कर सकता है। बीजगणित और [[संख्या सिद्धांत]] में होने वाला एक विशेष मामला तब होता है जब G अनंत होता है, उदाहरण के लिए किसी क्षेत्र का निरपेक्ष गैलोज़ समूह को परिणामी कोहोलॉजी को [[गैलोइस कोहोलॉजी]] कहा जाता है।


=== गैर-अबेलियन समूह कोहोलॉजी ===
=== गैर-अबेलियन समूह कोहोलॉजी ===
{{see also|Nonabelian cohomology}}
{{see also|नॉनबेलियन कोहोलॉजी}}


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


A में गुणांक वाले G के शून्य कोहोलॉजी को उपसमूह के रूप में परिभाषित किया गया है
A में गुणांक वाले G के शून्य कोहोलॉजी को उपसमूह के रूप में परिभाषित किया गया है
Line 322: Line 316:
जी द्वारा निर्धारित ए के तत्वों का।
जी द्वारा निर्धारित ए के तत्वों का।


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


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


:<math>1\to A\to B\to C\to 1\,</math>
:<math>1\to A\to B\to C\to 1\,</math>
जी-समूहों का एक छोटा सटीक अनुक्रम हो, तो पॉइंटेड सेट का एक सटीक अनुक्रम होता है
जी-समूहों का एक छोटा सटीक अनुक्रम हो, तो पॉइंटेड समुच्चय का एक सटीक अनुक्रम होता है


:<math>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).\,</math>
:<math>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).\,</math>
Line 334: Line 328:
== इतिहास और अन्य क्षेत्रों से संबंध ==
== इतिहास और अन्य क्षेत्रों से संबंध ==


1943-45 में समूह कोहोलॉजी की धारणा तैयार किए जाने से पहले, एक समूह के निम्न-आयामी कोहोलॉजी का शास्त्रीय रूप से अध्ययन किया गया था। विषय के पहले प्रमेय को 1897 में हिल्बर्ट के प्रमेय 90 के रूप में पहचाना जा सकता है; इसे [[एमी नोथेर]] के गैलोज सिद्धांत में समीकरणों में पुनर्गठित किया गया था (के लिए कोसाइकिलों की एक उपस्थिति <math>H^1</math>). समूहों के लिए विस्तार समस्या के लिए [[कारक सेट]] का विचार (से जुड़ा हुआ  <math>H^2</math>) ओटो होल्डर (1893) के काम में उत्पन्न हुआ, [[कुछ नहीं]] के 1904 में प्रक्षेपी अभ्यावेदन के अध्ययन में, [[ओटो श्रेयर]] के 1926 के उपचार में, और [[रिचर्ड ब्राउर]] के 1928 में [[सरल बीजगणित]] और ब्राउर समूह के अध्ययन में। इस इतिहास की एक विस्तृत चर्चा में पाया जा सकता है {{harv|Weibel|1999|pp=806–811}}.
1943-45 में समूह कोहोलॉजी की धारणा तैयार किए जाने से पहले, एक समूह के निम्न-आयामी कोहोलॉजी का शास्त्रीय रूप से अध्ययन किया गया था। विषय के पहले प्रमेय को 1897 में हिल्बर्ट के प्रमेय 90 के रूप में पहचाना जा सकता है; इसे [[एमी नोथेर|Mी नोथेर]] के गैलोज सिद्धांत में समीकरणों में पुनर्गठित किया गया था, इन समूहों के लिए विस्तार समस्या के लिए [[कारक सेट|कारक समुच्चय]] का विचार से जुड़ा हुआ  <math>H^2</math> ओटो होल्डर (1893) के काम में उत्पन्न हुआ, [[कुछ नहीं]] के 1904 में प्रक्षेपी अभ्यावेदन के अध्ययन में, [[ओटो श्रेयर]] के 1926 के उपचार में, और [[रिचर्ड ब्राउर]] के 1928 में [[सरल बीजगणित]] और ब्राउर समूह के अध्ययन में। इस इतिहास की एक विस्तृत चर्चा में पाया जा सकता है।


1941 में पढ़ाई के दौरान <math>H^2(G,\Z)</math> (जो समूहों में एक विशेष भूमिका निभाता है), [[हेंज हॉफ]] ने खोज की जिसे अब हॉफ का अभिन्न समरूपता सूत्र कहा जाता है {{harv|Hopf|1942}}, जो परिमित, परिमित रूप से प्रस्तुत समूह के [[शूर गुणक]] के लिए शूर के सूत्र के समान है:
1941 में पढ़ाई के समय <math>H^2(G,\Z)</math> (जो समूहों में एक विशेष भूमिका निभाता है), [[हेंज हॉफ]] ने खोज की जिसे अब हॉफ का अभिन्न समरूपता सूत्र कहा जाता है, जो परिमित, परिमित रूप से प्रस्तुत समूह के [[शूर गुणक]] के लिए शूर के सूत्र के समान है:


:<math> H_2(G,\Z) \cong (R \cap [F, F])/[F, R],</math>
:<math> H_2(G,\Z) \cong (R \cap [F, F])/[F, R],</math>
कहाँ <math>G\cong F/R</math> और F एक मुक्त समूह है।
जहाँ <math>G\cong F/R</math> और F एक मुक्त समूह है।


हॉफ के परिणाम ने 1943-45 में कई समूहों द्वारा समूह कोहोलॉजी की स्वतंत्र खोज का नेतृत्व किया: संयुक्त राज्य अमेरिका में [[सैमुअल एलेनबर्ग]] और [[सॉन्डर्स मैक लेन]] {{Harv|Rotman|1995|p=358}}; स्विट्जरलैंड में हॉफ और [[बेनो एकमैन]]; नीदरलैंड में [[हंस फ्रायडेंथल]] {{harv|Weibel|1999|p=807}}; और [[दिमित्री फदीव]] सोवियत संघ में ({{Harvnb|Arslanov|2011|p=29}}, {{Harvnb|Faddeev|1947}}). स्थिति अराजक थी क्योंकि द्वितीय विश्व युद्ध के दौरान इन देशों के बीच संचार मुश्किल था।
हॉफ के परिणाम ने 1943-45 में कई समूहों द्वारा समूह कोहोलॉजी की स्वतंत्र खोज का नेतृत्व किया: संयुक्त राज्य अमेरिका में [[सैमुअल एलेनबर्ग]] और [[सॉन्डर्स मैक लेन]]; स्विट्जरलैंड में हॉफ और [[बेनो एकमैन]]; नीदरलैंड में [[हंस फ्रायडेंथल]]; और [[दिमित्री फदीव]] सोवियत संघ में स्थिति अराजक थी क्योंकि द्वितीय विश्व युद्ध के समय इन देशों के बीच संचार मुश्किल था।


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


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


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


समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ। समरूपता के साथ लघु-श्रेणी के उलझे हुए राज्यों को समरूपता-संरक्षित टोपोलॉजिकल ऑर्डर के रूप में भी जाना जाता है। समरूपता-संरक्षित टोपोलॉजिकल स्टेट्स।<ref name="Wang Gu Wen p. ">{{Cite journal |last1=Wang |first1=Juven C. |last2=Gu |first2=Zheng-Cheng |last3=Wen |first3=Xiao-Gang |date=22 January 2015 |title=गेज-ग्रेविटी समरूपता-संरक्षित टोपोलॉजिकल इनवेरिएंट्स, ग्रुप कोहोलॉजी और परे का फील्ड-थ्योरी प्रतिनिधित्व|journal=Physical Review Letters |volume=114 |issue=3 |page=031601 |arxiv=1405.7689 |doi=10.1103/physrevlett.114.031601 |issn=0031-9007 |pmid=25658993 |s2cid=2370407}}</ref>
समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ उपलब्ध हैं। समरूपता के साथ लघु-श्रेणी के उलझे हुए राज्यों को समरूपता-संरक्षित टोपोलॉजिकल ऑर्डर के रूप में भी जाना जाता है। समरूपता-संरक्षित टोपोलॉजिकल स्टेट्स को उपयोग करते हैं।<ref name="Wang Gu Wen p. ">{{Cite journal |last1=Wang |first1=Juven C. |last2=Gu |first2=Zheng-Cheng |last3=Wen |first3=Xiao-Gang |date=22 January 2015 |title=गेज-ग्रेविटी समरूपता-संरक्षित टोपोलॉजिकल इनवेरिएंट्स, ग्रुप कोहोलॉजी और परे का फील्ड-थ्योरी प्रतिनिधित्व|journal=Physical Review Letters |volume=114 |issue=3 |page=031601 |arxiv=1405.7689 |doi=10.1103/physrevlett.114.031601 |issn=0031-9007 |pmid=25658993 |s2cid=2370407}}</ref>
<ref>{{Cite journal |last=Wen |first=Xiao-Gang |author-link=Xiao-Gang Wen |date=4 May 2015 |title=Construction of bosonic symmetry-protected-trivial states and their topological invariants via G×SO(∞) nonlinear σ models |journal=Physical Review B |volume=91 |issue=20 |page=205101 |arxiv=1410.8477 |doi=10.1103/physrevb.91.205101 |issn=1098-0121 |s2cid=13950401}}</ref>
<ref>{{Cite journal |last=Wen |first=Xiao-Gang |author-link=Xiao-Gang Wen |date=4 May 2015 |title=Construction of bosonic symmetry-protected-trivial states and their topological invariants via G×SO(∞) nonlinear σ models |journal=Physical Review B |volume=91 |issue=20 |page=205101 |arxiv=1410.8477 |doi=10.1103/physrevb.91.205101 |issn=1098-0121 |s2cid=13950401}}</ref>
== यह भी देखें ==
== यह भी देखें ==



Revision as of 00:57, 30 May 2023

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

ये बीजगणितीय विचार सामयिक विचारों से निकटता से संबंधित हैं। असतत समूह G का समूह सह-विज्ञान एक उपयुक्त स्थान का एकवचन सह-विज्ञान है, जिसका मूल समूह G है, अर्थात् संबंधित आइलेंबर्ग मैकलेन क्षेत्र को दर्शाता हैं। इस प्रकार इसका समूह कोहोलॉजी 1 सर्कल एस के एकवचन कोहोलॉजी के रूप में सोचा जा सकता है, और इसी प्रकार और इसका उदाहरण हैं। इस प्रकार इसके समूहों के कोहोलॉजी के बारे में बहुत कुछ जाना जाता है, जिसमें निम्न-आयामी कोहोलॉजी, कार्यात्मकता और समूहों को कैसे परिवर्तित करना है, इसकी व्याख्या इसमें सम्मिलित है। इस प्रकार समूह कोहोलॉजी का विषय 1920 के दशक में प्रारंभ हुआ, 1940 के दशक के अंत में परिपक्व हुआ, और आज भी सक्रिय अनुसंधान के क्षेत्र के रूप में प्रस्तुत रहा है।

प्रेरणा

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

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

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

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

परिभाषाएँ

सभी जी-मॉड्यूल का संग्रह श्रेणी सिद्धांत है, इस प्रकार फलन में G के लिए सभी g और M में x के लिए उपस्थित रहते हैं। इस प्रकार प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना जी-मॉड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए फ़ंक्टर उत्पन्न करता है। यह फंक्टर लेफ्ट सटीक फंक्टर के रूप से उपयोग होते है किन्तु आवश्यक नहीं कि सही सटीक हो। इसलिए हम इसके सही व्युत्पन्न कारक बना सकते हैं।[lower-alpha 1] उनके मूल्य आबेली समूह हैं और उन्हें इसके द्वारा निरूपित किया जाता है, इस प्रकार m में गुणांक के साथ G का एन-वें कोहोलॉजी समूह के रूप में प्रयुक्त होता हैं। इसके अतिरिक्त समूह को से पहचाना जा सकता है।

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

व्युत्पन्न फ़ैक्टरों का उपयोग करने वाली परिभाषा अवधारणात्मक रूप से बहुत स्पष्ट है, किन्तु ठोस अनुप्रयोगों के लिए, निम्नलिखित संगणनाएं, जो कुछ लेखक परिभाषा के रूप में भी उपयोग करते हैं, अधिकांशतः सहायक होते हैं।[1] इसके लिए के लिए इस प्रकार से सभी फलन का समूह बनता हैं। इस प्रकार M के लिए (यहाँ साधन ). यह एक एबेलियन समूह है; इसके तत्वों को अमानवीय एन-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म को इस प्रकार प्रदर्शित कर सकते हैं-

समीकर इसकी जांच कर सकता है, इसलिए यह कोचेन कॉम्प्लेक्स को परिभाषित करता है जिसकी कोहोलॉजी की गणना की जा सकती है। यह दिखाया जा सकता है कि व्युत्पन्न फ़ैक्टरों के संदर्भ में समूह कोहोलॉजी की उपर्युक्त परिभाषा इस परिसर के कोहोलॉजी के लिए आइसोमोर्फिक है।

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

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

समूह रिंग पर मॉड्यूल के रूप में जी-मॉड्यूल की व्याख्या से करते हैं जिसके लिए कोई भी इसे नोट कर सकता है-

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

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

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

उदाहरण के लिए, कोई सदैव समूह के रिंग का संकल्प ले सकता है, इस प्रकार मोर्फिज्म के साथ

इसके लिए के मान को याद रखते हैं, इस प्रकार मॉड्यूलस एन और m, होमG(n, m) एक एबेलियन समूह है जिसमें -होमोमाॅर्फिज्म N से M तक सम्मिलित हैं, चूंकि प्रतिपरिवर्ती फ़ैक्टर है और लागू करते हुए तीरों को उलट देता है, इस प्रकार एफ को टर्मवाइज और ड्रॉप करता हैं। इस प्रकार कोचेन कॉम्प्लेक्स का उत्पादन करता है

:

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

यह निर्माण प्रारंभ में एक कोबाउंड्री ऑपरेटर की ओर ले जाता है जो सजातीय कोचेन पर कार्य करता है। ये के तत्व हैं, अर्ताथ इस प्रकार यह कार्य करता है कि समीकरण का पालन करें-

कोबाउंड्री ऑपरेटर अब स्वाभाविक रूप से परिभाषित किया गया है, उदाहरण के लिए,

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

और इसी प्रकार

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

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

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

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

सहसंयोजक फ़ंक्टर जो MG असाइन करता है, जिसके लिए M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक है जहाँ तुच्छ जी-क्रिया के साथ संपन्न किया जाता है।[lower-alpha 2] इसलिए टोर काम करता है के संदर्भ में समूह समरूपता के लिए अभिव्यक्ति भी मिलती है,

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

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

विशेष रूप से, गृहविज्ञान समूह Hn(जी, M) की गणना निम्नानुसार की जा सकती है। इसके प्रक्षेपी संकल्प F के साथ प्रारंभ करें -मापांक जैसा कि पिछले अनुभाग में है। सहपरिवर्ती फ़ंक्टर लागू करें एक चेन कॉम्प्लेक्स प्राप्त करने के लिए टर्मवाइज एफ :

तब Hn(जी, M) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, एन ≥ 0 के लिए।

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

समूह समरूपता एबेलियन समूहों का G एक प्रमुख आदर्श डोमेन k में मानों के साथ बाहरी बीजगणित से निकटता से संबंधित है।[lower-alpha 3]

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

H1

पहला कोहोलॉजी समूह तथाकथित क्रॉस्ड होमोमोर्फिज्म का भागफल है, अर्ताथ मानचित्र (समुच्चय के) 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 की क्रिया मामूली है, तो उपरोक्त H1 (G,M) = होम(G, M) तक उबलता है, इस समूह की समाकारिता का समूह G → M, चूँकि पार की गई समाकारिता तब केवल साधारण समाकारिता होती है और सह-सीमाएँ (अर्थात् मुख्य पार की गई समाकारिता) की छवि समान रूप से होनी चाहिए शून्य: इसलिए केवल शून्य सीमा है।

दूसरी ओर, के मामले पर विचार करें जहाँ गैर-तुच्छ को दर्शाता है पूर्णांकों के योगात्मक समूह पर संरचना, जो प्रत्येक के लिए -a भेजता है ; और हम जहाँ मानते हैं समूह के रूप में . की छवियों के लिए सभी संभावित स्थितियों पर विचार करके प्राप्त होता हैं, यह देखा जा सकता है कि पार की गई समरूपता सभी मानचित्रों का निर्माण करती है संतुष्टि देने वाला और पूर्णांक t के कुछ मनमाना विकल्प के लिए। प्रिंसिपल क्रॉस्ड होमोमोर्फिज्म को अतिरिक्त रूप से पूरा करना होगा कुछ पूर्णांक M के लिए: इसलिए प्रत्येक पार होमोमोर्फिज्म -1 को सम पूर्णांक में भेजना प्रमुख है, और इसलिए:

समूह संचालन बिंदुवार जोड़ के साथ: , नोट किया कि पहचान तत्व है।

H2

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

अनुभाग से उदाहरण में तुरंत ऊपर, के एकमात्र विस्तार के रूप में द्वारा दी गई गैर-तुच्छ क्रिया के साथ अनंत डायहेड्रल समूह है, जो एक विभाजित विस्तार है और अंदर इतना तुच्छ है समूह। यह वास्तव में समूह-सैद्धांतिक दृष्टि से अद्वितीय गैर-तुच्छ तत्व का महत्व है .

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

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

मौलिक उदाहरण

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

परिमित चक्रीय समूह के लिए आदेश की जनरेटर के साथ , तत्व संबद्ध समूह वलय में शून्य का भाजक है क्योंकि इसका गुणनफल है ,

द्वारा दिया गया

देता है

इस गुण का उपयोग संकल्प के निर्माण के लिए किया जा सकता है[2][3] तुच्छ का -मापांक कॉम्प्लेक्स <ब्लॉककोट> के माध्यम सेकिसी के लिए समूह कोहोलॉजी संगणना दे रहा है -मापांक . ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल देता है इसका

द्वारा -स्ट्रक्चर

यह संकल्प समूह कोहोलॉजी की गणना देता है क्योंकि कोहोलॉजी समूहों का समरूपता है<ब्लॉककोट>दिखा रहा है कि फंक्टर को लागू करना उपरोक्त परिसर में (के साथ हटा दिया गया है क्योंकि यह रिज़ॉल्यूशन अर्ध-समरूपता है), गणना देता है

के लिये

उदाहरण के लिए, यदि , तुच्छ मॉड्यूल, फिर , , और , इसलिए

</ब्लॉककोट>

स्पष्ट चक्र

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

द्वारा दिया गया

के लिए अजीब, , एक आदिम -एकता की जड़, एक क्षेत्र युक्त -एकता की जड़ें, और <ब्लॉककोट>

किसी परिमेय संख्या के लिए से अधिक नहीं सबसे बड़े पूर्णांक को निरूपित करना . इसके अलावा, हम संकेतन <ब्लॉककोट> का उपयोग कर रहे हैंजहाँ के लिए जनरेटर है . ध्यान दें कि के लिए गैर-शून्य भी सूचकांक कोहोलॉजी समूह तुच्छ हैं।

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

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

एक समुच्चय दिया संबंधित मुक्त समूह एक स्पष्ट संकल्प है[5] तुच्छ मॉड्यूल का जिसकी गणना आसानी से की जा सकती है। वृद्धि मानचित्र पर ध्यान देंमें फ्री सबमॉड्यूल द्वारा दिया गया कर्नेल है समुच्चय द्वारा उत्पन्न , इसलिए क्योंकि यह वस्तु मुफ़्त है, यह एक संकल्प देता है

इसलिए समूह कोहोलॉजी में गुणांक के साथ फ़ैक्टर को लागू करके गणना की जा सकती है परिसर के लिए , दे रहा है

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

है

कोई भी भेजता है -मॉड्यूल आकारिकी <ब्लॉककोट>प्रेरित रूपवाद पर समावेश की रचना करके। केवल नक्शे ही भेजे जाते हैं हैं वृद्धि मानचित्र के गुणक, पहला कोहोलॉजी समूह दे रहे हैं। केवल दूसरे नक्शों पर ध्यान देकर दूसरा पाया जा सकता है

द्वारा उत्पन्न किया जा सकता है नक्शे भेजने का आधार एक निश्चित के लिए , और भेज रहा हूँ किसी के लिए .

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

मुक्त समूहों का समूह कोहोलॉजी द्वारा उत्पन्न टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की आसानी से गणना की जा सकती है। याद रखें कि हर समूह के लिए एक टोपोलॉजिकल स्पेस है , समूह का वर्गीकरण स्थान कहा जाता है, जिसमें गुण होता हैइसके अलावा, इसमें यह गुण है कि इसकी टोपोलॉजिकल कोहोलॉजी समूह कोहोलॉजी के लिए आइसोमॉर्फिक है।

कुछ समूह कोहोलॉजी समूहों की गणना करने का एक तरीका दे रहा है। टिप्पणी किसी भी स्थानीय प्रणाली द्वारा प्रतिस्थापित किया जा सकता है जो मानचित्र द्वारा निर्धारित किया जाता है। इस प्रकार कुछ एबेलियन समूह के लिए की स्थितियों में के लिए अक्षर, यह एक पच्चर योग द्वारा दर्शाया गया है, इस प्रकार मंडलियां [6] जिसे वैन कम्पेन प्रमेय का उपयोग करके दिखाया जा सकता है | वैन-कम्पेन प्रमेय, समूह कोहोलॉजी देता है।[7]

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

एक अभिन्न जाली के लिए पद का (इसलिए आइसोमॉर्फिक टू ), इसके समूह कोहोलॉजी की गणना सापेक्ष आसानी से की जा सकती है। सबसे पहले, क्योंकि , और है , जो एबेलियन समूह के रूप में आइसोमोर्फिक हैं , समूह कोहोलॉजी में समरूपता <ब्लॉककोट> है रैंक के एक टोरस के अभिन्न कोहोलॉजी के साथ .

गुण

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

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

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

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

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

अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है।[8] अगर एक n-cocycle द्वारा दर्शाया गया है तब द्वारा दर्शाया गया है जहाँ और कोचन उठाने की (अर्थात। की रचना है विशेषण मानचित्र M → N) के साथ उपयोग होता हैं।

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

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

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

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

उत्पाद

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

किसी भी दो जी-मॉड्यूल M और एन के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर देता है जहाँ R एक वलय है जैसे या एक परिमित समूह G के लिए, इस कोहोलॉजी का सम भाग विशेषता p में बजता है, G की संरचना समूह के बारे में बहुत सारी जानकारी रखती है, उदाहरण के लिए इस रिंग का क्रुल आयाम एक एबेलियन उपसमूह के अधिकतम रैंक के बराबर है .[10] उदाहरण के लिए, G को असतत टोपोलॉजी के तहत दो तत्वों वाला समूह होने दें। वास्तविक प्रक्षेप्य स्थान G. Let के लिए एक वर्गीकरण स्थान है दो तत्वों का क्षेत्र (गणित)। तब

एक एकल जनरेटर पर एक बहुपद k-बीजगणित, क्योंकि यह एक विलक्षण कोहोलॉजी रिंग है।

कुनेथ सूत्र

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

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


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

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

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

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

एक समूह A दिया गया है जो दो समूहों G1 का उपसमूह है और G2समामेलित उत्पाद की समरूपता (पूर्णांक गुणांक के साथ) एक लंबे सटीक अनुक्रम में स्थित है

की समरूपता इसका उपयोग करके गणना की जा सकती है:

यह सटीक अनुक्रम यह दिखाने के लिए भी लागू किया जा सकता है कि होमोलॉजी और विशेष रैखिक समूह अनंत क्षेत्र k के लिए सहमत हैं।[12]

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

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

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

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

इजहारबाईं ओर एक वर्गीकरण स्थान है . यह एक ईलेनबर्ग-मैकलेन स्थान है , अर्ताथ, एक स्थान जिसका मौलिक समूह है और जिनके उच्च होमोटॉपी समूह लुप्त हो जाते हैं)।[lower-alpha 4] के लिए रिक्त स्थान वर्गीकृत करना और 1-गोला S1 हैं, अनंत वास्तविक प्रक्षेपी स्थान और लेंस रिक्त स्थान, क्रमशः। सामान्य रूप में,भागफल के रूप में बनाया जा सकता है , जहाँ एक अनुबंधित स्थान है जिस पर स्वतंत्र रूप से कार्य करता है। चूंकि,सामान्यतः आसानी से सुने जाने योग्य ज्यामितीय विवरण नहीं होता है।

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

आगे के उदाहरण

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

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

जिसे एक सेरे स्पेक्ट्रल अनुक्रम के माध्यम से रखा जा सकता है। यह -पेज जो ग्रुप कोहोलॉजी के बारे में जानकारी देता है के समूह कोहोलॉजी समूहों से . ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है।

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

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

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

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

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


टेट कोहोलॉजी

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

जहाँ मानक मानचित्र से प्रेरित है:

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

परिमित चक्रीय समूहों के टेट कोहोलॉजी, 2-आवधिक है इस अर्थ में कि समरूपताएँ हैं

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

अनुप्रयोग

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

बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है:क्विलेन्स प्लस कंस्ट्रक्शन या +-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को अंतरिक्ष के समरूप समूहों के रूप में परिभाषित किया गया है यहाँ अनंत सामान्य रैखिक समूह है। इस प्रकार इसके क्षेत्र के लिए के समान होमोलॉजी है अर्ताथ, जीएल (आर) का समूह समरूपता प्राप्त होती हैं। कुछ स्थितियों में, स्थिरता के परिणाम यह प्रमाणित करते हैं कि कोहोलॉजी समूहों का क्रम इस प्रकार हैं।

काफी बड़े n के लिए स्थिर हो जाता है, इसलिए अनंत सामान्य रैखिक समूह के कोहोलॉजी की गणना को कुछ में से एक में कम कर देता है . ऐसे परिणाम तब स्थापित किए गए हैं जब R एक क्षेत्र है[16] या किसी संख्या क्षेत्र में पूर्णांकों की रिंग के लिए उपयोग होता हैं।[17] इस प्रकार किसी समूह की श्रृंखला की समूह समरूपता की घटना स्थिरीकरण को समरूप स्थिरता कहा जाता है। इस स्थिति के अतिरिक्त अभी उल्लेख किया गया है, यह कई अन्य समूहों पर लागू होता है जैसे सममित समूह या मानचित्रण वर्ग समूह इसका उदाहरण हैं।

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

क्वांटम यांत्रिकी में हमारे पास अधिकांशतः समरूपता समूह वाले सिस्टम होते हैं इस प्रकार के लिए उक्त क्रियान्वयन की उम्मीद करते हैं, तथा इस प्रकार हिल्बर्ट अंतरिक्ष पर एकात्मक मैट्रिसेस द्वारा हम उम्मीद कर सकते हैं। इसके लिए को क्वांटम यांत्रिकी के नियमों के लिए केवल आवश्यकता होती है

जहाँ इसका मुख्य चरण है। यह अनुमानित प्रतिनिधित्व समूह विस्तार के पारंपरिक प्रतिनिधित्व के रूप में भी सोचा जा सकता है का द्वारा जैसा कि सटीक क्रम द्वारा वर्णित है

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

ओर जाता है

जिसे हम उस कथन के रूप में पहचानते हैं अर्ताथ वह मूल्यों को लेने वाला एक चक्रव्यूह है हम पूछ सकते हैं कि क्या हम पुनर्परिभाषित करके चरणों को समाप्त कर सकते हैं

जो बदलता है

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

एक्सटेंशन

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

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

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

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

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

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

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

A में गुणांकों के साथ G की पहली कोहोलॉजी को 1-सहसंबंधियों के अतिरिक्त 1-कोसाइकल मॉडुलो एक तुल्यता संबंध के रूप में परिभाषित किया गया है। मानचित्र के लिए शर्त 1-कोसायकल होना वह है और अगर a में a है तो ऐसा है कि सामान्य रूप में, एक समूह नहीं है जब A गैर-आबेली है। इसके अतिरिक्त इसमें एक नुकीले समुच्चय की संरचना है - ठीक वैसी ही स्थिति 0 वें होमोटोपी समूह में उत्पन्न होती है, जो एक सामान्य टोपोलॉजिकल स्पेस के लिए एक समूह नहीं बल्कि एक पॉइंटेड समुच्चय है। ध्यान दें कि विशिष्ट बिंदु के रूप में पहचान तत्व के साथ एक समूह विशेष रूप से एक बिंदु समुच्चय है।

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

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


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

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

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

जहाँ और F एक मुक्त समूह है।

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

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

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

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

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

यह भी देखें

टिप्पणियाँ

  1. This uses that the category of G-modules has enough injectives, since it is isomorphic to the category of all modules over the group ring
  2. Recall that the tensor product is defined whenever N is a right -module and M is a left -module. If N is a left -module, we turn it into a right -module by setting ag = g−1a for every gG and every aN. This convention allows to define the tensor product in the case where both M and N are left -modules.
  3. For example, the two are isomorphic if all primes p such that G has p-torsion are invertible in k. See (Knudson 2001), Theorem A.1.19 for the precise statement.
  4. For this, G is assumed to be discrete. For general topological groups, .


संदर्भ

  1. Page 62 of Milne 2008 or section VII.3 of Serre 1979
  2. Dummit, David Steven; Foote, Richard M. (14 July 2003). सार बीजगणित (Third ed.). Hoboken, NJ. p. 801. ISBN 0-471-43334-9. OCLC 52559229.{{cite book}}: CS1 maint: location missing publisher (link)
  3. Brown, Kenneth S. (6 December 2012). समूहों का कोहोलॉजी. New York, New York. p. 35. ISBN 978-1-4684-9327-6. OCLC 853269200.{{cite book}}: CS1 maint: location missing publisher (link)
  4. Huang, Hua-Lin; Liu, Gongxiang; Ye, Yu (2012-06-23). "रैखिक जीआर-श्रेणियों के एक वर्ग पर लट वाली मोनोइडल संरचनाएं" (in English). arXiv:1206.5402v3. {{cite journal}}: Cite journal requires |journal= (help)
  5. Evens, Leonard. (1991). समूहों की कोहोलॉजी. Oxford: Clarendon Press. ISBN 0-19-853580-5. OCLC 23732584.
  6. Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge: Cambridge University Press. p. 43. ISBN 0-521-79160-X. OCLC 45420394.
  7. Webb, Peter. "समूहों के कोहोलॉजी का परिचय" (PDF). Archived (PDF) from the original on 6 May 2020.
  8. Remark II.1.21 of Milne 2008
  9. (Brown 1972), §III.9
  10. Quillen, Daniel. The spectrum of an equivariant cohomology ring. I. II. Ann. Math. (2) 94, 549-572, 573-602 (1971).
  11. (Brown 1972), Exercise III.1.3
  12. (Knudson 2001), Chapter 4
  13. Stasheff, James D. (1978-07-01). "समूहों और वर्गीकरण रिक्त स्थान की सतत कोहोलॉजी". Bulletin of the American Mathematical Society. 84 (4): 513–531. doi:10.1090/s0002-9904-1978-14488-7. ISSN 0002-9904.
  14. (Adem & Milgram 2004), Chapter II.
  15. (Brown 1972), §VI.9
  16. Suslin, Andrei A. (1984), "Homology of , characteristic classes and Milnor K-theory", Algebraic K-theory, number theory, geometry and analysis, Lecture Notes in Mathematics, vol. 1046, Springer, pp. 357–375
  17. In this case, the coefficients are rational. Borel, Armand (1974). "Stable real cohomology of arithmetic groups". Annales Scientifiques de l'École Normale Supérieure. Série 4. 7 (2): 235–272. doi:10.24033/asens.1269.
  18. Wang, Juven C.; Gu, Zheng-Cheng; Wen, Xiao-Gang (22 January 2015). "गेज-ग्रेविटी समरूपता-संरक्षित टोपोलॉजिकल इनवेरिएंट्स, ग्रुप कोहोलॉजी और परे का फील्ड-थ्योरी प्रतिनिधित्व". Physical Review Letters. 114 (3): 031601. arXiv:1405.7689. doi:10.1103/physrevlett.114.031601. ISSN 0031-9007. PMID 25658993. S2CID 2370407.
  19. Wen, Xiao-Gang (4 May 2015). "Construction of bosonic symmetry-protected-trivial states and their topological invariants via G×SO(∞) nonlinear σ models". Physical Review B. 91 (20): 205101. arXiv:1410.8477. doi:10.1103/physrevb.91.205101. ISSN 1098-0121. S2CID 13950401.



उद्धृत कार्य

अग्रिम पठन