Category theory; homological algebra Definition
Quasi-isomorphism
Builds on Abelian categoryChain complexChain mapHomology of a chain complexChain homotopy
Definition
Let be an abelian category and let be a chain map of chain complexes in . The map is a quasi-isomorphism if the induced morphism on homology is an isomorphism for every integer .
Remarks
Every chain homotopy equivalence is a quasi-isomorphism, because chain homotopic maps induce the same maps on homology. Quasi-isomorphisms are closed under composition, but in general a quasi-isomorphism has no chain map inverse up to homotopy.
Example: let have with multiplication by , and let be in degree . Let be the reduction and ; this is a chain map since . Both complexes have homology in degree and elsewhere, and sends the class of to , so is a quasi-isomorphism. It is not a chain homotopy equivalence: every chain map is , because has no nonzero map to .
Non-example: the zero chain map from in degree to itself is not a quasi-isomorphism, since of it is the zero map .
Reading path
To understand this page from the ground up, read these 6 pages in order. The foundations come first.
Show the path as a graph
- no evidence level
- Abelian category concept
- Chain complex concept
- Chain homotopy concept
- Chain map concept
- Homology of a chain complex concept
- Quasi-isomorphism definition
Further reading
About this page
| Tag | 7E7W0K3N8W |
|---|---|
| URI | m2://7E7W0K3N8W |
| Kind | definition |
| Writing | W0 stub |
| MSC | 18G35, 18G80 |
| Defines | Quasi-isomorphism |
| Uses | Abelian category, Chain complex, Chain map, Homology of a chain complex, Chain homotopy |
Markdown Ā· JSON Ā· Edit on GitHub
What this page needs for W1
- a source with a locator (0 of 1)
The writing levels say how complete the text of a page is. They do not measure its truth.
What links here
No page links to this page yet.