From this it follows that in a commutative ring with unity that any maximal ideal is prime. Indeed if is a maximal ideal of a commutative ring with unity , then by the above observation is a field. But then must clearly be an integral domain, and this happens iff is prime. Hence is indeed a prime ideal of .
This article is a stub. Help us out by.