设F是一个有单位元e1（≠0）的交换环（即对于乘法运算可交换）。如果F中每个非零元都可逆，称F是一个域。 是域要保证非零元可逆 再加上有单位元 自然就是乘群啦 又模p的剩余类环因为是加群 又满足乘法可交换。故之。