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