Normalization of an algebraic variety
= Normalization of an algebraic variety
The normalization of an integral <algebraic variety> is obtained by taking the integral closure of its affine coordinate rings in its <function field>. Its natural morphism is finite and birational, and its source is normal. For <Cartier divisors>, <bigness under finite normalization> compares section growth on the two varieties.