View source for Projective object of a category

A concept formalizing a property of retracts (or direct summands) of free groups, free modules, etc. An object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753001.png" /> of a category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753002.png" /> is said to be projective if for every [[Epimorphism|epimorphism]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753003.png" /> and every morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753004.png" /> there is a morphism <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753005.png" /> such that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753006.png" />. In other words, an object <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753007.png" /> is projective if the representable functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753008.png" /> from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p0753009.png" /> to the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530010.png" /> of sets takes epimorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530011.png" /> to epimorphisms of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530012.png" />, i.e. to surjective mappings.

Examples. 1) In the category of sets every object is projective. 2) In the category of groups, only free groups are projective. 3) In the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530013.png" /> of left modules over an associative ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530014.png" /> with a unit, a module is projective if and only if it is a direct summand of a free module. The description of the rings over which every projective module is free constitutes the content of the Serre problem. 4) In the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530015.png" /> all modules are projective if and only if the ring <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530016.png" /> is classically semi-simple. 5) In the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530017.png" /> of functions from a [[Small category|small category]] <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530018.png" /> to the category <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530019.png" /> of sets, every object is projective if and only if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530020.png" /> is a discrete category.

In the definition of projective objects it is sometimes supposed that the functor <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530021.png" /> takes not all the epimorphisms but only the morphisms of a distinguished class <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530022.png" /> to surjective mappings. In particular, if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530023.png" /> is the class of admissible epimorphisms of a bicategory <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530024.png" />, then <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/p/p075/p075300/p07530025.png" /> is called an admissible projective object. For instance, in some group varieties, the free groups of that variety are admissible projective objects with respect to the class of all surjective homomorphisms but are not projective objects since there exist non-surjective epimorphisms.

Dual to the concept of a projective object is that of an [[Injective object|injective object]]. The fundamental role of projective and injective objects was first observed in the development of homological algebra. In categories of modules every module is representable as a quotient of a projective module. This property allows one to construct the so-called projective resolutions and to study various notions of homological dimension.

====References====
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  H. Cartan,   S. Eilenberg,   "Homological algebra" , Princeton Univ. Press  (1956)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  S. MacLane,   "Homology" , Springer  (1963)</TD></TR></table>



====Comments====
The assertion that every object is projective in the category of sets (Example 1) is one way of formulating the [[Axiom of choice|axiom of choice]], and most of the other assertions above about projectives in particular categories involve the axiom of choice in some way. For example, the assertion that free Abelian groups are projective has been shown to be equivalent to the axiom of choice [[#References|[a1]]], though the assertion that every Abelian group is a quotient of a projective is weaker.

====References====
<table><TR><TD valign="top">[a1]</TD> <TD valign="top">  A.R. Blass,   "Injectivity, projectivity and the axiom of choice"  ''Trans. Amer. Math. Soc.'' , '''255'''  (1979)  pp. 31–59</TD></TR></table>