环和域（二元运算）

1. 环：设<R，+，·>是一个代数系统，如果满足
（1）<R，+>是阿贝尔群；
（2）<R，·>是半群；
（3）运算·对于运算+是可分配的则称<R，+，·>是环。

2. 零因子和无零因子环定义：设<R，+，·>是环，对 a, b ∈ R, a ≠ 0，b ≠ 0，但a . b = 0，则称a是R中的一个左零因子，b是R中的一个右零因子，若一个元素既是左零因子，又是右零因子，则称它是一个零因子

定义R是一个环，对于任意的a ,b∈ R，若a . b = 0,则a = 0或b = 0，就称R是一个无零因子环

定理：设<R，+，·>是环，R是无零因子环的充分必要条件是：在R中乘法适合消去律。即对任意a，b，c ∈ R，若与 a . b = a . c（或b . a = c . a）则有b = c

定义设<R，+， .>是环，如果<R，+， .>是可交换的，则称<R，+， .>是可交换环

3. 整环

定义：设<A, +, .>是一个代数系统，若满足：

（1）<A, +,>是阿尔贝群

（2）<A, .>是可交换的独异点，且没有零因子，即对a, b ∈ R, a ≠ 0，b ≠ 0，但a . b = 0

（3）运算. 对+是可以分配的

4. 除环

定义设<R，+， .>是环，而且|R| >= 2：

（1）R有幺元

（2）每个零元都有逆元，则称<R, +, .>是除环

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