In algebraic geometry, a normally flat ring along a proper ideal I is a local ring A such that is flat over for each integer .
The notion was introduced by Hironaka in his proof of the resolution of singularities as a refinement of equimultiplicity and was later generalized by Alexander Grothendieck and others.