>>351 の Φ を Φ_0 と書くことにする。
>>351 より 0 ≦ i ≦ e - 1 のとき Φ_0(η_i) ∈ F である。
Φ_0(η_i) = v_i とおく。

>>353 より 1 ≦ i ≦ e - 1 のとき、ω^r^i は g_i(X) の根だから
>>351 と同様に Z[ζ] から F(ω) への環としての準同型写像 Φ_i
で Φ_i(ζ) = ω^r^i となるものが(ただ1つ)ある。

Φ_1(η_0) = Φ_1(ζ + ζ^r^e + ... + ζ^r^((f-1)e))
= ω^r + ω^r^(e+1) + ... + ω^r^((f-1)e + 1)
= v_1

Φ_1(η_1) = v_2
.
.
Φ_1(η_(e-1)) = v_0

となる。
つまり Φ_1 は 列 (η_0, η_1, ..., η_(e-1)) を
列 (v_1, v_2, ..., v_0) に写す。

同様にして、
Φ_2 は 列 (η_0, η_1, ..., η_(e-1)) を
列 (v_2, v_3, ..., v_1) に写す。

以下同様にして、
Φ_(e-1) は 列 (η_0, η_1, ..., η_(e-1)) を
列 (v_(e-1), v_0, ..., v_(e-2)) に写す。