, thus it

follows that the free group in two (free) generators.

Now, did you actually mean to write what you did or you meant to give a presentation of the group in the

form ? Because this last is NOT a free group as it has non-trivial torsion elements, so

we get two different groups...or I'm wrong, of course. Check this.

Tonio