Algebraic function field
In mathematics, an (algebraic) function field of n variables over the field k is a finitely generated field extension K/k which has transcendence degree n over k. Equivalently, an algebraic function field of n variables over k may be defined as a finite field extension of the field k as K=k(x1,...,xn) of rational functions in n variables over k.