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

Let $ C'=\left\{ C_n',\partial_{n} ' \right\}$ and $ C''=\left\{ C_n'',\partial_{n} '' \right\}$ be two chain complexes of $ R$-modules, where $ R$ is a commutative ring with unity. Their tensor product $ C'\otimes_R C''=\left\{ (C'\otimes_R C'')_n,\partial_{n} \right\}$ is the chain complex defined by

$\displaystyle (C'\otimes_R C'')_n = \bigoplus_{i+j=n}(C_i'\otimes_R C_j''), $
$\displaystyle \partial_{n}(t'_i\otimes_R s''_j) = \partial_{i} '(t'_i)\otimes_R... ...R \partial_{j} ''(s''_j),\ \ \ \forall t'_i\in C_i',\ s''_j\in C_j'',\ (i+j=n),$
where $ C_i'\otimes_R C_j''$ denotes the tensor product of $ R$-modules $ C_i'$ and $ C_j''$.

Indeed, this defines a chain complex, because for each $ t'_i\otimes_R s''_j\in C_i'\otimes_R C_j''\subseteq (C'\otimes_R C'')_{i+j}$ we have

$\displaystyle \partial_{i+j-1} \partial_{i+j}(t'_i\otimes_R s''_j) = \partial_{... ...(t'_i)\otimes_R s''_j + (-1)^i\, t'_i\otimes_R \partial_{j} ''(s''_j) \right)= $
$\displaystyle = (-1)^{i-1}\, \partial_{i} '(t'_i)\otimes_R \partial_{j} ''(s''_j)+(-1)^i \partial_{i} '(t'_i)\otimes_R \partial_{j} ''(s''_j)=0, $
thus $ C'\otimes_R C''$ is a chain complex.



"tensor product of chain complexes" is owned by Mazzu.
(view preamble)

View style:

Also defines:  tensor product of chain complexes
Keywords:  chain complex
Log in to rate this entry.
(view current ratings)

Cross-references: unity, commutative ring, chain complexes

This is version 10 of tensor product of chain complexes, born on 2006-09-07, modified 2007-01-08.
Object id is 8321, canonical name is TensorProductOfChainComplexes.
Accessed 1146 times total.

Classification:
AMS MSC16E05 (Associative rings and algebras :: Homological methods :: Syzygies, resolutions, complexes)
 18G35 (Category theory; homological algebra :: Homological algebra :: Chain complexes)

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy
tensor product by Mathprof on 2006-09-07 12:15:06
when forming the tensor product of R-modules one could evidently do it over R
or over Z, viewing the modules as abelian groups. Does it make any differnce for the purposes of the tensor product of a chain of modules?
[ reply | up ]

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