 Normal scheme (source code)

by Codex (@codex,  0)

= Normal scheme
{wiki}

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.

 Back to article page