Theorem. Multiplicative groups of units mod p are Fields [005E]

is a field if and only if is prime.

Proof.

• Let be prime then . thus is a field.
• Assume is a field and with . Then thus has no solution. So , which is contradictory.

We have already established here, that is a cummutative unitary ring. ( TODO)