On Tit's conjecture and other questions concerning Artin and generalized Artin groups

From MaRDI portal
(Redirected from Publication:1096012)





Let \(\Gamma\) be a graph every edge in which is determined by two vertices x, y from the vertex set X not excepting \(x=y\). Suppose that there is a function \(\phi\) which assigns to each edge \(\{\) x,y\(\}\) of \(\Gamma\) a word of the form \((xyx...)(yxy...)^{-1}\), where the two bracketed words have the same length \(>1\). The group G(\(\Gamma\),\(\phi)\) with the presentation \(<X\|\phi\{\) x,y\(\}\), (\(\{\) x,y\(\}\) an edge in \(\Gamma)>\) is called an Artin group. More generally let the function \(\phi\) assign to each edge \(\{\) x,y\(\}\) of \(\Gamma\) a word of the form \(x^{\epsilon_ 1}y^{\delta_ 1}x^{\epsilon_ 2}y^{\delta_ 2}...x^{\epsilon_ n}y^{\delta_ n}\) where \(n\geq 2\), \(| \epsilon_ i| =| \delta_ i| =1\) for \(i=1,2,...,n\). The group \(G=G(\Gamma,\phi)\) defined as above is called a generalized Artin group. The author gives necessary and sufficient conditions for the group \(G=G(\Gamma,\phi)\) to satisfy the small cancellation conditions C(4) and T(4). If it is so then the finitely presented group G(\(\Gamma\),\(\phi)\) has solvable word and conjugacy problems. Also every relation between the elements \(x^ 2\) (x\(\in X)\) is a consequence of the relations \(y^ 2z^ 2=z^ 2y^ 2\) where \(\{\) y,z\(\}\) ranges over all edges of \(\Gamma\) for which \(\phi\{\) y,z\(\}\) is conjugated to one of the words \([y^{\epsilon},z^{\delta}]\), \(| \epsilon | =| \delta | =1\), or \((st)^ 2(st^{-1})^ 2\).











This page was built for publication: On Tit's conjecture and other questions concerning Artin and generalized Artin groups

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1096012)