- Théorème de Lüroth
-
Le théorème de Lüroth décrit les sous-corps des corps de fractions rationnelles en une variable K(X) qui contiennent le corps des constantes K, autrement dit les sous-extensions des extensions de corps transcendantes pures de degré de transcendance 1. Il peut être exprimé de la manière informelle suivante : si K est un corps et C est une courbe paramétrée par une fonction rationnelle sur K, alors il existe un autre paramétrage rationnel de la courbe qui est presque partout formellement bijectif et dont la fonction inverse est elle-même rationnelle. Ci-dessous est donné une autre forme de l'énoncé du théorème.
Énoncés
Théorème — Soit K un corps commutatif. Soit K(X) le corps de fractions rationnelles en une variable. Alors toute sous-extension de K(X) / K différente de K est de la forme K(F) pour une certaine fraction rationnelle F. Autrement dit, c'est aussi un corps de fractions rationnelles en une variable.
En terme géométrique, ce théorème se traduit par:
Théorème — Soit K un corps commutatif. Soit
un morphisme non-constant de la droite projective vers une courbe algébrique non-singulière C sur K. Alors C est isomorphe à la droite projective.Remarques En degré de transcendance 2, le théorème de Lüroth reste vrai en caractéristique 0 (Théorème de Castelnuovo). Plus précisément, si K est un corps de caractéristique 0, et si L est une sous-extension de K(X,Y) / K. Alors L est égal à K ou un corps de fractions rationnelles en une ou deux variables sur K. Cela est faux en caractéristique positive d'après des exemples de Zariski et de Shioda. En degré de transcendance au moins 3, cela est faux même sur
. L'étude de ces problèmes en degré de transcendance au moins 2 se fait par des outils de géométrie algébrique (il s'agit de savoir si une variété algébrique unirationnelle est rationnelle).Catégories :- Équation polynomiale
- Théorème de mathématiques
- Géométrie algébrique
Wikimedia Foundation. 2010.