代数函数体

数学では、体 k 上の n 変数の代数函数体 (algebraic function field)（単に、函数体とも言う）は、k 上に超越次数 n を持つ有限生成な体の拡大 K/k である。同じことであるが、k 上の n 変数の代数函数体は、k 上の n 変数の有理函数の体 k(x1, ..., xn) の有限拡大として定義できる。