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.

I was just introduced to the notion of projective module (through Matsumura, Commutative ring theory), and there it is said that the reason that there is no easy description for injective modules (along the lines of "projective modules are direct summands of injective modules") is that there is no notion dual to free module. Could somebody enlighten me about the difficulty of such construction, i.e., why would it be meaningless to reverse the arrows in the universal property definition of free module?

share|improve this question
2  
See mathoverflow.net/questions/103252/… . –  Qiaochu Yuan Jan 11 '13 at 0:32
1  
See also: math.stackexchange.com/q/89469 –  Martin Jan 11 '13 at 1:25
add comment

1 Answer

Caveat lector: this answers your last question "why would it be meaningless to reverse the arrows in the universal property definition of free module?", regardless of the fact that this is not exactly what you want for your purposes: see Qiaochu's comment below.


The universal property of a free object (e.g. free module) expresses the fact that the forgetful functor has a left adjoint, the free functor.

A cofree functor, the one that gives you cofree objects, i.e. those who satisfy the dual universal property to free objects, would be a right adjoint to the forgetful functor.

Alas, the forgetful functor does not have a right adjoint in the category of modules over a ring, because it would have to preserve colimits, and it doesn't (e.g. it doesn't preserve coproducts).

Hence there is no "cofree functor".

share|improve this answer
    
This isn't even the real problem. What you want is not a right adjoint to the forgetful functor $C \to \text{Set}$ but a left adjoint to a different forgetful functor $C^{op} \to \text{Set}$ (to get projective objects in $C^{op}$, which are injective objects in $C$). –  Qiaochu Yuan Jan 11 '13 at 0:34
    
@Qiaochu: Thank you for the heads-up, I've added a notice. –  Bruno Stonek Jan 11 '13 at 0:38
add comment

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.