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: Low Entry average rating: No information on entry rating
Tor (Definition)

Let $ R$ be a ring with multiplicative identity. Let $ M$ be a (right) module over $ R$. We may assume there exists an exact sequence $ P_*$:

$\displaystyle \dots\dots\rightarrow P_2\rightarrow P_1\rightarrow P_0 $

with the $ P_n$ projective and the cokernel of the last map $ M$. Given $ M$, this sequence is unique up to chain homotopy. Hence we may make the following definitions.

For a (right) $ R$- module $ A$ we may define

$\displaystyle Ext_R^n(M,A)=H^n(P_*; A) $

For a (left) $ R$- module $ A$ we may define

$\displaystyle Tor_R^n(M,A)=H_n(P_*; A) $



"Tor" is owned by whm22.
(view preamble | get metadata)

View style:

See Also: homology of a chain complex

Also defines:  Tor, Ext
Keywords:  homology, homological algebra
Log in to rate this entry.
(view current ratings)

Cross-references: definitions, chain homotopy, sequence, map, cokernel, exact sequence, module, multiplicative identity, ring
There are 2 references to this entry.

This is version 9 of Tor, born on 2004-08-09, modified 2006-10-10.
Object id is 6090, canonical name is Tor.
Accessed 4616 times total.

Classification:
AMS MSC16E30 (Associative rings and algebras :: Homological methods :: Homological functors on modules )
 18G15 (Category theory; homological algebra :: Homological algebra :: Ext and Tor, generalizations, Künneth formula)

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

No messages.

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