Tensor products and Residue fields

973 Views Asked by At

Given a ring homomorphism between two Noetherian rings, $f:A \to B$. Let $P$ be a prime ideal in $B$ and let $\mathfrak{p}$ be an ideal in $A$ such that $f^{-1}(P) = \mathfrak{p}$. How can we prove the following:

$$B_P \otimes_A k(\mathfrak{p}) = B_P/\mathfrak{p}B_P$$

1

There are 1 best solutions below

0
On BEST ANSWER

Let for instance $A$ be a field, and $P$ a prime ideal of $B$ (then $\mathfrak{p}=0$) such that $B\neq B_P$.