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

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*/D/$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 Q(root(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 root (D).

(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.(1) and 2. the map J --> root(D2) * Jthe map $J \rightarrow \sqrt{D} \cdot J$ gives the desired bijection.

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*/D/. This should follow directly from the following 2 facts.

  1. All primes p dividing /D/ ramify in the ring of integers of Q(root(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 root (D).

In view of 1. and 2. the map J --> root(D) * J gives the desired bijection.

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.

Source Link
paul Monsky
  • 5.4k
  • 2
  • 26
  • 45

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*/D/. This should follow directly from the following 2 facts.

  1. All primes p dividing /D/ ramify in the ring of integers of Q(root(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 root (D).

In view of 1. and 2. the map J --> root(D) * J gives the desired bijection.