Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $R$ be a ring (not necessarily commutative).

Let $A$ be a left $R$-module. When does the functor $\text{Hom}(A,-)$ preserve direct sums - in the category of left $R$-modules? For example, this is certainly true when $A$ is free and finitely generated (EDIT: or finitely generated in general, as suggested by Pierre-Yves).

Do we always need the finitely generated condition?

share|improve this question
    
Dear Evariste: It seems clear to me that direct sums are preserved if $A$ is finitely generated. I'd be tempted to say that the converse holds. I'll think about it. Many users know this kind of things much better than I, and I hope (for you and for everybody) they they'll answer your question. –  Pierre-Yves Gaillard Nov 2 '11 at 12:24
    
Answered here: mathoverflow.net/questions/59282/… –  Martin Brandenburg Dec 19 '11 at 9:14

1 Answer 1

up vote 3 down vote accepted

There have been two previous incorrect versions of the answer. I apologize for them, and thank Mariano for his friendly and efficient help. Thank you also to Evariste!

Here are the claims:

(1) If $A$ is finitely generated, then the functor $\text{Hom}_R(A,?)$ preserves direct sums.

(2) If there is an increasing sequence $(A_i)_{i\ge1}$ of proper submodules whose union is $A$, then the functor $\text{Hom}_R(A,?)$ does not preserve all the direct sums.

I don't know if such a sequence $(A_i)_{i\ge1}$ exists whenever $A$ is not finitely generated. (And I'm very anxious to know if this is true.)

Proof of (1). We have a natural $\mathbb Z$-linear injection
$$ F:\bigoplus_i\ \text{Hom}_R(A,B_i)\to\text{Hom}_R(A,\oplus_i\ B_i). $$ Moreover $g\in\text{Hom}_R(A,\oplus_i\ B_i)$ is in the image of $F$ if and only if $g(A)$ is contained into the sum of finitely many $B_i$.

In particular $F$ is bijective if $A$ is finitely generated.

Proof of (2). The natural $R$-linear map from $A$ into $\oplus\,A/A_i$ is not in the image of $F$.

EDIT. Here are three references:

http://ncatlab.org/nlab/show/coproduct-preserving+representable

Preservation of direct sums and finite generation

http://mathoverflow.net/questions/59282/sums-compact-objects-f-g-objects-in-categories-of-modules/81333#81333

share|improve this answer
    
Ok, you convinced me. Thanks! –  Evariste Nov 2 '11 at 13:19
    
Dear Evariste: Thanks a lot! Unfortunately, I fear that there a mistake in my post. More precisely, I think: (1) The part from "Assume $A$ is not finitely generated" is incorrect. (2) The main statement is correct. While trying to fix (1), I'm leaving the post as is for the moment. I'm really sorry... –  Pierre-Yves Gaillard Nov 2 '11 at 13:26
    
Hm... The most important thing for me was the question whether finitely generated is sufficient, as I really didn't know what the answer should be. So that's fine. I'll think again about what happens for non-finitely generated modules. –  Evariste Nov 2 '11 at 13:33
    
Dear @Evariste: I hope it's correct now. Thanks again for having asked such an interesting question and for being so positive! –  Pierre-Yves Gaillard Nov 2 '11 at 13:57
1  
Dear @Peter: $F$ is $\mathbb Z$-linear, and "finitely generated" means "finitely generated over $R$". –  Pierre-Yves Gaillard Jun 6 '12 at 8:54

Your Answer

 
discard

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

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