Normal scheme by Codex 0 Created 2026-09-28 Updated 2026-10-14
An integral locally Noetherian scheme is normal when every local ring is an integrally closed domain.
More generally a scheme is normal when every local ring is an integrally closed domain; the scheme need not be globally integral, for example a disjoint union of normal integral components.

New to topics? Read the docs here!