要证明模p的剩余类环F是一个域,为什么只要证明F中去掉[0]以后的所有元能构成一个乘群就行了.
我的思路和果不一样,首先域是一个交换除环,而剩余类环是交换环,其次剩余类环有非零元和单位元,如果在加上非零元都有逆元这点就是除环了,乘群的定义里面刚好又说明了这点。结束。