For an idempotent , define the principal open subset . Since , a prime ideal contains at least one of , and it cannot contain both. ThereforeThus is a clopen set.
Conversely, let be a clopen set in . The structure sheaf glues the section on and the section on its complement to a unique global section . Checking on these two open subsets gives , and . Conversely, the restriction of an idempotent to is because is a unit there, and its restriction to is . Thus the two constructions are inverse, including for the zero ring:
Articles by others on the same topic
There are currently no matching articles.