Nonreduced double point
ID: nonreduced-double-point
The spectrum of the dual number ring is a nonreduced scheme of length two supported at one point. Its nonzero nilpotent retains first-order information that the underlying singleton topological space forgets. It differs from the disjoint union of two reduced -points.
New to topics? Read the docs here!