代数学・幾何学・解析学スレッド

>>566
Hilbert90と同じ事だが、
a^{p-1}トレースを計算して
0にならなければ既約多項式となる。