Modul/Nulltest/Lokal/Fakt

Es sei ein kommutativer Ring und ein -Modul. Dann sind folgende Aussagen äquivalent.

  1. Es ist .
  2. Es ist für jedes Primideal .
  3. Es ist für jedes maximale Ideal .