 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.