Condition (i) implies (ii) immediately by taking the open set .
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 (0)

There are currently no matching articles.