Modul/Homomorphismus/Surjektiv/Lokaler Test/Fakt
Erscheinungsbild
Es sei ein kommutativer Ring und seien und Moduln über und ein Modulhomomorphismus. Dann sind folgende Aussagen äquivalent.
- ist surjektiv.
- Es ist surjektiv für jedes Primideal .
- Es ist surjektiv für jedes maximale Ideal .