Maximal ideal A maximal ideal in a commutative ring is prime Let be a commutative ring and be a maximal ideal. Then is a prime ideal. ring Proof Condition for a quotient commutative ring to be a field and Condition for a quotient commutative ring to be an integral domain. develop | en | SemBr