数环定义 设S是非空数集。如果S中的数对加法、减法和乘法的运算结果都属于S，则称为S数环。例如整数集Z就是一个数环。

数环性质

性质1  任何数环都包含数零（即零环是最小的数环）。

性质2  设S是一个数环。若a∈S ，则na∈S(n∈Z)。

性质3  若M,N都是数环，则M∩N也是数环。