■既約性判定基準(その182)
体Z5上の多項式f(x)=x^3+x+1は既約であるか?
===================================
f(0)=1,f(1)=3,f(2)=11=1,f(3)=31=1,f(4)=69=4
===================================
Z5に根を持たない。f(x)=(x-a)g(x),degg(x)=2と表すことができない
degg(x)の次数は1であるが、根を持たないことに矛盾する→Z5上既約
===================================