Stably free module

GPTKB entity

Statements (14)
Predicate Object
gptkbp:instanceOf gptkb:mathematical_concept
gptkbp:arises_in gptkb:Algebraic_K-theory
gptkbp:defines A module M over a ring R such that M ⊕ F ≅ F' for some free modules F, F'.
gptkbp:example The tangent bundle of the 2-sphere is a stably free module that is not free
gptkbp:field gptkb:algebra
https://www.w3.org/2000/01/rdf-schema#label Stably free module
gptkbp:property Every free module is stably free
Every stably free module is projective
gptkbp:relatedTo gptkb:Projective_module
gptkb:Free_module
gptkbp:studiedBy Module theory
gptkbp:type Module
gptkbp:bfsParent gptkb:Projective_modules
gptkbp:bfsLayer 6