Category theory MOC

Simple object

Let be a category. An object is called simple iff its only quotients (in the sense of coëqualizers) are the terminal object and itself.¹ cat If is abelian category, it is sufficient for to have no subobjects.

Examples

• Simple group in Category of groups.
• Simple module in Category of left modules.
• Simple ring in Category of rings.

Properties

• Schur’s lemma in abelian categories

See also

• Semisimple object in an abelian category

---

tidy | en | sembr

Footnotes

1. Constructively, a quotient of is iff it is not . ↩