Document Type
Honors Thesis
Abstract
The Tor functor plays a large role in homological algebra and its uses include defining generalized algebraic structures such as the homology of groups and associative algebras. Many proven properties of Tor involve two distinct R-modules A and B, but self Tor concerns a single module, in other words, A = B. This work takes a look at the classical case of the vanishing of Tor when A is the quotient of R by an ideal and uses the definitions and theorems we develop in order to generalize the classical case. We begin definitions of chain complexes, homology and exactness, projective modules and resolutions, syzygy, tensor products, and functors. We use that information to construct and define the Tor functor, the key element to our classical case. The main result of this work uses the isomorphism between self Tor on the (p − 1)th syzygy module and the 1st homology module of a free resolution tensored with itself. Then using the minimal generator of the pth syzygy module, we find a 1-cycle of the free resolution tensored with itself, showing that self Tor of a finitely generated module is not 0, up to isomorphism. We conclude by demonstrating that the classical case is merely a corollary of this theorem.
Publication Date
5-1-2020
Language
English
License
This work is licensed under a Creative Commons Attribution-NonCommercial-Share Alike 4.0 International License.
Recommended Citation
Ajani, Tatheer, "ON THE VANISHING OF SELF TOR" (2020). 2020 Spring Honors Capstone Projects. 17.
https://mavmatrix.uta.edu/honors_spring2020/17