[Math] Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.

abstract-algebrafinite-ringsidealsring-theory

Let $R$ be a finite commutative ring. Show that an ideal is maximal if and only if it is prime.

My attempt: Let $I$ be an ideal of $R$. Then we have $I$ is maximal $\Leftrightarrow$ $R/I$ is a finite field $\Leftrightarrow$ $R/I$ is a finite integral domain $\Leftrightarrow$ $I$ is a prime ideal.

Is my proof valid ?

Best Answer

Yes, your proof is valid, but note that the second implication relies on $R$ being finite. It'd be clearer if written as

$R/I$ is a finite field $\Leftrightarrow$ $R/I$ is a finite integral domain

The whole thing would be even cleaner if written as

Since $R$ is finite, we have the following equivalences:

$I$ is maximal $\Leftrightarrow$ $R/I$ is a field $\Leftrightarrow$ $R/I$ is an integral domain $\Leftrightarrow$ $I$ is a prime ideal

though only the second relies on $R$ being finite.