Abbildung zwischen zwei Moduln, die mit der Modulstruktur verträglich ist.

Sei R ein Ring, M und N R–Moduln, und ϕ : M → N eine Abbildung, dann ist ϕ ein R-Modulhomomorphismus (kurz: Homomorphismus), wenn ϕ(m + n) = ϕ(m) + ϕ(n) und ϕ(rm) = rϕ(m) für alle m, n ∈ M, r ∈ R gilt.