Statements (23)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:category |
Homological algebra
|
| gptkbp:characterizedBy |
Baer's criterion
Extension property |
| gptkbp:definedIn |
gptkb:King
|
| gptkbp:dual_notion |
gptkb:Projective_module
|
| gptkbp:example |
Direct sum of injective modules is injective
Divisible abelian group Q as a Z-module |
| gptkbp:field |
gptkb:algebra
Module theory |
| gptkbp:heldBy |
gptkb:Module
|
| gptkbp:introduced |
gptkb:Irving_Kaplansky
1940s |
| gptkbp:property |
Every module embeds in an injective module
Every short exact sequence splits |
| gptkbp:relatedConcept |
gptkb:Projective_module
Flat module Injective hull |
| gptkbp:used_in |
Homological dimension theory
|
| gptkbp:bfsParent |
gptkb:Free_module
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
Injective module
|