整环

1. 是 交换环
2. 存在单位元，而且 $1\ne 0$
3. 没有 零因子

则称为整环

整数环 是一个整环，复数环也是 整环

有限的整环是 除环，也是域 （^618852）