Normalization of an algebraic variety