Dual module
Appearance
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
- ISBN 9783540193739.
- ISBN 978-0387953854.