Definition:Evaluation Isomorphism

Definition
Let $R$ be a commutative ring.

Let $G$ be a unitary $R$-module whose dimension is finite.

Then the evaluation linear transformation $J: G \to G^{**}$ is called the '''evaluation isomorphism from $G$ to $G^{**}$.

Also see

 * Evaluation Isomorphism is Isomorphism