 The exposition below largely follows Ch.V of the book of Lyndon and Schupp.Let
be a group presentation where "R" ⊆ "F"("X") is a set of freely reduced and cyclically reduced words in the free group "F"("X") such that "R" is "symmetrized", that is, closed under taking cyclic permutations and inverses.