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.
Articles by others on the same topic
There are currently no matching articles.