Let be a prime ideal, be a commutative ring with identity, . Then will be a multiplicative subset of , that is,
Define as the set .
we may write as
define the add operation
define the times operation
Then we can prove that is a commutative ring of identity.
Prove that has a unique maximal ideal..