Let ϕ ⁣:A→B\phi\colon A\to B be a ring homomorphism. If ℘\wp is a prime ideal of AA, describe Spec⁡(B℘/℘B℘)\operatorname{Spec}(B_\wp/\wp B_\wp), the set of prime ideals of B℘/℘B℘=B⊗A(A℘/℘A℘).B_\wp/\wp B_\wp = B\otimes_A (A_\wp/\wp A_\wp).

(Source: Cf. Qing Liu, Chapter 3, Proposition 1.16)

Choose one answer

Type a concept, like “slope” or “photosynthesis”.

↑ ↓ to choose · Enter to openSearch explanations and problems