A maximal ideal in a commutative ring is prime

Let be a commutative ring and be a maximal ideal. Then is a prime ideal. #m/thm/ring

Proof

for commutative is a field iff is maximal and for commutative is an integral domain iff is prime.

#state/develop | #lang/en | #SemBr