Reduced scheme 2026-09-28
A scheme is reduced when every local ring is a reduced ring, equivalently when its structure sheaf has no nonzero nilpotent element. The affine scheme is reduced exactly when is reduced.