Namespaces
Variants
Actions

Difference between revisions of "Projective object of a category"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (Link)
Line 1: Line 1:
 
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.
 
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.
+
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.
 
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.

Revision as of 18:40, 27 May 2016

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.

References

[1] H. Cartan, S. Eilenberg, "Homological algebra" , Princeton Univ. Press (1956)
[2] S. MacLane, "Homology" , Springer (1963)


Comments

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.

References

[a1] A.R. Blass, "Injectivity, projectivity and the axiom of choice" Trans. Amer. Math. Soc. , 255 (1979) pp. 31–59
How to Cite This Entry:
Projective object of a category. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Projective_object_of_a_category&oldid=38854
This article was adapted from an original article by M.Sh. Tsalenko (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article