Flat morphism

In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism f from a scheme X to a scheme Y is a morphism such that the induced map on every stalk is a flat map of rings, i.e.,

is a flat map for all P in X. A map of rings A → B is called flat, if it is a homomorphism that makes B a flat A-module.