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!