Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2005/ib/paper-2/11c/solution

Let and . The precise presented group is , with and . It is abelian and has exactly the imposed additive relation and its integer multiples.
Change the integral basis to , . The change-of-basis determinant is , so these are a basis of the free abelian group. Explicitly, and . The relation generator becomes . Therefore
The image of is nonzero, since is not an integer multiple of , but three times it vanishes. Thus has an element of exact order three. A free abelian group has no nonzero finite-order element, so is not free abelian.

New to topics? Read the docs here!