Normal homomorphism

In algebra, a normal homomorphism is a ring homomorphism formula_1 that is flat and is such that for every field extension "L" of the residue field formula_2 of any prime ideal formula_3, formula_4 is a normal ring.