A quasi-coherent sheaf of ideals gives a closed subscheme by gluing on affine open subschemes where . Compatibility follows from exactness of localization. On the closed set , the structure sheaf is , where is the inclusion. Its pushforward is .
For an affine open subscheme , quasi-coherence gives for an ideal . Define with its usual closed immersion into . On a principal open subscheme , its restriction is , because localization commutes with taking this quotient. These local constructions therefore agree on overlaps and glue.
The resulting underlying closed set is , locally . With inclusion , its structure sheaf is
At a point corresponding to , its stalk is , the local ring of . Thus the glued ringed space is a scheme and is a closed immersion, with ideal sheaf of a closed subscheme exactly . This is the construction of a closed subscheme from a quasi-coherent ideal. If , the construction gives the empty scheme; if , it gives .
A finite locally free sheaf of ideals on a reduced scheme has rank at most one at every point. On a nonempty affine open subscheme where its rank is , localize its inclusion into the structure sheaf at a minimal prime ideal. The resulting local ring is a field , giving an injection , hence . This works without a Noetherian assumption. The empty scheme is a vacuous exception to claims phrased as nonexistence of a sheaf of a prescribed rank.