Dual module

Source: Wikipedia, the free encyclopedia.

In mathematics, the dual module of a left (respectively right) module M over a ring R is the set of left (respectively right) R-module homomorphisms from M to R with the pointwise right (respectively left) module structure.[1][2] The dual module is typically denoted M or HomR(M, R).

If the base ring R is a

dual vector space
.

Every module has a

reflexive module is one for which the canonical homomorphism is an isomorphism. A torsionless module is one for which the canonical homomorphism is injective
.

Example: If is a finite commutative

Cartier dual
is the Spec of the dual R-module of A.

References