设F是一个有单位元（不为0）的交换环，如果F的每个非零元都是可逆元，那么称F是一个（）。