Module hom_module

Module hom_module 

Source

Structsยง

HomModule
Given a module N and a free module M, this is the module Hom(M, N) as a module over the ground field.