The following passage from Wikipedia's article on quotient rings gives an example of a quotient ring of polynomials over a finite field.
"One important instance of the previous example is the construction of the finite fields. Consider for instance the field $F_3 = Z/3Z$ with three elements. The polynomial $f(x) = x^2 + 1$ is irreducible over $F_3$ (since it has no root), and we can construct the quotient ring $F_3[x]/(f)$. This is a field with $3^2=9$ elements, denoted by $F_9$. The other finite fields can be constructed in a similar fashion."
I have two questions:
(1) Why must the resulting field have $3^2=9$ elements?
(2) Why does $f(x)$ having no root imply that it's irreducible?
Best Answer
(1) Because in that field, $x^2$ and $-1$ are the same thing. That means that any element has a unique representative with only first-degree and constant term (any higher degree term may be reduced). Each of those places has three possible values (being elements of $\Bbb F_3$), resulting in a total of $3\cdot 3 = 9$ possible elements. Here they are: $$ \begin{array}{ccc} 0x + 0&0x + 1 & 0x+2\\ 1x + 0&1x + 1 & 1x+2\\ 2x + 0&2x + 1 & 2x+2 \end{array} $$ (2) Because if it were reducible, then its factors would be linear. Linear polynomials over fields always have roots. The same argument works for third degree expressions, but not for degree four og higher (the prime example being $(x^2 + 1)^2$).