A module homomorphism is a map f:M->N between modules over a ring R which preserves both the addition and the multiplication by scalars. In symbols this means that f(x + y) = f(x) + f(y) for all x, y element M and f(a x) = a f(x) for all x, element M, for all a element R. Note that if the ring R is replaced by a field K, these conditions yield exactly the definition of f as a linear map between abstract vector spaces over K.

cokernel | endomorphism | endomorphism ring | hom | homomorphism | linear transformation | module | module kernel