Algebras and modules
Model category presentations
Geometry on formal duals of algebras
For a commutative ring, its nilradical is the ideal of nilpotent elements: the collection of those elements such that there is with .
The quotient is also called the reduced part of .
(If is not commutative there are different generalization of the notion of nilradical. See wikipedia, for the moment.)
With rings regarded as formal duals of affine schemes, the canonical inclusion
is to be thought of as exhibiting the inclusion of into an infinitesimal thickening of itself.
For a presheaf on the category of commutative rings, the presheaf
is called the de Rham space of .
Revised on March 3, 2015 10:08:44
by Urs Schreiber