Irreducible scheme
= Irreducible scheme
An irreducible <scheme> is one whose underlying <topological space> is a nonempty <irreducible topological space>. It can have <nilpotent elements> in its <structure sheaf>; irreducibility concerns only the topology. A <reduced scheme> is an <integral scheme> precisely when it is irreducible.