Primitive element theorem

In field theory, the primitive element theorem states that every finite separable field extension is simple, i.e. generated by a single element. This theorem implies in particular that all algebraic number fields over the rational numbers, and all extensions in which both fields are finite, are simple.

Terminology

Let ${\displaystyle E/F}$ be a field extension. An element ${\displaystyle \alpha \in E}$ is a primitive element for ${\displaystyle E/F}$ if ${\displaystyle E=F(\alpha ),}$ i.e. if every element of ${\displaystyle E}$ can be written as a rational function in ${\displaystyle \alpha }$ with coefficients in ${\displaystyle F}$. If there exists such a primitive element, then ${\displaystyle E/F}$ is referred to as a simple extension.

If the field extension ${\displaystyle E/F}$ has primitive element ${\displaystyle \alpha }$ and is of finite degree ${\displaystyle n=[E:F]}$, then every element ${\displaystyle \gamma \in E}$ can be written in the form

${\displaystyle \gamma =a_{0}+a_{1}{\alpha }+\cdots +a_{n-1}{\alpha }^{n-1},}$

for unique coefficients ${\displaystyle a_{0},a_{1},\ldots ,a_{n-1}\in F}$. That is, the set

${\displaystyle \{1,\alpha ,\ldots ,{\alpha }^{n-1}\}}$

is a basis for E as a vector space over F. The degree n is equal to the degree of the irreducible polynomial of α over F, the unique monic ${\displaystyle f(X)\in F[X]}$ of minimal degree with α as a root (a linear dependency of ${\displaystyle \{1,\alpha ,\ldots ,\alpha ^{n-1},\alpha ^{n}\}}$).

If L is a splitting field of ${\displaystyle f(X)}$ containing its n distinct roots ${\displaystyle \alpha _{1},\ldots ,\alpha _{n}}$, then there are n field embeddings ${\displaystyle \sigma _{i}:F(\alpha )\hookrightarrow L}$ defined by ${\displaystyle \sigma _{i}(\alpha )=\alpha _{i}}$ and ${\displaystyle \sigma (a)=a}$ for ${\displaystyle a\in F}$, and these extend to automorphisms of L in the Galois group, ${\displaystyle \sigma _{1},\ldots ,\sigma _{n}\in \mathrm {Gal} (L/F)}$. Indeed, for an extension field with ${\displaystyle [E:F]=n}$, an element ${\displaystyle \alpha }$ is a primitive element if and only if ${\displaystyle \alpha }$ has n distinct conjugates ${\displaystyle \sigma _{1}(\alpha ),\ldots ,\sigma _{n}(\alpha )}$ in some splitting field ${\displaystyle L\supseteq E}$.

Example

If one adjoins to the rational numbers ${\displaystyle F=\mathbb {Q} }$ the two irrational numbers ${\displaystyle {\sqrt {2}}}$ and ${\displaystyle {\sqrt {3}}}$ to get the extension field ${\displaystyle E=\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})}$ of degree 4, one can show this extension is simple, meaning ${\displaystyle E=\mathbb {Q} (\alpha )}$ for a single ${\displaystyle \alpha \in E}$. Taking ${\displaystyle \alpha ={\sqrt {2}}+{\sqrt {3}}}$, the powers 1, α, α², α³ can be expanded as linear combinations of 1, ${\displaystyle {\sqrt {2}}}$, ${\displaystyle {\sqrt {3}}}$, ${\displaystyle {\sqrt {6}}}$ with integer coefficients. One can solve this system of linear equations for ${\displaystyle {\sqrt {2}}}$ and ${\displaystyle {\sqrt {3}}}$ over ${\displaystyle \mathbb {Q} (\alpha )}$, to obtain ${\displaystyle {\sqrt {2}}={\tfrac {1}{2}}(\alpha ^{3}-9\alpha )}$ and ${\displaystyle {\sqrt {3}}=-{\tfrac {1}{2}}(\alpha ^{3}-11\alpha )}$. This shows that α is indeed a primitive element:

${\displaystyle \mathbb {Q} ({\sqrt {2}},{\sqrt {3}})=\mathbb {Q} ({\sqrt {2}}+{\sqrt {3}}).}$

One may also use the following more general argument.^[1] The field ${\displaystyle E=\mathbb {Q} ({\sqrt {2}},{\sqrt {3}})}$ clearly has four field automorphisms ${\displaystyle \sigma _{1},\sigma _{2},\sigma _{3},\sigma _{4}:E\to E}$ defined by ${\displaystyle \sigma _{i}({\sqrt {2}})=\pm {\sqrt {2}}}$ and ${\displaystyle \sigma _{i}({\sqrt {3}})=\pm {\sqrt {3}}}$ for each choice of signs. The minimal polynomial ${\displaystyle f(X)\in \mathbb {Q} [X]}$ of ${\displaystyle \alpha ={\sqrt {2}}+{\sqrt {3}}}$ must have ${\displaystyle f(\sigma _{i}(\alpha ))=\sigma _{i}(f(\alpha ))=0}$, so ${\displaystyle f(X)}$ must have at least four distinct roots ${\displaystyle \sigma _{i}(\alpha )=\pm {\sqrt {2}}\pm {\sqrt {3}}}$. Thus ${\displaystyle f(X)}$ has degree at least four, and ${\displaystyle [\mathbb {Q} (\alpha ):\mathbb {Q} ]\geq 4}$, but this is the degree of the entire field, ${\displaystyle [E:\mathbb {Q} ]=4}$, so ${\displaystyle E=\mathbb {Q} (\alpha )}$.

Theorem statement

The primitive element theorem states:

Every separable field extension of finite degree is simple.

This theorem applies to algebraic number fields, i.e. finite extensions of the rational numbers Q, since Q has characteristic 0 and therefore every finite extension over Q is separable.

Using the fundamental theorem of Galois theory, the former theorem immediately follows from Steinitz's theorem.

Characteristic p

For a non-separable extension ${\displaystyle E/F}$ of characteristic p, there is nevertheless a primitive element provided the degree [E : F] is p: indeed, there can be no non-trivial intermediate subfields since their degrees would be factors of the prime p.

When [E : F] = p², there may not be a primitive element (in which case there are infinitely many intermediate fields by Steinitz's theorem). The simplest example is ${\displaystyle E=\mathbb {F} _{p}(T,U)}$, the field of rational functions in two indeterminates T and U over the finite field with p elements, and ${\displaystyle F=\mathbb {F} _{p}(T^{p},U^{p})}$. In fact, for any ${\displaystyle \alpha =g(T,U)}$ in ${\displaystyle E\setminus F}$, the Frobenius endomorphism shows that the element ${\displaystyle \alpha ^{p}}$ lies in F , so α is a root of ${\displaystyle f(X)=X^{p}-\alpha ^{p}\in F[X]}$, and α cannot be a primitive element (of degree p² over F), but instead F(α) is a non-trivial intermediate field.

Proof

Suppose first that ${\displaystyle F}$ is infinite. By induction, it suffices to prove that any finite extension ${\displaystyle E=F(\beta ,\gamma )}$ is simple. For ${\displaystyle c\in F}$, suppose ${\displaystyle \alpha =\beta +c\gamma }$ fails to be a primitive element, ${\displaystyle F(\alpha )\subsetneq F(\beta ,\gamma )}$. Then ${\displaystyle \gamma \notin F(\alpha )}$, since otherwise ${\displaystyle \beta =\alpha -c\gamma \in F(\alpha )=F(\beta ,\gamma )}$. Consider the minimal polynomials of ${\displaystyle \beta ,\gamma }$ over ${\displaystyle F(\alpha )}$, respectively ${\displaystyle f(X),g(X)\in F(\alpha )[X]}$, and take a splitting field ${\displaystyle L}$ containing all roots ${\displaystyle \beta ,\beta ',\ldots }$ of ${\displaystyle f(X)}$ and ${\displaystyle \gamma ,\gamma ',\ldots }$ of ${\displaystyle g(X)}$. Since ${\displaystyle \gamma \notin F(\alpha )}$, there is another root ${\displaystyle \gamma '\neq \gamma }$, and a field automorphism ${\displaystyle \sigma :L\to L}$ which fixes ${\displaystyle F(\alpha )}$ and takes ${\displaystyle \sigma (\gamma )=\gamma '}$. We then have ${\displaystyle \sigma (\alpha )=\alpha }$, and:

${\displaystyle \beta +c\gamma =\sigma (\beta +c\gamma )=\sigma (\beta )+c\,\sigma (\gamma )}$, and therefore ${\displaystyle c={\frac {\sigma (\beta )-\beta }{\gamma -\sigma (\gamma )}}}$.

Since there are only finitely many possibilities for ${\displaystyle \sigma (\beta )=\beta '}$ and ${\displaystyle \sigma (\gamma )=\gamma '}$, only finitely many ${\displaystyle c\in F}$ fail to give a primitive element ${\displaystyle \alpha =\beta +c\gamma }$. All other values give ${\displaystyle F(\alpha )=F(\beta ,\gamma )}$.

For the case where ${\displaystyle F}$ is finite, we simply take ${\displaystyle \alpha }$ to be a primitive root of the finite extension field ${\displaystyle E}$.

History

In his First Memoir of 1831, published in 1846,^[2] Évariste Galois sketched a proof of the classical primitive element theorem in the case of a splitting field of a polynomial over the rational numbers. The gaps in his sketch could easily be filled^[3] (as remarked by the referee Poisson) by exploiting a theorem^[4][5] of Lagrange from 1771, which Galois certainly knew. It is likely that Lagrange had already been aware of the primitive element theorem for splitting fields.^[5] Galois then used this theorem heavily in his development of the Galois group. Since then it has been used in the development of Galois theory and the fundamental theorem of Galois theory.

The primitive element theorem was proved in its modern form by Ernst Steinitz, in an influential article on field theory in 1910, which also contains Steinitz's theorem;^[6] Steinitz called the "classical" result Theorem of the primitive elements and his modern version Theorem of the intermediate fields.

Emil Artin reformulated Galois theory in the 1930s without relying on primitive elements.^[7][8]

References

1. Lang, Serge (2002). Algebra. Graduate Texts in Mathematics. Vol. 211. New York, NY: Springer New York. p. 243. doi:10.1007/978-1-4613-0041-0. ISBN 978-1-4612-6551-1.
2. Neumann, Peter M. (2011). The mathematical writings of Évariste Galois. Zürich: European Mathematical Society. ISBN 978-3-03719-104-0. OCLC 757486602.
3. Tignol, Jean-Pierre (February 2016). Galois' Theory of Algebraic Equations (2 ed.). WORLD SCIENTIFIC. p. 231. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
4. Tignol, Jean-Pierre (February 2016). Galois' Theory of Algebraic Equations (2 ed.). WORLD SCIENTIFIC. p. 135. doi:10.1142/9719. ISBN 978-981-4704-69-4. OCLC 1020698655.
5. Cox, David A. (2012). Galois theory (2nd ed.). Hoboken, NJ: John Wiley & Sons. p. 322. ISBN 978-1-118-21845-7. OCLC 784952441.
6. Steinitz, Ernst (1910). "Algebraische Theorie der Körper". Journal für die reine und angewandte Mathematik (in German). 1910 (137): 167–309. doi:10.1515/crll.1910.137.167. ISSN 1435-5345. S2CID 120807300.
7. Kleiner, Israel (2007). "§4.1 Galois theory". A History of Abstract Algebra. Springer. p. 64. ISBN 978-0-8176-4685-1.
8. Artin, Emil (1998). Galois theory. Arthur N. Milgram (Republication of the 1944 revised edition of the 1942 first publication by The University Notre Dame Press ed.). Mineola, N.Y.: Dover Publications. ISBN 0-486-62342-4. OCLC 38144376.

External links

• J. Milne's course notes on fields and Galois theory
• The primitive element theorem at mathreference.com
• The primitive element theorem at planetmath.org
• The primitive element theorem on Ken Brown's website (pdf file)