Double dual module
= Double dual module
{title2=$M^{**}$}
The double dual module is $M^{**}=\operatorname{Hom}_R(M^*,R)$. The <evaluation homomorphism> sends $m\in M$ to the functional $f\mapsto f(m)$.
= Double dual module
{title2=$M^{**}$}
The double dual module is $M^{**}=\operatorname{Hom}_R(M^*,R)$. The <evaluation homomorphism> sends $m\in M$ to the functional $f\mapsto f(m)$.