Questions tagged [flatness]
An $A$-module $M$ is flat when the right-exact _$\otimes_AM$ functor becomes left exact (and therefore exact). This applies to $A$-algebras as the latter are $A$-module, saying that $B$ flat over $A$, or that $A\to B$ is flat. The notion passes to morphisms of schemes: a morphism of schemes $f: X\to Y$ is flat if all the induces stalks local morphisms are flat. This passes also to sheaves, etc...