How would I prove that [itex]x^2+1[/itex] is irreducible in [itex] Z_p[x][/itex], where p is an odd prime of the form 3+4m.(adsbygoogle = window.adsbygoogle || []).push({});

I know that for it to be rreducible, it has to have roots in the ring. So [itex]x^2=-1 (mod p)[/itex]. Or [itex] x^2+1=k(3+4m) [/itex], for some k. I tried induction on m, but it does not work because [itex}x^2+1[/itex] is only reducible on [itex] Z_p[x][/itex] if p is prime, which is not the case for all m. Apperently, there exists a two-line solution.

Any tips would be appreciated.

**Physics Forums | Science Articles, Homework Help, Discussion**

Dismiss Notice

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Irreducible polynomial on polynomial ring

**Physics Forums | Science Articles, Homework Help, Discussion**