Modul/Nulltest/Lokal/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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 .
Zum Beweis, Alternativen Beweis erstellen