$A$ is a commutative ring, $P$ is a prime ideal. Prove $A_P$ is local ring

954 Views Asked by At

Question: Suppose $A$ is a commutative ring, $P$ is a prime ideal. Prove $A_P$ is local ring.

I have no idea how to construct the unique maximal ideal.

2

There are 2 best solutions below

0
On BEST ANSWER

Book: "Steps in Commutative Algebra" by "R.Y. Sharp"

enter image description here

3
On

HINT: Let $R$ be a commutative ring with $1$, and let $I\subset R$ an ideal. If all the elements in $R\setminus I$ are invertible in $R$ then $R$ is local and $I$ is its unique maximal ideal.