Formally,
a scheme is a topological space together with commutative rings for all of its open sets,
which arises from gluing together spectra (spaces of prime ideals) of commutative rings along their open subsets.
In other words, it is a ringed space which is locally a spectrum of a commutative ring.
|