आर्टिन-टिट समूह

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

1920 से 1940 के दशक में ब्रैड समूहों पर अपने शुरुआती काम के कारण समूहों का नाम एमिल आर्टिन के नाम पर रखा गया है। और जैक्स स्तन  जिन्होंने 1960 के दशक में समूहों के एक अधिक सामान्य वर्ग के सिद्धांत को विकसित किया।

परिभाषा
एक आर्टिन-स्तन प्रस्तुति एक समूह की समूह प्रस्तुति है $$ \langle S \mid R \rangle $$ कहाँ $$ S $$ जनरेटर का एक (आमतौर पर परिमित) सेट है और $$ R $$ आर्टिन-टिट संबंधों का एक सेट है, अर्थात् प्रपत्र के संबंध $$ stst\ldots = tsts\ldots $$ विशिष्ट के लिए $$ s, t $$ में $$ S$$, जहां दोनों पक्षों की समान लंबाई होती है, और अलग-अलग जनरेटर की प्रत्येक जोड़ी के लिए अधिकतम एक संबंध मौजूद होता है $$ s, t$$. एक आर्टिन-स्तन समूह एक ऐसा समूह है जो एक आर्टिन-स्तन प्रस्तुति को स्वीकार करता है। इसी तरह, एक आर्टिन-टिट मोनोइड एक मोनोइड है, जो एक मोनोइड के रूप में, एक आर्टिन-टिट प्रस्तुति को स्वीकार करता है।

वैकल्पिक रूप से, एक आर्टिन-स्तन समूह को जनरेटर के सेट द्वारा निर्दिष्ट किया जा सकता है $$S$$ और, प्रत्येक के लिए $$s, t$$ में $$S$$, प्राकृतिक संख्या $$ m_{s,t} \geqslant 2 $$ वह शब्दों की लंबाई है $$stst\ldots$$ और $$tsts\ldots$$ ऐसा है कि $$stst\ldots = tsts\ldots$$ जोड़ने वाला संबंध है $$s$$ और $$t$$, यदि कोई। अधिवेशन द्वारा, एक डालता है $$m_{s,t} = \infty$$ जब कोई संबंध नहीं है $$stst\ldots = tsts\ldots$$. औपचारिक रूप से, यदि हम परिभाषित करते हैं $$\langle s, t \rangle^m$$ के एक वैकल्पिक उत्पाद को निरूपित करने के लिए $$s$$ और $$t$$ लंबाई का $$m$$, इसके साथ शुरुआत $$s$$ - ताकि $$\langle s, t \rangle^2 = st$$, $$\langle s, t \rangle^3 = sts$$, आदि - आर्टिन-टिट संबंध रूप लेते हैं


 * $$\langle s, t \rangle^{m_{s,t}} = \langle t, s \rangle^{m_{t, s}}, \text{ where } m_{s, t} = m_{t, s} \in \{2,3,\ldots, \infty\}.$$

पूर्णांक $$m_{s, t}$$ एक सममित मैट्रिक्स में व्यवस्थित किया जा सकता है, जिसे समूह के कॉक्सेटर मैट्रिक्स के रूप में जाना जाता है।

अगर $$\langle S \mid R\rangle$$ एक आर्टिन-स्तन समूह की एक आर्टिन-स्तन प्रस्तुति है $$A$$, का भागफल $$A$$ संबंध जोड़कर प्राप्त किया $$s^2 = 1$$ प्रत्येक के लिए $$s$$ का $$R$$ एक कॉक्सेटर समूह है। इसके विपरीत यदि $$W$$ प्रतिबिंबों और संबंधों द्वारा प्रस्तुत एक कॉक्सेटर समूह है $$s^2 = 1$$ हटा दिए जाते हैं, इस प्रकार प्राप्त विस्तार एक आर्टिन-स्तन समूह है। उदाहरण के लिए, कॉक्सेटर समूह से जुड़ा हुआ है $$n$$-स्ट्रैंड चोटी समूह के सभी क्रमपरिवर्तनों का सममित समूह है $$\{1, \ldots, n\}$$.

उदाहरण

 * $$G = \langle S \mid \emptyset\rangle$$ पर आधारित मुक्त समूह है $$S$$; यहाँ $$m_{s,t} = \infty$$ सभी के लिए $$s, t$$.
 * $$G = \langle S \mid \{st=ts \mid s, t \in S\} \rangle$$ पर आधारित मुक्त एबेलियन समूह है $$S$$; यहाँ $$m_{s,t} = 2$$ सभी के लिए $$s, t$$.
 * $$G = \langle \sigma_1, \ldots, \sigma_{n-1} \mid \sigma_i\sigma_j\sigma_i = \sigma_j\sigma_i\sigma_j \text{ for } \vert i - j\vert = 1, \sigma_i \sigma_j = \sigma_j\sigma_i \text{ for } \vert i - j\vert \geqslant 2 \rangle$$ चोटी समूह चालू है $$n$$ किस्में; यहाँ $$m_{\sigma_i,\sigma_j} = 3$$ के लिए $$\vert i - j\vert = 1$$, और $$m_{\sigma_i,\sigma_j} = 2$$ के लिए $$\vert i - j\vert > 1$$.

सामान्य गुण
आर्टिन-टिट मोनोइड्स उनके विभाज्यता संबंधों की जांच के आधार पर गार्साइड तत्व के लिए पात्र हैं, और अच्छी तरह से समझ गए हैं:


 * आर्टिन-टिट मोनॉइड रद्द करने वाले होते हैं, और वे सबसे बड़े सामान्य विभाजक और सशर्त कम से कम सामान्य गुणक स्वीकार करते हैं (जब भी एक सामान्य गुणक होता है तो कम से कम सामान्य गुणक मौजूद होता है)।
 * अगर $$A^+$$ एक आर्टिन-स्तन मोनोइड है, और यदि $$W$$ संबंधित कॉक्सेटर समूह है, एक (सेट-सैद्धांतिक) खंड है $$\sigma$$ का $$W$$ में $$A^+$$, और का हर तत्व $$A^+$$ की छवि में तत्वों के अनुक्रम के रूप में एक विशिष्ट अपघटन को स्वीकार करता है $$\sigma$$ (लालची सामान्य रूप)।

सामान्य आर्टिन-स्तन समूहों के लिए बहुत कम परिणाम ज्ञात हैं। विशेष रूप से, सामान्य मामले में निम्नलिखित बुनियादी प्रश्न खुले रहते हैं:


 * – समूहों और संयुग्मन समस्याओं के लिए शब्द समस्या को हल करना – जो कि निर्णायक होने का अनुमान है,


 * – मरोड़ का निर्धारण — जिसे तुच्छ माना जाता है,


 * – केंद्र का निर्धारण — जो उस मामले में तुच्छ या मोनोजेनिक माना जाता है जब समूह एक प्रत्यक्ष उत्पाद नहीं है (irreducible मामला),


 * – कोहोलॉजी का निर्धारण — विशेष रूप से हल करना $$K(\pi, 1)$$ अनुमान, यानी, एक विश्वकोश परिसर खोजना जिसका मौलिक समूह माना समूह है।

विशेष उप-परिवारों से जुड़े आंशिक परिणाम नीचे एकत्र किए गए हैं। कुछ ज्ञात सामान्य परिणामों में, कोई उल्लेख कर सकता है:


 * आर्टिन–स्तन समूह अनंत गणनीय हैं।
 * एक आर्टिन-स्तन समूह में $$\langle S \mid R\rangle$$, तत्वों के वर्गों को जोड़ने वाला एकमात्र संबंध $$s, t$$ का $$S$$ है $$s^2t^2 = t^2s^2$$ अगर $$st = ts$$ में है $$R$$ (जॉन क्रिस्प और लुइस पेरिस ).
 * प्रत्येक आर्टिन-स्तन प्रस्तुति के लिए $$\langle S \mid R\rangle$$, आर्टिन-टाइट्स मोनोइड द्वारा प्रस्तुत किया गया $$\langle S \mid R\rangle$$ द्वारा प्रस्तुत आर्टिन-टाइट्स समूह में एम्बेड करता है $$\langle S \mid R\rangle$$ (पेरिस ).
 * प्रत्येक (अंतिम रूप से उत्पन्न) आर्टिन-स्तन मोनोइड एक परिमित गार्साइड परिवार (मैथ्यू डायर और क्रिस्टोफ़ होहलवेग) को स्वीकार करता है ). नतीजतन, आर्टिन-टिट मोनोइड्स में सामान्य सही-गुणकों का अस्तित्व निर्णायक है, और बहुभिन्नताओं की कमी प्रभावी है।

आर्टिन-स्तन समूहों के विशेष वर्ग
कॉक्सेटर मैट्रिक्स के गुणों के संदर्भ में आर्टिन समूहों के कई महत्वपूर्ण वर्गों को परिभाषित किया जा सकता है।

गोलाकार प्रकार के आर्टिन-स्तन समूह

 * एक आर्टिन-स्तन समूह को गोलाकार प्रकार का कहा जाता है यदि संबंधित कॉक्सेटर समूह $$W$$ परिमित है - वैकल्पिक शब्दावली आर्टिन-टिट के सीमित प्रकार के समूह से बचा जाना चाहिए, इसकी अस्पष्टता के कारण: एक परिमित प्रकार का समूह केवल एक है जो एक परिमित जनरेटिंग सेट को स्वीकार करता है। याद रखें कि एक पूर्ण वर्गीकरण ज्ञात है, 'इर्रेड्यूबल प्रकार' को अनंत श्रृंखला के रूप में लेबल किया जा रहा है $$A_n$$, $$B_n$$, $$D_n$$, $$I_2(n)$$ और छह असाधारण समूह $$E_6$$, $$E_7$$, $$E_8$$, $$F_4$$, $$H_3$$, और $$H_4$$.
 * एक गोलाकार आर्टिन-टिट समूह के मामले में, समूह मोनोइड के लिए अंशों का एक समूह है, जिससे अध्ययन बहुत आसान हो जाता है। गोलाकार आर्टिन-स्तन समूहों के लिए सकारात्मक रूप से प्रत्येक उपर्युक्त समस्या का समाधान किया जाता है: शब्द और संयुग्मन की समस्याएं निर्णायक हैं, उनका मरोड़ तुच्छ है, केंद्र अलिंदनीय मामले में मोनोजेनिक है, और समूह कोहोलॉजी निर्धारित है (पियरे डेलिग्ने, द्वारा) ज्यामितीय तरीके, एगबर्ट ब्रीस्कोर्न और क्योजी साइट, संयोजी विधियों द्वारा ).
 * गोलाकार प्रकार के एक शुद्ध आर्टिन-टिट समूह को परिमित हाइपरप्लेन व्यवस्था के पूरक के मौलिक समूह के रूप में महसूस किया जा सकता है $$\Complex^n$$.
 * गोलाकार प्रकार के आर्टिन-स्तन समूह द्विस्वचालित समूह हैं (रूथ चार्नी ).
 * आधुनिक शब्दावली में, एक आर्टिन-स्तन समूह $$A$$ एक गार्साइड तत्व है, जिसका अर्थ है $$A$$ संबद्ध मोनॉइड के लिए अंशों का एक समूह है $$A^+$$ और वहाँ के प्रत्येक तत्व के लिए मौजूद है $$A$$ एक अद्वितीय सामान्य रूप जिसमें तत्वों के (प्रतियों) का एक परिमित अनुक्रम होता है $$W$$ और उनके व्युत्क्रम (सममित लालची सामान्य रूप)

समकोण आर्टिन समूह

 * एक आर्टिन-स्तन समूह को समकोण कहा जाता है यदि कॉक्सेटर मैट्रिक्स के सभी गुणांक या तो हैं $$2$$ या $$\infty$$, यानी, सभी संबंध रूपान्तरण संबंध हैं $$ st = ts$$. नाम (मुक्त) आंशिक रूप से क्रमविनिमेय समूह, ग्राफ समूह, ट्रेस समूह, सेमीफ्री समूह या यहां तक ​​कि स्थानीय रूप से मुक्त समूह भी आम हैं।
 * आर्टिन-टिट समूहों के इस वर्ग के लिए, आमतौर पर एक अलग लेबलिंग योजना का उपयोग किया जाता है। कोई भी ग्राफ (असतत गणित) $$\Gamma$$ पर $$n$$ शीर्षों को लेबल किया गया $$1, 2, \ldots, n$$ एक मैट्रिक्स परिभाषित करता है $$M$$, जिसके लिए $$m_{s, t} = 2$$ यदि शिखर $$s$$ और $$t$$ में किनारे से जुड़े हुए हैं $$\Gamma$$, और $$m_{s, t} = \infty$$ अन्यथा।
 * समकोण वाले आर्टिन-टिट समूहों के वर्ग में परिमित रैंक के मुक्त समूह शामिल हैं, जो बिना किनारों वाले ग्राफ के अनुरूप हैं, और पूर्ण रूप से उत्पन्न मुक्त एबेलियन समूह, एक पूर्ण ग्राफ के अनुरूप हैं। रैंक r के प्रत्येक समकोण आर्टिन समूह को रैंक के समकोण आर्टिन समूह के HNN विस्तार के रूप में बनाया जा सकता है $$r - 1$$, चरम मामलों के रूप में समूहों के मुफ्त उत्पाद और प्रत्यक्ष उत्पाद के साथ। इस निर्माण के एक सामान्यीकरण को समूहों का ग्राफ कहा जाता है। एक समकोण आर्टिन समूह इस उत्पाद का एक विशेष मामला है, जिसमें ग्राफ-उत्पाद के प्रत्येक शीर्ष/ऑपरेंड रैंक एक (अनंत चक्रीय समूह) का एक मुक्त समूह है।
 * एक समकोण आर्टिन-स्तन समूह की शब्द और संयुग्मन समस्याएं निर्णायक हैं, पूर्व रैखिक समय में, समूह मरोड़ मुक्त है, और एक स्पष्ट सेलुलर परिमित है $$K(\pi, 1)$$ (जॉन क्रिस्प, एड्डी गोडेल और बर्ट वाइस्ट ).
 * प्रत्येक समकोण आर्टिन–स्तन समूह एक परिमित-आयामी CAT(0) घन परिसर, इसके साल्वेट्टी परिसर पर स्वतंत्र रूप से और सहसंबद्ध रूप से कार्य करता है। एक आवेदन के रूप में, समूहों के दिए गए परिमित गुणों के साथ समूहों का निर्माण करने के लिए समकोण आर्टिन समूहों और उनके साल्वेट्टी परिसरों का उपयोग कर सकते हैं (Mladen Bestvina और Noel Brady ) यह भी देखें (इयान लेरी ).

बड़े प्रकार के आर्टिन-स्तन समूह

 * एक आर्टिन-स्तन समूह (और एक कॉक्सेटर समूह) को बड़े प्रकार का कहा जाता है यदि $$m_{s, t} \geqslant 3$$ सभी जनरेटर के लिए $$ s \neq t$$; इसे अतिरिक्त-बड़े प्रकार का कहा जाता है $$m_{s, t} \geqslant 4$$ सभी जनरेटर के लिए $$ s \neq t$$.
 * अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह छोटे रद्दीकरण सिद्धांत के लिए पात्र हैं। एक आवेदन के रूप में, अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह मरोड़ (बीजगणित) -मुक्त हैं और हल करने योग्य संयुग्मन समस्या है (केनेथ एपल और पॉल शूप ).
 * अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह द्विस्वचालित होते हैं (डेविड पीफर ).
 * बड़े प्रकार के आर्टिन समूह नियमित जियोडेसिक्स (डेरेक होल्ट और सारा रीस) के साथ शॉर्टलेक्स स्वचालित होते हैं ).

अन्य प्रकार
आर्टिन-स्तन समूहों के कई अन्य परिवारों की पहचान और जांच की गई है। यहां हम उनमें से दो का जिक्र कर रहे हैं।


 * एक आर्टिन-स्तन समूह $$\langle S \mid R \rangle$$ कहा जाता है कि प्रत्येक उपसमुच्चय के लिए एफसी प्रकार (फ्लैग कॉम्प्लेक्स) का होना चाहिए $$S'$$ का $$S$$ ऐसा है कि $$m_{s, t} \neq \infty$$ सभी के लिए $$s, t$$ में $$S'$$, समूह $$\langle S' \mid R \cap S'{}^2 \rangle$$ गोलाकार प्रकार का होता है। इस तरह के समूह कैट (0) क्यूबिकल कॉम्प्लेक्स पर सहसंबद्ध रूप से कार्य करते हैं, और इसके परिणामस्वरूप, कोई भी अपने तत्वों के लिए एक तर्कसंगत सामान्य रूप पा सकता है और शब्द समस्या का समाधान निकाल सकता है (जो अल्टोबेली और चार्नी ). मल्टीफ्रैक्शन रिडक्शन द्वारा एक वैकल्पिक सामान्य रूप प्रदान किया जाता है, जो गोलाकार मामले में एक इरेड्यूसिबल अंश द्वारा अभिव्यक्ति को सीधे विस्तारित करके एक इरेड्यूसिबल मल्टीफ़्रेक्शन द्वारा एक अनूठी अभिव्यक्ति देता है (डेहॉर्नॉय ).
 * एक आर्टिन-स्तन समूह को एफ़िन प्रकार का कहा जाता है यदि संबद्ध कॉक्सेटर समूह एफ़िन कॉक्सेटर समूह है। वे चार अनंत परिवारों के विस्तारित डायनकिन आरेखों के अनुरूप हैं $$\widetilde{A}_n$$ के लिए $$n \geqslant 1$$, $$\widetilde{B}_n$$, $$\widetilde{C}_n$$ के लिए $$n \geqslant 2$$, और $$\widetilde{D}_n$$ के लिए $$n \geqslant 3$$, और पाँच छिटपुट प्रकारों में से $$\widetilde{E}_6$$, $$\widetilde{E}_7$$, $$\widetilde{E}_8$$, $$\widetilde{F}_4$$, और $$\widetilde{G}_2$$. एफ़िन आर्टिन-स्तन समूह यूक्लिडियन प्रकार के होते हैं: संबद्ध कॉक्सेटर समूह एक यूक्लिडियन स्थान पर ज्यामितीय रूप से कार्य करता है। परिणामस्वरूप, उनका केंद्र तुच्छ है, और उनकी शब्द समस्या निर्णायक है (जॉन मैककैमोंड और रॉबर्ट सल्वे ). 2019 में, इसका एक प्रमाण $$K(\pi, 1)$$ सभी संबद्ध आर्टिन-स्तन समूहों (मारियो साल्वेट्टी और जियोवन्नी पाओलिनी) के लिए अनुमान की घोषणा की गई थी ).

यह भी देखें

 * मुक्त आंशिक रूप से विनिमेय मोनोइड
 * आर्टिनियन समूह (एक असंबंधित धारणा)
 * गैर-कम्यूटेटिव क्रिप्टोग्राफी
 * प्राथमिक एबेलियन समूह