An Introduction to Homological AlgebraHomological Algebra has grown in the nearly three decades since the rst e- tion of this book appeared in 1979. Two books discussing more recent results are Weibel, An Introduction to Homological Algebra, 1994, and Gelfand– Manin, Methods of Homological Algebra, 2003. In their Foreword, Gelfand and Manin divide the history of Homological Algebra into three periods: the rst period ended in the early 1960s, culminating in applications of Ho- logical Algebra to regular local rings. The second period, greatly in uenced by the work of A. Grothendieck and J. -P. Serre, continued through the 1980s; it involves abelian categories and sheaf cohomology. The third period, - volving derived categories and triangulated categories, is still ongoing. Both of these newer books discuss all three periods (see also Kashiwara–Schapira, Categories and Sheaves). The original version of this book discussed the rst period only; this new edition remains at the same introductory level, but it now introduces the second period as well. This change makes sense pe- gogically, for there has been a change in the mathematics population since 1979; today, virtually all mathematics graduate students have learned so- thing about functors and categories, and so I can now take the categorical viewpoint more seriously. When I was a graduate student, Homological Algebra was an unpopular subject. The general attitude was that it was a grotesque formalism, boring to learn, and not very useful once one had learned it. |
Contents
1 | |
Hom and Tensor2 | 37 |
Special Modules3 | 98 |
Specific Rings4 | 154 |
Setting the Stage5 | 213 |
Homology6 | 323 |
Tor and Ext7 | 404 |
Other editions - View all
Common terms and phrases
abelian category additive functor adjoint basis bicomplex bigraded chain map cls(z cohomology coker commutative diagram commutative ring complex composite Corollary cotorsion covariant functor define Definition denote derived functors direct limit direct sum direct summand direct system dn+1 domain element exact rows Example Exercise exists Ext¹ extension finitely presented flat free abelian group free module function given gives group G Hence Hom(A homology groups homomorphism HomR Homz inclusion injective resolution k-algebra left ideal left noetherian Lemma Let F long exact sequence maximal morphisms multiplication naturally isomorphic nonzero notation obj(C open cover partially ordered presheaf projective resolution Proof Proposition prove R-map right R-module RMod S-¹R says semisimple sheaf sheaves short exact sequence shows spectral sequence split subgroup submodule subset surjective tensor product Theorem topological space torsion torsion-free Tot(M unique vector space