R = [1, fω] を実２次体 Q(√m) の整環とし、D ＞ 0 をその判別式
とする。

>>253 より F_0(D)/Γ と Cl+(D) は集合として同型である。

では広義のイデアル類群 Cl(D) は F_0(D) とどのような関係に
あるのだろうか？
この問題について考えてみる。