## [Normalidad](/es/node/63878) Definición 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 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 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 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 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 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 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 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 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.