Homepage › Solution manuals › Johannes Buchmann › Binary Quadratic Forms › Exercise 3.7.6
Exercise 3.7.6
Determine all primitive representations of by a form of discriminant by the same method that was used in Example 3.1.3.
Answers
Proof. Here and . Using Proposition 3.4.5, we obtain , and
From (3.10), we obtain and , therefore
Write . Then gives a primitive representation of by . Since is prime, all representations of by are primitive. By Proposition 2.6.2, there is only one equivalence class of proper representations of by .
Here is the set of matrices (see (2.20)), given by
where are the roots of , that is
By Exercise 2.9.9, these solutions form a cyclic group of order generated by . Thus , where
This gives
All (primitive) representations of by are given by the first column of these matrices. This gives
Verification: .
Note: As , we can determine all representations of by . That is Exercise 2.9.11. □