Нормальная схема
Норма́льная схе́ма, схема, все локальные кольца которой являются нормальными кольцами (т. е. приведёнными и целозамкнутыми в полном кольце частных). Нормальная схема локально неприводима; для такой схемы понятия связной и неприводимой компоненты совпадают. Множество особых точек нётеровой нормальной схемы имеет коразмерность, бо́льшую 1. Имеется следующий критерий нормальности (Серр. 1963): нётерова схема нормальна тогда и только тогда, когда выполняются два условия: 1) для любой точки коразмерности локальное кольцо регулярно; 2) для любой точки коразмерности глубина кольца больше 1. Для любой приведённой схемы существует канонически связанная с ней нормальная схема (нормализация). -схема является целой, хотя и не всегда конечной над . Однако если схема превосходная, например если – схема конечного типа над полем, то является конечной над .