|
|
|
|
enough projectives
|
(Definition)
|
|
|
Let
 be an abelian category.
 is said to have enough projectives if, for every object  of
 , there is a projective object  of
 and an exact sequence
In other words, the map
 is epi, or an epimorphism.
Example. Let  be a ring. The category of left (right)  -modules is an abelian category having enough projectives. This is true since, for every left (right)  -module  , we can take  to be the free (and hence projective)  -module generated by a generating set  for  (we can in fact take  to be  ). Then the canonical
projection
 is the required surjection.
More generally, a category
 is said to have enough projectives if every object is a strong quotient object of a projective object.
- 1
- F. Borceux Basic Category Theory, Handbook of Categorical Algebra I, Cambridge University Press, Cambridge (1994)
|
"enough projectives" is owned by CWoo.
|
|
(view preamble | get metadata)
Cross-references: quotient object, strong, surjection, canonical projection, generating set, generated by, right, category, ring, epimorphism, epi, map, exact sequence, projective object, object, abelian category
There are 4 references to this entry.
This is version 7 of enough projectives, born on 2004-11-21, modified 2008-09-22.
Object id is 6506, canonical name is EnoughProjectives.
Accessed 1474 times total.
Classification:
| AMS MSC: | 18E10 (Category theory; homological algebra :: Abelian categories :: Exact categories, abelian categories) | | | 18G05 (Category theory; homological algebra :: Homological algebra :: Projectives and injectives) |
|
|
|
|
|
|
Pending Errata and Addenda
|
|
|
|
|
|
|
|
|
|
|
![$\displaystyle \xymatrix{P \ar[r]^p & A \ar[r] & 0}.$](http://images.planetmath.org:8080/cache/objects/6506/l2h/img7.png "$\displaystyle \xymatrix{P \ar[r]^p & A \ar[r] & 0}.$")