域

一个可以交换的 除环 称为一个域

有理数环、实数环和复数环都是域，统称为 数域

等价定义为：

一个 环 存在非零元，而且全体非零元构成一个乘法交换群，则称 F 为一个域