Let be a commutative ring with and suppose that for all , there exists an integer such that . Prove that every prime ideal of is maximal.

Let be a prime ideal. Now is an integral domain. Let be nonzero; there exists such that . In particular, , so that . Since , we have , so that . Thus is a division ring, and since is commutative, is a field. Thus is maximal.

Advertisements