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 $\mathcal A$ be any Grothendieck abelian category and $0 \neq M \in \cal A$ an object. It is true that $M$ admits a simple subquotient?

It is certainly true for $\mathcal A=R-Mod$ since $M$ contains a cyclic module and any (left)ideal is contained in a maximal.

Motivation: In the category of modules over a ring $R$ the following are equivalent for an object $M$.

1) $M$ is a (maybe infinite) direct sum of simple modules.

2) Every short exact equence $$0 \rightarrow M'\rightarrow M\rightarrow M''\rightarrow 0$$ splits.

I want to generalize this statement to any abelian category and the above seems crucial for $2) \Rightarrow 1)$.

Edit: Hanno Becker informed me, that there are abelian categories without any irreducible objects, see Jeremy Rickards answer to this question. I changed my question accordingly.

share|improve this question

Your Answer


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

Browse other questions tagged or ask your own question.