訂正：

>>394
>2) Hom(A, Ω)

これは
2) Hom(A, F) の間違い。

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