Normalization of a reduced ring

From Commalg