16/05/22 11:48:48.05 0fKK262+.net
スレ主が引用してくれた守屋の解説を上げておくと－
kの任意の元X に対し
A(X) = (X1-X)(Xa-X)・・・(Xa^(n-1)-X)
とおき，A(X) をX の整式として整理すれば
A(X)＝X^(n-1) -(X 1 + Xa + ・・・+Xa~(n-2)X~(n-2) +・・・+X1Xa・・・Xa^(n-2)
である.このとき，A(X)の係数はx0，x1,・・・，Xn-I の置換P，Qで不変であるから，
G の任意の置換Q^n P^ν で不変で，したがってkの元である.
よって，kの任意の元Xに対して、A(X)はkの元である.
このkを、守屋の本を見る限りでは、有理数体としているように思えるのである。
だから守屋の解説は間違いである。