域

域是一种整环，其中每个非零元素都是可逆元。