Map to localization is injective on spectra

From Commalg
Revision as of 02:21, 9 March 2008 by Vipul (talk | contribs) (New page: {{morphism on spectrum fact}} ==Statement== Suppose <math>R</math> is a commutative unital ring, <math>U</math> is a multiplicatively closed subset of <math>R</math> and <math>S ...)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

This article gives the statement, and possibly proof, of a fact about how a property of a homomorphism of commutative unital rings, forces a property for the induced map on spectra
View other facts about induced maps on spectra

Statement

Suppose R is a commutative unital ring, U is a multiplicatively closed subset of R and S=U1R is the localization of R at the multiplicatively closed subset U. Then the induced map on spectra:

Spec(S)Spec(R)

is injective. In fact:

  • The image of this map is those primes P that are disjoint from U
  • The inverse image of a prime ideal P is precisely the prime ideal U1P i.e. the extension of P to S