>>361 の続き。

φを Hom(Z[ζ], Ω)の元で、φを A に制限したものは α で
あるとする。P(ζ) = 0 だから φ(P(ζ)) = g(φ(ζ)) = 0 である。
よって φ(ζ) は g(X) の Ω における根である。
よって、>>358 より φ と ψ は同値である。つまり
Ker(φ) = Ker(ψ) である。

>>351 より Φ を Hom(Z[ζ], Ω) の任意の元とすると、
Φ(A) = F である。

Hom(Z[ζ], Ω) を >>358 の同値関係 〜 で類別した商集合を
Hom(Z[ζ], Ω)/〜 と書く。

以上から Hom(A, Ω) の元と Hom(Z[ζ], Ω)/〜 の元は一対一に
対応する。