f(x)=a0+a1x+・・・+anx^n,［ai］＜Z

ある素数ｐに対してπ(f(x))がＺpで既約ならば、f(x)はQ上既約である

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝

f(x)=x^3-7x+1はQ上既約であるか？

p=2とする→ π(f(x))=x^3+x+1

f(0)-1,f(1)=3=1→Q上既約

＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝＝