समूह कोहोलॉजी: Difference between revisions
No edit summary |
No edit summary |
||
Line 2: | Line 2: | ||
{{about|समरूपता और कोहोमोलाॅजी ''का'' समूह|किसी स्थान या अन्य वस्तु के होमोलॉजी या कोहोलॉजी समूह|समरूपता (गणित)}} | {{about|समरूपता और कोहोमोलाॅजी ''का'' समूह|किसी स्थान या अन्य वस्तु के होमोलॉजी या कोहोलॉजी समूह|समरूपता (गणित)}} | ||
गणित में अधिकांशतः विशेष रूप से होमोलॉजिकल बीजगणित में, समूह कोहोलॉजी गणितीय उपकरणों का | गणित में अधिकांशतः विशेष रूप से होमोलॉजिकल बीजगणित में, '''समूह कोहोलॉजी''' गणितीय उपकरणों का ऐसा समुच्चय है जिसका उपयोग [[कोहोलॉजी सिद्धांत]] का उपयोग करके [[समूह (गणित)]] का अध्ययन करने के लिए किया जाता है, जो [[बीजगणितीय टोपोलॉजी]] की विशेष विधि है। इस प्रकार इस समूह अभ्यावेदन के अनुरूप होकर उक्त समूह कोहोलॉजी के संबद्ध G-मॉड्यूल में समूह G की [[समूह क्रिया (गणित)]] को दिखाया जाता है। इस प्रकार G- माॅड्यूल ''M'' समूह के गुणों को स्पष्ट करने के लिए G- माॅड्यूल को इसके तत्वों के साथ टोपोलॉजिकल स्पेस के रूप में मानकर <math>G^n</math> [[सिंप्लेक्स]] का प्रतिनिधित्व करते हुए प्रदर्शित किया गया हैं, इस क्षेत्र के टोपोलॉजिकल गुणों की गणना की जा सकती है, जैसे कोहोलॉजी समूहों का समुच्चय <math>H^n(G,M)</math> इसका प्रमुख उदाहरण हैं। इस प्रकार कोहोलॉजी समूह के परिवर्तन करने पर इस समूह में G और G-मॉड्यूल M की संरचना में अंतर्दृष्टि प्रदान करते हैं। इस समूह कोहोलॉजी मॉड्यूल या स्पेस को [[मौलिक समूह]] प्रक्रिया के निश्चित बिंदुओं की जांच में भूमिका निभाता है और इस समुह प्रक्रिया के संबंध में [[भागफल मॉड्यूल]] या स्पेस को प्रकट करता हैं। इस प्रकार समूह कॉहोलॉजी का उपयोग बीजगणित, होमोलॉजिकल बीजगणित, बीजगणितीय टोपोलॉजी और [[बीजगणितीय संख्या सिद्धांत]] के साथ-साथ [[समूह सिद्धांत]] के अनुप्रयोगों में भी किया जाता है। बीजगणितीय टोपोलॉजी के रूप में यह एक दोहरे सिद्धांत को प्रदर्शित करता है, जिसे समूह होमोलॉजी कहा जाता है। समूह कोहोलॉजी की तकनीकों को इस स्थिति में भी बढ़ाया जा सकता है कि G- माॅड्यूल के अतिरिक्त, G गैर-अबेलियन जी-समूह पर कार्य करता है; वास्तव में, गैर-एबेलियन समूह या गैर-एबेलियन गुणांकों के लिए किसी मॉड्यूल का सामान्यीकरण हैं। | ||
ये बीजगणितीय विचार सामयिक विचारों से निकटता से संबंधित हैं। असतत समूह G का समूह सह-विज्ञान | ये बीजगणितीय विचार सामयिक विचारों से निकटता से संबंधित हैं। असतत समूह G का समूह सह-विज्ञान इसके उपयुक्त स्थान का एकवचन सह-विज्ञान है, जिसका मूल समूह G है, अर्थात् संबंधित आइलेंबर्ग मैकलेन क्षेत्र को दर्शाता हैं। इस प्रकार इसका समूह कोहोलॉजी <math>\Z</math><sup>1</sup> सर्कल एस के एकवचन कोहोलॉजी के रूप में सोचा जा सकता है, और इसी प्रकार <math>\Z/2\Z</math> और <math>\mathbb{P}^{\infty}(\R).</math> इसका उदाहरण हैं। इस प्रकार इसके समूहों के कोहोलॉजी के बारे में बहुत कुछ जाना जाता है, जिसमें निम्न-आयामी कोहोलॉजी, कार्यात्मकता और समूहों को कैसे परिवर्तित करना है, इसकी व्याख्या इसमें सम्मिलित है। इस प्रकार समूह कोहोलॉजी का विषय 1920 के दशक में प्रारंभ हुआ, 1940 के दशक के अंत में परिपक्व हुआ, और आज भी सक्रिय अनुसंधान के क्षेत्र के रूप में प्रस्तुत रहा है। | ||
== प्रेरणा == | == प्रेरणा == | ||
समूह सिद्धांत में एक सामान्य प्रतिमान यह है कि एक समूह (गणित) G को उसके समूह प्रतिनिधित्व के माध्यम से अध्ययन किया जाना चाहिए। उन अभ्यावेदनों का एक साधारण सामान्यीकरण | समूह सिद्धांत में एक सामान्य प्रतिमान यह है कि एक समूह (गणित) G को उसके समूह प्रतिनिधित्व के माध्यम से अध्ययन किया जाना चाहिए। उन अभ्यावेदनों का एक साधारण सामान्यीकरण G- माॅड्यूल है। G- माॅड्यूल: मुख्य रूप से G- माॅड्यूल एक [[एबेलियन समूह]] M है जो M पर G के समूह क्रिया (गणित) के साथ है, G के प्रत्येक तत्व के साथ M के [[ automorphism |ऑटो मोर्फिज्म]] के रूप में कार्य करता है। इस प्रकार G को गुणा और M को योगात्मक रूप से लिख सकते हैं। | ||
ऐसे | ऐसे G- माॅड्यूल 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> | ||
Line 17: | Line 17: | ||
== परिभाषाएँ == | == परिभाषाएँ == | ||
सभी | सभी G- माॅड्यूल का संग्रह [[श्रेणी सिद्धांत]] है, इस प्रकार <math>f(gx) = g(f(x))</math> फलन में G के लिए सभी g और M में x के लिए उपस्थित रहते हैं। इस प्रकार प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना <math>M^G</math> G- माॅड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए फ़ंक्टर उत्पन्न करता है। यह [[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 का n-वें कोहोलॉजी समूह के रूप में प्रयुक्त होता हैं। इसके अतिरिक्त समूह <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> M के लिए (यहाँ <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>). यह एक एबेलियन समूह है; इसके तत्वों को अमानवीय n-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म को इस प्रकार प्रदर्शित कर सकते हैं- | ||
:<math>\begin{cases} | :<math>\begin{cases} | ||
Line 33: | Line 33: | ||
:<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> | ||
=== फ़ैक्टर | === फ़ैक्टर Xt<sup>n</sup> और समूह कोहोलॉजी की औपचारिक परिभाषा=== | ||
समूह रिंग पर मॉड्यूल के रूप में | समूह रिंग पर मॉड्यूल के रूप में G- माॅड्यूल की व्याख्या <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> | ||
अर्ताथ, M में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के <math>\Z</math> समूह से की जाती है, जिसे तुच्छ | अर्ताथ, M में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के <math>\Z</math> समूह से की जाती है, जिसे तुच्छ G- माॅड्यूल के रूप में माना जाता है, इस प्रकार G का प्रत्येक तत्व पहचान के रूप में कार्य करता है। | ||
इसलिए, चूंकि [[Ext functor|X्ट फंक्टर्स]] होम फंक्टर के व्युत्पन्न फ़ैक्टर हैं, इसलिए एक प्राकृतिक समरूपता है | इसलिए, चूंकि [[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> | ||
इन Xट समूहों की गणना प्रोजेक्टिव रिज़ॉल्यूशन <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> के मान को याद रखते हैं, इस प्रकार मॉड्यूलस | इसके लिए <math>\Z[G]</math> के मान को याद रखते हैं, इस प्रकार मॉड्यूलस n और m, Hom<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>\operatorname{Hom}_{G}(-,M)(F,M)</math>: | ||
Line 62: | 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 से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन | कोबाउंड्री ऑपरेटर d से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन <math> \varphi</math> पर कार्य करता है, पुनर्मूल्यांकन करके दिया जाता है जिससे कि | ||
:<math>\begin{align} | :<math>\begin{align} | ||
Line 78: | Line 78: | ||
जैसा कि पिछले भाग में है। | जैसा कि पिछले भाग में है। | ||
== | == समूह होमोलॉजी == | ||
'''समूह कोहोलॉजी''' के निर्माण के लिए दो तरह से समूह होमोलॉजी की निम्नलिखित परिभाषा है: इसका G-मॉड्यूल इस प्रकार दिया गया है। जिसमें ''g''·''m'' − 'm'', ''g'' ∈ ''G'', ''m'' ∈ ''M'' रूप के अवयवों द्वारा ''M'' को इसके तथाकथित ''[[coinvariant|कोइनवैरियेंट]]'', [[भागफल समूह]] निर्दिष्ट करता हैं-'' | |||
:<math>M_G:=M/DM,</math> | :<math>M_G:=M/DM,</math> | ||
Line 85: | Line 85: | ||
:<math>H_n(G,M).</math> | :<math>H_n(G,M).</math> | ||
सहसंयोजक फ़ंक्टर जो M<sub>G</sub> असाइन करता है, जिसके लिए M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक <math>\Z \otimes_{\Z[G]} M,</math> है जहाँ <math>\Z</math> | सहसंयोजक फ़ंक्टर जो 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> | ||
ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन | ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन समूह इनवेरिएंट/कॉइनवेरिएंट के कन्वेंशन से सहमत है, जबकि जिसे को-स्विच के रूप में दर्शाया गया है: | ||
* सुपरस्क्रिप्ट कोहोलॉजी H * और इनवेरिएंट X<sup>G</sup> के अनुरूप हैं जबकि | * सुपरस्क्रिप्ट कोहोलॉजी H * और इनवेरिएंट X<sup>G</sup> के अनुरूप हैं जबकि | ||
* सबस्क्रिप्ट होमोलॉजी H के अनुरूप हैं<sub>∗</sub> और संयोग X<sub>G</sub>:= X/G हैं। | * सबस्क्रिप्ट होमोलॉजी H के अनुरूप हैं<sub>∗</sub> और संयोग X<sub>G</sub>:= X/G हैं। | ||
विशेष रूप से, गृहविज्ञान समूह H<sub>n</sub>(जी, M) की गणना निम्नानुसार की जा सकती है। इसके [[प्रक्षेपी संकल्प]] F के साथ प्रारंभ करें <math>\Z[G]</math>-मापांक <math>\Z,</math> जैसा कि पिछले अनुभाग में है। सहपरिवर्ती फ़ंक्टर लागू करें <math>\cdot \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> | ||
तब H<sub>''n''</sub>( | तब H<sub>''n''</sub>(G, M) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, <math>H_n(G,M)=H_n(F\otimes_{\Z[G]}M)</math> n ≥ 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.}} | ||
Line 104: | Line 104: | ||
=== H<sup>1</sup>=== | === H<sup>1</sup>=== | ||
पहला कोहोलॉजी समूह तथाकथित क्रॉस्ड होमोमोर्फिज्म का भागफल है, अर्ताथ मानचित्र (समुच्चय के) f : G → M संतोषजनक f(ab) = f(a) + af(b) | पहला कोहोलॉजी समूह तथाकथित क्रॉस्ड होमोमोर्फिज्म का भागफल है, अर्ताथ मानचित्र (समुच्चय के) f : G → M संतोषजनक f(ab) = f(a) + af(b) मुख्य रूप से G में a, b के सभी मानों के लिए माॅड्यूलो को तथाकथित प्रिंसिपल क्रॉस होमोमोर्फिज्म, अर्ताथ मानचित्र f : G → M कुछ निश्चित m ∈ M के लिए f(g) = gm−m द्वारा दिया गया है। यह उपरोक्त कोचेन की परिभाषा से आता है। | ||
यदि M पर G की क्रिया | यदि M पर G की क्रिया साधारण है, तो उपरोक्त H<sup>1</sup> (G,M) = Hom(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>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> | ||
Line 114: | Line 114: | ||
=== H<sup>2</sup>=== | === H<sup>2</sup>=== | ||
यदि M एक तुच्छ | यदि M एक तुच्छ G- माॅड्यूल है (अर्ताथ M पर G की क्रिया तुच्छ है), दूसरा कोहोलॉजी समूह H<sup>2</sup>(G,M) समूह एक्सटेंशन#M द्वारा G के केंद्रीय एक्सटेंशन के समुच्चय के साथ एक-से-एक पत्राचार में है (एक प्राकृतिक समकक्ष संबंध तक)। अधिक सामान्यतः, अगर M पर G की कार्यान्वयन गैर-तुच्छ है, इस प्रकार H<sup>2</sup>(G,M) सभी [[समूह विस्तार]] के समरूपता वर्गों को वर्गीकृत करता है, जहाँ <math>0 \to M \to E \to G \to 0</math> M द्वारा G की, जिसमें E पर G की क्रिया [[आंतरिक ऑटोमोर्फिज्म]] द्वारा, एक आइसोमोर्फिक G- माॅड्यूल संरचना के साथ M का प्रतिबिंब प्रदान करती है। | ||
अनुभाग से उदाहरण में <math>H^1</math> तुरंत ऊपर | अनुभाग से उदाहरण में <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(\Z/2, \Z_-),</math> का महत्व है . | ||
एक दूसरे समूह कोहोलॉजी समूह का एक उदाहरण ब्राउर समूह है: यह क्षेत्र के पूर्ण गैलोइस समूह का कोहोलॉजी है जो अलग-अलग बंद होने पर उलटा तत्वों पर कार्य करता है: | एक दूसरे समूह कोहोलॉजी समूह का एक उदाहरण ब्राउर समूह है: यह क्षेत्र के पूर्ण गैलोइस समूह का कोहोलॉजी है जो अलग-अलग बंद होने पर उलटा तत्वों पर कार्य करता है: | ||
Line 126: | Line 126: | ||
== मौलिक उदाहरण == | == मौलिक उदाहरण == | ||
=== एक परिमित चक्रीय समूह === | ==== एक परिमित चक्रीय समूह का समूह कोहोलॉजी ==== | ||
परिमित चक्रीय समूह के लिए <math>G=C_m</math> आदेश की <math>m</math> जनरेटर के साथ <math>\sigma</math>, तत्व <math>\sigma -1 \in \mathbb{Z}[G]</math> संबद्ध समूह वलय में शून्य का भाजक है क्योंकि इसका गुणनफल है <math>N</math>, <blockquote> | परिमित चक्रीय समूह के लिए <math>G=C_m</math> आदेश की <math>m</math> जनरेटर के साथ <math>\sigma</math>, तत्व <math>\sigma -1 \in \mathbb{Z}[G]</math> संबद्ध समूह वलय में शून्य का भाजक है क्योंकि इसका गुणनफल है <math>N</math>, <blockquote> <math>N = 1 + \sigma + \sigma^2 + \cdots + \sigma^{m-1} \in \mathbb{Z}[G],</math> द्वारा दिया गया हैं।</blockquote><blockquote> <math>\begin{align} | ||
N(1-\sigma) &= 1 + \sigma + \cdots + \sigma^{m-1} \\ | N(1-\sigma) &= 1 + \sigma + \cdots + \sigma^{m-1} \\ | ||
&\quad- \sigma - \sigma^2 - \cdots - \sigma^{m} \\ | &\quad- \sigma - \sigma^2 - \cdots - \sigma^{m} \\ | ||
&=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> | \end{align}</math></blockquote><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>किसी के लिए समूह कोहोलॉजी संगणना दे रहा है <math>\mathbb{Z}[G]</math>-मापांक <math>M</math>. ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल <math>\mathbb{Z}</math> इसका <math>\mathbb{Z}[G]</math> देता है </blockquote><blockquote> बाइ स्ट्र्क्चर<math>\text{aug}\left(\sum_{g \in G}a_gg \right) = \sum_{g \in G}a_g</math></blockquote><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><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 141: | 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> | बार रिज़ॉल्यूशन का उपयोग करते हुए एक चक्रीय समूह के समूह कोहोलॉजी के लिए स्पष्ट चक्र स्पष्ट रूप से दिए जा सकते हैं,<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> हमें जनरेटर का पूरा समुच्चय मिलता है <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>द्वारा दिया गया हैं।</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>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 \\ | ||
0 & k \geq 2 | 0 & k \geq 2 | ||
\end{cases}</math></blockquote>इसका कारण दोहरा नक्शा<blockquote> है<math>\text{Hom}_{\mathbb{Z}[G]}(\mathbb{Z}[G],\mathbb{Z}_{\text{triv}}) \to | \end{cases}</math></blockquote>इसका कारण दोहरा नक्शा<blockquote> है<math>\text{Hom}_{\mathbb{Z}[G]}(\mathbb{Z}[G],\mathbb{Z}_{\text{triv}}) \to | ||
\text{Hom}_{\mathbb{Z}[G]}(I_S,\mathbb{Z}_{\text{triv}})</math></blockquote>कोई भी भेजता है <math>\mathbb{Z}[G]</math>-मॉड्यूल आकारिकी | \text{Hom}_{\mathbb{Z}[G]}(I_S,\mathbb{Z}_{\text{triv}})</math></blockquote><blockquote>कोई भी भेजता है जिसके लिए <math>\mathbb{Z}[G]</math>-मॉड्यूल आकारिकी हैं, इस प्रकार <math>\phi:\mathbb{Z}[G] \to \mathbb{Z}_{\text{triv}}</math>प्रेरित रूपवाद पर <math>I_S</math> समावेश की रचना करके प्राप्त होता हैं। केवल नक्शे ही भेजे जाते हैं <math>0</math> हैं <math>\mathbb{Z}</math>वृद्धि मानचित्र के गुणक, पहला कोहोलॉजी समूह दे रहे हैं। केवल दूसरे नक्शों पर ध्यान देकर दूसरा पाया जा सकता है।</blockquote><blockquote><math>\psi \in \text{Hom}_{\mathbb{Z}[G]}(I_S,\mathbb{Z}_{\text{triv}})</math></blockquote> इसके द्वारा उत्पन्न किया जा सकता है, <math>\mathbb{Z}</math>नक्शे भेजने का आधार <math>(s-1) \mapsto 1</math> एक निश्चित के लिए <math>s \in S</math>, और <math>(s'-1) \mapsto 0</math> किसी के लिए <math>s' \in S - \{s\}</math> मान प्राप्त करते हैं। | ||
==== टोपोलॉजी का प्रयोग ==== | ==== टोपोलॉजी का प्रयोग ==== | ||
मुक्त समूहों का समूह कोहोलॉजी <math>\mathbb{Z}*\mathbb{Z}*\cdots *\mathbb{Z}</math> द्वारा उत्पन्न <math>n</math> टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की | मुक्त समूहों का समूह कोहोलॉजी <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(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} | <math>H^k(\mathbb{Z}*\cdots * \mathbb{Z}) = \begin{cases} | ||
Line 168: | Line 168: | ||
\end{cases}</math> | \end{cases}</math> | ||
=== एक अभिन्न | === एक अभिन्न क्रम का समूह कोहोलॉजी === | ||
एक अभिन्न | एक अभिन्न क्रम के लिए <math>\Lambda</math> पद का <math>n</math> (इसलिए आइसोमॉर्फिक to <math>\mathbb{Z}^n</math>), इसके समूह कोहोलॉजी की गणना सापेक्ष सरलता से की जा सकती है। सबसे पहले, क्योंकि <math>B\mathbb{Z} \cong S^1</math>, और <math>B\mathbb{Z}\times B\mathbb{Z}</math> है <math>\pi_1 \cong \mathbb{Z}\times\mathbb{Z}</math>, जो एबेलियन समूह के रूप में आइसोमोर्फिक हैं <math>\mathbb{Z}\oplus\mathbb{Z}</math>, समूह कोहोलॉजी में समरूपता <math>H^k(\Lambda,\mathbb{Z}_{\text{triv}}) \cong H^k(\mathbb{R}^n/\mathbb{Z}^n,\mathbb{Z})</math> है, इसी रैंक के एक टोरस के अभिन्न कोहोलॉजी के साथ <math>n</math>. का मान प्राप्त करते हैं। | ||
== गुण == | == गुण == | ||
निम्नलिखित में, M को | निम्नलिखित में, M को G- माॅड्यूल होने दें। | ||
=== कोहोलॉजी का लंबा सटीक क्रम === | === कोहोलॉजी का लंबा सटीक क्रम === | ||
Line 179: | Line 179: | ||
:<math> 0 \to L \to M \to N \to 0 </math> | :<math> 0 \to L \to M \to N \to 0 </math> | ||
G- माॅड्यूल का एक छोटा सटीक अनुक्रम है, तो एक लंबा सटीक अनुक्रम प्रेरित होता है: | |||
:<math>0\longrightarrow L^G \longrightarrow M^G \longrightarrow N^G \overset{\delta^0}{\longrightarrow} H^1(G,L) \longrightarrow H^1(G,M) \longrightarrow H^1(G,N) \overset{\delta^1}{\longrightarrow} H^2(G,L)\longrightarrow \cdots</math> | :<math>0\longrightarrow L^G \longrightarrow M^G \longrightarrow N^G \overset{\delta^0}{\longrightarrow} H^1(G,L) \longrightarrow H^1(G,M) \longrightarrow H^1(G,N) \overset{\delta^1}{\longrightarrow} H^2(G,L)\longrightarrow \cdots</math> | ||
Line 185: | 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> | अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है।<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) के साथ उपयोग होता हैं। | ||
=== कार्यात्मकता === | === कार्यात्मकता === | ||
Line 193: | Line 193: | ||
:<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> | ||
G- माॅड्यूल M → n के आकारिकी को देखते हुए, H<sup>n</sup>(G, M) → H<sup>n</sup>(G, n) में कोहोलॉजी समूहों का आकार मिलता है। | |||
=== उत्पाद === | === उत्पाद === | ||
टोपोलॉजी और ज्योमेट्री में अन्य कोहोलॉजी सिद्धांतों के समान, जैसे कि एकवचन कॉहोलॉजी या [[डॉ कहलमज गर्भाशय|डॉ कहलमज]] , | टोपोलॉजी और ज्योमेट्री में अन्य कोहोलॉजी सिद्धांतों के समान, जैसे कि एकवचन कॉहोलॉजी या [[डॉ कहलमज गर्भाशय|डॉ कहलमज]] , समूह कॉहोलॉजी एक उत्पाद संरचना का आनंद लेती है: कप उत्पाद नामक प्राकृतिक नक्शा है: | ||
:<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> | ||
किसी भी दो | किसी भी दो G- माॅड्यूल M और n के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर <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 को असतत टोपोलॉजी के | |||
उदाहरण के लिए, 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> | ||
Line 209: | Line 210: | ||
:<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> | ||
उदाहरण के लिए, यदि G एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और <math>k=\mathbb{F}_2,</math> तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k | उदाहरण के लिए, यदि G एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और <math>k=\mathbb{F}_2,</math> तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k<sup>1</sup>(G; के)-बीजगणित है., | ||
:<math>H^*(G;k)\cong k[x_1, \ldots, x_r].</math> | :<math>H^*(G;k)\cong k[x_1, \ldots, x_r].</math> | ||
===होमोलॉजी कोहोलॉजी के बीच का अंतर === | |||
अन्य कोहोलॉजी सिद्धांतों के लिए, जैसे कि एकवचन कोहोलॉजी, समूह '''कोहोलॉजी और होमोलॉजी''' एक छोटे से सटीक अनुक्रम के माध्यम से एक दूसरे से संबंधित हैं<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> | ||
जहां | जहां A को तुच्छ जी-एक्शन के साथ संपन्न किया गया है और बाईं ओर का शब्द पहला Xt फंक्शनल है। | ||
=== समामेलित उत्पाद === | === समामेलित उत्पाद === | ||
इस समूह में 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 233: | Line 232: | ||
समूह कोहोलॉजी समरूपता के माध्यम से [[शेफ कोहोलॉजी]] जैसे टोपोलॉजिकल कोहोलॉजी सिद्धांतों से निकटता से संबंधित है<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>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> | ||
Line 240: | Line 239: | ||
=== समूहों के अर्ध-प्रत्यक्ष उत्पाद === | === समूहों के अर्ध-प्रत्यक्ष उत्पाद === | ||
एलेनबर्ग-मैकलेन रिक्त स्थान के फाइब्रेशन और गुणों की टोपोलॉजी का उपयोग करके समूहों के अर्ध-प्रत्यक्ष उत्पाद की गणना करने का एक तरीका है। याद रखें कि समूहों के अर्ध-प्रत्यक्ष उत्पाद के लिए <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 = 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>. ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है। | ||
== परिमित समूहों की कोहोलॉजी == | == परिमित समूहों की कोहोलॉजी == | ||
==== उच्च कोहोलॉजी समूह | ==== उच्च कोहोलॉजी समूह ट्विस्टेड रहते हैं ==== | ||
कोहोलॉजी समूह H<sup>n</sup>(G, M) परिमित समूहों G के सभी n≥1 के लिए मरोड़ हैं। वास्तव में, मास्चके के प्रमेय द्वारा एक परिमित समूह के प्रतिनिधित्व की श्रेणी विशेषता शून्य के किसी भी क्षेत्र पर अर्ध-सरल है या अधिक सामान्यतः, कोई भी क्षेत्र जिसकी विशेषता समूह के क्रम को विभाजित नहीं करती है, इसलिए, समूह कोहोलॉजी को एक व्युत्पन्न के रूप में देखना इस एबेलियन श्रेणी में फ़ैक्टर, कोई यह प्राप्त करता है कि यह शून्य है। अन्य तर्क यह है कि विशेषता शून्य के एक क्षेत्र पर, एक परिमित समूह का समूह बीजगणित आव्यूह बीजगणित का प्रत्यक्ष योग है (संभवतः विभाजन बीजगणित पर जो मूल क्षेत्र के विस्तार हैं), जबकि एक आव्यूह बीजगणित इसके आधार के समतुल्य मोरिटा है, इस क्षेत्र के लिए यह कोहोलॉजी है। | कोहोलॉजी समूह H<sup>n</sup>(G, M) परिमित समूहों G के सभी n≥1 के लिए मरोड़ हैं। वास्तव में, मास्चके के प्रमेय द्वारा एक परिमित समूह के प्रतिनिधित्व की श्रेणी विशेषता शून्य के किसी भी क्षेत्र पर अर्ध-सरल है या अधिक सामान्यतः, कोई भी क्षेत्र जिसकी विशेषता समूह के क्रम को विभाजित नहीं करती है, इसलिए, समूह कोहोलॉजी को एक व्युत्पन्न के रूप में देखना इस एबेलियन श्रेणी में फ़ैक्टर, कोई यह प्राप्त करता है कि यह शून्य है। अन्य तर्क यह है कि विशेषता शून्य के एक क्षेत्र पर, एक परिमित समूह का समूह बीजगणित आव्यूह बीजगणित का प्रत्यक्ष योग है (संभवतः विभाजन बीजगणित पर जो मूल क्षेत्र के विस्तार हैं), जबकि एक आव्यूह बीजगणित इसके आधार के समतुल्य मोरिटा है, इस क्षेत्र के लिए यह कोहोलॉजी है। | ||
यदि | यदि G- माॅड्यूल 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 261: | ||
:<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-आवधिक है इस अर्थ में कि समरूपताएँ हैं | ||
Line 272: | Line 271: | ||
===[[बीजगणितीय के-सिद्धांत]] और रैखिक समूहों की समरूपता === | ===[[बीजगणितीय के-सिद्धांत]] और रैखिक समूहों की समरूपता === | ||
बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है:क्विलेन्स प्लस कंस्ट्रक्शन या +-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को | बीजगणितीय 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> | ||
Line 279: | Line 278: | ||
=== अनुमानित प्रतिनिधित्व और समूह एक्टेंसशन === | === अनुमानित प्रतिनिधित्व और समूह एक्टेंसशन === | ||
क्वांटम यांत्रिकी में हमारे पास अधिकांशतः समरूपता समूह वाले सिस्टम होते हैं इस प्रकार <math>G.</math> के लिए उक्त क्रियान्वयन की उम्मीद करते हैं, तथा इस प्रकार <math>G</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> | ||
साहचर्य की आवश्यकता | साहचर्य की आवश्यकता है। | ||
:<math>U(g_1)[U(g_2)U(g_3)]= [U(g_1)U(g_2)]U(g_3)</math> | :<math>U(g_1)[U(g_2)U(g_3)]= [U(g_1)U(g_2)]U(g_3)</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>\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 297: | Line 295: | ||
:<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>\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 दिया गया है, अर्ताथ टोपोलॉजी से लैस एक समूह जैसे कि उत्पाद और व्युत्क्रम निरंतर मानचित्र हैं, निरंतर | एक [[ टोपोलॉजिकल समूह ]] G दिया गया है, अर्ताथ टोपोलॉजी से लैस एक समूह जैसे कि उत्पाद और व्युत्क्रम निरंतर मानचित्र हैं, निरंतर G- माॅड्यूल पर विचार करना स्वाभाविक है, अर्थात, यह आवश्यक है कि कार्यान्वयन किया जाता हैं। | ||
:<math>G \times M \to M</math> | :<math>G \times M \to M</math> | ||
Line 309: | Line 307: | ||
{{see also|नॉनबेलियन कोहोलॉजी}} | {{see also|नॉनबेलियन कोहोलॉजी}} | ||
G-इनवैरियेंट और 1-cochains का उपयोग करके, एक गैर-अबेलियन समूह में गुणांक वाले समूह G के लिए शून्य और पहले समूह कोहोलॉजी का निर्माण कर सकता है। विशेष रूप से, एक जी- | G-इनवैरियेंट और 1-cochains का उपयोग करके, एक '''गैर-अबेलियन समूह''' में गुणांक वाले समूह G के लिए शून्य और पहले समूह कोहोलॉजी का निर्माण कर सकता है। विशेष रूप से, एक जी-समूह एक (आवश्यक नहीं कि एबेलियन) समूह ए है जिसमें G द्वारा एक क्रिया होती है। | ||
A में गुणांक वाले G के शून्य कोहोलॉजी को उपसमूह के रूप में परिभाषित किया गया | A में गुणांक वाले G के शून्य कोहोलॉजी को उपसमूह के रूप में परिभाषित किया गया है। | ||
:<math>H^{0}(G,A)=A^{G},</math> | :<math>H^{0}(G,A)=A^{G},</math> | ||
Line 324: | Line 322: | ||
:<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> | ||
== इतिहास और अन्य क्षेत्रों से संबंध == | == इतिहास और अन्य क्षेत्रों से संबंध == | ||
1943-45 में समूह कोहोलॉजी की धारणा तैयार किए जाने से पहले, एक समूह के निम्न-आयामी कोहोलॉजी का शास्त्रीय रूप से अध्ययन किया गया था। विषय के पहले प्रमेय को 1897 में हिल्बर्ट के प्रमेय 90 के रूप में पहचाना जा सकता है; इसे [[एमी नोथेर|Mी नोथेर]] के गैलोज सिद्धांत में समीकरणों में पुनर्गठित किया गया था, इन समूहों के लिए विस्तार समस्या के लिए [[कारक सेट|कारक समुच्चय]] का विचार से जुड़ा हुआ <math>H^2</math> ओटो होल्डर (1893) के काम में उत्पन्न हुआ, [[कुछ नहीं]] के 1904 में प्रक्षेपी अभ्यावेदन के अध्ययन में, [[ओटो श्रेयर]] के 1926 के उपचार में, और [[रिचर्ड ब्राउर]] के 1928 में [[सरल बीजगणित]] और ब्राउर समूह के अध्ययन | 1943-45 में समूह कोहोलॉजी की धारणा तैयार किए जाने से पहले, एक समूह के निम्न-आयामी कोहोलॉजी का शास्त्रीय रूप से अध्ययन किया गया था। विषय के पहले प्रमेय को 1897 में हिल्बर्ट के प्रमेय 90 के रूप में पहचाना जा सकता है; इसे [[एमी नोथेर|Mी नोथेर]] के गैलोज सिद्धांत में समीकरणों में पुनर्गठित किया गया था, इन समूहों के लिए विस्तार समस्या के लिए [[कारक सेट|कारक समुच्चय]] का विचार से जुड़ा हुआ <math>H^2</math> ओटो होल्डर (1893) के काम में उत्पन्न हुआ, [[कुछ नहीं]] के 1904 में प्रक्षेपी अभ्यावेदन के अध्ययन में, [[ओटो श्रेयर]] के 1926 के उपचार में, और [[रिचर्ड ब्राउर]] के 1928 में [[सरल बीजगणित]] और ब्राउर समूह के अध्ययन में किया जाता हैं। इस इतिहास की एक विस्तृत चर्चा में पाया जा सकता है। | ||
1941 में पढ़ाई के समय <math>H^2(G,\Z)</math> (जो समूहों में एक विशेष भूमिका निभाता है), [[हेंज हॉफ]] ने खोज की जिसे अब हॉफ का अभिन्न समरूपता सूत्र कहा जाता है, जो परिमित, परिमित रूप से प्रस्तुत समूह के [[शूर गुणक]] के लिए शूर के सूत्र के समान है: | 1941 में पढ़ाई के समय <math>H^2(G,\Z)</math> (जो समूहों में एक विशेष भूमिका निभाता है), [[हेंज हॉफ]] ने खोज की जिसे अब हॉफ का अभिन्न समरूपता सूत्र कहा जाता है, जो परिमित, परिमित रूप से प्रस्तुत समूह के [[शूर गुणक]] के लिए शूर के सूत्र के समान है: | ||
Line 337: | Line 333: | ||
हॉफ के परिणाम ने 1943-45 में कई समूहों द्वारा समूह कोहोलॉजी की स्वतंत्र खोज का नेतृत्व किया: संयुक्त राज्य अमेरिका में [[सैमुअल एलेनबर्ग]] और [[सॉन्डर्स मैक लेन]]; स्विट्जरलैंड में हॉफ और [[बेनो एकमैन]]; नीदरलैंड में [[हंस फ्रायडेंथल]]; और [[दिमित्री फदीव]] सोवियत संघ में स्थिति अराजक थी क्योंकि द्वितीय विश्व युद्ध के समय इन देशों के बीच संचार मुश्किल था। | हॉफ के परिणाम ने 1943-45 में कई समूहों द्वारा समूह कोहोलॉजी की स्वतंत्र खोज का नेतृत्व किया: संयुक्त राज्य अमेरिका में [[सैमुअल एलेनबर्ग]] और [[सॉन्डर्स मैक लेन]]; स्विट्जरलैंड में हॉफ और [[बेनो एकमैन]]; नीदरलैंड में [[हंस फ्रायडेंथल]]; और [[दिमित्री फदीव]] सोवियत संघ में स्थिति अराजक थी क्योंकि द्वितीय विश्व युद्ध के समय इन देशों के बीच संचार मुश्किल था। | ||
टोपोलॉजिकल दृष्टिकोण से, G के होमोलॉजी और कोहोलॉजी को पहले टॉपोलॉजिकल क्लासिफाइंग स्पेस बीजी के लिए एक मॉडल के होमोलॉजी और कोहोलॉजी के रूप में परिभाषित किया गया था, जैसा कि ऊपर चर्चा की गई है। | टोपोलॉजिकल दृष्टिकोण से, G के होमोलॉजी और कोहोलॉजी को पहले टॉपोलॉजिकल क्लासिफाइंग स्पेस बीजी के लिए एक मॉडल के होमोलॉजी और कोहोलॉजी के रूप में परिभाषित किया गया था, जैसा कि ऊपर चर्चा की गई है। व्यवहारिक रूप से इसका अर्थ औपचारिक बीजगणितीय परिभाषाओं में प्रयुक्त श्रृंखला परिसरों का उत्पादन करने के लिए टोपोलॉजी का उपयोग करना था। एक मॉड्यूल-सैद्धांतिक दृष्टिकोण से यह 1950 के दशक की शुरुआत में होमोलॉजिकल बीजगणित के [[ हेनरी कर्तन ]]-सैमुअल इलेनबर्ग सिद्धांत में एकीकृत किया गया था। | ||
वर्ग क्षेत्र सिद्धांत के लिए बीजगणितीय संख्या सिद्धांत में आवेदन ने प्रमेय प्रदान किए जो सामान्य [[ गाल्वा विस्तार ]] के लिए मान्य थे। वर्ग क्षेत्र सिद्धांत के कोहोलॉजिकल भाग को वर्ग संरचनाओं के सिद्धांत के रूप में अभिगृहीत किया गया था। इसके अतिरिक्त इसने गैलोज़ कोहोलॉजी और ईटेल कोहोलॉजी (जो इस पर बनाता है) की धारणा को जन्म दिया हैं। 1960 के बाद के सिद्धांत में कुछ परिशोधन किए गए हैं, जैसे कि निरंतर साइकिल और [[जॉन टेट (गणितज्ञ)]] का टेट कोहोलॉजी समूह, किन्तु मूल रूपरेखा वही रहती है। यह एक बड़ा क्षेत्र है, और अब [[बीजगणितीय समूह|बीजगणितीय समूहों]] के सिद्धांतों में मौलिक है। | वर्ग क्षेत्र सिद्धांत के लिए बीजगणितीय संख्या सिद्धांत में आवेदन ने प्रमेय प्रदान किए जो सामान्य [[ गाल्वा विस्तार ]] के लिए मान्य थे। वर्ग क्षेत्र सिद्धांत के कोहोलॉजिकल भाग को वर्ग संरचनाओं के सिद्धांत के रूप में अभिगृहीत किया गया था। इसके अतिरिक्त इसने गैलोज़ कोहोलॉजी और ईटेल कोहोलॉजी (जो इस पर बनाता है) की धारणा को जन्म दिया हैं। 1960 के बाद के सिद्धांत में कुछ परिशोधन किए गए हैं, जैसे कि निरंतर साइकिल और [[जॉन टेट (गणितज्ञ)]] का टेट कोहोलॉजी समूह, किन्तु मूल रूपरेखा वही रहती है। यह एक बड़ा क्षेत्र है, और अब [[बीजगणितीय समूह|बीजगणितीय समूहों]] के सिद्धांतों में मौलिक है। | ||
लाई बीजगणित के अनुरूप सिद्धांत, जिसे लाई बीजगणित कोहोलॉजी कहा जाता है, इसको पहली बार 1940 के दशक के अंत में [[क्लाउड चेवेली]] और ईलेनबर्ग और [[जीन-लुई शर्ट्स]] द्वारा विकसित किया गया था। | लाई बीजगणित के अनुरूप सिद्धांत, जिसे लाई बीजगणित कोहोलॉजी कहा जाता है, इसको पहली बार 1940 के दशक के अंत में [[क्लाउड चेवेली]] और ईलेनबर्ग और [[जीन-लुई शर्ट्स]] द्वारा विकसित किया गया था। यह औपचारिक रूप से समान है, यह असत्य बीजगणित के लिए अपरिवर्तनीयता की इसी परिभाषा का उपयोग करते हैं। यह [[प्रतिनिधित्व सिद्धांत]] में बहुत अधिक लागू होता है, और [[सैद्धांतिक भौतिकी]] के बीआरएसटी परिमाणीकरण के साथ निकटता से जुड़ा हुआ है। | ||
समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ उपलब्ध हैं। समरूपता के साथ लघु-श्रेणी के | समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ उपलब्ध हैं। समरूपता के साथ लघु-श्रेणी के उलझी हुई स्थितियों को समरूपता-संरक्षित टोपोलॉजिकल ऑर्डर के रूप में भी जाना जाता है। समरूपता-संरक्षित टोपोलॉजिकल स्टेट्स को उपयोग करते हैं।<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> | |||
== यह भी देखें == | == यह भी देखें == | ||
* लिंडन-होशचाइल्ड-सेरे स्पेक्ट्रल अनुक्रम | * लिंडन-होशचाइल्ड-सेरे स्पेक्ट्रल अनुक्रम | ||
* [[एन-ग्रुप (श्रेणी सिद्धांत)]] | * [[एन-ग्रुप (श्रेणी सिद्धांत)|n-समूह (श्रेणी सिद्धांत)]] | ||
* [[पोस्टनिकोव टॉवर]] | * [[पोस्टनिकोव टॉवर]] | ||
Revision as of 08:07, 30 May 2023
गणित में अधिकांशतः विशेष रूप से होमोलॉजिकल बीजगणित में, समूह कोहोलॉजी गणितीय उपकरणों का ऐसा समुच्चय है जिसका उपयोग कोहोलॉजी सिद्धांत का उपयोग करके समूह (गणित) का अध्ययन करने के लिए किया जाता है, जो बीजगणितीय टोपोलॉजी की विशेष विधि है। इस प्रकार इस समूह अभ्यावेदन के अनुरूप होकर उक्त समूह कोहोलॉजी के संबद्ध G-मॉड्यूल में समूह G की समूह क्रिया (गणित) को दिखाया जाता है। इस प्रकार G- माॅड्यूल M समूह के गुणों को स्पष्ट करने के लिए G- माॅड्यूल को इसके तत्वों के साथ टोपोलॉजिकल स्पेस के रूप में मानकर सिंप्लेक्स का प्रतिनिधित्व करते हुए प्रदर्शित किया गया हैं, इस क्षेत्र के टोपोलॉजिकल गुणों की गणना की जा सकती है, जैसे कोहोलॉजी समूहों का समुच्चय इसका प्रमुख उदाहरण हैं। इस प्रकार कोहोलॉजी समूह के परिवर्तन करने पर इस समूह में G और G-मॉड्यूल M की संरचना में अंतर्दृष्टि प्रदान करते हैं। इस समूह कोहोलॉजी मॉड्यूल या स्पेस को मौलिक समूह प्रक्रिया के निश्चित बिंदुओं की जांच में भूमिका निभाता है और इस समुह प्रक्रिया के संबंध में भागफल मॉड्यूल या स्पेस को प्रकट करता हैं। इस प्रकार समूह कॉहोलॉजी का उपयोग बीजगणित, होमोलॉजिकल बीजगणित, बीजगणितीय टोपोलॉजी और बीजगणितीय संख्या सिद्धांत के साथ-साथ समूह सिद्धांत के अनुप्रयोगों में भी किया जाता है। बीजगणितीय टोपोलॉजी के रूप में यह एक दोहरे सिद्धांत को प्रदर्शित करता है, जिसे समूह होमोलॉजी कहा जाता है। समूह कोहोलॉजी की तकनीकों को इस स्थिति में भी बढ़ाया जा सकता है कि G- माॅड्यूल के अतिरिक्त, G गैर-अबेलियन जी-समूह पर कार्य करता है; वास्तव में, गैर-एबेलियन समूह या गैर-एबेलियन गुणांकों के लिए किसी मॉड्यूल का सामान्यीकरण हैं।
ये बीजगणितीय विचार सामयिक विचारों से निकटता से संबंधित हैं। असतत समूह G का समूह सह-विज्ञान इसके उपयुक्त स्थान का एकवचन सह-विज्ञान है, जिसका मूल समूह G है, अर्थात् संबंधित आइलेंबर्ग मैकलेन क्षेत्र को दर्शाता हैं। इस प्रकार इसका समूह कोहोलॉजी 1 सर्कल एस के एकवचन कोहोलॉजी के रूप में सोचा जा सकता है, और इसी प्रकार और इसका उदाहरण हैं। इस प्रकार इसके समूहों के कोहोलॉजी के बारे में बहुत कुछ जाना जाता है, जिसमें निम्न-आयामी कोहोलॉजी, कार्यात्मकता और समूहों को कैसे परिवर्तित करना है, इसकी व्याख्या इसमें सम्मिलित है। इस प्रकार समूह कोहोलॉजी का विषय 1920 के दशक में प्रारंभ हुआ, 1940 के दशक के अंत में परिपक्व हुआ, और आज भी सक्रिय अनुसंधान के क्षेत्र के रूप में प्रस्तुत रहा है।
प्रेरणा
समूह सिद्धांत में एक सामान्य प्रतिमान यह है कि एक समूह (गणित) G को उसके समूह प्रतिनिधित्व के माध्यम से अध्ययन किया जाना चाहिए। उन अभ्यावेदनों का एक साधारण सामान्यीकरण G- माॅड्यूल है। G- माॅड्यूल: मुख्य रूप से G- माॅड्यूल एक एबेलियन समूह M है जो M पर G के समूह क्रिया (गणित) के साथ है, G के प्रत्येक तत्व के साथ M के ऑटो मोर्फिज्म के रूप में कार्य करता है। इस प्रकार G को गुणा और M को योगात्मक रूप से लिख सकते हैं।
ऐसे G- माॅड्यूल M को देखते हुए, जी-इनवेरिएंट के सबमॉड्यूल पर विचार करना स्वाभाविक है। G इनवेरिएंट के अवयव इस प्रकार हैं:
अब, यदि N, M का G-सबमॉड्यूल है अर्थात, M का उपसमूह G की क्रिया द्वारा स्वयं में मैप किया गया है, तो यह सामान्य रूप से सत्य नहीं है कि इनवेरिएंट M में उन इनवैरियेंट के भागफल के रूप में पाए जाते हैं जो N में उपस्थित रहते हैं: इस प्रकार इसमें अपरिवर्तनीयता होने के कारण 'मौड्यूलो N' मुख्यतः व्यापक है। इसके पहले समूह कोहोलॉजी का उद्देश्य इस अंतर को सटीक रूप से मापना है।
समूह कोहोलॉजी फलन सामान्य रूप से मापें कि किस हद तक आक्रमणकारियों को लेना सटीक अनुक्रमों का सम्मान नहीं करता है। यह लंबे सटीक अनुक्रम द्वारा व्यक्त किया गया है।
परिभाषाएँ
सभी G- माॅड्यूल का संग्रह श्रेणी सिद्धांत है, इस प्रकार फलन में G के लिए सभी g और M में x के लिए उपस्थित रहते हैं। इस प्रकार प्रत्येक मॉड्यूल M को आक्रमणकारियों के समूह में भेजना G- माॅड्यूल की श्रेणी से एबेलियन समूहों की 'एबी' श्रेणी के लिए फ़ंक्टर उत्पन्न करता है। यह फंक्टर लेफ्ट सटीक फंक्टर के रूप से उपयोग होते है किन्तु आवश्यक नहीं कि सही सटीक हो। इसलिए हम इसके सही व्युत्पन्न कारक बना सकते हैं।[lower-alpha 1] उनके मूल्य आबेली समूह हैं और उन्हें इसके द्वारा निरूपित किया जाता है, इस प्रकार m में गुणांक के साथ G का n-वें कोहोलॉजी समूह के रूप में प्रयुक्त होता हैं। इसके अतिरिक्त समूह को से पहचाना जा सकता है।
कोचेन कॉम्प्लेक्स
व्युत्पन्न फ़ैक्टरों का उपयोग करने वाली परिभाषा अवधारणात्मक रूप से बहुत स्पष्ट है, किन्तु ठोस अनुप्रयोगों के लिए, निम्नलिखित संगणनाएं, जो कुछ लेखक परिभाषा के रूप में भी उपयोग करते हैं, अधिकांशतः सहायक होते हैं।[1] इसके लिए के लिए इस प्रकार से सभी फलन का समूह बनता हैं। इस प्रकार M के लिए (यहाँ साधन ). यह एक एबेलियन समूह है; इसके तत्वों को अमानवीय n-कोचेन कहा जाता है। कोबाउंडरी होमोमोर्फिज्म को इस प्रकार प्रदर्शित कर सकते हैं-
समीकर इसकी जांच कर सकता है, इसलिए यह कोचेन कॉम्प्लेक्स को परिभाषित करता है जिसकी कोहोलॉजी की गणना की जा सकती है। यह दिखाया जा सकता है कि व्युत्पन्न फ़ैक्टरों के संदर्भ में समूह कोहोलॉजी की उपर्युक्त परिभाषा इस परिसर के कोहोलॉजी के लिए आइसोमोर्फिक है।
यहाँ क्रमशः n-कोसाइकिल्स और n-कोबाउंड्रीज के समूहों को परिभाषित किया गया है।
फ़ैक्टर Xtn और समूह कोहोलॉजी की औपचारिक परिभाषा
समूह रिंग पर मॉड्यूल के रूप में G- माॅड्यूल की व्याख्या से करते हैं जिसके लिए कोई भी इसे नोट कर सकता है-
अर्ताथ, M में जी-इनवेरिएंट तत्वों के उपसमूह की पहचान होमोमोर्फिज्म के समूह से की जाती है, जिसे तुच्छ G- माॅड्यूल के रूप में माना जाता है, इस प्रकार G का प्रत्येक तत्व पहचान के रूप में कार्य करता है।
इसलिए, चूंकि X्ट फंक्टर्स होम फंक्टर के व्युत्पन्न फ़ैक्टर हैं, इसलिए एक प्राकृतिक समरूपता है
इन Xट समूहों की गणना प्रोजेक्टिव रिज़ॉल्यूशन के माध्यम से भी की जा सकती है, इसका लाभ यह है कि ऐसा संकल्प केवल G पर निर्भर करता है और M पर निर्भर नहीं करते हैं। हम इस संदर्भ के लिए Ext की परिभाषा को अधिक स्पष्ट रूप से याद करते हैं। F को एक प्रक्षेपी संकल्प या प्रक्षेपी होने देते हैं, इस प्रकार -संकल्प उदाहरण के लिए एक मुक्त संकल्प या मुक्त -संकल्प को इसका -मापांक द्वारा प्रदर्शित किया जाता हैं:
उदाहरण के लिए, कोई सदैव समूह के रिंग का संकल्प ले सकता है, इस प्रकार मोर्फिज्म के साथ इसे इस प्रकार प्रदर्शित करते हैं-
इसके लिए के मान को याद रखते हैं, इस प्रकार मॉड्यूलस n और m, HomG(n, m) एक एबेलियन समूह है जिसमें -होमोमाॅर्फिज्म N से M तक सम्मिलित हैं, चूंकि प्रतिपरिवर्ती फ़ैक्टर है और लागू करते हुए तीरों को व्युत्क्रम मान देता है, इस प्रकार एफ को टर्मवाइज और ड्रॉप करता हैं। इस प्रकार कोचेन कॉम्प्लेक्स का उत्पादन करता है
:
कोहोलॉजी समूह मॉड्यूल M में गुणांक वाले G को उपरोक्त कोचेन क्षेत्र के कोहोलॉजी के रूप में परिभाषित किया गया है:
यह निर्माण प्रारंभ में एक कोबाउंड्री ऑपरेटर की ओर ले जाता है जो सजातीय कोचेन पर कार्य करता है। ये के तत्व हैं, अर्ताथ इस प्रकार यह कार्य करता है कि समीकरण का पालन करें-
कोबाउंड्री ऑपरेटर अब स्वाभाविक रूप से परिभाषित किया गया है, उदाहरण के लिए,
कोबाउंड्री ऑपरेटर d से संबंध जो पिछले अनुभाग में परिभाषित किया गया था, और जो असमांगी कोचेन पर कार्य करता है, पुनर्मूल्यांकन करके दिया जाता है जिससे कि
और इसी प्रकार
जैसा कि पिछले भाग में है।
समूह होमोलॉजी
समूह कोहोलॉजी के निर्माण के लिए दो तरह से समूह होमोलॉजी की निम्नलिखित परिभाषा है: इसका G-मॉड्यूल इस प्रकार दिया गया है। जिसमें g·m − 'm, g ∈ G, m ∈ M रूप के अवयवों द्वारा M को इसके तथाकथित कोइनवैरियेंट, भागफल समूह निर्दिष्ट करता हैं-
इसका सही कारक इस प्रकार है। इसकी परिभाषा के अनुसार इसके बायें व्युत्पन्न फंक्टर समूह समरूपता हैं
सहसंयोजक फ़ंक्टर जो MG असाइन करता है, जिसके लिए M से M को भेजने वाले फ़ैक्टर के लिए आइसोमॉर्फिक है जहाँ इस जी-क्रिया के साथ संपन्न किया जाता है।[lower-alpha 2] इसलिए टोर काम करता है के संदर्भ में समूह समरूपता के लिए अभिव्यक्ति भी मिलती है,
ध्यान दें कि कोहोमोलॉजी/होमोलॉजी के लिए सुपरस्क्रिप्ट/सबस्क्रिप्ट कन्वेंशन समूह इनवेरिएंट/कॉइनवेरिएंट के कन्वेंशन से सहमत है, जबकि जिसे को-स्विच के रूप में दर्शाया गया है:
- सुपरस्क्रिप्ट कोहोलॉजी H * और इनवेरिएंट XG के अनुरूप हैं जबकि
- सबस्क्रिप्ट होमोलॉजी H के अनुरूप हैं∗ और संयोग XG:= X/G हैं।
विशेष रूप से, गृहविज्ञान समूह Hn(जी, M) की गणना निम्नानुसार की जा सकती है। इसके प्रक्षेपी संकल्प F के साथ प्रारंभ करें -मापांक जैसा कि पिछले अनुभाग में है। सहपरिवर्ती फ़ंक्टर लागू करें एक चेन कॉम्प्लेक्स प्राप्त करने के लिए टर्मवाइज :
तब Hn(G, M) इस श्रृंखला परिसर के होमोलॉजी समूह हैं, n ≥ 0 के लिए उपयोग किया जाता हैं।
पूर्ण संकल्पों और टेट कोहोलॉजी समूह के संदर्भ में कुछ समूहों, विशेष रूप से परिमित समूह के लिए समूह होमोलॉजी और कोहोलॉजी का समान रूप से सही किया जा सकता है।
समूह समरूपता एबेलियन समूहों का G एक प्रमुख आदर्श डोमेन k में मानों के साथ बाहरी बीजगणित से निकटता से संबंधित है।[lower-alpha 3]
निम्न-आयामी कोहोलॉजी समूह
H1
पहला कोहोलॉजी समूह तथाकथित क्रॉस्ड होमोमोर्फिज्म का भागफल है, अर्ताथ मानचित्र (समुच्चय के) f : G → M संतोषजनक f(ab) = f(a) + af(b) मुख्य रूप से G में a, b के सभी मानों के लिए माॅड्यूलो को तथाकथित प्रिंसिपल क्रॉस होमोमोर्फिज्म, अर्ताथ मानचित्र f : G → M कुछ निश्चित m ∈ M के लिए f(g) = gm−m द्वारा दिया गया है। यह उपरोक्त कोचेन की परिभाषा से आता है।
यदि M पर G की क्रिया साधारण है, तो उपरोक्त H1 (G,M) = Hom(G, M) तक उबलता है, इस समूह की समाकारिता का समूह G → M, चूँकि पार की गई समाकारिता तब केवल साधारण समाकारिता होती है और सह-सीमाएँ (अर्थात् मुख्य पार की गई समाकारिता) की छवि समान रूप से होनी चाहिए शून्य: इसलिए केवल शून्य सीमा है।
दूसरी ओर, के मामले पर विचार करें जहाँ गैर-तुच्छ को दर्शाता है पूर्णांकों के योगात्मक समूह पर संरचना, जो प्रत्येक के लिए -a भेजता है ; और हम जहाँ मानते हैं समूह के रूप में इसके प्रतिबिंबों के लिए सभी संभावित स्थितियों पर विचार करके प्राप्त होता हैं, यह देखा जा सकता है कि पार की गई समरूपता सभी मानचित्रों का निर्माण करती है संतुष्टि देने वाला और पूर्णांक t के कुछ मनमाना विकल्प के लिए। प्रिंसिपल क्रॉस्ड होमोमोर्फिज्म को अतिरिक्त रूप से पूरा करना होगा कुछ पूर्णांक M के लिए: इसलिए प्रत्येक पार होमोमोर्फिज्म -1 को सम पूर्णांक में भेजना प्रमुख है, और इसलिए:
समूह संचालन बिंदुवार जोड़ के साथ: , नोट किया कि पहचान तत्व है।
H2
यदि M एक तुच्छ G- माॅड्यूल है (अर्ताथ M पर G की क्रिया तुच्छ है), दूसरा कोहोलॉजी समूह H2(G,M) समूह एक्सटेंशन#M द्वारा G के केंद्रीय एक्सटेंशन के समुच्चय के साथ एक-से-एक पत्राचार में है (एक प्राकृतिक समकक्ष संबंध तक)। अधिक सामान्यतः, अगर M पर G की कार्यान्वयन गैर-तुच्छ है, इस प्रकार H2(G,M) सभी समूह विस्तार के समरूपता वर्गों को वर्गीकृत करता है, जहाँ M द्वारा G की, जिसमें E पर G की क्रिया आंतरिक ऑटोमोर्फिज्म द्वारा, एक आइसोमोर्फिक G- माॅड्यूल संरचना के साथ M का प्रतिबिंब प्रदान करती है।
अनुभाग से उदाहरण में तुरंत ऊपर के एकमात्र विस्तार के रूप में द्वारा दी गई गैर-तुच्छ क्रिया के साथ अनंत डायहेड्रल समूह है, जो एक विभाजित विस्तार है और अंदर इतना तुच्छ है समूह। यह वास्तव में समूह-सैद्धांतिक दृष्टि से अद्वितीय तत्व का महत्व है .
एक दूसरे समूह कोहोलॉजी समूह का एक उदाहरण ब्राउर समूह है: यह क्षेत्र के पूर्ण गैलोइस समूह का कोहोलॉजी है जो अलग-अलग बंद होने पर उलटा तत्वों पर कार्य करता है:
यह भी देखें [1]।
मौलिक उदाहरण
एक परिमित चक्रीय समूह का समूह कोहोलॉजी
परिमित चक्रीय समूह के लिए आदेश की जनरेटर के साथ , तत्व संबद्ध समूह वलय में शून्य का भाजक है क्योंकि इसका गुणनफल है ,
द्वारा दिया गया हैं।
इस गुण का उपयोग संकल्प के निर्माण के लिए किया जा सकता है,[2][3] इस प्रकार इसका -मापांक कॉम्प्लेक्स के माध्यम सेकिसी के लिए समूह कोहोलॉजी संगणना दे रहा है -मापांक . ध्यान दें कि वृद्धि मानचित्र तुच्छ मॉड्यूल इसका देता है
बाइ स्ट्र्क्चर
यह संकल्प समूह कोहोलॉजी की गणना देता है क्योंकि कोहोलॉजी समूहों का समरूपता है, इस प्रकार दिखा रहा है कि फंक्टर को लागू करना उपरोक्त परिसर के साथ हटा दिया गया है क्योंकि यह रिज़ॉल्यूशन अर्ध-समरूपता है, जो उक्त गणना देता है
के लिये
उदाहरण के लिए, यदि , तुच्छ मॉड्यूल, फिर , , और , इसलिए
</ब्लॉककोट>
स्पष्ट चक्र
बार रिज़ॉल्यूशन का उपयोग करते हुए एक चक्रीय समूह के समूह कोहोलॉजी के लिए स्पष्ट चक्र स्पष्ट रूप से दिए जा सकते हैं,[4] हमें जनरेटर का पूरा समुच्चय मिलता है -कोसाइकिल के लिए नक्शों की तरह विषम हैं।
द्वारा दिया गया हैं।
इसके लिए के विभिन्न मानों के लिए, , मुख्यतः -एकता की मूल, एक क्षेत्र युक्त -एकता की मूल, और मान प्राप्त करते हैं।
किसी परिमेय संख्या के लिए से अधिक नहीं सबसे बड़े पूर्णांक को निरूपित करना . इसके अतिरिक्त, हम संकेतन का उपयोग कर रहे हैं जहाँ के लिए जनरेटर है, तथा . ध्यान दें कि के लिए गैर-शून्य भी सूचकांक कोहोलॉजी समूह हैं।
मुक्त समूहों की कोहोलॉजी
एक संकल्प का उपयोग करना
एक समुच्चय दिया संबंधित मुक्त समूह एक स्पष्ट संकल्प है[5] इस प्रकार के मॉड्यूल का जिसकी गणना सरलता से की जा सकती है। वृद्धि मानचित्र पर ध्यान देंमें फ्री सबमॉड्यूल द्वारा दिया गया कर्नेल है, इस प्रकार समुच्चय द्वारा उत्पन्न , इसलिए क्योंकि यह वस्तु मुफ़्त है, यह एक संकल्प देता है
इसलिए समूह कोहोलॉजी में गुणांक के साथ फ़ैक्टर को लागू करके गणना की जा सकती है परिसर के लिए , दे रहा है
इसका कारण दोहरा नक्शा
है
कोई भी भेजता है जिसके लिए -मॉड्यूल आकारिकी हैं, इस प्रकार प्रेरित रूपवाद पर समावेश की रचना करके प्राप्त होता हैं। केवल नक्शे ही भेजे जाते हैं हैं वृद्धि मानचित्र के गुणक, पहला कोहोलॉजी समूह दे रहे हैं। केवल दूसरे नक्शों पर ध्यान देकर दूसरा पाया जा सकता है।
इसके द्वारा उत्पन्न किया जा सकता है, नक्शे भेजने का आधार एक निश्चित के लिए , और किसी के लिए मान प्राप्त करते हैं।
टोपोलॉजी का प्रयोग
मुक्त समूहों का समूह कोहोलॉजी द्वारा उत्पन्न टोपोलॉजी में इसकी व्याख्या के साथ समूह कोहोलॉजी की तुलना करके पत्रों की सरलता से गणना की जा सकती है। याद रखें कि हर समूह के लिए एक टोपोलॉजिकल स्पेस है , समूह का वर्गीकरण स्थान कहा जाता है, जिसमें गुण होता है इसके अतिरिक्त, इसमें यह गुण है कि इसकी टोपोलॉजिकल कोहोलॉजी समूह कोहोलॉजी के लिए आइसोमॉर्फिक है।
कुछ समूह कोहोलॉजी समूहों की गणना करने का एक तरीका दे रहा है। टिप्पणी किसी भी स्थानीय प्रणाली द्वारा प्रतिस्थापित किया जा सकता है, जो जो मानचित्र द्वारा निर्धारित किया जाता है। इस प्रकार कुछ एबेलियन समूह के लिए की स्थितियों में के लिए अक्षर, यह एक पच्चर योग द्वारा दर्शाया गया है, इस प्रकार मंडलियां [6] जिसे वैन कम्पेन प्रमेय का उपयोग करके दिखाया जा सकता है | वैन-कम्पेन प्रमेय, समूह कोहोलॉजी देता है।[7]
एक अभिन्न क्रम का समूह कोहोलॉजी
एक अभिन्न क्रम के लिए पद का (इसलिए आइसोमॉर्फिक to ), इसके समूह कोहोलॉजी की गणना सापेक्ष सरलता से की जा सकती है। सबसे पहले, क्योंकि , और है , जो एबेलियन समूह के रूप में आइसोमोर्फिक हैं , समूह कोहोलॉजी में समरूपता है, इसी रैंक के एक टोरस के अभिन्न कोहोलॉजी के साथ . का मान प्राप्त करते हैं।
गुण
निम्नलिखित में, M को G- माॅड्यूल होने दें।
कोहोलॉजी का लंबा सटीक क्रम
व्यवहार में, अधिकांशतः निम्नलिखित तथ्य का उपयोग करते हुए कोहोलॉजी समूहों की गणना की जाती है: यदि
G- माॅड्यूल का एक छोटा सटीक अनुक्रम है, तो एक लंबा सटीक अनुक्रम प्रेरित होता है:
तथाकथित समरूपता को जोड़ना,
अमानवीय कोचेन के संदर्भ में निम्नानुसार वर्णित किया जा सकता है।[8] इस प्रकार यदि एक n-cocycle द्वारा दर्शाया गया है तब द्वारा दर्शाया गया है जहाँ और कोचन उठाने की (अर्थात की रचना है विशेषण मानचित्र M → N) के साथ उपयोग होता हैं।
कार्यात्मकता
समूह कोहोलॉजी निम्नलिखित अर्थों में समूह G पर विपरीत रूप से निर्भर करती है: यदि f : H → G एक समूह समरूपता है, तो हमारे पास स्वाभाविक रूप से प्रेरित आकारिकी Hn है इस प्रकार (G, M) → Hn(H, M के लिए जहां बाद में, M को F के माध्यम से H-मॉड्यूल के रूप में माना जाता है। इस मानचित्र को प्रतिबंध मानचित्र कहा जाता है। यदि G में H का सूचकांक (समूह सिद्धांत) परिमित है, तो विपरीत दिशा में एक मानचित्र भी है, जिसे स्थानांतरण मानचित्र कहा जाता है,[9]
डिग्री 0 में, यह मानचित्र द्वारा दिया गया है
G- माॅड्यूल M → n के आकारिकी को देखते हुए, Hn(G, M) → Hn(G, n) में कोहोलॉजी समूहों का आकार मिलता है।
उत्पाद
टोपोलॉजी और ज्योमेट्री में अन्य कोहोलॉजी सिद्धांतों के समान, जैसे कि एकवचन कॉहोलॉजी या डॉ कहलमज , समूह कॉहोलॉजी एक उत्पाद संरचना का आनंद लेती है: कप उत्पाद नामक प्राकृतिक नक्शा है:
किसी भी दो G- माॅड्यूल M और n के लिए। यह एक ग्रेडेड एंटी-कम्यूटेटिव रिंग स्ट्रक्चर देता है जहाँ R एक वलय है जैसे या एक परिमित समूह G के लिए, इस कोहोलॉजी का सम भाग विशेषता p में बजता है, G की संरचना समूह के बारे में बहुत सारी जानकारी रखती है, उदाहरण के लिए इस रिंग का क्रुल आयाम एक एबेलियन उपसमूह के अधिकतम रैंक के बराबर है।[10]
उदाहरण के लिए, G को असतत टोपोलॉजी के अनुसार दो तत्वों वाला समूह होने दें। वास्तविक प्रक्षेप्य स्थान G. Let के लिए एक वर्गीकरण स्थान है दो तत्वों का क्षेत्र (गणित) हैं। इस प्रकार इस स्थिति में-
एक एकल जनरेटर पर एक बहुपद k-बीजगणित, क्योंकि यह एक विलक्षण कोहोलॉजी रिंग है।
कुनेथ सूत्र
अगर, M = के एक क्षेत्र है, तो H * (जी; के) एक वर्गीकृत के-बीजगणित है और समूहों के एक उत्पाद का कोहोलॉजी एक कुनेथ सूत्र द्वारा अलग-अलग समूहों से संबंधित है:
उदाहरण के लिए, यदि G एक प्रारंभिक एबेलियन समूह है | प्राथमिक एबेलियन 2- रैंक आर का समूह, और तब कुनेथ सूत्र से पता चलता है कि G का कोहोलॉजी H में r वर्गों द्वारा उत्पन्न बहुपद k1(G; के)-बीजगणित है.,
होमोलॉजी कोहोलॉजी के बीच का अंतर
अन्य कोहोलॉजी सिद्धांतों के लिए, जैसे कि एकवचन कोहोलॉजी, समूह कोहोलॉजी और होमोलॉजी एक छोटे से सटीक अनुक्रम के माध्यम से एक दूसरे से संबंधित हैं[11]
जहां A को तुच्छ जी-एक्शन के साथ संपन्न किया गया है और बाईं ओर का शब्द पहला Xt फंक्शनल है।
समामेलित उत्पाद
इस समूह में A दिया गया है जो दो समूहों G1 का उपसमूह है और G2समामेलित उत्पाद की समरूपता (पूर्णांक गुणांक के साथ) एक लंबे सटीक अनुक्रम में स्थित है
की समरूपता इसका उपयोग करके गणना की जा सकती है:
यह सटीक अनुक्रम यह दिखाने के लिए भी लागू किया जा सकता है कि होमोलॉजी और विशेष रैखिक समूह अनंत क्षेत्र k के लिए सहमत हैं।[12]
समूह का परिवर्तन
होशचाइल्ड-सेरे वर्णक्रमीय अनुक्रम G के सामान्य उपसमूह N के कोहोलॉजी और भाग G / N को समूह G (के लिए (प्रो-) परिमित समूह G) के कोहोलॉजी से संबंधित करता है। इससे किसी को मुद्रास्फीति-प्रतिबंध सटीक क्रम मिलता है।
वर्गीकरण स्थान की कोहोलॉजी
समूह कोहोलॉजी समरूपता के माध्यम से शेफ कोहोलॉजी जैसे टोपोलॉजिकल कोहोलॉजी सिद्धांतों से निकटता से संबंधित है[13]
इजहारबाईं ओर एक वर्गीकरण स्थान है . यह एक ईलेनबर्ग-मैकलेन स्थान है , अर्ताथ, एक स्थान जिसका मौलिक समूह है और जिनके उच्च होमोटॉपी समूह लुप्त हो जाते हैं)।[lower-alpha 4] के लिए रिक्त स्थान वर्गीकृत करना और 1-गोला S1 हैं, अनंत वास्तविक प्रक्षेपी स्थान और लेंस रिक्त स्थान, क्रमशः सामान्य रूप में,भागफल के रूप में बनाया जा सकता है , जहाँ एक अनुबंधित स्थान है जिस पर स्वतंत्र रूप से कार्य करता है। चूंकि,सामान्यतः सरलता से सुने जाने योग्य ज्यामितीय विवरण नहीं होता है।
अधिक सामान्यतः, कोई भी किसी से जुड़ सकता है -मापांक एक स्थानीय प्रणाली पर और उपरोक्त तुल्याकारिता एक तुल्याकारिता के लिए सामान्यीकरण करती है[14]
आगे के उदाहरण
समूहों के अर्ध-प्रत्यक्ष उत्पाद
एलेनबर्ग-मैकलेन रिक्त स्थान के फाइब्रेशन और गुणों की टोपोलॉजी का उपयोग करके समूहों के अर्ध-प्रत्यक्ष उत्पाद की गणना करने का एक तरीका है। यहाँ पर याद रखें कि समूहों के अर्ध-प्रत्यक्ष उत्पाद के लिए समूहों का एक संबद्ध संक्षिप्त सटीक क्रम है, संबंधित ईलेनबर्ग-मैकलेन रिक्त स्थान का उपयोग करके एक फाइबर ग्रीनहाउस होता है
जिसे एक सेरे स्पेक्ट्रल अनुक्रम के माध्यम से रखा जा सकता है। यह -पेज जो समूह कोहोलॉजी के बारे में जानकारी देता है के समूह कोहोलॉजी समूहों से . ध्यान दें कि इस औपचारिकता को लिंडन-होच्स्चाइल्ड-सेरे स्पेक्ट्रल अनुक्रम का उपयोग करके विशुद्ध रूप से समूह-सैद्धांतिक तरीके से लागू किया जा सकता है।
परिमित समूहों की कोहोलॉजी
उच्च कोहोलॉजी समूह ट्विस्टेड रहते हैं
कोहोलॉजी समूह Hn(G, M) परिमित समूहों G के सभी n≥1 के लिए मरोड़ हैं। वास्तव में, मास्चके के प्रमेय द्वारा एक परिमित समूह के प्रतिनिधित्व की श्रेणी विशेषता शून्य के किसी भी क्षेत्र पर अर्ध-सरल है या अधिक सामान्यतः, कोई भी क्षेत्र जिसकी विशेषता समूह के क्रम को विभाजित नहीं करती है, इसलिए, समूह कोहोलॉजी को एक व्युत्पन्न के रूप में देखना इस एबेलियन श्रेणी में फ़ैक्टर, कोई यह प्राप्त करता है कि यह शून्य है। अन्य तर्क यह है कि विशेषता शून्य के एक क्षेत्र पर, एक परिमित समूह का समूह बीजगणित आव्यूह बीजगणित का प्रत्यक्ष योग है (संभवतः विभाजन बीजगणित पर जो मूल क्षेत्र के विस्तार हैं), जबकि एक आव्यूह बीजगणित इसके आधार के समतुल्य मोरिटा है, इस क्षेत्र के लिए यह कोहोलॉजी है।
यदि G- माॅड्यूल M में G का क्रम उलटा है (उदाहरण के लिए, यदि M एक है -सदिश स्थान), इसे दिखाने के लिए ट्रांसफर मैप का उपयोग किया जा सकता है के लिए इस तथ्य का एक विशिष्ट अनुप्रयोग निम्नानुसार है: लघु सटीक अनुक्रम का लंबा सटीक कोहोलॉजी अनुक्रम (जहां सभी तीन समूहों में एक तुच्छ जी-एक्शन है)
एक समरूपता उत्पन्न करता है
टेट कोहोलॉजी
टेट कोहोलॉजी समूह एक परिमित समूह G के होमोलॉजी और कोहोलॉजी दोनों को मिलाते हैं:
जहाँ मानक मानचित्र से प्रेरित है:
टेट कोहोलॉजी समान विशेषताओं का आनंद लेती है, जैसे लंबे सटीक अनुक्रम, उत्पाद संरचनाएं। वर्ग क्षेत्र सिद्धांत में महत्वपूर्ण अनुप्रयोग है, वर्ग निर्माण देखें।
परिमित चक्रीय समूहों के टेट कोहोलॉजी, 2-आवधिक है इस अर्थ में कि समरूपताएँ हैं
डी-आवधिक कोहोलॉजी के लिए एक आवश्यक और पर्याप्त मानदंड यह है कि G के केवल एबेलियन उपसमूह चक्रीय हैं।[15] उदाहरण के लिए, कोई अर्ध-प्रत्यक्ष उत्पाद कोप्राइम पूर्णांक n और m के लिए यह गुण है।
अनुप्रयोग
बीजगणितीय के-सिद्धांत और रैखिक समूहों की समरूपता
बीजगणितीय K-सिद्धांत समूह कोहोलॉजी से निकटता से संबंधित है:क्विलेन्स प्लस कंस्ट्रक्शन या +-K-सिद्धांत का निर्माण, रिंग R के K-सिद्धांत को क्षेत्र के समरूप समूहों के रूप में परिभाषित किया गया है यहाँ अनंत सामान्य रैखिक समूह है। इस प्रकार इसके क्षेत्र के लिए के समान होमोलॉजी है अर्ताथ, जीएल (आर) का समूह समरूपता प्राप्त होती हैं। कुछ स्थितियों में, स्थिरता के परिणाम यह प्रमाणित करते हैं कि कोहोलॉजी समूहों का क्रम इस प्रकार हैं।
काफी बड़े n के लिए स्थिर हो जाता है, इसलिए अनंत सामान्य रैखिक समूह के कोहोलॉजी की गणना को कुछ में से एक में कम कर देता है . ऐसे परिणाम तब स्थापित किए गए हैं जब R एक क्षेत्र है[16] या किसी संख्या क्षेत्र में पूर्णांकों की रिंग के लिए उपयोग होता हैं।[17] इस प्रकार किसी समूह की श्रृंखला की समूह समरूपता की घटना स्थिरीकरण को समरूप स्थिरता कहा जाता है। इस स्थिति के अतिरिक्त अभी उल्लेख किया गया है, यह कई अन्य समूहों पर लागू होता है जैसे सममित समूह या मानचित्रण वर्ग समूह इसका उदाहरण हैं।
अनुमानित प्रतिनिधित्व और समूह एक्टेंसशन
क्वांटम यांत्रिकी में हमारे पास अधिकांशतः समरूपता समूह वाले सिस्टम होते हैं, इस प्रकार के लिए उक्त क्रियान्वयन की उम्मीद करते हैं, तथा इस प्रकार हिल्बर्ट क्षेत्र पर एकात्मक मैट्रिसेस द्वारा हम उम्मीद कर सकते हैं। इसके लिए को क्वांटम यांत्रिकी के नियमों के लिए केवल आवश्यकता होती है
जहाँ इसका मुख्य चरण है। यह अनुमानित प्रतिनिधित्व समूह विस्तार के पारंपरिक प्रतिनिधित्व के रूप में भी सोचा जा सकता है का द्वारा जैसा कि सटीक क्रम द्वारा वर्णित है।
साहचर्य की आवश्यकता है।
- की ओर जाता है।
जिसे हम उस कथन के रूप में पहचानते हैं अर्ताथ वह मूल्यों को लेने वाला एक चक्रव्यूह है हम पूछ सकते हैं कि क्या हम पुनर्परिभाषित करके चरणों को समाप्त कर सकते हैं।
जो बदलता है
इसे हम शिफ्टिंग के रूप में पहचानते हैं एक सीमा द्वारा अलग-अलग प्रक्षेप्य अभ्यावेदन इसलिए के द्वारा वर्गीकृत किए गए हैं ध्यान दें कि यदि हम चरणों को स्वयं समूह द्वारा कार्य करने की अनुमति देते हैं, इस प्रकार उदाहरण के लिए, समय उत्क्रमण चरण को जटिल-संयुग्मित करेगा, तो प्रत्येक सह-सीमा संचालन में पहला शब्द होगा पिछले अनुभागों में सह-सीमा की सामान्य परिभाषाओं के अनुसार इस पर कार्य करता हैं। उदाहरण के लिए, इसका प्रमुख उदाहरण हैं।
एक्सटेंशन
सांस्थितिकीय समूहों की सह-सम्बंधता
एक टोपोलॉजिकल समूह G दिया गया है, अर्ताथ टोपोलॉजी से लैस एक समूह जैसे कि उत्पाद और व्युत्क्रम निरंतर मानचित्र हैं, निरंतर 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 के दशक के अंत में क्लाउड चेवेली और ईलेनबर्ग और जीन-लुई शर्ट्स द्वारा विकसित किया गया था। यह औपचारिक रूप से समान है, यह असत्य बीजगणित के लिए अपरिवर्तनीयता की इसी परिभाषा का उपयोग करते हैं। यह प्रतिनिधित्व सिद्धांत में बहुत अधिक लागू होता है, और सैद्धांतिक भौतिकी के बीआरएसटी परिमाणीकरण के साथ निकटता से जुड़ा हुआ है।
समूह कोहोलॉजी सिद्धांत का संघनित पदार्थ भौतिकी में भी प्रत्यक्ष अनुप्रयोग है। जैसे समूह सिद्धांत स्वतःस्फूर्त समरूपता को तोड़ने वाले चरणों का गणितीय आधार है, समूह कोहोलॉजी सिद्धांत पदार्थ की क्वांटम अवस्थाओं के एक वर्ग का गणितीय आधार है - समरूपता के साथ छोटी दूरी की उलझी हुई अवस्थाएँ उपलब्ध हैं। समरूपता के साथ लघु-श्रेणी के उलझी हुई स्थितियों को समरूपता-संरक्षित टोपोलॉजिकल ऑर्डर के रूप में भी जाना जाता है। समरूपता-संरक्षित टोपोलॉजिकल स्टेट्स को उपयोग करते हैं।[18][19]
यह भी देखें
- लिंडन-होशचाइल्ड-सेरे स्पेक्ट्रल अनुक्रम
- n-समूह (श्रेणी सिद्धांत)
- पोस्टनिकोव टॉवर
टिप्पणियाँ
- ↑ 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
- ↑ 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 g ∈ G and every a ∈ N. This convention allows to define the tensor product in the case where both M and N are left -modules.
- ↑ 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.
- ↑ For this, G is assumed to be discrete. For general topological groups, .
संदर्भ
- ↑ Page 62 of Milne 2008 or section VII.3 of Serre 1979
- ↑ 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) - ↑ 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) - ↑ Huang, Hua-Lin; Liu, Gongxiang; Ye, Yu (2012-06-23). "रैखिक जीआर-श्रेणियों के एक वर्ग पर लट वाली मोनोइडल संरचनाएं" (in English). arXiv:1206.5402v3.
{{cite journal}}
: Cite journal requires|journal=
(help) - ↑ Evens, Leonard. (1991). समूहों की कोहोलॉजी. Oxford: Clarendon Press. ISBN 0-19-853580-5. OCLC 23732584.
- ↑ Hatcher, Allen (2002). बीजगणितीय टोपोलॉजी. Cambridge: Cambridge University Press. p. 43. ISBN 0-521-79160-X. OCLC 45420394.
- ↑ Webb, Peter. "समूहों के कोहोलॉजी का परिचय" (PDF). Archived (PDF) from the original on 6 May 2020.
- ↑ Remark II.1.21 of Milne 2008
- ↑ (Brown 1972), §III.9
- ↑ Quillen, Daniel. The spectrum of an equivariant cohomology ring. I. II. Ann. Math. (2) 94, 549-572, 573-602 (1971).
- ↑ (Brown 1972), Exercise III.1.3
- ↑ (Knudson 2001), Chapter 4
- ↑ 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.
- ↑ (Adem & Milgram 2004), Chapter II.
- ↑ (Brown 1972), §VI.9
- ↑ 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
- ↑ 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.
- ↑ 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.
- ↑ 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.
उद्धृत कार्य
- Adem, Alejandro; Milgram, R. James (2004), Cohomology of Finite Groups, Grundlehren der Mathematischen Wissenschaften, vol. 309 (2nd ed.), Springer-Verlag, doi:10.1007/978-3-662-06280-7, ISBN 978-3-540-20283-7, MR 2035696, Zbl 1061.20044
- Arslanov, M. M. (2011), Математическая жизнь в Казани в годы войны, Mat. Pros., Ser. 3, vol. 15, MCCME, pp. 20–34, ISBN 978-5-94057-741-6
- Brown, Kenneth S. (1972), Cohomology of Groups, Graduate Texts in Mathematics, vol. 87, Springer Verlag, ISBN 978-0-387-90688-1, MR 0672956
- Faddeev, D. K. (1947), О фактор-системах в абелевых группах с операторами, Dokl. Akad. Nauk SSSR, vol. 58, Leningrad Department of V. A. Steklov Institute of Mathematics, USSR Academy of Sciences, pp. 361–364, ISSN 0002-3264
- Hopf, Heinz (1942), "Fundamentalgruppe und zweite Bettische Gruppe", Commentarii Mathematici Helvetici, 14 (1): 257–309, doi:10.1007/BF02565622, JFM 68.0503.01, MR 0006510, S2CID 122819784, Zbl 0027.09503
- Knudson, Kevin P. (2001), Homology of Linear Groups, Progress in Mathematics, vol. 193, Birkhäuser Verlag, Zbl 0997.20045
- Milne, James (2013), "Chapter II: The Cohomology of Groups", Class Field Theory, vol. v4.02
- Rotman, Joseph J. (1995), An Introduction to the Theory of Groups, Graduate Texts in Mathematics, vol. 148 (4th ed.), Springer-Verlag, doi:10.1007/978-1-4612-4176-8, ISBN 978-0-387-94285-8, MR 1307623
- Serre, Jean-Pierre (1979). "Chapter VII". स्थानीय क्षेत्र. Graduate Texts in Mathematics. Vol. 67. Berlin, New York: Springer-Verlag. ISBN 978-0-387-90424-5. MR 0554237. Zbl 0423.12016.
- Weibel, Charles A. (1999), "History of homological algebra", History of Topology, Cambridge University Press, pp. 797–836, CiteSeerX 10.1.1.39.9076, doi:10.1016/B978-044482375-5/50029-8, ISBN 978-0-444-82375-5, MR 1721123
अग्रिम पठन
- Serre, Jean-Pierre (1994), Cohomologie galoisienne, Lecture Notes in Mathematics, vol. 5 (Fifth ed.), Berlin, New York: Springer-Verlag, doi:10.1007/BFb0108758, ISBN 978-3-540-58002-7, MR 1324577
- Shatz, Stephen S. (1972), Profinite groups, arithmetic, and geometry, Princeton, NJ: Princeton University Press, ISBN 978-0-691-08017-8, MR 0347778
- Chapter 6 of Weibel, Charles A. (1994). An introduction to homological algebra. Cambridge Studies in Advanced Mathematics. Vol. 38. Cambridge University Press. ISBN 978-0-521-55987-4. MR 1269324. OCLC 36131259.