Module theory MOC Hom-module Let be a commutative ring and be -modules. Then the set of -module homomorphisms is itself equipped with the structure of an -module, i.e. we have an internal hom-functor which is the right adjoint of the tensor product, i.e. Proof proof develop | en | sembr