>>605 で 写像 Ψ : C(D) → Ker(χ)/H を定義した。

>>615 より C(D) と G(D) は集合として同型である。
この同型により C(D) と G(D) を同一視すると
写像 G(D) → Ker(χ)/H が得られる。
記号の濫用だが、この写像を同じ記号 Ψ で書くことにする。

Ψ : G(D) → Ker(χ)/H を具体的に決定しよう。