# Normal ring

## Definition

A commutative unital ring is said to be normal if it is a reduced ring and further, if it is integrally closed in its total quotient ring.

This generalizes the notion of normal domain where we require the integral domain to be integrally closed in its field of fractions.

## Metaproperties

### Closure under taking localizations

This property of commutative unital rings is closed under taking localizations: the localization at a multiplicatively closed subset of a commutative unital ring with this property, also has this property. In particular, the localization at a prime ideal, and the localization at a maximal ideal, have the property.
View other localization-closed properties of commutative unital rings

The localization of a normal ring at any multiplicatively closed subset not containing zero, and hence, in particular, the localization relative to any prime ideal, is again a normal ring. For full proof, refer: Normality is localization-closed

### Closure under taking the polynomial ring

This property of commutative unital rings is polynomial-closed: it is closed under the operation of taking the polynomial ring. In other words, if $R$ is a commutative unital ring satisfying the property, so is $R[x]$

View other polynomial-closed properties of commutative unital rings

The polynomial ring over a normal ring is a normal ring. For full proof, refer: Normality is polynomial-closed