Page "Word problem for groups" Paragraph 8

for G. We need to introduce one letter for x and another ( for convenience ) for the group element represented by x < sup >− 1 </ sup >.

Call these letters ( twice as many as the generators ) the alphabet for our problem.

Then each element in G is represented in some way by a product