The prime spectrum of a ring (associative, but not necessarily commutative or unital) is the set of prime ideals of the ring. For noncommutative rings however sometimes spectra of primitive ideal?s are more interesting.
The prime spectrum of a commutative unital ring extends to a contravariant functor .
The prime spectrum of a commutative unital ring has a natural Zariski topology , given by the basis of open sets where . The prime spectrum considered as a topological space is also called Zariski spectrum. A ring map induces a continuous map , so there is a contravariant functor .
The correspondence for all extends to a unique sheaf of commutative local rings on the Zariski topology on . The ringed space so constructed is also called the prime spectrum of the commutative ring . An affine scheme as a locally ringed space is any ringed space which is isomorphic to the prime spectrum of a commutative ring.
Any morphism of commutative rings also induces the comorphism of structure sheaves on spectra, hence a morphism in locally ringed spaces. This way one obtains a contravariant functor which is fully faithful (and its essential image is the strictly full subcategory whose objects are affine schemes).
Last revised on January 30, 2024 at 16:08:50. See the history of this page for a list of all contributions to it.