Projective modules

GPTKB entity

Statements (51)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:category Abelian category
Category of modules
gptkbp:characterizedBy Direct summand of a free module
Every short exact sequence 0 → A → B → P → 0 splits
gptkbp:citation gptkb:Algebra_by_Serge_Lang
gptkb:Homological_Algebra_by_Cartan_and_Eilenberg
gptkb:Introduction_to_Commutative_Algebra_by_Atiyah_and_Macdonald
gptkbp:class Over a local ring, projective modules are free
Over a semisimple ring, all modules are projective
Over a Dedekind domain, finitely generated projective modules are classified by their rank and class group
Over a principal ideal domain, projective modules are free
gptkbp:contrastsWith Flat modules
Injective modules
gptkbp:definedIn gptkb:King
gptkbp:defines A module P is projective if for every surjective module homomorphism f: M → N and every module homomorphism g: P → N, there exists a module homomorphism h: P → M such that f ∘ h = g.
gptkbp:example gptkb:Finitely_generated_projective_module
gptkb:Free_module
gptkb:Stably_free_module
Module over a semisimple ring
gptkbp:field gptkb:algebra
gptkbp:generalizes gptkb:Vector_bundles_(in_algebraic_geometry)
Free modules
gptkbp:hasSubfield Module theory
gptkbp:homological_property gptkb:Tor_functor
Ext functor vanishes for projective modules
Projective dimension
https://www.w3.org/2000/01/rdf-schema#label Projective modules
gptkbp:important_theorem gptkb:Serre's_problem
gptkb:Kaplansky's_theorem
gptkb:Bass's_cancellation_theorem
gptkb:Quillen–Suslin_theorem
gptkbp:notation P (often used for projective modules)
gptkbp:property Direct summand of a projective module is projective
Direct sum of projective modules is projective
Every free module is projective
Every projective module is flat
gptkbp:relatedConcept Homological algebra
Projective resolution
Projective cover
gptkbp:studiedBy gptkb:David_Hilbert
gptkb:Emmy_Noether
gptkb:Irving_Kaplansky
gptkb:Jean-Pierre_Serre
gptkb:Hyman_Bass
gptkbp:used_in gptkb:Algebraic_topology
gptkb:Algebraic_geometry
gptkb:Representation_theory
Homological algebra
gptkbp:bfsParent gptkb:K-theory
gptkbp:bfsLayer 5