PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
chain homotopy (Definition)

Let $(A,d)$ and $(A^{'},d^{'})$ be chain complexes and $f:A \to A^{'}$ $g:A \to A^{'}$ be chain maps. A chain homotopy $D$ between $f$ and $g$ is a sequence of homomorphisms $\{D_{n}:A_{n} \to A_{n+1}^{'}\}$ so that $d_{n+1}^{'} \circ D_{n} + D_{n-1} \circ d_{n}=f_{n}-g_{n}$ for each $n$ Thus, we have the following diagram: $$ \xymatrix{ & A_{n+1} \ar[r]^{d_{n+1}} \ar[d]_{f_{n+1}-g_{n+1}} & A_{n} \ar[dl]^{D_{n}} \ar[r]^{d_{n}} \ar[d] & A_{n-1} \ar[dl]_{D_{n-1}} \ar[d]^{f_{n-1}-g_{n-1}} \\ & A_{n+1}^{'} \ar[r]_{d_{n+1}^{'}} & A_{n}^{'} \ar[r]_{d_{n}^{'}} & A_{n-1}^{'} } $$

If there exists a chain homotopy between $f$ and $g$ then $f$ and $g$ are said to be chain homotopic.




"chain homotopy" is owned by mathcam. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:

Also defines:  chain homotopic
Log in to rate this entry.
(view current ratings)

Cross-references: diagram, homomorphisms, sequence, chain maps, chain complexes
There are 4 references to this entry.

This is version 6 of chain homotopy, born on 2002-01-23, modified 2006-06-06.
Object id is 1572, canonical name is ChainHomotopy.
Accessed 3915 times total.

Classification:
AMS MSC18G35 (Category theory; homological algebra :: Homological algebra :: Chain complexes)

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add derivation | add example | add (any)