Para un dominio R, normalidad significa que R es integralmemente cerrado en su cuerpo de fracciones; para un esquema, normal significa que todos los anillos locales son dominios integralmemente cerrados.

Principio

La normalidad se organiza por la integralidad: los elementos del campo de fracciones que satisfacen un polinomio mónico con coeficientes en R ya pertenecen a R. Controla la extensión de divisores y el comportamiento en codimensión uno.

Demostración

Todo dominio de factorización única (UFD) es normal; el anillo de coordenadas k[x1,...,xn] y los anillos locales de variedades lisas son normales, mientras que el anillo de la cúspide k[t^2,t^3] no es normal y requiere normalización.

Aplicación incorrecta

Confundir normalidad con factorialidad (UFD) o con regularidad; suponer que ser integralmemente cerrado implica buenas propiedades de factorización o suavidad es incorrecto.

Consecuencia

Los anillos normales permiten una teoría de divisores bien comportada en codimensión uno, los mapas de normalización son finitos bajo hipótesis suaves, y ciertos fenómenos de cohomología local y extensiones se simplifican en esquemas normales.

Inversión

Los anillos no normales tienen elementos integrales ausentes en R; su normalización introduce una extensión birracional finita que corrige algunas singularidades pero puede crear varias componentes.

Límite

La normalidad es principalmente una propiedad de dominios (o de cada componente irreducible); para anillos no dominios se trabaja por componentes o con el cierre integral en el anillo total de fracciones; pueden surgir patologías dependientes de la característica.

Tensión semántica

Normal vs integralmemente cerrado vs geométricamente normal: integralmemente cerrado en el campo de fracciones es la definición algebraica, mientras que la normalidad geométrica incluye estabilidad por cambio de base y condiciones de separabilidad sobre cuerpos no perfectos.

Síntesis

La normalidad es la condición de cierre integral para un dominio: prohíbe elementos integrales 'ocultos' en el cuerpo de fracciones, posibilitando una teoría de divisores controlada y singularidades en codimensión uno menos graves.