I've following task:
Prove that every free group is torsion-free and is non-abelian if its rank is .
The second part is easy.
What about the first part? I think that we should suppose that this free group is torsion (but I'm not sure).
Thanks for any help.