剰余体
数学において、剰余体（じょうよたい、）は可換環論における基本的な構成である。"R" を可換環、"m" を極大イデアルとしたとき、剰余体は剰余環 "k" = "R"/"m" のことを言う（これは体である）。しばしば "R" は局所環で、このとき "m" はその唯一の極大イデアルである。
この構成は代数幾何学へ応用される。スキーム "X" の各点 "x" に "x" の剰余体 "k"("x") が関連付けられる。少し大まかに言うと、抽象代数多様体の点の剰余体は、点の座標の「自然な領域」である。