X を体とし, Y を X の拡大体　とし, n を 1 以上の自然数とする.f(x) を x の n 次式とし各係数が X の元とし S={x; x∈Y かつ f(x)=0} とし, S の元の個数が n で, その中の (n-1) 個が X の元ならば, S⊂X.

続きを読む