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

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

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^{2}t^{2}=t^{2}s^{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}$.
• गोलाकार आर्टिन-टिट समूह के मामले में, समूह मोनोइड के लिए अंशों का एक समूह है, जिससे अध्ययन बहुत आसान हो जाता है। गोलाकार आर्टिन-स्तन समूहों के लिए सकारात्मक रूप से प्रत्येक उपर्युक्त समस्या का समाधान किया जाता है: शब्द और संयुग्मन की समस्याएं निर्णायक हैं, उनका मरोड़ तुच्छ है, केंद्र अलिंदनीय मामले में मोनोजेनिक है, और समूह कोहोलॉजी निर्धारित है (पियरे डेलिग्ने, द्वारा) ज्यामितीय तरीके, एगबर्ट ब्रीस्कोर्न और क्योजी साइट, संयोजी विधियों द्वारा ).
• गोलाकार प्रकार के एक शुद्ध आर्टिन-टिट समूह को परिमित हाइपरप्लेन व्यवस्था के पूरक के मौलिक समूह के रूप में महसूस किया जा सकता है $\mathbb {C} ^{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)$ सभी संबद्ध आर्टिन-स्तन समूहों (मारियो साल्वेट्टी और जियोवन्नी पाओलिनी) के लिए अनुमान की घोषणा की गई थी).

यह भी देखें

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

अग्रिम पठन

• Charney, Ruth (2007), "An introduction to right-angled Artin groups", Geometriae Dedicata, 125 (1): 141–158, arXiv:math/0610668, doi:10.1007/s10711-007-9148-6, MR 2322545
• Godelle, Eddy; Paris, Luis (2012), Basic questions on Artin–Tits groups, CRM Series, vol. 14, Ed. Norm., Pisa, pp. 299–311, doi:10.1007/978-88-7642-431-1_13, ISBN 978-88-7642-430-4, MR 3203644
• McCammond, Jon (2017), "The mysterious geometry of Artin groups", Winter Braids Lecture Notes, 4 (Winter Braids VII (Caen, 2017)): 1–30, doi:10.5802/wbln.17, MR 3922033
• Flores, Ramon; Kahrobaei, Delaram; Koberda, Thomas (2019). "Algorithmic problems in right-angled Artin groups: complexity and applications". Journal of Algebra. 519: 111–129. arXiv:1802.04870. doi:10.1016/j.jalgebra.2018.10.023. MR 3874519.