体

可換環 $K$ が次の二条件を満たすとき、$K$ を体という。

(F1) $1 \ne 0$。

(F2) $0$ でない任意の元は単元である。すなわち $K^{\times} = K \setminus \{0\}$。

可換性を要求しない場合、すなわち $1 \ne 0$ であり $0$ 以外のすべての元が単元であるような（可換とは限らない）環を斜体（可除環）という。