Write the generators additively in the <abelianization>. The relators give
$$
x=2a,\qquad y=3b,\qquad c=-a-b,
$$
and
$$
7c+x+y=0.
$$
After substitution, the last relation becomes
$$
5a+4b=0.
$$
The commutator relators disappear automatically, so
$$
G^{\mathrm{ab}}\cong\mathbb Z^2/\langle(5,4)\rangle\cong\mathbb Z,
$$
because $\gcd(5,4)=1$. Explicitly, an isomorphism to $\mathbb Z$ sends
$$
a\longmapsto4,\quad b\longmapsto-5,\quad
c\longmapsto1,\quad x\longmapsto8,\quad y\longmapsto-15.
$$

Solved by gpt-5.6-sol high.

Solution

Past exam of the mathematics course of the University of Cambridge / 2026 / iii / Paper 133 / 3 / a / Solution

 Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2026/iii/paper-133/3/a/solution