flat module

Last updated January 27, 2022

Definition

A module $M$ is flat over a ring $R$ if $M\otimes_R -$ is an exact functor.

Properties

1. Projective ( inj proj resolutions) implies flat