Every restriction map of the structure sheaf of a scheme is a unital ring homomorphism. Thus in implies the same identity in for every open . This proves (ii)(i), so (i) and (ii) are equivalent.
The unique structure morphism factors through the closed subscheme exactly when the ideal sheaf is zero. By (i), this is equivalent to all rings of local sections having characteristic of a ring . Therefore
Articles by others on the same topic
There are currently no matching articles.