定義
２次体 Q(√m) において ω の Q 上のモニックな最小多項式を
f(X) とする(前スレ２の927)。
f(X) の判別式を２次体 Q(√m) の判別式と呼ぶ。