title: Corps de fonctions
text: # Corps de fonctions
  
  En mathématiques, un corps de fonctions est un corps commutatif F de type fini sur un corps de base K. On le note habituellement F/K, ou, si le contexte est clair, seulement F. De façon équivalente un corps de fonctions « à n variables » est une extension finie F d'un corps $K(t_1,$ … , $t_n)$ de fractions rationnelles à n indéterminées. F est alors de degré de transcendance n sur K.
  
  * Une extension L de k est un corps de fonctions (à n variables) si et seulement si c'est le corps des fonctions rationnelles (en) d'une variété algébrique intègre sur k (de dimension n).
  * Un corps de fonctions à une variable sur un corps fini est un corps global de caractéristique positive. C'est le corps des fonctions rationnelles d'une courbe projective lisse intègre sur un corps fini.
  
  ## Exemple
  
  Soit K un corps. Le corps K(X) des fractions rationnelles à une variable est un corps de fonctions sur K.
  
  ## Corps des constantes
  
  Soit F/K un corps de fonctions. L'ensemble des éléments de F algébriques sur K est un corps, appelé corps des constantes.
  
  Par exemple, $\mathbb {C} (x)$ est un corps de fonctions sur $\mathbb {R}$, son corps des constantes est $\mathbb {C}$.
  
  ## Valuations et places
  
  Étant donné un corps de fonctions F/K d'une variable, on définit la notion d'anneau de valuation de F/K. C'est un sous-anneau O de F qui contient K, mais distinct de ces deux corps, et tel que pour tout x ∈ F, x ∈ O ou $x^{−1}$ ∈ O.
  
  Un tel anneau O est un anneau de valuation discrète et son idéal maximal est appelé une place de F/K.
  
  