Paper 4, Section I, G

Number Theory
Part II, 2009

Let WW denote the set of all positive definite binary quadratic forms, with integer coefficients, and having discriminant 67-67. Let SL2(Z)S L_{2}(\mathbb{Z}) be the group of all 2×22 \times 2 matrices with integer entries and determinant 1. Prove that WW is infinite, but that all elements of WW are equivalent under the action of the group SL2(Z)S L_{2}(\mathbb{Z})