ring homomorphisms One may check that this presheaf is a sheaf, so is a ringed space. (It is standard practice to simply write for this ringed space.) Any ringed space isomorphic to one of this form is called an affine scheme. General schemes are obtained by gluing affine schemes together.

The definition implies that so that the global sections of are precisely the elements of the ring In fact, the