Lüroth's theorem

From Wikipedia, the free encyclopedia

In mathematics, Lüroth's theorem, named after Jacob Lüroth, is a result of field theory, which is related to rational varieties. It asserts that every field extension of a field K, which is also a subfield of K(X), is simple.

Statement of the theorem

Let K be a field and M be an intermediate field between K and K(X), for some indeterminate X. Then there exists a rational function f(X)\in K(X) such that M=K(f(X)). In other words, every intermediate extension between K and K(X) is simple.

The proof of Lüroth's theorem can be derived easily from the theory of rational curves, using the geometrical notion of genus. Even though Lüroth's theorem is generally thought to be non elementary, several short proofs, using only the basics of field theory, have been discovered for long. Virtually all these simple proofs use Gauss's lemma on primitive polynomials as a main step (see e.g. [1]).

See also

References

  1. ↑ Bensimhoun, Michael (May 2004). 's_theorem-06.2004.pdf Another elementary proof of Lüroth's theorem (PDF). 
This article is issued from Wikipedia. The text is available under the Creative Commons Attribution/Share Alike; additional terms may apply for the media files.