Projective object of a category
A concept formalizing a property of retracts (or direct summands) of free groups, free modules, etc. An object of a category is said to be projective if for every epimorphism and every morphism there is a morphism such that . In other words, an object is projective if the representable functor from to the category of sets takes epimorphisms of to epimorphisms of , 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 of left modules over an associative ring 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 all modules are projective if and only if the ring is classically semi-simple. 5) In the category of functions from a small category to the category of sets, every object is projective if and only if is a discrete category.
In the definition of projective objects it is sometimes supposed that the functor takes not all the epimorphisms but only the morphisms of a distinguished class to surjective mappings. In particular, if is the class of admissible epimorphisms of a bicategory , then 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. 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.
|||H. Cartan, S. Eilenberg, "Homological algebra" , Princeton Univ. Press (1956)|
|||S. MacLane, "Homology" , Springer (1963)|
The assertion that every object is projective in the category of sets (Example 1) is one way of formulating the 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 [a1], though the assertion that every Abelian group is a quotient of a projective is weaker.
|[a1]||A.R. Blass, "Injectivity, projectivity and the axiom of choice" Trans. Amer. Math. Soc. , 255 (1979) pp. 31–59|
Projective object of a category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_object_of_a_category&oldid=11304