命題
R = [1, fω] を２次体 Q(√m) の整環とし、
I ≠ 0 を R の分数イデアルとする。
I = [α, β] を I のある基底による表示とする(>>167)。

d(I) = Δ(α, β)^2 と書き、これを I の判別式という。

>>174 より、d(I) = (N(I)^2)d(R) だからこれは基底 α, β の
取り方によらない。
d(I) は０でない有理数である。