Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I've been mixing up my reading with a little category theory. When thinking about dual modules, this idea popped up.

Suppose $M$ and $N$ are modules over some commutative ring $A$. Suppose $M^\vee$ denotes the dual module of $M$, that is, $M^\vee=\operatorname{Hom}_A(M,A)$.

Is there an example of such $M$ and $N$ so that the natural homomorphism $M^\vee\otimes N\to\text{Hom}_A(M,N)$ is not a monomorphism (not injective)? Thanks.

share|cite|improve this question
Related discussion… – Ehsan M. Kermani Mar 11 '12 at 0:39
Dear Buble, Did you try any examples? E.g. with $A = \mathbb Z$ and $M = N$? Regards, – Matt E Mar 11 '12 at 4:28

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.