Normally flat ring

In algebraic geometry, a normally flat ring along a proper ideal I is a local ring A such that

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.

This algebraic geometry–related article is a stub.

You can help Wikipedia by expanding it.