##  [Flatness](/flatness-0) 

 Definition

A property of a module M over a ring R (or of a ring homomorphism R → S) meaning that tensoring with M (or with S over R) preserves exact sequences; equivalently Tor1^R(−,M) = 0 for all modules, so no new torsion is introduced by tensor product.

 

 

 

 

 

 





## Principle

Principle

Exactness-preservation under tensor product: flat objects do not create homological obstructions when tensored, so short exact sequences remain exact after applying − ⊗_R M.

 

 

 

 

 





## Demonstration

Demonstration

As Z-modules, Q is flat because tensoring with Q annihilates torsion but does not break exactness; by contrast Z/nZ is not flat over Z since tensoring the short exact sequence 0→Z→Z→Z/nZ→0 with Z/nZ yields a loss of exactness. Over a PID like Z, flatness coincides with torsion-freeness.

 

 

 

 

## Misapplication

Misapplication

Assuming flatness is the same as freeness in general; many nonfree modules are flat, and conversely projective (hence free over many rings) is stronger than flat. Treating flat morphisms in algebraic geometry as merely 'open' maps confuses algebraic exactness with topological properties.

 

 

 

 

 





## Consequence

Consequence

Flat modules allow base change without losing exact algebraic relations; in geometry flatness of a family means fibers vary continuously in algebraic sense, and in homological algebra it enables computation of derived functors after tensoring.

 

 

 

 

## Reversal

Reversal

Nonflatness means some exact sequences become nonexact after tensoring: torsion is created or detected by the tensor product, causing failure of base change, obstructed specialization, or appearance of Tor groups.

 

 

 

 

 





## Boundary

Boundary

Flatness is an algebraic, homological condition for modules and morphisms; it does not by itself imply finiteness, projectivity, or geometric smoothness. Results that require noetherian or finite-type hypotheses may not hold for arbitrary flat modules.

 

 

 

 

 





## Semantic Tension

Semantic Tension

Tension with 'flat morphism' in geometry where additional qualifications (finite presentation, local freeness) are often required to derive geometric conclusions; tension also with 'torsion-free' which equals flat only over special rings like PIDs.

 

 

 

 

 





## Synthesis

Synthesis

Flatness is the condition that tensoring preserves exactness: an algebraic guarantee that base change does not produce hidden obstructions, distinct from but compatible with freeness and projectivity in stronger contexts.