Let be a prime ideal, be a commutative ring with identity, . Then will be a multiplicative subset of , that is,

Define as the set .

define

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..

Thank you