Projective object
In the mathematical field of category theory , projective objects are a generalization of the notion of freedom in algebra.
definition
An object P of a category C is called projective if there is for every epimorphism and every one such that is. This means that the diagram opposite is commutative. So it is projective if and only if the induced mapping for all epimorphisms
is surjective.
Examples
- Every starting object in a category is projective.
- In the category of sets Me , every object is projective. This is a consequence of the axiom of choice .
- The co- product of projective objects is projective.
- Projective groups are precisely the free groups .
properties
Is in the category of each object the quotient of a projective object, i. H. if there is an epimorphism for every object in which is projective, it is also said that there are enough projective objects . This property plays a role in the context of derived functors . For example, the category of groups has enough projective objects because each group is the quotient of a free group (representation by generators and relations).
Projective module
In the category of modules one can say more precisely about projective modules.
The following statements are equivalent for a module .
- is projective.
- For every epimorphism there is such a thing as that . That is, every target epimorphism is a retraction .
- Every epimorphism falls apart. That is, the direct summand is in .
- is isomorphic to a direct summand of a free module .
- The functor is exact .
The direct sum of a family of modules is projective if and only if each is projective. In particular, every direct summand of a projective module is projective. The product of projective modules is generally by no means projective. For example, it is not projective.
Examples of projective modules
- Each ring is projective as a module. Every free module is therefore projective.
- Projective Abelian groups are exactly the free Abelian groups . Attention: free Abelian groups are generally not free groups.
- More generally, every projective module is free above every main ideal ring .
- Broken ideals in a Dedekind ring are projective, but generally not free.
- A finitely generated module over a Noetherian ring is projective if and only if the associated module sheaf is locally free .
Dual base lemma
A module is created by . The module is projective if and only if there is a family of homomorphisms from the dual space with:
- For each is only for a finite number .
- For each is .
Consequences from the dual basis lemma
- For each right module there is a left module above the ring . This module is called the too dual module. The module is again a legal module. You have natural homomorphism . Is projective, so is injective.
- If projective and finitely generated, then there is an isomorphism. It is said to be reflexive.
See also
- The dual concept is that of the injective object .
- The isomorphism classes of finitely generated projective modules are described by the zeroth algebraic K-theory .
literature
- Friedrich Kasch : modules and rings . BG Teubner, Stuttgart 1977, ISBN 3-519-02211-7
- TY Lam : Lectures on Modules and Rings , Springer, New York 1999, ISBN 0-387-98428-3
- Bodo Pareigis : Categories and Functors , BG Teubner, Stuttgart 1969