Reflexive module
= Reflexive module
{wiki}
A finitely generated module $M$ over a <commutative ring> $A$ is reflexive when its <evaluation homomorphism> $M\to M^{**}$ to the <double dual module> is an <isomorphism>.
= Reflexive module
{wiki}
A finitely generated module $M$ over a <commutative ring> $A$ is reflexive when its <evaluation homomorphism> $M\to M^{**}$ to the <double dual module> is an <isomorphism>.