Question: when is zp a field?
Answer: Zp is a commutative ring with unity. Here x is a multiplicative inverse of a. Therefore, a multiplicative inverse exists for every element in Zp−{0}. Therefore, Zp is a field.