Articles by others on the same topic
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.