The nilradical ideal sheaf

The nilradical ideal sheaf reducedIdeal X of a scheme X, the radical of the zero ideal sheaf, whose closed subscheme is Hironaka's red X, the reduced scheme with the points of X [Hir64, Main Theorem I*].

noncomputable def AlgebraicGeometry.reducedIdeal (X : Scheme) : X.IdealSheafData

The nilradical ideal sheaf of X; its subscheme is Hironaka's red X [Hir64, Main Theorem I*].

Equations

• AlgebraicGeometry.reducedIdeal X = ⊥.radical