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

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

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

अधिकांश सह-वैज्ञानिक अपरिवर्तन शीलताओं के रूप में, सह-वैज्ञानिक आयाम में "गुणांकों की अंगूठी" 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-सह-वैज्ञानिक आयाम समान रूप से 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 के एक बंद, जुड़े हुए, ओरिएंटेबल एस्फेरिकल स्पेस कई गुना के मौलिक समूह में सह-वैज्ञानिक आयाम एन है। विशेष रूप से, एक बंद ओरिएंटेबल हाइपरबॉलिक एन-मैनिफोल्ड के मौलिक समूह में सह-वैज्ञानिक आयाम एन है।
• गैर-तुच्छ परिमित समूहों में अनंत सह-वैज्ञानिक आयाम ओवर है $\mathbb {Z}$. अधिक आम तौर पर, गैर-तुच्छ मरोड़ (बीजगणित) वाले समूहों के लिए सही है।

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

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

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

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

उदाहरण

• गैर-शून्य विशेषता पी के प्रत्येक क्षेत्र में अधिक से अधिक 1 पी-सह-वैज्ञानिक आयाम होता है।
• प्रत्येक परिमित क्षेत्र में निरपेक्ष गैल्वा समूह समरूपी होता है $\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.