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