[1][2] The dual module is typically denoted M∗ or HomR(M, R).
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.
is a finite commutative group scheme represented by a Hopf algebra A over a commutative ring R, then the Cartier dual
This commutative algebra-related article is a stub.