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'm currently reading Hilton & Stammbach's A First Course in Homological Algebra, and the following point has stumped me:

In section 1.8, they construct co-free modules ("left moodule" over some ring) as essentially coming from the right adjoint to the forgetful functor from $\Lambda$-Modules to Abelian Groups. On the other hand, the free module is constructed as the left adjoint to the forgetful functor from $\Lambda$-modules to Sets. This turns out to be equivalent to requiring free modules to be direct sums of copies of $\Lambda$ considered as a module over itself, and to requiring co-free modules as direct products of the $\Lambda^*=Hom_\mathbb{Z}(\Lambda, \mathbb{Q}/\mathbb{Z})$.

So I guess my question is: what does the right adjoint to the forgetful functor to Set look like, and why is the right adjoint to the forgetful functor to Abelian Groups more useful?

share|cite|improve this question
At heart I think it's because rings are monoids in Ab. – Qiaochu Yuan Oct 19 '10 at 15:43
A left moodule might be co-free, but I guess it isn't cow -free! (Sorry, couldn't resist.) – Nate Eldredge Oct 19 '10 at 16:24
^ lololololololo – CSA Feb 19 '14 at 3:34
up vote 9 down vote accepted

If a functor has a right adjoint, it preserves colimits; but the forgetful functor from $R$-Mod to Set doesn't. For instance it doesn't preserve binary coproducts. So there isn't a right adjoint.

share|cite|improve this answer
It doesn't even preserve the initial object. – Martin Brandenburg Feb 20 '14 at 20:14

Your Answer


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.