Hi,

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.