Zum Inhalt springen

Modul/Homomorphismus/Surjektiv/Lokaler Test/Fakt

Aus Wikiversity

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 .