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 {p}}) \) of any prime ideal \( {\mathfrak {p}} \), \( 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, MR 2266432
Undergraduate Texts in Mathematics
Graduate Studies in Mathematics
Hellenica World - Scientific Library
Retrieved from "http://en.wikipedia.org/"
All text is available under the terms of the GNU Free Documentation License
