Editing Flat module (section)

== In constructive mathematics ==
Flat modules have increased importance in [[constructive mathematics]], where projective modules are less useful. For example, that all free modules are projective is equivalent to the full [[axiom of choice]], so theorems about projective modules, even if proved constructively, do not necessarily apply to free modules. In contrast, no choice is needed to prove that free modules are flat, so theorems about flat modules can still apply.{{sfn|Richman|1997|ps=none}}