命題(Cohen: A course in computational algebraic number theory)
R = [1, fω] を２次体 Q(√m) の整環とし、D をその判別式とする。
ax^2 + bxy + cy^2 を判別式 D の２次形式とすると、
>>587 より I = [a, (-b + √D)/2] は R のイデアルである。
このとき、(R : I) = [1, (b + √D)/2a] である。
ここで (R : I) = { z ∈ Q(√m) ; zI ⊂ R } である(前スレ２の441)。

証明
z ∈ (R : I) とする。
za ∈ R と >>590 より z = (x + y√D)/2a となる。
ここで x と y は有理整数で x ≡ yD (mod 2) である。

z(-b + √D)/2 ∈ R より
(x + y√D)(-b + √D)/4a = (-bx + x√D - by√D + yD)/4a
= (-bx + yD + (x - by)√D)/4a ∈ R である。
よって >>590 より以下の３個の関係式が成り立つ。
(1) bx ≡ yD (mod 2a)
(2) x ≡ by (mod 2a)
(3) (-bx + yD)/2a ≡ (x - by)D/2a (mod 2)

(2) より x = by + 2at と書ける。
z = (x + y√D)/2a = (2at + y(b + √D))/2a = t + y(b + √D)/2a
よって z ∈ [1, (b + √D)/2a] である。
よって (R : I) ⊂ [1, (b + √D)/2a] である。

逆の包含関係は γ = (b + √D)/2a とおいたとき、
γ ∈ (R : I) が言えればよい。
γa = (b + √D)/2 において
D ≡ b^2 ≡ b (mod 2) だから >>590 より γa ∈ R である。
γ(-b + √D)/2 = (b + √D)(-b + √D)/4a = (D - b^2)/4a = c ∈ R である。
よって γI ⊂ R となるから γ ∈ (R : I) である。
証明終