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