Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Prove or disprove:

If $M, N$ are R-module and for all $P$ R-module $Hom(M,P) \simeq Hom(N,P)$ then $M\simeq N$

share|improve this question

closed as too localized by Fernando Muro, Vladimir Dotsenko, Martin Brandenburg, Dan Petersen, Mark Sapir Jul 6 '12 at 20:50

This question is unlikely to help any future visitors; it is only relevant to a small geographic area, a specific moment in time, or an extraordinarily narrow situation that is not generally applicable to the worldwide audience of the internet. For help making this question more broadly applicable, visit the help center.If this question can be reworded to fit the rules in the help center, please edit the question.

10  
This follows from Yoneda lemma if you assume this isomorphisms are natural. –  Piotr Pstrągowski Jul 5 '12 at 20:04
10  
And if you do not assume the isomorphisms between Hom-sets to be natural, then for example over a field the question boils down to whether it is possible for two non-isomorphic vector spaces to have isomorphic duals. Over the field with two elements this is simply a question about the cardinality of power sets, which might very well be independant of ZFC. –  Piotr Pstrągowski Jul 5 '12 at 20:14
2  
I suggest "Are modules isomorphic if their Hom-sets are all isomorphic?" (or something like that). –  Mark Grant Jul 6 '12 at 11:36
    
@Piotr: could you please explain the "boils down" a bit further? The implication "isomorphic duals" $\implies$ "all hom spaces isomorphic" seems to require some implication of the sort $2^\kappa=2^\lambda\implies \alpha^\kappa=\alpha^\lambda$ for all cardinals $\alpha$. Is this true? –  user2035 Jul 6 '12 at 11:52
4  
I've cleaned up this comment thread; the removed comments are copied at tea.mathoverflow.net/discussion/1403/some-cleaned-up-comments. –  Anton Geraschenko Jul 6 '12 at 17:11

1 Answer 1

up vote 9 down vote accepted

K. Bongartz, "A generalization of a theorem of Auslander":

Let R be a commutative ring and A an abelian R-linear category such that each morphism set in A has finite length as an R-module. Let C be a full subcategory of A closed under direct sums and kernels. Then two objects M and N of C are isomorphic if and only if the lengths of Hom(M, X) and Hom(N, X) coincide for all X in C.

share|improve this answer

Not the answer you're looking for? Browse other questions tagged or ask your own question.