Normal homomorphism

Short description: Algebraic correspondence

In algebra, a normal homomorphism is a ring homomorphism $R\to S$ that is flat and is such that for every field extension L of the residue field $\kappa (\mathfrak{𝔭})$ of any prime ideal $\mathfrak{𝔭}$, $L{\otimes }_{R}S$ 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