आर्टिन-टिट समूह: Difference between revisions

From Vigyanwiki
No edit summary
No edit summary
Line 60: Line 60:
=== समकोण आर्टिन समूह ===
=== समकोण आर्टिन समूह ===


* एक आर्टिन-स्तन समूह को समकोण कहा जाता है यदि कॉक्सेटर मैट्रिक्स के सभी गुणांक या तो हैं <math>2</math> या <math>\infty</math>, यानी, सभी संबंध रूपान्तरण संबंध हैं <math> st = ts</math>. नाम (मुक्त) आंशिक रूप से क्रमविनिमेय समूह, ग्राफ समूह, ट्रेस समूह, सेमीफ्री समूह या यहां तक ​​कि स्थानीय रूप से मुक्त समूह भी आम हैं।
* एक आर्टिन-टिट्स समूह को समकोण कहा जाता है अगर कोआक्सेटर मैट्रिक्स के सभी संख्याओं का या तो <math>2</math> होता है या अनंत <math>\infty</math>, र्थात सभी संबंध आपस में आपसी सम्बन्ध होते हैं <math> st = ts</math>. (स्वतंत्र) आंशिक आपसी संबंध समूह, ग्राफ समूह, ट्रेस समूह, अर्ध-स्वतंत्र समूह या स्थानीय स्वतंत्र समूह भी सामान्य नाम हैं।
* आर्टिन-टिट समूहों के इस वर्ग के लिए, आमतौर पर एक अलग लेबलिंग योजना का उपयोग किया जाता है। कोई भी [[ग्राफ (असतत गणित)]] <math>\Gamma</math> पर <math>n</math> शीर्षों को लेबल किया गया <math>1, 2, \ldots, n</math> एक मैट्रिक्स परिभाषित करता है <math>M</math>, जिसके लिए <math>m_{s, t} = 2</math> यदि शिखर <math>s</math> और <math>t</math> में किनारे से जुड़े हुए हैं <math>\Gamma</math>, और <math>m_{s, t} = \infty</math> अन्यथा।
* इस श्रेणी के आर्टिन-टिट्स समूहों के लिए एक विभिन्न लेबलिंग योजना आमतौर पर प्रयुक्त होती है। किसी भी [[ग्राफ (असतत गणित)]] <math>\Gamma</math> पर <math>n</math> शीर्षों को लेबल किया गया <math>1, 2, \ldots, n</math> को  एक मैट्रिक्स <math>M</math> परिभाषित करता है , जिसके लिए <math>m_{s, t} = 2</math> होता है यदि शिखर <math>s</math> और <math>t</math> ग्राफ  <math>\Gamma</math>, में एक एज से जुड़े हों, और <math>m_{s, t} = \infty</math> होता है अन्यथा।
* समकोण वाले आर्टिन-टिट समूहों के वर्ग में परिमित रैंक के मुक्त समूह शामिल हैं, जो बिना किनारों वाले ग्राफ के अनुरूप हैं, और पूर्ण रूप से उत्पन्न मुक्त एबेलियन समूह, एक पूर्ण ग्राफ के अनुरूप हैं। रैंक r के प्रत्येक समकोण आर्टिन समूह को रैंक के समकोण आर्टिन समूह के HNN विस्तार के रूप में बनाया जा सकता है <math>r - 1</math>, चरम मामलों के रूप में समूहों के [[मुफ्त उत्पाद]] और प्रत्यक्ष उत्पाद के साथ। इस निर्माण के एक सामान्यीकरण को [[समूहों का ग्राफ]] कहा जाता है। एक समकोण आर्टिन समूह इस उत्पाद का एक विशेष मामला है, जिसमें ग्राफ-उत्पाद के प्रत्येक शीर्ष/ऑपरेंड रैंक एक ([[अनंत चक्रीय समूह]]) का एक मुक्त समूह है।
* समकोण वाले आर्टिन-टिट समूहों के वर्ग में परिमित रैंक के मुक्त समूह शामिल हैं, जो बिना किनारों वाले ग्राफ के अनुरूप हैं, और पूर्ण रूप से उत्पन्न मुक्त एबेलियन समूह, एक पूर्ण ग्राफ के अनुरूप हैं। रैंक r के प्रत्येक समकोण आर्टिन समूह को रैंक <math>r - 1</math> के समकोण आर्टिन समूह के HNN विस्तार के रूप में बनाया जा सकता है , चरम मामलों के रूप में समूहों के [[मुफ्त उत्पाद]] और प्रत्यक्ष उत्पाद के साथ। इस निर्माण के एक सामान्यीकरण को [[समूहों का ग्राफ]] कहा जाता है। एक समकोण आर्टिन समूह इस उत्पाद का एक विशेष मामला है, जिसमें ग्राफ-उत्पाद के प्रत्येक शीर्ष/ऑपरेंड रैंक एक ([[अनंत चक्रीय समूह]]) का एक मुक्त समूह है।
* एक समकोण आर्टिन-स्तन समूह की शब्द और संयुग्मन समस्याएं निर्णायक हैं, पूर्व रैखिक समय में, समूह मरोड़ मुक्त है, और एक स्पष्ट सेलुलर परिमित है <math>K(\pi, 1)</math> (जॉन क्रिस्प, एड्डी गोडेल और बर्ट वाइस्ट<ref>{{citation | last1 = Crisp | first1 = John | last2 = Godelle | first2 = Eddy | last3 = Wiest | first3 = Bert | title = The conjugacy problem in subgroups of right-angled Artin groups | journal = [[Journal of Topology]] | volume = 2 | year = 2009 | number = 3 | pages =  442–460 | doi = 10.1112/jtopol/jtp018 | mr = 2546582}}</ref>).
* समकोण आर्टिन-स्तन समूह की शब्द और संयुग्मन समस्याएं निर्णायक हैं, पूर्व रैखिक समय में, समूह मरोड़ मुक्त है, और एक स्पष्ट सेलुलर परिमित <math>K(\pi, 1)</math> है (जॉन क्रिस्प, एड्डी गोडेल और बर्ट वाइस्ट<ref>{{citation | last1 = Crisp | first1 = John | last2 = Godelle | first2 = Eddy | last3 = Wiest | first3 = Bert | title = The conjugacy problem in subgroups of right-angled Artin groups | journal = [[Journal of Topology]] | volume = 2 | year = 2009 | number = 3 | pages =  442–460 | doi = 10.1112/jtopol/jtp018 | mr = 2546582}}</ref>).
* प्रत्येक समकोण आर्टिन–स्तन समूह एक परिमित-आयामी [[CAT(0)]] घन परिसर, इसके साल्वेट्टी परिसर पर स्वतंत्र रूप से और सहसंबद्ध रूप से कार्य करता है। एक आवेदन के रूप में, समूहों के दिए गए परिमित गुणों के साथ समूहों का निर्माण करने के लिए समकोण आर्टिन समूहों और उनके साल्वेट्टी परिसरों का उपयोग कर सकते हैं (Mladen Bestvina और Noel Brady <ref>{{citation | last1 = Bestvina | first1 = Mladen | author1-link=Mladen Bestvina| last2 = Brady | first2 = Noel | title = Morse theory and finiteness properties of groups | journal = [[Inventiones Mathematicae]] | date = 1997 | volume = 129 | number = 3 | pages = 445–470 | doi = 10.1007/s002220050168 | mr = 1465330| bibcode = 1997InMat.129..445B }}</ref>) यह भी देखें (इयान लेरी <ref>{{citation | last1 = Leary | first1 = Ian | title = Uncountably many groups of type FP | journal = [[Proceedings of the London Mathematical Society]] | date = 2018 | volume = 117 | number = 2 | pages = 246-276 | doi = 10.1112/plms.12135 | mr = 3851323 | doi-access = free }}</ref>).
* प्रत्येक समकोण आर्टिन–स्तन समूह एक परिमित-आयामी [[CAT(0)]] घन परिसर, इसके साल्वेट्टी परिसर पर स्वतंत्र रूप से और सहसंबद्ध रूप से कार्य करता है। एक आवेदन के रूप में, समूहों के दिए गए परिमित गुणों के साथ समूहों का निर्माण करने के लिए समकोण आर्टिन समूहों और उनके साल्वेट्टी परिसरों का उपयोग कर सकते हैं (म्लादेन बेस्टविना और नोएल ब्रेडी <ref>{{citation | last1 = Bestvina | first1 = Mladen | author1-link=Mladen Bestvina| last2 = Brady | first2 = Noel | title = Morse theory and finiteness properties of groups | journal = [[Inventiones Mathematicae]] | date = 1997 | volume = 129 | number = 3 | pages = 445–470 | doi = 10.1007/s002220050168 | mr = 1465330| bibcode = 1997InMat.129..445B }}</ref>) यह भी देखें (इयान लेरी <ref>{{citation | last1 = Leary | first1 = Ian | title = Uncountably many groups of type FP | journal = [[Proceedings of the London Mathematical Society]] | date = 2018 | volume = 117 | number = 2 | pages = 246-276 | doi = 10.1112/plms.12135 | mr = 3851323 | doi-access = free }}</ref>).


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


* एक आर्टिन-स्तन समूह (और एक कॉक्सेटर समूह) को बड़े प्रकार का कहा जाता है यदि <math>m_{s, t} \geqslant 3</math> सभी जनरेटर के लिए <math> s \neq t</math>; इसे अतिरिक्त-बड़े प्रकार का कहा जाता है <math>m_{s, t} \geqslant 4</math> सभी जनरेटर के लिए <math> s \neq t</math>.
* आर्टिन-स्तन समूह (और एक कॉक्सेटर समूह) बड़े प्रकार का होता है अगर सभी जनरेटर के लिए <math>m_{s, t} \geqslant 3</math> है, जहां <math> s \neq t</math>; यह अतिरिक्त-बड़े प्रकार का होता है अगर सभी जनरेटर के लिए  <math>m_{s, t} \geqslant 4</math> जहां  <math> s \neq t</math>.
* अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह छोटे रद्दीकरण सिद्धांत के लिए पात्र हैं। एक आवेदन के रूप में, अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह [[मरोड़ (बीजगणित)]] -मुक्त हैं और हल करने योग्य संयुग्मन समस्या है ([[केनेथ एपल]] और पॉल शूप<ref>{{citation | last1 = Appel | first1 = Kenneth I. | first2 = Paul E. | last2 = Schupp | title = Artin Groups and Infinite Coxeter Groups | journal = [[Inventiones Mathematicae]] | volume = 72 | number = 2 | pages = 201–220 | year=1983 | doi=10.1007/BF01389320 | mr = 700768| bibcode = 1983InMat..72..201A }}</ref>).
* अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह छोटे रद्दीकरण सिद्धांत के लिए पात्र हैं। एक अनुप्रयोग के रूप में, अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह [[मरोड़ (बीजगणित)]] -मुक्त हैं और समाधान विधि समस्या सम्भव है ([[केनेथ एपल]] और पॉल शूप<ref>{{citation | last1 = Appel | first1 = Kenneth I. | first2 = Paul E. | last2 = Schupp | title = Artin Groups and Infinite Coxeter Groups | journal = [[Inventiones Mathematicae]] | volume = 72 | number = 2 | pages = 201–220 | year=1983 | doi=10.1007/BF01389320 | mr = 700768| bibcode = 1983InMat..72..201A }}</ref>).
* अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह द्विस्वचालित होते हैं (डेविड पीफर<ref>{{citation | last = Peifer | first = David | title = Artin groups of extra-large type are biautomatic | journal = [[Journal of Pure and Applied Algebra]] | volume = 110 | number = 1 | pages = 15–56 | year=1996 | doi = 10.1016/0022-4049(95)00094-1 | mr = 1390670| doi-access = free }}</ref>).
* अतिरिक्त-बड़े प्रकार के आर्टिन-स्तन समूह द्विस्वचालित होते हैं (डेविड पीफर<ref>{{citation | last = Peifer | first = David | title = Artin groups of extra-large type are biautomatic | journal = [[Journal of Pure and Applied Algebra]] | volume = 110 | number = 1 | pages = 15–56 | year=1996 | doi = 10.1016/0022-4049(95)00094-1 | mr = 1390670| doi-access = free }}</ref>).
* बड़े प्रकार के आर्टिन समूह नियमित जियोडेसिक्स (डेरेक होल्ट और सारा रीस) के साथ शॉर्टलेक्स स्वचालित होते हैं<ref>{{cite journal | last1 = Holt | first1 = Derek | last2 = Rees | first2 = Sarah | author2-link=Sarah Rees| title = बड़े प्रकार के आर्टिन समूह नियमित जियोडेसिक्स के साथ शॉर्टलेक्स स्वचालित होते हैं| journal = [[Proceedings of the London Mathematical Society]] | volume = 104 | number = 3 | pages = 486–512 | year = 2012 | doi = 10.1112/plms/pdr035 | mr = 2900234| arxiv = 1003.6007 }}</ref>).
* बड़े प्रकार के आर्टिन समूह नियमित जियोडेसिक्स (डेरेक होल्ट और सारा रीस) के साथ शॉर्टलेक्स स्वचालित होते हैं<ref>{{cite journal | last1 = Holt | first1 = Derek | last2 = Rees | first2 = Sarah | author2-link=Sarah Rees| title = बड़े प्रकार के आर्टिन समूह नियमित जियोडेसिक्स के साथ शॉर्टलेक्स स्वचालित होते हैं| journal = [[Proceedings of the London Mathematical Society]] | volume = 104 | number = 3 | pages = 486–512 | year = 2012 | doi = 10.1112/plms/pdr035 | mr = 2900234| arxiv = 1003.6007 }}</ref>).
Line 75: Line 75:
=== अन्य प्रकार ===
=== अन्य प्रकार ===


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


* एक आर्टिन-स्तन समूह <math>\langle S \mid R \rangle</math> कहा जाता है कि प्रत्येक उपसमुच्चय के लिए एफसी प्रकार (फ्लैग कॉम्प्लेक्स) का होना चाहिए <math>S'</math> का <math>S</math> ऐसा है कि <math>m_{s, t} \neq \infty</math> सभी के लिए <math>s, t</math> में <math>S'</math>, समूह <math>\langle S' \mid R \cap S'{}^2 \rangle</math> गोलाकार प्रकार का होता है। इस तरह के समूह कैट (0) क्यूबिकल कॉम्प्लेक्स पर सहसंबद्ध रूप से कार्य करते हैं, और इसके परिणामस्वरूप, कोई भी अपने तत्वों के लिए एक तर्कसंगत सामान्य रूप पा सकता है और शब्द समस्या का समाधान निकाल सकता है (जो अल्टोबेली और चार्नी <ref>{{citation | last1 = Altobelli | first1 = Joe | last2 = Charney | first2 = Ruth | author2-link=Ruth Charney|title = A geometric rational form for Artin groups of FC type | journal = [[Geometriae Dedicata]] | volume = 79 | number = 3 | pages = 277–289 | year = 2000 | doi = 10.1023/A:1005216814166 | mr = 1755729}}</ref>). मल्टीफ्रैक्शन रिडक्शन द्वारा एक वैकल्पिक सामान्य रूप प्रदान किया जाता है, जो गोलाकार मामले में एक इरेड्यूसिबल अंश द्वारा अभिव्यक्ति को सीधे विस्तारित करके एक इरेड्यूसिबल मल्टीफ़्रेक्शन द्वारा एक अनूठी अभिव्यक्ति देता है (डेहॉर्नॉय<ref>{{citation | last = Dehornoy | first = Patrick | authorlink=Patrick Dehornoy| title = Multifraction reduction I: The 3-Ore case and Artin–Tits groups of type FC | journal = Journal of Combinatorial Algebra | volume = 1 | number = 2 | pages = 185–228 | year = 2017 | doi = 10.4171/JCA/1-2-3 | mr = 3634782| arxiv = 1606.08991 }}</ref>).
* आर्टिन-स्तन समूह <math>\langle S \mid R \rangle</math> प्रकार कहलाता है ("फ़्लैग कॉम्प्लेक्स"), यदि हर ऐसे उपसमूह <math>S'</math> के लिए, जहां <math>S</math> का उपसमूह है जिसके लिए  <math>m_{s, t} \neq \infty</math> सभी <math>s, t</math> के लिए, समूह <math>\langle S' \mid R \cap S'{}^2 \rangle</math> गोलाकार प्रकार का होता है। इस तरह के समूह कैट (0) क्यूबिकल कॉम्प्लेक्स पर सहसंबद्ध रूप से कार्य करते हैं, और इसके परिणामस्वरूप, उनके तत्वों के लिए एक तार्किक सामान्य रूप ढूंढ़ना संभव है और शब्द समस्या का एक समाधान निकाला जा सकता है (जो अल्टोबेली और चार्नी <ref>{{citation | last1 = Altobelli | first1 = Joe | last2 = Charney | first2 = Ruth | author2-link=Ruth Charney|title = A geometric rational form for Artin groups of FC type | journal = [[Geometriae Dedicata]] | volume = 79 | number = 3 | pages = 277–289 | year = 2000 | doi = 10.1023/A:1005216814166 | mr = 1755729}}</ref>). वैकल्पिक सामान्य रूप स्थानीय आकरण द्वारा प्रदान किया जाता है, जो किसी गोलाकार मामले में एक गोलाकार भिन्न मामले में एक अभेद्य भिन्न द्वारा विस्तृत अभिव्यक्ति प्रदान करता है (डेहॉर्नॉय<ref>{{citation | last = Dehornoy | first = Patrick | authorlink=Patrick Dehornoy| title = Multifraction reduction I: The 3-Ore case and Artin–Tits groups of type FC | journal = Journal of Combinatorial Algebra | volume = 1 | number = 2 | pages = 185–228 | year = 2017 | doi = 10.4171/JCA/1-2-3 | mr = 3634782| arxiv = 1606.08991 }}</ref>).
* एक आर्टिन-स्तन समूह को एफ़िन प्रकार का कहा जाता है यदि संबद्ध कॉक्सेटर समूह एफ़िन कॉक्सेटर समूह है। वे चार अनंत परिवारों के विस्तारित डायनकिन आरेखों के अनुरूप हैं <math>\widetilde{A}_n</math> के लिए <math>n \geqslant 1</math>, <math>\widetilde{B}_n</math>, <math>\widetilde{C}_n</math> के लिए <math>n \geqslant 2</math>, और <math>\widetilde{D}_n</math> के लिए <math>n \geqslant 3</math>, और पाँच छिटपुट प्रकारों में से <math>\widetilde{E}_6</math>, <math>\widetilde{E}_7</math>, <math>\widetilde{E}_8</math>, <math>\widetilde{F}_4</math>, और <math>\widetilde{G}_2</math>. एफ़िन आर्टिन-स्तन समूह यूक्लिडियन प्रकार के होते हैं: संबद्ध कॉक्सेटर समूह एक यूक्लिडियन स्थान पर ज्यामितीय रूप से कार्य करता है। परिणामस्वरूप, उनका केंद्र तुच्छ है, और उनकी शब्द समस्या निर्णायक है (जॉन मैककैमोंड और रॉबर्ट सल्वे <ref>{{citation | last1 = McCammond | first1 = Jon | last2 = Sulway | first2 = Robert | title = Artin groups of Euclidean type | journal = [[Inventiones Mathematicae]] | volume = 210 | year = 2017 | number = 1 | pages = 231–282 | doi = 10.1007/s00222-017-0728-2 | mr = 3698343| bibcode = 2017InMat.210..231M }}</ref>). 2019 में, इसका एक प्रमाण <math>K(\pi, 1)</math> सभी संबद्ध आर्टिन-स्तन समूहों (मारियो साल्वेट्टी और जियोवन्नी पाओलिनी) के लिए अनुमान की घोषणा की गई थी<ref>{{citation | last1 = Paolini | first1 = Giovanni | last2 = Salvetti | first2 = Mario | title = Proof of the <math>K(\pi, 1)</math> conjecture for affine Artin groups | date = 2019 | arxiv= 1907.11795}}</ref>).
* आर्टिन-स्तन समूह का आफ़िन प्रकार कहलाता है यदि संबंधित कॉक्सेटर समूह आफ़िन है। ये चार अनंत परिवारों के विस्तृत डिंकिन आरेखिक चित्रों के समरूप हैं: <math>\widetilde{A}_n</math> के लिए <math>n \geqslant 1</math>, <math>\widetilde{B}_n</math>, <math>\widetilde{C}_n</math> के लिए <math>n \geqslant 2</math>, और <math>\widetilde{D}_n</math> के लिए <math>n \geqslant 3</math>, और और पांच छटपटानी प्रकारों के विस्तृत डिंकिन आरेखिक चित्रों के समरूप हैं: <math>\widetilde{E}_6</math>, <math>\widetilde{E}_7</math>, <math>\widetilde{E}_8</math>, <math>\widetilde{F}_4</math>, और <math>\widetilde{G}_2</math>. आफ़िन आर्टिन-स्तन समूह यूक्लिडियन प्रकार के होते हैं: संबंधित कॉक्सेटर समूह एक यूक्लिडियन स्थान पर ज्यामितिय रूप से कार्य करता है। इसके परिणामस्वरूप, इनका केंद्र शून्य होता है, और उनकी शब्द समस्या हल की जा सकती है (जॉन मैककैमंड और रॉबर्ट सल्वे <ref>{{citation | last1 = McCammond | first1 = Jon | last2 = Sulway | first2 = Robert | title = Artin groups of Euclidean type | journal = [[Inventiones Mathematicae]] | volume = 210 | year = 2017 | number = 1 | pages = 231–282 | doi = 10.1007/s00222-017-0728-2 | mr = 3698343| bibcode = 2017InMat.210..231M }}</ref>). 2019 में, इसका एक प्रमाण <math>K(\pi, 1)</math> सभी संबद्ध आर्टिन-स्तन समूहों (मारियो साल्वेट्टी और जियोवन्नी पाओलिनी) के लिए अनुमान की घोषणा की गई थी<ref>{{citation | last1 = Paolini | first1 = Giovanni | last2 = Salvetti | first2 = Mario | title = Proof of the <math>K(\pi, 1)</math> conjecture for affine Artin groups | date = 2019 | arxiv= 1907.11795}}</ref>).


== यह भी देखें ==
== यह भी देखें ==

Revision as of 20:44, 26 April 2023

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

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


परिभाषा

आर्टिन-स्तन प्रस्तुति एक समूह प्रस्तुति है जिसमें रूप में लिखा जाता है, यहां जनरेटर का एक (आमतौर पर परिमित) सेट है और आर्टिन-टिट संबंधों का एक सेट है, अर्थात् प्रपत्र के संबंध विशिष्ट के लिए में , जहां दोनों पक्षों की समान लंबाई होती है, और अलग-अलग जनरेटर की प्रत्येक जोड़ी के लिए अधिकतम एक संबंध मौजूद होता है . एक आर्टिन-स्तन समूह एक ऐसा समूह है जो एक आर्टिन-स्तन प्रस्तुति को स्वीकार करता है। इसी तरह, एक आर्टिन-टिट मोनोइड एक मोनोइड है, जो एक मोनोइड के रूप में, एक आर्टिन-टिट प्रस्तुति को स्वीकार करता है।

वैकल्पिक रूप से, एक आर्टिन-स्तन समूह को जनरेटर के सेट द्वारा निर्दिष्ट किया जा सकता है और, प्रत्येक के लिए में , प्राकृतिक संख्या वह शब्दों की लंबाई है और ऐसा है कि जोड़ने वाला संबंध है और , यदि कोई। अधिवेशन द्वारा, एक डालता है जब कोई संबंध नहीं है . औपचारिक रूप से, यदि हम परिभाषित करते हैं के एक वैकल्पिक उत्पाद को निरूपित करने के लिए और लंबाई का , इसके साथ शुरुआत