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

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

एक समूह का कोहोलॉजिकल आयाम
अधिकांश सह-वैज्ञानिक अपरिवर्तन शीलताओं के रूप में, सह-वैज्ञानिक आयाम में "गुणांकों की अंगूठी" R का विकल्प शामिल होता है, जिसमें R = 'Z', पूर्णांकों की अंगूठी द्वारा दिए गए एक प्रमुख विशेष मामले के साथ होता है। G को एक असतत समूह R को एक इकाई के साथ गैर-शून्य वलय, और RG को समूह वलय होने दें। समूह G में 'सह-वैज्ञानिक आयाम n से कम या उसके बराबर है, जिसे निरूपित cd के रूप में दर्शाया गया है, R(जी) ≤ एन, यदि तुच्छ आरजी-मापांक आर में लंबाई एन का प्रक्षेपी संकल्प है, यानी प्रक्षेपी मॉड्यूल आरजी-मापांक पी हैं0, ..., पीn और आरजी-मापांक समरूपता डीk: पीk$$\to$$Pk &minus; 1 (के = 1, ..., एन) और डी0: पी0$$\to$$आर, जैसे कि डी की छविk d के कर्नेल के साथ मेल खाता हैk &minus; 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)\le 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।

यह भी देखें

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