The free group FS is defined to be the group of all reduced words in S, with concatenation of words (followed by reduction if necessary) as group operation.
A word is called cyclically reduced, if its first and last letter are not inverse to each other.