कोहोलॉजिकल आयाम

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

एक समूह का कोहोलॉजिकल आयाम

अधिकांश कोहोमोलॉजिकल अपरिवर्तन शीलताओं के रूप में, कोहोमोलॉजिकल आयाम में "गुणांकों की अंगूठी" R का विकल्प शामिल होता है, जिसमें R = 'Z', पूर्णांकों की अंगूठी द्वारा दिए गए एक प्रमुख विशेष मामले के साथ होता है। G को एक असतत समूह R को एक इकाई के साथ गैर-शून्य वलय, और RG को समूह वलय होने दें। समूह G में 'कोहोमोलॉजिकल आयाम n से कम या उसके बराबर है, जिसे निरूपित cd के रूप में दर्शाया गया है , _R(जी) ≤ एन, यदि तुच्छ आरजी-मापांक आर में लंबाई एन का प्रक्षेपी संकल्प है, यानी प्रक्षेपी मॉड्यूल आरजी-मापांक पी हैं₀, ..., पी_n और आरजी-मापांक समरूपता डी_k: पी_k$\to$P_k − 1 (के = 1, ..., एन) और डी₀: पी₀$\to$आर, जैसे कि डी की छवि_k d के कर्नेल के साथ मेल खाता है_k − 1 k = 1, ..., n और d की गिरी के लिए _n कर्नेल तुच्छ है।

समतुल्य रूप से, कोहोलॉजिकल आयाम n से कम या उसके बराबर है यदि एक मनमाने ढंग से आरजी-मापांक एम के लिए, M में गुणांक के साथ जी का समूह कोहोलॉजी डिग्री k > n, यानी एच में गायब हो जाता है ^k(G,M) = 0 जब भी k > n. अभाज्य p के लिए p-cohomological आयाम समान रूप से p-मरोड़ समूह Hk के संदर्भ में परिभाषित किया गया है। सबसे छोटा n ऐसा है कि G का कोहोलॉजिकल आयाम n से कम या उसके बराबर है, G का 'कोहोमोलॉजिकल आयाम' है (गुणांक R के साथ), जिसे निरूपित किया जाता है $n=\operatorname {cd} _{R}(G)$.

एक मुक्त संकल्प $\mathbb {Z}$ एक अनुबंधित स्थान X पर समूह G की एक मुक्त कार्रवाई से प्राप्त किया जा सकता है। विशेष रूप से, यदि X एक असतत समूह G की मुक्त कार्रवाई के साथ आयाम n का एक अनुबंधित CW परिसर है जो कोशिकाओं को अनुमति देता है, तब $\operatorname {cd} _{\mathbb {Z} }(G)\leq n$.

उदाहरण

उदाहरणों के पहले समूह में, गुणांकों की वलय R होने दें $\mathbb {Z}$.

• एक स्वतंत्र समूह का कोहोमोलॉजिकल आयाम एक होता है। जैसा कि जॉन स्टालिंग्स (अंतिम रूप से उत्पन्न समूह के लिए) और रिचर्ड स्वान (पूर्ण सामान्यता में) द्वारा दिखाया गया है, यह गुण मुक्त समूहों की विशेषता है। इस परिणाम को स्टालिंग्स-स्वान प्रमेय के रूप में जाना जाता है। समूह G के लिए स्टैलिंग्स-स्वान प्रमेय कहता है कि G मुक्त है यदि और केवल यदि G द्वारा एबेलियन कर्नेल के साथ प्रत्येक समूह विस्तार को विभाजित किया गया है।
• एक कॉम्पैक्ट जगह, जुड़ा हुआ स्थान, उन्मुखता रीमैन सतह के गोले के अलावा अन्य मौलिक समूह में कोहोलॉजिकल आयाम दो हैं।
• अधिक आम तौर पर, एक बंद, जुड़ा हुआ, ओरिएंटेबल एस्फेरिकल स्पेस कई गुना ऑफ़ डायमेंशन n के मूलभूत समूह में कोहोलॉजिकल डायमेंशन n होता है। विशेष रूप से, एक बंद ओरिएंटेबल हाइपरबॉलिक एन-मैनिफोल्ड के मौलिक समूह में कोहोलॉजिकल आयाम एन है।
• गैर-तुच्छ परिमित समूहों में अनंत कोहोमोलॉजिकल डायमेंशन ओवर है $\mathbb {Z}$. अधिक आम तौर पर, गैर-तुच्छ मरोड़ (बीजगणित) वाले समूहों के लिए भी यही सच है।

अब एक सामान्य वलय R के मामले पर विचार करें।

• एक समूह G का कोहोमोलॉजिकल आयाम 0 है यदि और केवल यदि इसका समूह रिंग RG सेमीसिम्पल बीजगणित है। इस प्रकार एक परिमित समूह में कोहोलॉजिकल आयाम 0 है यदि और केवल यदि इसका क्रम (या, समतुल्य, इसके तत्वों के क्रम) आर में व्युत्क्रमणीय है।
• स्टैलिंग्स-स्वान प्रमेय का सामान्यीकरण $R=\mathbb {Z}$, मार्टिन डनवुडी ने साबित किया कि एक समूह के मनमाना रिंग R पर अधिक से अधिक एक कोहोमोलॉजिकल आयाम होता है, अगर और केवल अगर यह समूहों के एक जुड़े हुए ग्राफ का मौलिक समूह है, जिनके आदेश R में उलटे हैं।

एक क्षेत्र का कोहोलॉजिकल आयाम

एक क्षेत्र K का p-cohomological आयाम, K के एक वियोज्य बंद होने के Galois समूह का p-cohomological आयाम है। K का कोहोमोलॉजिकल डायमेंशन सभी अभाज्य p पर p-कोहोमोलॉजिकल डायमेंशन का सर्वोच्च है।

उदाहरण

• किसी क्षेत्र p की गैर-शून्य विशेषता वाले प्रत्येक क्षेत्र में अधिक से अधिक 1 p-cohomological आयाम होता है।
• प्रत्येक परिमित क्षेत्र में पूर्ण गैलोज समूह समरूपी होता है $\mathbf {\hat {Z}}$ और इसलिए कोहोलॉजिकल डायमेंशन 1 है।
• औपचारिक लॉरेंट श्रृंखला का क्षेत्र $k((t))$ गैर-शून्य विशेषता के एक बीजगणितीय रूप से बंद क्षेत्र k पर भी निरपेक्ष गैलोज़ समूह आइसोमोर्फिक है $\mathbf {\hat {Z}}$ और इसलिए कोहोमोलॉजिकल डायमेंशन 1।

यह भी देखें

• ईलेनबर्ग-गैनिया अनुमान
• ग्रुप कोहोलॉजी
• वैश्विक आयाम

संदर्भ

• Brown, Kenneth S. (1994). Cohomology of groups. Graduate Texts in Mathematics. Vol. 87 (Corrected reprint of the 1982 original ed.). New York: Springer-Verlag. ISBN 0-387-90688-6. MR 1324339. Zbl 0584.20036.
• Dicks, Warren (1980). Groups, Trees, and Projective Modules. Lecture Notes in Mathematics. Vol. 790. Berlin: Springer-Verlag. doi:10.1007/BFb0088140. ISBN 3-540-09974-3. MR 0584790. Zbl 0427.20016.
• Dydak, Jerzy (2002). "Cohomological dimension theory". In Daverman, R. J. (ed.). Handbook of geometric topology. Amsterdam: North-Holland. pp. 423–470. ISBN 0-444-82432-4. MR 1886675. Zbl 0992.55001.
• Gille, Philippe; Szamuely, Tamás (2006). Central simple algebras and Galois cohomology. Cambridge Studies in Advanced Mathematics. Vol. 101. Cambridge: Cambridge University Press. ISBN 0-521-86103-9. Zbl 1137.12001.
• Serre, Jean-Pierre (1997). Galois cohomology. Springer-Verlag. ISBN 3-540-61990-9. Zbl 0902.12004.
• Shatz, Stephen S. (1972). Profinite groups, arithmetic, and geometry. Annals of Mathematics Studies. Vol. 67. Princeton, NJ: Princeton University Press. ISBN 0-691-08017-8. MR 0347778. Zbl 0236.12002.
• Stallings, John R. (1968). "On torsion-free groups with infinitely many ends". Annals of Mathematics. Second Series. 88: 312–334. doi:10.2307/1970577. ISSN 0003-486X. MR 0228573. Zbl 0238.20036.
• Swan, Richard G. (1969). "Groups of cohomological dimension one". Journal of Algebra. 12: 585–610. doi:10.1016/0021-8693(69)90030-1. ISSN 0021-8693. MR 0240177. Zbl 0188.07001.