Normal homomorphism

In algebra, a normal homomorphism is a ring homomorphism [math]\displaystyle{ R \to S }[/math] that is flat and is such that for every field extension L of the residue field [math]\displaystyle{ \kappa(\mathfrak{p}) }[/math] of any prime ideal [math]\displaystyle{ \mathfrak{p} }[/math], [math]\displaystyle{ L \otimes_R S }[/math] is a normal ring.

References

• Huneke, Craig; Swanson, Irena (2006), "Ch. 19", Integral closure of ideals, rings, and modules, London Mathematical Society Lecture Note Series, 336, Cambridge, UK: Cambridge University Press, ISBN 978-0-521-68860-4, http://people.reed.edu/~iswanson/book/index.html