##  [Normalization](/normalization-0) 

 Definition

The process of replacing a ring (typically a domain or reduced ring) by its integral closure in its total ring of fractions (or appropriate ambient ring), producing a normal (integrally closed) object called the normalization.

 

 

 

 

 

 





## Principle

Principle

Normalize by taking the integral closure in the total ring of fractions so that singularities arising from non-integrality are removed; the normalization map is integral and birational in the domain case and satisfies a universal property among integral extensions.

 

 

 

 

 





## Demonstration

Demonstration

For the affine domain k[x^2,x^3] the normalization is k[x]; geometrically this corresponds to the normalization map from the smooth line to the cusp. In algebraic geometry, normalization of a reduced scheme replaces local rings by their integral closures in their total rings of fractions.

 

 

 

 

## Misapplication

Misapplication

Assuming normalization is always finite or that normalization resolves all singularities; without Noetherian or finite-type hypotheses the normalization may be non-finite, and even finite normalizations need not produce smooth objects in higher dimensions.

 

 

 

 

 





## Consequence

Consequence

Normalization yields a normal scheme or ring, often separating branches and removing certain kinds of singular behavior; it provides a canonical integral model and clarifies the structure of associated primes and components.

 

 

 

 

## Reversal

Reversal

The opposite is taking the non-normal subring, which reintroduces integrality defects and can create new singularities or identify distinct branches; normalization and forgetting the integral closure are not inverse procedures in general.

 

 

 

 

 





## Boundary

Boundary

Normalization is primarily defined for domains or reduced rings using total rings of fractions; for arbitrary nonreduced rings one must adapt the notion (e.g., normalization of reduced quotient). Finiteness, compatibility with base change, and preservation of properties require hypotheses (Noetherian, finite type).

 

 

 

 

 





## Semantic Tension

Semantic Tension

Normalization is easily confused with desingularization (resolution of singularities): normalization makes the ring integrally closed but does not necessarily produce a regular (smooth) object; it also relates to integral closure but emphasizes the ambient total ring of fractions and birationality.

 

 

 

 

 





## Synthesis

Synthesis

Normalization is the canonical integral closure of a domain (or reduced object) inside its total ring of fractions, producing a normal object and a finite integral map under suitable hypotheses; it removes integrality-induced singularities while respecting birational structure.