Abstract:
A partially commutative group is a group defined by generators and relations so that all defining relations are of the form: the commutators of some pairs of generators equal the identity element. We consider an algorithm for checking whether a given element of the group is a commutator, generalizing Wicks's theorem for free groups.
Keywords:equations in groups, partially commutative groups.