Si "A" y "B" son álgebras asociativas sobre el mismo anillo "R" un homomorfismo de álgebras "h": "A" -> "B" es un homomorfismo de "R"-módulos que también es multiplicativa en el sentido que "h"("xy") = "h"("x") "h"("y") para todo "x", "y" en "A".