El proceso de reemplazar un anillo (típicamente un dominio o anillo reducido) por su cierre integral en su anillo total de fracciones (u anillo ambiente adecuado), produciendo un objeto normal (integralmente cerrado) llamado normalización.

Principio

Normalizar consiste en tomar el cierre integral en el anillo total de fracciones para eliminar singularidades debidas a la no integralidad; el morfismo de normalización es integral y, en el caso de dominios, birracional, y satisface una propiedad universal entre las extensiones integrales.

Demostración

Para el dominio afín k[x^2,x^3] la normalización es k[x]; geométricamente esto corresponde al mapa de normalización de la recta lisa hacia la cúspide. En geometría algebraica, la normalización de un esquema reducido reemplaza los anillos locales por sus cierres integrales en sus anillos totales de fracciones.

Aplicación incorrecta

Asumir que la normalización es siempre finita o que resuelve todas las singularidades; sin hipótesis noetherianas o de tipo finito la normalización puede no ser finita, y aun siendo finita no garantiza lisura en dimensiones mayores.

Consecuencia

La normalización produce un esquema o anillo normal, separando a menudo ramas y eliminando ciertos tipos de comportamiento singular; proporciona un modelo integral canónico y clarifica la estructura de primos asociados y componentes.

Inversión

La inversa es tomar el subanillo no normal, lo que reintroduce defectos de integridad y puede crear nuevas singularidades o identificar ramas distintas; normalización y el olvido del cierre integral no son operaciones inversas en general.

Límite

La normalización se define principalmente para dominios o anillos reducidos usando el anillo total de fracciones; para anillos no reducidos debe adaptarse la noción (por ejemplo, normalización del cociente reducido). La finitud, la compatibilidad con cambios de base y la preservación de propiedades exigen hipótesis (noetheriano, de tipo finito).

Tensión semántica

La normalización se confunde con facilidad con la desingularización (resolución de singularidades): la normalización hace que el anillo sea integralmente cerrado pero no garantiza que sea regular (liso); está relacionada con el cierre integral pero enfatiza el anillo total de fracciones y la birracionalidad.

Síntesis

La normalización es el cierre integral canónico de un dominio (u objeto reducido) dentro de su anillo total de fracciones, produciendo un objeto normal y un morfismo integral (a menudo finito) bajo hipótesis adecuadas; elimina singularidades debidas a la integridad manteniendo la estructura birracional.