Show that q is a prime number iff Z/qZ is a field.
Much appreciated!
If is prime then the equation is always solvable for and so it is a field. Conversely, if and suppose is not prime, then in a non-trivial factorization. But then , and that is a contradiction.