8
$\begingroup$

I'm studying the classic results on binary (integer) quadratic forms and I'm looking for a reference on the following result (maybe a book that contains a proof):

Let $O_k$ be the ring of algebraic integers of $Q(\sqrt{d})$. In the set of ideals of $O_k$, we define the equivalence relation $I \sim J \Leftrightarrow \exists a,b : (a)I=(b)J$ where $(a)$ is the ideal generated by $a$. Then, the equivalence classes of $\sim$ form a group $G$ with the usual multiplication of ideals. Furthermore, $|G|=h(d)$, where $h(d)$ is the class number.

The definition I've read for $h(d)$ is the number of equivalence classes of quadratic forms with discriminant $d$ for the equivalence relation $f \sim g \Leftrightarrow f(x,y)=g(px+qy,rx+sy)$ with $ps-qr=1$.

If someone could give me a good reference in this nice connection I would be really grateful.

$\endgroup$
4
  • 3
    $\begingroup$ Does math.stackexchange.com/questions/410184/… answer your question? $\endgroup$
    – S. Carnahan
    Feb 18, 2014 at 0:05
  • $\begingroup$ have you checked Cohen's a course in computational algebraic number theory? $\endgroup$ Feb 18, 2014 at 22:07
  • 1
    $\begingroup$ See Theorem 5.30 of Cox's book on Primes of the form $x^2+ny^2$. The book in general discusses lots of things on binary quadratic forms and algebraic number theory. $\endgroup$
    – Lucia
    Feb 18, 2014 at 22:15
  • 2
    $\begingroup$ Your definition needs to require $a$ and $b$ nonzero... $\endgroup$ Feb 18, 2014 at 22:16

2 Answers 2

6
$\begingroup$

There is a concise account in the Appendix of these notes.

$\endgroup$
4
$\begingroup$

A very thorough (although a bit dense) modern treatment is given in the article of Einsiedler, Lindenstrauss, Michel and Venkatesh about the ergodic theoretical proof of Duke's theorem (which is not unrelated to Gergely's notes) - http://www.ma.huji.ac.il/~elon/Publications/Erg-Duke.pdf.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.