i)τ^p=σ^p-1だから1-1=0 ii)α∈kerτならτ(α)=0,α∈imτなら、τ^p-1(α)-0で、線形だからその和も0 τ^p=ΣC_(p-1)σ^(p-1)と展開し、σ-1を作用させると、A(σ(α)-α)となって、Aは指標の独立性から0にならないので、σ(α)-α=0 iii)σはガロア群の元なので、Fを動かさな…
終わりがみえてきてだんだん雑になってきたなあ。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。