函数体 (スキーム論)
スキーム "X" の有理函数体の層(sheaf of rational functions) "KX" は、古典的な代数幾何学での代数多様体の函数体の考え方のスキーム論への一般化である。多様体の場合には、そのような層が、各々の開集合 "U" へ開集合上の全ての有理函数の環を関連付ける、言い換えると、"KX"("U") は "U" 上の正則函数(regular function)の分数の集合である。この「函数体」という名前にもかかわらず、一般的なスキームの場合には、"KX" は、必ずしも体であるとは限らない。