22/12/10 14:48:03.71 dZ9h00o/.net
>>564
一点だけ。
「ガロア群G上の函数」が定義されてませんでしたね。
これは「Gが作用している体Kの数」になります。
σ∈G, ξ∈K に対して
σ(ξ)と作用するわけですが、これを逆に見て
σ(ξ)を函数ξのG上の値 と見ればOK.
つまり、ξ(σ)とも書けますね。ξ(e)=ξ.
（通常は、ξ^σ のように書く。）
22/12/10 14:48:03.71 dZ9h00o/.net
>>564
一点だけ。
「ガロア群G上の函数」が定義されてませんでしたね。
これは「Gが作用している体Kの数」になります。
σ∈G, ξ∈K に対して
σ(ξ)と作用するわけですが、これを逆に見て
σ(ξ)を函数ξのG上の値 と見ればOK.
つまり、ξ(σ)とも書けますね。ξ(e)=ξ.
（通常は、ξ^σ のように書く。）