# The module is injective iff it is a direct summand of an injective cogenerator

1. Jun 7, 2008

### ggugl

could any one give me a proof of this statment:

The module is injective iff it is a direct summand of an injective cogenerator.

2. Jun 7, 2008

### mathwonk

no, but for such things, see abelian categories by peter freyd.