2.II.11C
Part IB, 2005
Let be the abelian group generated by two elements , subject to the relation . Give a rigorous explanation of this statement by defining as an appropriate quotient of a free abelian group of rank 2. Prove that itself is not a free abelian group, and determine the exact structure of .