>>536
3.の部分が、現代記法では
Σ_{σ∈G}χ(σ)(s_0)^σ
とあらわせる。Gは巡回群であり、χはGの指標、(s_0)^σはs_0へのσ∈Gの作用をあらわす。
このことが、「ちゃんとした本」には書いてあるはず。
これは、「方程式の根たち」= G上の"函数" を、Gの双対群である指標群上の函数
に写す"フーリエ変換"である という話をしたら
「そんなこと聞いたことない！（泣）」と発〇したのがセタさん。