Modul/Homomorphismus/Surjektiv/Lokaler Test/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring und seien und Moduln über und ein Modulhomomorphismus. Dann sind folgende Aussagen äquivalent.

  1. ist surjektiv.
  2. Es ist surjektiv für jedes Primideal .
  3. Es ist surjektiv für jedes maximale Ideal .
Einen Beweis erstellen