Example 9.3.3. In a principal ideal domain, an ideal generated by an irreducible element is maximal. Now, if $k$ is a field, then the polynomial ring $k[x]$ is a principal ideal domain. It follows that if $P \in k[x]$ is an irreducible polynomial (that is, a nonconstant polynomial that does not admit a factorization into terms of smaller degrees), then $k[x]/(P)$ is a field. It contains a copy of $k$ in a natural way. This is a very general way of constructing fields. For instance, the complex numbers $\mathbf{C}$ can be constructed as $\mathbf{R}[x]/(x^2 + 1)$.

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).