Skip to main content
Mathematics LibreTexts

21: Fields

  • Page ID
  • \( \newcommand{\vecs}[1]{\overset { \scriptstyle \rightharpoonup} {\mathbf{#1}} } \) \( \newcommand{\vecd}[1]{\overset{-\!-\!\rightharpoonup}{\vphantom{a}\smash {#1}}} \)\(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\) \(\newcommand{\id}{\mathrm{id}}\) \( \newcommand{\Span}{\mathrm{span}}\) \( \newcommand{\kernel}{\mathrm{null}\,}\) \( \newcommand{\range}{\mathrm{range}\,}\) \( \newcommand{\RealPart}{\mathrm{Re}}\) \( \newcommand{\ImaginaryPart}{\mathrm{Im}}\) \( \newcommand{\Argument}{\mathrm{Arg}}\) \( \newcommand{\norm}[1]{\| #1 \|}\) \( \newcommand{\inner}[2]{\langle #1, #2 \rangle}\) \( \newcommand{\Span}{\mathrm{span}}\)\(\newcommand{\AA}{\unicode[.8,0]{x212B}}\)

    It is natural to ask whether or not some field \(F\) is contained in a larger field. We think of the rational numbers, which reside inside the real numbers, while in turn, the real numbers live inside the complex numbers. We can also study the fields between \({\mathbb Q}\) and \({\mathbb R}\) and inquire as to the nature of these fields.

    More specifically if we are given a field \(F\) and a polynomial \(p(x) \in F[x]\text{,}\) we can ask whether or not we can find a field \(E\) containing \(F\) such that \(p(x)\) factors into linear factors over \(E[x]\text{.}\) For example, if we consider the polynomial

    \[ p(x) = x^4 -5 x^2 + 6 \nonumber \]

    in \({\mathbb Q}[x]\text{,}\) then \(p(x)\) factors as \((x^2 - 2)(x^2 - 3)\text{.}\) However, both of these factors are irreducible in \({\mathbb Q}[x]\text{.}\) If we wish to find a zero of \(p(x)\text{,}\) we must go to a larger field. Certainly the field of real numbers will work, since

    \[ p(x) = (x - \sqrt{2} ) (x + \sqrt{2} )( x - \sqrt{3})(x + \sqrt{3})\text{.} \nonumber \]

    It is possible to find a smaller field in which \(p(x)\) has a zero, namely

    \[ {\mathbb Q }( \sqrt{2} ) = \{ a + b \sqrt{2} : a, b \in {\mathbb Q} \}\text{.} \nonumber \]

    We wish to be able to compute and study such fields for arbitrary polynomials over a field \(F\text{.}\)

    This page titled 21: Fields is shared under a GNU Free Documentation License 1.3 license and was authored, remixed, and/or curated by Thomas W. Judson (Abstract Algebra: Theory and Applications) via source content that was edited to the style and standards of the LibreTexts platform; a detailed edit history is available upon request.

    • Was this article helpful?