-1

I have no idea how to prove this:

Let be $B$ a prime ideal of a commutative ring $A$. Show that $A_B$, the ring of fractions respect $B$ as multiplicative set is a local ring.

Any suggestions?

John F.
  • 121

1 Answers1

1

In fact $A_B$ is a local ring, i.e. it has a unique maximal ideal of the form $$ m_p=\{ \frac {p}{s} ; p\in B, s\in A-B \} $$ to see that $m_p$is maximal ideal, every element of $A_B$ not in $m_p$ is the form $\frac{s'}{s}$ with $s'\in A-B$, and so has an inverse $\frac{s}{s'}$ and is hence a unit.

Mustafa
  • 1,590