设是代数系统,+和•是二元运算。 如果满足以下条件: (1) 构成交换群; (2) 构成半群; (3) •运算关于+运算适合分配律。则称是一个环。若 R 既是交换环、含幺环,也是无零因子环,则称 R 是整环。若 R为整环,则称 R 为域。因此,域一定是整环,但整环不一定是域。