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.
Read more about this topic: Flat Module
Famous quotes containing the words constructive and/or mathematics:
“... the constructive power of an image is not measured in terms of its truth, but of the love it inspires.”
—Sarah Patton Boyle, U.S. civil rights activist and author. The Desegregated Heart, part 1, ch. 15 (1962)
“It is a monstrous thing to force a child to learn Latin or Greek or mathematics on the ground that they are an indispensable gymnastic for the mental powers. It would be monstrous even if it were true.”
—George Bernard Shaw (1856–1950)