Dual module (source code)

= Dual module
{title2=$M^*$}
{wiki}

For an $R$-module $M$, its dual module is $M^*=\operatorname{Hom}_R(M,R)$, with pointwise addition and scalar multiplication.