zbMATH — the first resource for mathematics

Artin groups of extra-large type are biautomatic. (English) Zbl 0872.20036
Summary: We develop new techniques to work with small cancellation theory diagrams for Artin groups. Using these techniques we examine paths in the Cayley graph of the Artin group. For any Artin group \(G\), with semigroup generators \(\mathcal A\), we define a language \(L(G)\subset{\mathcal A}^*\). The language \(L(G)\) is a set of canonical forms for the Artin group. In the case \(G\) is an Artin group of extra-large type or a two generator Artin group, we analyze the geometry of the small cancellation theory diagrams and show that \(L(G)\) is the language of a biautomatic structure for \(G\).

20F36 Braid groups; Artin groups
20F06 Cancellation theory of groups; application of van Kampen diagrams
20F65 Geometric group theory
20F05 Generators, relations, and presentations of groups
20F10 Word problems, other decision problems, connections with logic and automata (group-theoretic aspects)
Full Text: DOI
[1] Appel, K.I., On Artin groups and Coxeter groups of large type, Contemp. math., 33, 50-78, (1984)
[2] Appel, K.I.; Schupp, P.E., Artin groups and infinite Coxeter groups, Invent. math., 72, 201-220, (1983) · Zbl 0536.20019
[3] Baumslag, G.; Gersten, S.M.; Shapiro, M.; Short, H.B., Automatic groups and amalgams, J. pure. appl. algebra, 76, 229-316, (1991) · Zbl 0749.20006
[4] Charney, R., Artin groups of finite type are biautomatic, Math. ann., 292, 671-683, (1992) · Zbl 0736.57001
[5] Coxeter, H.S.M., The complete enumeration of finite groups of the form Ri2 = (rirj)kij = 1, J. London math. soc., 10, 21-25, (1935) · Zbl 0010.34202
[6] Epstein, D.B.A.; Cannon, J.W.; Levy, S.V.F.; Holt, D.F.; Paterson, M.S.; Thurston, W.P., Word processing in groups, (1992), Jones and Bartkett Boston
[7] Gersten, S.M.; Short, H.B., Small cancellation theory and automatic groups: part I, Invent. math., 102, 305-334, (1990) · Zbl 0714.20016
[8] Gersten, S.M.; Short, H.B., Small cancellation theory and automatic groups: part II, Invent. math., 105, 641-662, (1991) · Zbl 0734.20014
[9] (), 75-264
[10] Hopcroft, J.E.; Ullman, J.D., Introduction to automata theory, languages, and computation, (1979), Addison-Wesley Reading, MA · Zbl 0196.01701
[11] Lyndon, R.; Schupp, P.E., Combinatorial group theory, (1977), Springer Berlin · Zbl 0368.20023
[12] Schupp, P.E., On Dehn’s algorithm and the conjugacy problem, Math. ann., 178, 119-130, (1968) · Zbl 0164.01901
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.