In algebraic geometry, a normally flat ring along a proper ideal I is a local ring A such that ${\displaystyle I^{n}/I^{n+1}}$ is flat over ${\displaystyle A/I}$ for each integer ${\displaystyle n\geq 0}$.

This article includes a list of general references, but it lacks sufficient corresponding inline citations. (June 2019)

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.