Definition:Dual Module

From ProofWiki
Jump to navigation Jump to search

Definition

Let $R$ be a commutative ring.

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


Then the dual module of $M$ is the module of homomorphisms $\operatorname{Hom}_{R\text{-mod}}(M,R)$.

That is, the elements of the dual module are the linear forms on $M$.