整环 (Integral Domain) 定义：交换环 + 有单位元 + 无零因子。 典型例子：整数环 Z。 除环 (Division Ring) 定义：有单位元 + 非零元均可逆（非零元构成乘法群）。