Homepage › Solution manuals › Johannes Buchmann › Binary Quadratic Forms › Exercise 2.9.4
Exercise 2.9.4
Show that for any pair of integers with there is a matrix with first column and determinant . Also show that the set of all such matrices is the -orbit of any such matrix .
Answers
Proof. Write . By Bézout’s theorem, , there is a pair of integers such that , and , because .
Then the matrix , whose first column is , satisfies .
If is any matrix in with first column such that , then . Using , we obtain
that is where . Therefore , thus there is some such that . If we substitute this value in (1), we obtain
If , then
Therefore
But there is no necessity that . For instance, if and , with determinant , are not in the same -orbit, since
thus
To obtain the result of the sentence, we must assume that . This is sufficient to achieve the proof of Proposition 2.6.2.
Then, in the case ,
and
so that is in the -orbit of (where acts on by right multiplication).
If , since , . Then there is some such that
thus is in the -orbit of .
Conversely, if is in the -orbit of , that is for some , then the first column of is , and .
The set of matrixes with determinant , whose first column is , is the -orbit of any such matrix. □