[2] 体 (たい) (field) は、抽象代数における概念です。

[1] 可換環 F が体 (field) であるとは:

• (∀a ∈ F) (∃1 ∈ F) a ・ 1 = 1 ・ a = a (単位元が存在)
• (∀a ∈ F (a ≠ 0)) (∃a−1 ∈ F) aa−1 = 1 (0] 以外の元の逆元が存在)