代数函数体

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