Question
In the construction of the finite field `F = ZZ_p[x]"/"langle f(x) rangle`
with `p^2` elements,
where f(x) is an irreducible polynomial of degree 2 over `ZZ_p`,
what is the relationship between the field F and the base field `ZZ_p`:
A) F is a subfield of `ZZ_p`.
B) `ZZ_p` can be considered a subfield of F
?