域的基本概念如果一个代数结构有加法运算和乘法运算，且存在加法和乘法的单位元，所有元素关于加法是阿贝尔群，所有非零元素关于乘法也是阿贝尔群，这个代数结构就称为域。域一定是整环，因为所有非零元素都有乘法逆元，所以不可能有零因子。我们特别要求，在域中加法和乘法的单位元不能相等。