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

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

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$$ (लालची सामान्य रूप)।

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


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


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


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


 * – कोहोलॉजी का निर्धारण — विशेष रूप से हल करना $$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^+$$ के लिए भिन्न का समूह है और प्रत्येक तत्व के लिए एक अद्वितीय सामान्य रूप है जो एक सीमित क्रम में होता है जो $$W$$ के तत्वों के (प्रतिलिपि) और उनके प्रतिग्रहणों की सीमित सूची से बना है ("सममानी लालची सामान्य रूप")।

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

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

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

 * आर्टिन-टिट्स समूह (और एक कॉक्सेटर समूह) बड़े प्रकार का होता है यदि सभी जनरेटर के लिए $$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$$ के लिए, समूह $$\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)$$ सभी संबद्ध आर्टिन-टिट्स समूहों (मारियो साल्वेट्टी और जियोवन्नी पाओलिनी) के लिए अनुमान की घोषणा की गई थी ).

यह भी देखें

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