Local criterion for flatness (source code)

= Local criterion for flatness
{wiki=Local_criterion_for_flatness}

The local criterion for flatness is a condition in algebraic geometry and commutative algebra that helps determine when a morphism (or ring homomorphism) is flat. Flatness is an important property that relates to how properties of rings (or varieties) behave under base change.