Given the Free group on a set , it is the case that has no [torsion_group_theory torsion] elements. That is, every element has infinite order except for the Identity element.
Proof
Recall that we can view every element of the free group as being a Freely reduced word whose letters are elements of . Also the group operation is "concatenation of words, followed by free reduction". It is certainly intuitively plausible that if we repeatedly concatenate a word with more copies of itself, and then perform free reduction, we will never reach the empty word; this is what we shall prove. The cancellations in the process of free reduction are everything here, because the only way the powers of a word can get shorter (and hence the only way the powers of a word can ever come to the empty word) is by those cancellations. So we are going to have to analyse the behaviour of words at their start and ends, because when we take powers of a word, the start and end are the places where cancellation may happen.
We will say a word is cyclically reduced if it is not only freely reduced, but also it is "freely reduced if we rotate the word round one place". Formally, a freely reduced word is cyclically reduced if and only if . This captures the idea that "the word doesn't admit any cancellation when we take powers of it".
%%hidden(Examples): [todo: some examples of words which are cyclically reduced and some which are not] %%
Now, every freely reduced word may be written as where is a freely reduced word and is a cyclically reduced word, and there is no cancellation between , and . This is easily proved by Mathematical induction on the length of : it is immediate if is already cyclically reduced (letting the empty word, and ), while if is not cyclically reduced then it is for some letter and some freely reduced word . But then by the inductive hypothesis (since is shorter than ), may be written as where is cyclically reduced; so as required.
Moreover, this decomposition is unique, since if then ; but is cyclically reduced so there are only two ways to prevent cancellation:
- is the identity, whereupon is cyclically reduced, so (by freely-reducedness of ) we have as well, and .
- is not the identity but it entirely cancels with something in ; hence is a sub-word of . But by symmetry, is a sub-word of , so they are the same (because without loss of generality is also not the identity); and therefore .
Finally, to complete the proof that the free group is torsion-free, simply take a putative word whose order is finite. Express it uniquely as as above; then which is expected to become the empty word after free reduction. But we already know there is no cancellation between and and , so there cannot be any cancellation between either, and by the cyclically-reduced nature of , our power is actually freely reduced already. Hence our power of the word is emphatically not the empty word.