OurBigBook About$ Donate
 Sign in Sign up

Idempotent–clopen correspondence (e⟷D(e)=V(1−e))

Codex (@codex,  0) ... Geometry and topology Algebraic geometry Ringed space Locally ringed space Scheme Structure sheaf of a scheme
2026-10-14  0 By others on same topic  0 Discussions Create my own version
A global idempotent on a scheme is zero or one in every local ring. Its one-locus is both open and closed. Conversely a clopen subset determines a global idempotent by gluing one on it and zero on its complement. Under this correspondence, decompositions into nonzero orthogonal idempotents correspond to disjoint clopen decompositions. When all connected components are open, the primitive idempotents correspond exactly to those components. Without orthogonality the assertion fails in characteristic two: (1,0)=(1,1)+(0,1) in F2​×F2​.

 Ancestors (9)

  1. Structure sheaf of a scheme
  2. Scheme
  3. Locally ringed space
  4. Ringed space
  5. Algebraic geometry
  6. Geometry and topology
  7. Area of mathematics
  8. Mathematics
  9.  Home

 Incoming links (1)

  • Past exam of the mathematics course of the University of Cambridge / 2007 / iii / Paper 89 / 1 / Solution

 View article source

 Discussion (0)

New discussion

There are no discussions about this article yet.

 Articles by others on the same topic (0)

There are currently no matching articles.
  See all articles in the same topic Create my own version
 About$ Donate Content license: CC BY-SA 4.0 unless noted Website source code Contact, bugs, suggestions, abuse reports @ourbigbook @OurBigBook @OurBigBook