Statements (16)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
abelian categories
exact sequences |
| gptkbp:field |
homological algebra
|
| gptkbp:firstPublished |
mid 20th century
|
| gptkbp:provenBy |
diagram chase
|
| gptkbp:relatedTo |
gptkb:snake_lemma
four lemma short five lemma |
| gptkbp:sentence |
If a commutative diagram of abelian groups and group homomorphisms with exact rows has five objects and the four outer vertical maps are isomorphisms, then the middle map is also an isomorphism.
|
| gptkbp:usedIn |
gptkb:algebra
gptkb:topology gptkb:category_theory |
| gptkbp:bfsParent |
gptkb:Horseshoe_lemma
|
| gptkbp:bfsLayer |
8
|
| https://www.w3.org/2000/01/rdf-schema#label |
five lemma
|