I'm given the following:
This is a group presentation whose rigorous definition has something to do with quotient groups of free groups, or some such. However, I am only given the following non-rigorous definition:
is the group generated by the objects
, which are known to satisfy the following relations:
is the identity).
I'm then asked to find the order of the cyclic subgroup generated by . In other words, what is the order of ?
I just don't know how to make this work. Obviously the answer is , but I don't know how to prove that from the available information. In fact, I suspect I may have somehow missed something. You can download a pdf of the textbook chapter here (the entire book can be had here, but it's in an unusual format called *.djvu). The exercise in question is #8 from that section (1.2).
Thanks in advance!