Intereting Posts

Do I understand metric tensor correctly?
Delta function in curvilinear coordinates
Tensors in the context of engineering mechanics: can they be explained in an intuitive way?
Most succinct proof of the uniqueness and existence of the Levi-Civita connection.
Does $ \int \frac{exp( -b(a+x)^{3/2})}{\sqrt{x}} dx$ have a solution?
Can a group of order $55$ have exactly $20$ elements of order $11$?
Is a semisimple A-module semisimple over its endomorphism ring?
$L_1$ norm of Gaussian random variable
Proving that $x_n\to L$ implies $|x_n|\to |L|$, and what about the converse?
How is the epsilon-delta definition of continuity equivalent to the following statement?
Logistic function passing through two points?
Eigenvalues in terms of trace and determinant for matrices larger than 2 X 2
Is every suborder of $\mathbb{R}$ homeomorphic to some subspace of $\mathbb{R}$?
Transformation rule for a wedge product
Notation for infinite product in reverse order

All rings are commutative with unit.

Let $\rho:A\rightarrow B$ be a ring homomorphism. Suppose $\mathfrak q$ is a prime ideal of $B$, and let $\mathfrak p=\rho^{-1}(\mathfrak q)$.

My question: Is $B_\mathfrak q$ a localization of $B\otimes_A A_\mathfrak p$, or is it equal to $B\otimes_A A_\mathfrak p$?

- Category of binomial rings
- $\mathfrak{a}(M/N) = (\alpha M + N) / N$
- Does any integral domain contain an irreducible element?
- Why is cardinality of the field important for Noetherian normalization?
- There exists a unique isomorphism $M \otimes N \to N \otimes M$
- Do there exist a non-PIR in which every countably generated prime ideal is principal?

I suspect they are equal, but the book I am reading claims $B_\mathfrak q$ is only a localization of $B\otimes_A A_\mathfrak p$.

Here is my reasoning: Let $S=A-\mathfrak p$. Then $B\otimes_A A_\mathfrak p \cong B\otimes_A S^{-1}A$. This last module is canonically isomorphic to $S^{-1}B$, which is just $B_\mathfrak q$.

Edit: @wxu has kindly pointed out the error in my reasoning. How do I show the claimed fact, then?

- Quotient $M/M^2$ is finite dimensional over $R/M$ in local Noetherian ring?
- Help with these isomorphisms
- When does intersection commute with tensor product
- Maximal ideals of polynomial rings in infinitely many variables
- Cohen-Macaulay ring and saturated ideal
- Prime ideals in an arbitrary direct product of rings
- Let $R$ be a commutative ring with $1$. Suppose that every nonzero proper ideal of $R$ is maximal. Prove that there are at most two such ideals.
- Algebraic closure for rings
- Is this ring Noetherian?
- In what conditions every ideal is an extension ideal?

- Subgroups of $S_n$ of index $n$ are isomorphic to $ S_{n-1}$
- Would a proof to the Riemann Hypothesis affect security?
- Prove that $ x_1+ \dotsb + x_k=n, \frac1{x_1}+ \dotsb + \frac1{x_k}=1$
- Representation of a number as a sum of squares.
- how to show $f$ attains a minimum?
- Expanding and understanding the poison pills riddle
- Distinguishing between valid and fallacious arguments (propositional calculus)
- Calculating the integral $\int_{0}^{\infty} \frac{\cos x}{1+x^2}\mathrm{d}x$ without using complex analysis
- Concise proof that every common divisor divides GCD without Bezout's identity?
- weak* continuous linear functional is in the predual
- Prove that a UFD is a PID if and only if every nonzero prime ideal is maximal
- Find intersection of two lines given subtended angle
- When does a complex function have a square root?
- How can I compare two matrices?
- Show that, for $t>0$, $\log t$ is not a polynomial.