page1979      Rings      Matthias Lorentzen...mattegrisenforlag.com


Look at the picture beneath, then scroll down to the question and click the correct Answer button.

Question

In the construction of the finite field `F = ZZ_p[x]"/"langle f(x) rangle` with `p^2` elements, what is a necessary condition for the polynomial `f(x) in ZZ_p[x]` of degree 2 to ensure that F is indeed a field:
A) f(x) must have at least one root in `ZZ_p`.
B) f(x) must be irreducible over `ZZ_p` ?