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上既約

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

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

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

f(0)=16=1,f(1)=4,f(2)=13=3,f(3)=34=4,f(4)=73=3→Q上既約

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