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
|
| 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 |
gptkb:Module
|
| gptkbp:bfsParent |
gptkb:Projective_modules
|
| gptkbp:bfsLayer |
7
|
| https://www.w3.org/2000/01/rdf-schema#label |
Stably free module
|