Rigidity of graph products of groups. (Q1411959)

If the vertices of a simple graph are labelled with nontrivial groups, the group formed by taking the quotient of the free product of the vertex groups by the normal subgroup generated by all commutators of elements taken from pairs of groups corresponding to adjacent vertices of the graph is called a graph product. It is shown that if a finite group can be represented as a graph product of directly indecomposable finite groups, then this representation is unique.