リューローの定理のソースを表示

[[数学]]において、'''リューローの定理''' (Lüroth's theorem) は、[[:en:Jacob Lüroth|Jacob Lüroth]] にちなんで名づけられているが、[[体論]]の結果であって、[[有理多様体]]と関係がある。定理が述べているのは、<math>K(X)</math> の部分体でもある体 <math>K</math> のすべての体拡大は単拡大であるというものである。

== 定理のステートメント ==
<math>K</math> を体とし <math>M</math> を <math>K</math> と不定元 ''X'' に対して <math>K(X)</math> の間の中間体とする。するとある有理関数 <math>f(X)\in K(X)</math> が存在して <math>M=K(f(X))</math> である。換言すれば、<math>K</math> と <math>K(X)</math> の間のすべての中間拡大は単拡大である。

リューローの定理の証明は有理曲線の理論から容易に種数の幾何学的概念を用いて得られる。リューローの定理は一般に初等的でないと考えられているにもかかわらず、体論の基本だけを使ったいくつかの短い証明が長い間見つかってきた。実質的にはすべてのこれらの単純な証明は原始多項式に関するガウスの補題を主要なステップとして使う（例えば <ref>{{cite journal| first=Michael|last=Bensimhoun|url = https://commons.wikimedia.org/wiki/File%3AAnother_elementary_proof_of_Luroth's_theorem-06.2004.pdf|format=PDF
| title = Another elementary proof of Lüroth's theorem|date=May 2004|}}</ref> を見よ）。

== 関連項目 ==
*[[有理多様体]]
*[[有理曲線]]
*[[有理曲面]]
*[[双有理幾何学]]

== 参考文献 ==
{{Reflist}}
*{{citation|chapter=Lueroth (or Lüroth), Jakob|url=http://www.encyclopedia.com/doc/1G2-2830902699.html|first=Werner |last=Burau|title=Complete Dictionary of Scientific Biography|year=2008}}

{{DEFAULTSORT:りゆうろおのていり}}
[[Category:代数多様体]]
[[Category:双有理幾何学]]
[[Category:体論]]
[[Category:数学に関する記事]]
[[Category:数学のエポニム]]