除环

如果一个环存在非 零元，而且全体非零元构成一个乘法群，则称为除环

零元没有逆元，所以去掉零元

有理数环是除环

有限除环

一个除环的自己构成一个 子除环 的条件是：

1. 子环含非零元
2. $a-b\in S$
3. $b\ne 0\to a{b}^{-1}\in S$