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