D ＞ 0 を平方数でない正の有理整数で、D ≡ 0 または 1 (mod 4) と
する。

f = (a, b, c) を判別式 D の簡約２次形式とする。

f のサイクル(>>359) を { f, ρf, . . . , ρ^(m-1)f } とする。
n ≧ 0 のとき (ρ^n)f = f_n
f_n = (a_n, b_n, c_n) とおく。

f のサイクルは { f_0, f_1, . . . , f_(m-1) } である。

>>326 で
φ_FQ((a, b, c)) = ((-b + √D)/2|a|, sign(a)) により
写像 φ_FQ : F(D) → Q+(D) × {±1} を定義した。

θ_n = (-b_n + √D)/2|a_n| とおくと、

φ_FQ(f_n) = (θ_n, sign(a_n)) である。