域

$R$ 是域当且仅当 $R$ 是整 环, $R$ 中至少有两个元素, $\forall a\in R^{\ast },a^{-1}\in R$.

$<R-\{0\},\bullet >$ 构成交换群的环是域.