Algorithms and Geometry for Graph Products of Groups

Recent work of Gromov, Epstein, Cannon, Thurston and many others has generated strong interest in the geometric and algorithmic structure of finitely generated infinite groups. (See [16],[17] and [14].) Many of these structures are preserved by taking graph products. The graph product of groups (not to be confused with the fundamental group of a graph of groups) is a product mixing direct and free products. Whether the product between two groups in the graph product is free or direct is determined by a simplicial graph. Given a simplicial graph we say that two vertices are adjacent if they are joined by a single edge.