Groups with a complemented presentation (Q678835)

A presentation of a group is said to be right complemented if for any two generators \(x\) and \(y\), there exists one relation of the form \(xu=yv\), where \(u\) and \(v\) are finite products of generators, and furthermore any relation in the presentation is such a relation. Artin's braid groups are an important example. The author investigates such groups and presents a simple quadratic algorithm for solving their word problem.