问答题 证明：同余类的乘法是Zn的一个代数运算。

问答题 证明：域和其子域有相同的单位元。

问答题 证明：P-环无非零幂零元。