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
|