For , let us write some elements:
word length : words
Note that for odd-length-words, like we have: ,
but for even-length-words, like , we have: .
So, this group has infinite many elements of order two and the even-length words form a subgroup, , isomorphic to the group of the integers, and its index is .