Kommutative Algebra/Modultheorie/Surjektiver Modulhomomorphismus/Fakt

Es seien und Moduln über einem kommutativen Ring und ein -Modulhomomorphismus.

Dann sind äquivalent:

  1. ist surjektiv.
  2. f bildet jedes Erzeugendensystem von auf eines von ab.