Connectedness from global regular functions
ID: connectedness-from-global-regular-functions
If a nonempty scheme has no nontrivial idempotent in , then its underlying topological space is connected. Indeed, a decomposition into two nonempty clopen subsets would produce the global regular function equal to zero on one component and one on the other. In particular, being a field implies connectedness.
New to topics? Read the docs here!