Normally flat ring

In algebraic geometry, a normally flat ring along a proper ideal is a local ring such that is flat over for all .

The notion was introduced by Hironaka in his proof of the resolution of singularities as a refinement of equimultiplicity and was later generalized by Grothendieck and others.

References