Finitely generated projective module
GPTKB entity
Statements (18)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:Module_theory_concept
|
| gptkbp:characterizedBy |
Lifting property for module homomorphisms
|
| gptkbp:definedIn |
gptkb:King
|
| gptkbp:example |
gptkb:Free_module
Vector bundle (over a ring of functions) |
| gptkbp:heldBy |
gptkb:Projective_module
Finitely generated module |
| gptkbp:property |
Direct summand of a free module
Every surjective module homomorphism onto it splits |
| gptkbp:relatedTo |
gptkb:Grothendieck_group
gptkb:Stably_free_module Projective cover |
| gptkbp:used_in |
gptkb:Algebraic_K-theory
gptkb:Algebraic_geometry Homological algebra |
| gptkbp:bfsParent |
gptkb:Projective_modules
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Finitely generated projective module
|