定義
２次体 Q(√m) の 部分環 R でその加法群が階数２の自由アーベル
であるものを Q(√m) の整環 (order) と呼ぶ。