Algorithms and geometry for graph products of groups (Q1345915)

Given a finite simplicial graph \(\Gamma\) with a group \(G_v\) for each vertex \(v\) of \(\Gamma\) the associated graph product \(G(\Gamma)\) is the group generated by each of the vertex groups with the added relations that elements of distinct adjacent vertex groups commute. If the graph consists only of vertices, the graph product is just the free product of the vertex groups. If the graph is complete, that is any two vertices are joined by an edge, the graph product is the direct product. Right angled Coxeter groups \(C(\Gamma)\) (respectively right angled Artin groups \(A(\Gamma))\) are graph products where each vertex group is cyclic of order 2 (respectively infinite cyclic). It is natural to ask which group properties are preserved under taking finite graph products. The authors show that being semi-hyperbolic, being automatic and admitting a complete rewriting system are all properties preserved under forming finite graph products.