Sei π: M -> M´ ein Morphismus von R-Linksmoduln und N´⊆ M´ ein Untermodul. Konstruieren Sie den natürlichen Modulhomomorphismus
π: M / π-1(N´) -> M´/N´
und zeigen Sie, dass π¯ injektiv ist. Zeigen Sie weiter, dass π¯ ein Isomorphismus ist, falls π surjektiv ist.
