Skip to main content
2 of 2
I've just improved the math-type of the answer, and I did not change the answer even a little bit. [MathJax]

I think you want to show that in each ideal class the number of ideals of norm a is equal to the number of ideals of norm $a \cdot |D|$. This should follow directly from the following 2 facts.

(1). All primes $p$ dividing $|D|$ ramify in the ring of integers of $\mathbb{Q}(\sqrt{D})$.

(2). The unique ideal of norm $|D|$ (uniqueness and existence follow from (1), taking a little care about the prime $2$) is principal, generated by $\sqrt{D}$.

In view of (1) and (2) the map $J \rightarrow \sqrt{D} \cdot J$ gives the desired bijection.

paul Monsky
  • 5.4k
  • 2
  • 26
  • 45