I am stuck on this proof.(adsbygoogle = window.adsbygoogle || []).push({});

Zp[x]/(x^2 + 1) is a field iff p is a prime p = 3 (mod 4)

We're assuming p is odd, so p is either 4m + 1 or 4m + 3.

==>/ let Zp[x]/(x^2 + 1) be a field

I need to find that x^2 + 1 is reducible if p =4m+1

I can see it for Z5, Z13, Z17 for instance but I don't seem to be able to generalize it. Any advice.

<==/ if p = 3 (mod 4), we must show x^2 + 1 is irreducible over Zp

I assume otherwise, then x^2 + 1 = (x+a)(x+b)

gives me, ab ≡ 1 (mod p)

a+b≡ 0(mod p)

where should I go after this?

Thanks

**Physics Forums - The Fusion of Science and Community**

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!

# Zp[x]/(x^2 + 1) is a field iff p is a prime p ≠ 1 (mod 4)

Loading...

Similar Threads - field prime | Date |
---|---|

I Need clarification on a theorem about field extensions/isomorphisms | Dec 19, 2017 |

I Splitting Fields: Anderson and Feil, Theorem 45.6 ... | Jun 23, 2017 |

Can prime fields act two ways on the same abelian group? | May 24, 2012 |

Mod(prime) is a field mod(non-prime) is not | Oct 14, 2011 |

Characteristic or a finite field is a prime number? | Jan 12, 2007 |

**Physics Forums - The Fusion of Science and Community**