Tags: #todo #todo/stub Refs: ?
reduced
A ring is reduced if it has no nonzero nilpotents. A scheme \(X\) is reduced iff every section \({\mathcal{O}}_X(U)\) is a reduced ring, i.e. contains no nonzero nilpotents. Note that being reduced is a local property and can be cheked on an affine open cover or on stalks.