Lemma 26.14.2. In Lemma 26.14.1 above, assume that all X_ i are schemes. Then the resulting locally ringed space X is a scheme.
Schemes can be glued to give new schemes.
Proof. This is clear since each of the U_ i is a scheme and hence every x \in X has an affine neighbourhood. \square
Comments (1)
Comment #840 by Johan Commelin on
There are also: