## You are here

Homeenough projectives

## Primary tabs

# enough projectives

Let $\mathcal{A}$ be an abelian category. $\mathcal{A}$ is said to have *enough projectives* if, for every object $A$ of $\mathcal{A}$, there is a projective object $P$ of $\mathcal{A}$ and an exact sequence

$\xymatrix{P\ar[r]^{p}&A\ar[r]&0}.$ |

In other words, the map $p\colon P\to A$ is epi, or an epimorphism.

Example. Let $R$ be a ring. The category of left (right) $R$-modules is an abelian category having enough projectives. This is true since, for every left (right) $R$-module $M$, we can take $F$ to be the free (and hence projective) $R$-module generated by a generating set $X$ for $M$ (we can in fact take $X$ to be $M$). Then the canonical projection $\pi\colon F\to M$ is the required surjection.

More generally, a category $\mathcal{C}$ is said to have *enough projectives* if every object is a strong quotient object of a projective object.

# References

- 1
F. Borceux
*Basic Category Theory, Handbook of Categorical Algebra I*, Cambridge University Press, Cambridge (1994)

## Mathematics Subject Classification

18G05*no label found*18E10

*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier