Lüroth's theorem

(Redirected from Lüroth's Theorem)

In mathematics, Lüroth's theorem asserts that every field that lies between a field K and the rational function field K(X) must be generated as an extension of K by a single element of K(X). This result is named after Jacob Lüroth, who proved it in 1876.[1]

Statement

edit

Let   be a field and   be an intermediate field between   and  , for some indeterminate X. Then there exists a rational function   such that  . In other words, every intermediate extension between   and   is a simple extension.

Proofs

edit

The proof of Lüroth's theorem can be derived easily from the theory of rational curves, using the geometric genus.[2] This method is non-elementary, but several short proofs using only the basics of field theory have long been known, mainly using the concept of transcendence degree.[3] Many of these simple proofs use Gauss's lemma on primitive polynomials as a main step.[4]

References

edit
  1. ^ Burau, Werner (2008), "Lueroth (or Lüroth), Jakob", Complete Dictionary of Scientific Biography
  2. ^ Cohn, P. M. (1991), Algebraic Numbers and Algebraic Functions, Chapman Hall/CRC Mathematics Series, vol. 4, CRC Press, p. 148, ISBN 9780412361906.
  3. ^ Lang, Serge (2002). "Ch VIII.1 Transcendence bases". Algebra. Graduate Texts in Mathematics. Vol. 211 (3rd ed.). New York, NY: Springer New York. p. 355. doi:10.1007/978-1-4613-0041-0. ISBN 978-1-4612-6551-1.
  4. ^ E.g. see this document, or Mines, Ray; Richman, Fred (1988), A Course in Constructive Algebra, Universitext, Springer, p. 148, ISBN 9780387966403.