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`
?