Right) Modules Over a Ring R; in Particular He Defined Chain Maps As the Morphisms in This Category

Total Page:16

File Type:pdf, Size:1020Kb

Right) Modules Over a Ring R; in Particular He Defined Chain Maps As the Morphisms in This Category FUNDAMENTAL THEOREMS ON CHAIN COMPLEXES SAMUEL WUTHRICH¨ 1. Introduction Last week Andy Baker introduced the category of chain complexes of (right) modules over a ring R; in particular he defined chain maps as the morphisms in this category. The first section of today’s talk gives an important criterion for components of a chain map between two chain complexes to be isomorphisms. In the second section we will see how a short exact sequence of chain complexes gives rise to a long exact sequence linking the homology groups. If we speak of chain complexes, in particular of (short) exact sequences, we will always mean chain complexes of right modules over an arbitrary ring R. 2. Comparing exact sequences We begin with a few examples to get familiar with chain maps between short exact sequences. In all the examples R is Z. Assume we are given two short exact sequences and a homomorphism between the two middle terms which we would like to extend to a chain map: / i / p / / 0 A B C 0 (2.1) a b c p / i0 / 0 / / 0 A0 B0 C0 0. We find that this is not always possible, consider for example the situation / 3 / / Z / 0 Z Z / 3 0 4 0 / Z / Z / Z/4 / 0. We certainly need to know that b(i(A)) i0(A0). An easy check shows that this condition is exactly what we need: It implies the existence⊂ of a unique chain map extending our given homomorphism. Put another way, given maps a and b such that the left square in (2.1) commutes, there is a unique “fill-in map” c, and given compatible maps b and c there is a unique “fill-in” a. However it is not true that given a and c imply the existence of a matching b in the middle; look for instance at i p 0 / Z / Z Z/2 / Z/2 / 0 ⊕ (2.2) 2 0 / Z / Z / Z/2 / 0 where i is the inclusion of the first summand and p is the projection onto the second. Indeed, the element (0, 1)¯ Z Z/2 should map to an odd integer 2n + 1 to make the right square commutative. But∈ this⊕ isn’t allowed, because 0 = (0, 2)¯ has to go to zero. This is not just bad chance; for a situation as in (2.2) we have the following fact: Date: 22/10/02. 1 2 SAMUEL WUTHRICH¨ Proposition 1 (Short Five Lemma). Assume we are given a chain map between two short exact sequences of R-modules i p 0 / A / B / C / 0 a b c p / i0 / 0 / / 0 A0 B0 C0 0. If a and c are isomorphisms then so is b. Proof. We begin by showing that b is a monomorphism. We have ker(b) ker(p0b) = ker(cp) = ker(p) = im(i), ⊂ so the restriction of i to ker(bi) induces an isomorphism ker(bi) ∼= ker(b) im(i) = ker(b). −→ ∩ We conclude ker(b) ∼= ker(bi) = ker(i0a) = 0, hence b is monomorphic. To show that b is epimorphic, we first note that the composition p0b = cp is epi. Hence p0 induces an isomorphism = im(b) + ker(p0) / ker(p0) ∼ C0, −→ which shows that im(b) + ker(p ) = B . But im(b) im(bi) = im(i a) = im(i ) = ker(p ), so 0 0 ⊃ 0 0 0 B0 = im(b). £ Note however that it may happen that for given isomorphisms a and c there is still no fill-in b, even if the two middle-terms are isomorphic! An example is the following: 3 0 / Z / Z / Z/3 / 0 / 3 / / / 0 Z − Z Z/3 0. Now in general we don’t have just short exact sequences but exact sequences of arbitrary length. For these we have Proposition 2 (Five Lemma). Assume we have a commutative diagram of R-modules a1 / a2 / a3 / a4 / A1 A2 A3 A4 A5 f1 f2 f3 f4 f5 b1 / b2 / b3 / b4 / B1 B2 B3 B4 B5. with exact rows. If f1, f2, f4 and f5 are isomorphisms then so is f3. Proof. The given diagram gives rise to two short exact sequences, linked by a chain map: / a¯2 / a3 / / 0 A2/ ker(a2) ∼= coker(a1) A3 im(a3) = ker(a4) 0 ¯ f2 f3 f˜4 ¯ / b2 / b3 / / 0 B2/ ker(b2) ∼= coker(b1) B3 im(b3) = ker(b4) 0. (The maps labeled f¯2 and f˜4 exist because f2(ker(a2)) ker(b2) and f4(ker(a4)) ker(b4).) In ⊂ ⊂ fact, f2 maps ker(a2) isomorphically onto ker(b2), because f2 ker(a2) = im(a1) im(f2a1) = im(b1f1) = im(b1) = ker(b2); −→∼= similarly for f4. Hence f¯2 and f˜4 are isomorphisms, so the Short Five Lemma implies that f3 is an isomorphism as well. £ FUNDAMENTAL THEOREMS ON CHAIN COMPLEXES 3 3. The long exact homology sequence Last week we saw in an example that the homology functor does not preserve short exact sequences, i.e. if i p 0 K0 K K00 0 → −→ −→ → is a short exact sequence of chain complexes, the induced sequence in homology i p 0 H(K0) ∗ H(K) ∗ H(K00) 0 → −→ −→ → is not short exact in general. To study the phenomenon, let us first restrict attention to the case of chain complexes with just two non-trivial entries. So assume we are given a commutative diagram of the form 0 0 0 / i1 / p1 / / 0 K10 K1 K100 0 (3.1) d10 d1 d100 / i0 / p0 / / 0 K0 K0 K000 0 0 0 0, where the rows are exact. In this case, homology is given by H1(K0) ∼= ker(d10 ) and H0(K0) ∼= coker(d10 ), analogously for K and K00. This allows us to extend the given diagram to one which includes the homology modules and whose columns are exact, namely 0 0 0 (i1) (p1) / ∗ / ∗ / / 0 ker(d10 ) ker(d1) ker(d100) 0 / i1 / p1 / / 0 K10 K1 K100 0 (3.2) d10 d1 d100 / i0 / p0 / / 0 K0 K0 K000 0 (i0) (p0) / ∗ / ∗ / / 0 coker(d10 ) coker(d1) coker(d100) 0 0 0 0 In the example we considered last week, the map (p1) was not epimorphic. What can we do with this information? ∗ Assume we have an element x00 ker(d100) which has no pre-image under (p1) . In other words, 1 ∈ 1 ∗ p− (x ) ker(d1) = . So if we pick any element x p− (x ), we get a non-trivial element 1 00 ∩ ∅ ∈ 1 00 d1(x) K0. Because ∈ p0(d1(x)) = d100(p1(x)) = d100(x00) = 0, there is a (non-trivial) y K such that i0(y ) = d1(x). 0 ∈ 0 0 Now the whole point is that the residue class of y0 in coker(d10 ), which is still non-trivial (check this!) and therefore interesting, is independent of the choice of a pre-image x of x00: Assume 1 1 1 x1, x2 p− (x ) are two arbitrary preimages of x . Set y1 = i− (d1(x1)) and y2 = i− (d1(x2)); ∈ 1 00 00 0 0 4 SAMUEL WUTHRICH¨ we need to show that y1 y2 im(d ). Because p1(x1 x2) = p1(x1) p1(x2) = x x = 0, − ∈ 10 − − − there is a ∆ K with i1(∆) = x1 x2. Now ∈ 10 − i0(d0 (∆)) = d1(i1(∆)) = d1(x1 x2) = d1(x1) d1(x2) = i0(y1 y2), 1 − − − so injectivity of i0 implies d10 (∆) = y1 y2, so indeed y1 y2 im(d10 ). To summarize, we have shown that− the assignment − ∈ 1 p1(x) [ i− (d1(x))] 7→ 0 is a well-defined map ∂1 : ker(d00) coker(d0 ), 1 → 1 indeed a homomorphism. According to the next proposition, we can explain the deviation of exactness in homology in terms of ∂1. Proposition 3 (Snake Lemma). Assume we are given a commutative diagram of the form (3.1). Then the following sequence is exact: (i1) (p1) ∗ / ∗ / 0 ker(d10 ) ker(d1) ker(d100) → LLL LL∂ LL1L LL% (i0) / (p0)/ coker(d ) ∗ coker(d1) ∗coker(d ) 0 10 100 → We will not prove the Snake Lemma on its own, because it is a special case of a more general result, which considers chain complexes of arbitrary length: Theorem 1 (Long exact homology sequence). Assume i p 0 (K0, d0) (K, d) (K00, d00) 0 → −→ −→ → is a short exact sequence of chain complexes. (1) For every n, there is a connecting homomorphism ∂n : Hn(K00) Hn 1(K0), → − defined by 1 [pn(x)] [ in− 1(dn(x))]. 7→ − (2) The sequence (in) (pn) ∂n ... Hn(K0) ∗ Hn(K) ∗ Hn(K00) Hn 1(K0) ... → −−−→ −−−→ −→ − → is exact. It is called the long exact homology sequence. (3) This construction is natural, i.e. if / i / p / / 0 K0 K K00 0 f 0 f f 00 / j / q / / 0 L0 L L00 0 is a commutative diagram of chain complexes with exact rows, then the diagram K (in) (pn) ∂n / ∗ / ∗ / / / ... Hn(K0) Hn(K) Hn(K00) Hn 1(K0) ... − (fn0 ) (fn) (fn00) (fn0 1) ∗ ∗ ∗ − ∗ L (jn) (qn) ∂n / ∗ / ∗ / / / ... Hn(L0) Hn(L) Hn(L00) Hn 1(L0) ... − K L commutes too; here ∂n and ∂n are the connecting homomorphism which are associated according to (1) to the short exact sequences 0 K0 K K00 and 0 L0 L L 0 respectively. → → → → → → 00 → FUNDAMENTAL THEOREMS ON CHAIN COMPLEXES 5 Proof. (1) Exactly as we did for the Snake Lemma, we construct a homomorphism ˜ ∂n : ker(dn00 ) coker(dn0 1) → − ˜ 1 for each n, by setting ∂n(pn(x)) = [ in− 1(dn(x))]. − 1 ˜ First we note that an element y0 = in− 1dn(x) representing the residue class of ∂n(pn(x)) is a − cycle, i.e.
Recommended publications
  • Diagram Chasing in Abelian Categories
    Diagram Chasing in Abelian Categories Daniel Murfet October 5, 2006 In applications of the theory of homological algebra, results such as the Five Lemma are crucial. For abelian groups this result is proved by diagram chasing, a procedure not immediately available in a general abelian category. However, we can still prove the desired results by embedding our abelian category in the category of abelian groups. All of this material is taken from Mitchell’s book on category theory [Mit65]. Contents 1 Introduction 1 1.1 Desired results ...................................... 1 2 Walks in Abelian Categories 3 2.1 Diagram chasing ..................................... 6 1 Introduction For our conventions regarding categories the reader is directed to our Abelian Categories (AC) notes. In particular recall that an embedding is a faithful functor which takes distinct objects to distinct objects. Theorem 1. Any small abelian category A has an exact embedding into the category of abelian groups. Proof. See [Mit65] Chapter 4, Theorem 2.6. Lemma 2. Let A be an abelian category and S ⊆ A a nonempty set of objects. There is a full small abelian subcategory B of A containing S. Proof. See [Mit65] Chapter 4, Lemma 2.7. Combining results II 6.7 and II 7.1 of [Mit65] we have Lemma 3. Let A be an abelian category, T : A −→ Ab an exact embedding. Then T preserves and reflects monomorphisms, epimorphisms, commutative diagrams, limits and colimits of finite diagrams, and exact sequences. 1.1 Desired results In the category of abelian groups, diagram chasing arguments are usually used either to establish a property (such as surjectivity) of a certain morphism, or to construct a new morphism between known objects.
    [Show full text]
  • Diagram Chasing in Abelian Categories
    Diagram Chasing in Abelian Categories Toni Annala Contents 1 Overview 2 2 Abelian Categories 3 2.1 Denition and basic properties . .3 2.2 Subobjects and quotient objects . .6 2.3 The image and inverse image functors . 11 2.4 Exact sequences and diagram chasing . 16 1 Chapter 1 Overview This is a short note, intended only for personal use, where I x diagram chasing in general abelian categories. I didn't want to take the Freyd-Mitchell embedding theorem for granted, and I didn't like the style of the Freyd's book on the topic. Therefore I had to do something else. As this was intended only for personal use, and as I decided to include this to the application quite late, I haven't touched anything in chapter 2. Some vague references to Freyd's book are made in the passing, they mean the book Abelian Categories by Peter Freyd. How diagram chasing is xed then? The main idea is to chase subobjects instead of elements. The sections 2.1 and 2.2 contain many standard statements about abelian categories, proved perhaps in a nonstandard way. In section 2.3 we dene the image and inverse image functors, which let us transfer subobjects via a morphism of objects. The most important theorem in this section is probably 2.3.11, which states that for a subobject U of X, and a morphism f : X ! Y , we have ff −1U = U \ imf. Some other results are useful as well, for example 2.3.2, which says that the image functor associated to a monic morphism is injective.
    [Show full text]
  • A Primer on Homological Algebra
    A Primer on Homological Algebra Henry Y. Chan July 12, 2013 1 Modules For people who have taken the algebra sequence, you can pretty much skip the first section... Before telling you what a module is, you probably should know what a ring is... Definition 1.1. A ring is a set R with two operations + and ∗ and two identities 0 and 1 such that 1. (R; +; 0) is an abelian group. 2. (Associativity) (x ∗ y) ∗ z = x ∗ (y ∗ z), for all x; y; z 2 R. 3. (Multiplicative Identity) x ∗ 1 = 1 ∗ x = x, for all x 2 R. 4. (Left Distributivity) x ∗ (y + z) = x ∗ y + x ∗ z, for all x; y; z 2 R. 5. (Right Distributivity) (x + y) ∗ z = x ∗ z + y ∗ z, for all x; y; z 2 R. A ring is commutative if ∗ is commutative. Note that multiplicative inverses do not have to exist! Example 1.2. 1. Z; Q; R; C with the standard addition, the standard multiplication, 0, and 1. 2. Z=nZ with addition and multiplication modulo n, 0, and 1. 3. R [x], the set of all polynomials with coefficients in R, where R is a ring, with the standard polynomial addition and multiplication. 4. Mn×n, the set of all n-by-n matrices, with matrix addition and multiplication, 0n, and In. For convenience, from now on we only consider commutative rings. Definition 1.3. Assume (R; +R; ∗R; 0R; 1R) is a commutative ring. A R-module is an abelian group (M; +M ; 0M ) with an operation · : R × M ! M such that 1 1.
    [Show full text]
  • Matemaattis-Luonnontieteellinen Matematiikan Ja Tilastotieteen Laitos Joni Leino on Mitchell's Embedding Theorem of Small Abel
    HELSINGIN YLIOPISTO — HELSINGFORS UNIVERSITET — UNIVERSITY OF HELSINKI Tiedekunta/Osasto — Fakultet/Sektion — Faculty Laitos — Institution — Department Matemaattis-luonnontieteellinen Matematiikan ja tilastotieteen laitos Tekijä — Författare — Author Joni Leino Työn nimi — Arbetets titel — Title On Mitchell’s embedding theorem of small abelian categories and some of its corollaries Oppiaine — Läroämne — Subject Matematiikka Työn laji — Arbetets art — Level Aika — Datum — Month and year Sivumäärä — Sidoantal — Number of pages Pro gradu -tutkielma Kesäkuu 2018 64 s. Tiivistelmä — Referat — Abstract Abelian categories provide an abstract generalization of the category of modules over a unitary ring. An embedding theorem by Mitchell shows that one can, whenever an abelian category is sufficiently small, find a unitary ring such that the given category may be embedded in the category of left modules over this ring. An interesting consequence of this theorem is that one can use it to generalize all diagrammatic lemmas (where the conditions and claims can be formulated by exactness and commutativity) true for all module categories to all abelian categories. The goal of this paper is to prove the embedding theorem, and then derive some of its corollaries. We start from the very basics by defining categories and their properties, and then we start con- structing the theory of abelian categories. After that, we prove several results concerning functors, "homomorphisms" of categories, such as the Yoneda lemma. Finally, we introduce the concept of a Grothendieck category, the properties of which will be used to prove the main theorem. The final chapter contains the tools in generalizing diagrammatic results, a weaker but more general version of the embedding theorem, and a way to assign topological spaces to abelian categories.
    [Show full text]
  • Lectures on Homological Algebra
    Lectures on Homological Algebra Weizhe Zheng Morningside Center of Mathematics Academy of Mathematics and Systems Science, Chinese Academy of Sciences Beijing 100190, China University of the Chinese Academy of Sciences, Beijing 100049, China Email: [email protected] Contents 1 Categories and functors 1 1.1 Categories . 1 1.2 Functors . 3 1.3 Universal constructions . 7 1.4 Adjunction . 11 1.5 Additive categories . 16 1.6 Abelian categories . 21 1.7 Projective and injective objects . 30 1.8 Projective and injective modules . 32 2 Derived categories and derived functors 41 2.1 Complexes . 41 2.2 Homotopy category, triangulated categories . 47 2.3 Localization of categories . 56 2.4 Derived categories . 61 2.5 Extensions . 70 2.6 Derived functors . 78 2.7 Double complexes, derived Hom ..................... 83 2.8 Flat modules, derived tensor product . 88 2.9 Homology and cohomology of groups . 98 2.10 Spectral objects and spectral sequences . 101 Summary of properties of rings and modules 105 iii iv CONTENTS Chapter 1 Categories and functors Very rough historical sketch Homological algebra studies derived functors between • categories of modules (since the 1940s, culminating in the 1956 book by Cartan and Eilenberg [CE]); • abelian categories (Grothendieck’s 1957 T¯ohokuarticle [G]); and • derived categories (Verdier’s 1963 notes [V1] and 1967 thesis of doctorat d’État [V2] following ideas of Grothendieck). 1.1 Categories Definition 1.1.1. A category C consists of a set of objects Ob(C), a set of morphisms Hom(X, Y ) for every pair of objects (X, Y ) of C, and a composition law, namely a map Hom(X, Y ) × Hom(Y, Z) → Hom(X, Z), denoted by (f, g) 7→ gf (or g ◦ f), for every triple of objects (X, Y, Z) of C.
    [Show full text]
  • An Axiomatic Survey of Diagram Lemmas for Non-Abelian Group-Like Structures
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Journal of Algebra 370 (2012) 387–401 Contents lists available at SciVerse ScienceDirect Journal of Algebra www.elsevier.com/locate/jalgebra An axiomatic survey of diagram lemmas for non-abelian group-like structures Zurab Janelidze 1 Mathematics Division, Department of Mathematical Sciences, Stellenbosch University, Private Bag X1, Matieland, 7602, South Africa article info abstract Article history: It is well known that diagram lemmas for abelian groups (and Received 20 December 2011 more generally in abelian categories) used in algebraic topology, Availableonline21August2012 can be suitably extended to “non-abelian” structures such as Communicated by Michel Van den Bergh groups, rings, loops, etc. Moreover, they are equivalent to properties which arise in the axiomatic study of these structures. For the five Keywords: Exact sequence lemma this is well known, and in the present paper we establish Snake lemma this for the snake lemma and the 3 × 3lemma,which,when 3 × 3 lemma suitably formulated, turn out to be equivalent to each other for Diagram chasing all (pointed) algebraic structures, and also in general categories Ideal determined variety of a special type. In particular, we show that among varieties Normal category of universal algebras, they are satisfied precisely in the so-called Subtractive category (pointed) ideal determined varieties. Subtraction © 2012 Elsevier Inc. All rights reserved. Introduction In this paper we explore a connection between classical diagram lemmas of homological algebra and properties encountered in categorical and universal algebra, which arise there in the axiomatic study of “group-like” structures such as groups, rings, modules, algebras, topological groups, loops, etc.
    [Show full text]
  • The Five Lemma for Banach Spaces
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 65, Number 1, July 1977 THE FIVE LEMMA FOR BANACH SPACES A. J. PRYDE Abstract. We prove a version of the five lemma which is useful for the study of boundary value problems for partial differential equations. The results are given in the category % of Banach spaces and bounded linear operators, and all conditions are stated modulo an arbitrary ideal of 9>.We also show that the results are valid in more general categories. 1. Introduction. The five lemma for homomorphisms of abelian groups (Spanier [4, Lemma 4.5.11]) can be divided into two parts, one concluding that a map is a monomorphism and the other that it is an epimorphism. If the groups are taken to be Banach spaces and the homomorphisms are bounded linear operators, then, by the closed graph theorem, the isomorphisms of abelian groups are isomorphisms of Banach spaces. Similarly, an epimorphism whose kernel has a closed complement (as in the case, for example, when the domain space is a Hubert space) is an operator with a bounded right inverse. However, apart from those with closed complemented range, monomorphisms are not operators with bounded left inverses. This fact restricts the possible applications of the standard five lemma. In this paper we prove a version of the five lemma for bounded linear operators between Banach spaces; with epimorphisms and monomorphisms replaced, respectively, by operators with bounded right and left inverses modulo any given ideal of bounded linear operators. Further, the conditions of exactness and commutativity are only required modulo the ideal.
    [Show full text]
  • Homological Algebra
    Homological Algebra Andrew Kobin Fall 2014 / Spring 2017 Contents Contents Contents 0 Introduction 1 1 Preliminaries 4 1.1 Categories and Functors . .4 1.2 Exactness of Sequences and Functors . 10 1.3 Tensor Products . 17 2 Special Modules 24 2.1 Projective Modules . 24 2.2 Modules Over Noetherian Rings . 28 2.3 Injective Modules . 31 2.4 Flat Modules . 38 3 Categorical Constructions 47 3.1 Products and Coproducts . 47 3.2 Limits and Colimits . 49 3.3 Abelian Categories . 54 3.4 Projective and Injective Resolutions . 56 4 Homology 60 4.1 Chain Complexes and Homology . 60 4.2 Derived Functors . 65 4.3 Derived Categories . 70 4.4 Tor and Ext . 79 4.5 Universal Coefficient Theorems . 90 5 Ring Homology 93 5.1 Dimensions of Rings . 93 5.2 Hilbert's Syzygy Theorem . 97 5.3 Regular Local Rings . 101 5.4 Differential Graded Algebras . 103 6 Spectral Sequences 110 6.1 Bicomplexes and Exact Couples . 110 6.2 Spectral Sequences . 113 6.3 Applications of Spectral Sequences . 119 7 Group Cohomology 128 7.1 G-Modules . 128 7.2 Cohomology of Groups . 130 7.3 Some Results for the First Group Cohomology . 133 7.4 Group Extensions . 136 7.5 Central Simple Algebras . 139 7.6 Classifying Space . 142 i Contents Contents 8 Sheaf Theory 144 8.1 Sheaves and Sections . 144 8.2 The Category of Sheaves . 150 8.3 Sheaf Cohomology . 156 8.4 Cechˇ Cohomology . 161 8.5 Direct and Inverse Image . 170 ii 0 Introduction 0 Introduction These notes are taken from a reading course on homological algebra led by Dr.
    [Show full text]
  • THE POINTED SUBOBJECT FUNCTOR, 3 × 3 LEMMAS, and SUBTRACTIVITY of SPANS Dedicated to Dominique Bourn on the Occasion of His Sixtieth Birthday
    Theory and Applications of Categories, Vol. 23, No. 11, 2010, pp. 221{242. THE POINTED SUBOBJECT FUNCTOR, 3 × 3 LEMMAS, AND SUBTRACTIVITY OF SPANS Dedicated to Dominique Bourn on the occasion of his sixtieth birthday ZURAB JANELIDZE Abstract. The notion of a subtractive category recently introduced by the author, is a pointed categorical counterpart of the notion of a subtractive variety of universal algebras in the sense of A. Ursini (recall that a variety is subtractive if its theory con- tains a constant 0 and a binary term s satisfying s(x; x) = 0 and s(x; 0) = x). Let us call a pointed regular category C normal if every regular epimorphism in C is a normal epimorphism. It is well known that any homological category in the sense of F. Borceux and D. Bourn is both normal and subtractive. We prove that in any subtractive normal category, the upper and lower 3 × 3 lemmas hold true, which generalizes a similar result for homological categories due to D. Bourn (note that the middle 3 × 3 lemma holds true if and only if the category is homological). The technique of proof is new: the pointed subobject functor S = Sub(−): C ! Set∗ turns out to have suitable preser- vation/reflection properties which allow us to reduce the proofs of these two diagram lemmas to the standard diagram-chasing arguments in Set∗ (alternatively, we could use the more advanced embedding theorem for regular categories due to M. Barr). The key property of S, which allows to obtain these diagram lemmas, is the preservation of subtractive spans.
    [Show full text]
  • Towards Categorical Behaviour of Groups Abstract 1. Introduction
    Feature Article Towards categorical behaviour of groups Maria Manuel Clementino CMUC/Departamento de Matem´atica, Universidade de Coimbra 3001-454 Coimbra, PORTUGAL [email protected] Abstract We present a brief introduction to the study of homological categories, which en- compass many algebraically-like categories, namely the category of groups, and also categories of topological algebras. 1. Introduction of the homology and cohomology of a topological space. This, in turn, suggested the problem of describing those categories in which the values of such a homology the- Category Theory started more than 60 years ago, when ory could lie. After discussions with Eilenberg, this was Eilenberg and Mac Lane wrote a paper on natural done by Mac Lane [18, 19]. His notion of an \abelian transformations [11], having as role model a well-known bicategory" was clumsy, and the subject languished until example of natural equivalence: Buchsbaum's axiomatic study [10] and the discovery by For any vector space V over a field K, consider its dual Grothendieck [15] that categories of sheaves (of abelian V ∗ (i.e. the vector space of linear functionals from V groups) over a topological space were abelian categories to K). If V is finite-dimensional, then V ∗ has the same but not categories of modules, and that homological alge- dimension as V , and so we can conclude that they are bra in these categories was needed for a complete treat- isomorphic, although there is no natural way of defining ment of sheaf cohomology (Godement [14]). With this such isomorphism. This contrasts with the case of V ∗∗, impetus, abelian categories joined the establishment." ∗ the dual of V .
    [Show full text]
  • Arxiv:2010.12534V2 [Math.CT] 28 Oct 2020
    SOME NOTES ON DIAGRAM CHASING AND DIAGRAMMATIC PROOFS IN CATEGORY THEORY VALENTINO VITO Abstract Diagram chasing is a customary proof method used in category theory and ho- mological algebra. It involves an element-theoretic approach to show that certain properties hold for a commutative diagram. When dealing with abelian categories for the first time, one would work using a diagrammatic approach without relying on the notion of elements. However, constantly manipulating universal properties of various diagrams can be quite cumbersome. That said, we believe that it is still important to draw a contrast between both viewpoints in order to motivate the field of category theory. We focus our scope to the short five lemma, one of the more elementary diagram lemmas, and present a quick exposition on relevant subjects. Moreover, we give an original proof of the short five lemma using the universal property of pullbacks. Keywords: Abelian category, diagram chasing, diagrammatic proof, exact se- quence, short five lemma. Contents 1 Introduction 2 2 Diagram chasing 3 3 Some categorical background 5 4 Abelian categories 9 arXiv:2010.12534v2 [math.CT] 28 Oct 2020 5 The generalized short five lemma 13 6 Another proof of the short five lemma 16 7 Exercises 18 8 Final remarks 20 Department of Mathematics, Faculty of Mathematics and Natural Sciences (FMIPA), Uni- versitas Indonesia, Depok 16424, Indonesia Email address: [email protected] 1 1 Introduction Category theory is a prevalent branch of mathematics able to translate various properties of mathematical structures into arrow diagrams. Arrows in this con- text refer to morphisms, which in some sense can be considered as mappings or arrows between objects.
    [Show full text]
  • Homological Algebra Notes
    HOMOLOGICAL ALGEBRA Juan Moreno These notes were taken for a class on homological algebra at the University of Colorado, Boulder. The course was taught in the Spring 2020 semester by Jonathan Wise. The reference textbook is An introduction to homological algebra by Charles Weibel. The class met three days a week and one of these days was spent presenting solutions to exercises either given in class or from Weibel. These notes were, with the exception of a few arguments either missed or left for the student, taken live, and so there are bound to be errors. If you do happen to find errors or have questions, feel free to email me at [email protected]. CONTENTS Lecture 1: Abelian Categories - 1/13/2020 ................................ 2 Lecture 2: Abelian Categories (continued) - 1/15/2020......................... 4 Lecture 3: Chain Complexes - 1/17/2020 ................................. 6 Lecture 4: The Snake Lemma - 1/24/2020 ................................ 8 Lecture 5: Chain Homotopy - 1/27/2020.................................. 11 Lecture 6: Projective Objects -1/31/2020 ................................. 14 Lecture 7: Injective Objects & Derived Functors - 02/03/2020..................... 17 Lecture 8: Derived Functors - 02/07/2020................................. 20 Lecture 9: Universality of Derived Functors - 02/10/2020....................... 22 Lecture 10: Flat Modules - 02/14/2020 .................................. 24 Lecture 11: The Meaning of Tor and Ext - 02/17/2020 ......................... 26 Lecture 12: Limits & Colimits - 02/21/2020................................ 28 Lecture 13: Derived Functors of the Inverse Limit - 02/24/2020 ................... 30 Lecture 14: Filtered Comlimits - 02/28/2020............................... 32 Lecture 15: Spectral Sequences - 03/02/2020............................... 33 Lecture 16: Spectral Sequences via Filtrations - 02/06/2020 ....................
    [Show full text]