Definition:Algebraic Dual/Double Dual

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring.

Let $G$ be an $R$-module.


The double dual $G^{**}$ of $G$ is the dual of its dual $G^*$.