DOCSLIB.ORG

Jeffrey Daniel Kasik Carlson: Exercises to Atiyah and Macdonald's

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Jeffrey Daniel Kasik Carlson: Exercises to Atiyah and Macdonald's jeffrey daniel kasik carlson: Exercises to Atiyah and Macdonald’s Introduction to Commutative Algebra FIX REFERENCES LINK EXERCISES DO CHAPTER 10 BODY OMISSION: COMPLETION FIX TENSOR HEIGHT CHECK SEQUENCE NOTATION THROUGHOUT CHECK WHICH ASTERISK SOLUTIONS ARE STATED IN THE TEXT 1 Motivation This note is intended to contain full solutions to all exercises in this venerable text,1 as well as proofs of results omitted or left to the reader. It has none of the short text’s pith or elegance, tending rather to the other extreme, citing chapter and verse from the good book and spelling out, step-by-step, things perhaps better left unsaid. It attempts to leave no “i” undotted, no “t” uncrossed, no detail unexplained. We are rather methodical in citing results when we use them, even if they’ve likely long been assimilated by the reader. Having found some solution sets online unclear at points (sometimes due to our own shortcomings, at other times due to theirs), we in this note strive to suffer from the opposite problem. Often we miss the forest for the trees. We prefer to see this not as “pedantic,” but as “thorough.” Sometimes we have included multiple proofs if we have found them, or failed attempts at proof if their failure seems instructive. The work is our own unless explicitly specified otherwise. It is hoped that the prolix and oftentimes plodding nature of these solutions will illuminate more than it conceals. 1 [?] 2 Notation Problems copied from the book and propositions are in italics, definitions emphasized (italic when surrounding text is Roman, and Roman when surrounding text is italic), and headings in bold or italics, following the book, and our solutions and occasional comments in Roman. Solutions that were later supplanted by better ones but still might potentially be worth seeing have usually been included, but as footnotes, decreasing both page count and legibility. Propositions, exercises, theorems, lemmas, and corollaries from the main body of the text will always be cited as “(n.m)” or (n.m.t)”, where n is the chapter number, m the section number, and “t” an optional Roman numeral. For example, Proposition 1.10, part ii) is cited as “(1.10.ii)”. Propositions or assertions proved in these solutions but not stated in the text are numbered with an asterisk, e.g. “Proposition 4.12*” and thereafter “(4.12*)”. Exercises from the “EXERCISES” sections that follow each chapter, on the other hand, we cite with (square) brackets as e.g. “[3.1]” and “[1.2.i]”. Displays in this document are referred back to as e.g. “Eq. 1.1” or “Seq. 2.2”. Ends of proofs for exercises go unmarked, though we will sometimes mark proofs for discrete propositions we prove in the course of doing problems or expanding upon material. Our mathematical notation follows that of the book, with a few exceptions as noted below. For strict set containment, “⊂” is supplanted by “(”, which is preferred for its lack of ambiguity; it is not to be confused with “6⊆”, which means “does not contain.” “3” is a backward “2”, and means “contains the element” (rather than “such that”). The ideal generated by a set of elements is noted by listing them between parentheses: e.g., (x, y) is generated by fx, yg and (xa)a2A is generated by fxa : a 2 Ag. Contrastingly (and disagreeing with the book), we notate sequences and ordered lists with angle brackets: hx, yi is an ordered pair and hxaia2A is a list of elements xa indexed by a set A; in particular hxnin2N is a sequence. Popular algebraic objects like N, Z, Q, R, and C will be denoted in blackboard bold instead of bold, and 0 is included in N. Fq denotes a (“the”) finite field with q elements. “a ¢ A” means that a is an ideal of the ring A. For set complement/exclusion, the symbol “n” replaces “−” on the off chance it might otherwise be confused with subtraction in cases (like topological groups) where both operations are feasible. The set of units of the ring A will be denoted by A× rather than A∗, which is assigned a different meaning on p. 107. Bourbaki’s word “quasi-compact” for the condition that every open cover has a finite subcover (not necessarily requiring the space be Hausdorff) we replace with “compact”; this usage seems to hold generally outside of algebraic geometry and most of the topologies we encounter here are not Hausdorff anyway. “ker”, “im”, and “coker” will go uncapitalized. N(A) and R(A) always denote, respectively, the nilradical and the Jacobson radical of the ring A; we just write N and R where no ambiguity is possible. The notation idM : M ! M for the identity map replaces the book’s “1” as slightly more unambiguous; 1 or 1A is instead the unity of the ring A. “Multiplicative submonoid” is preferred to the book’s “multiplicatively closed subset” as indicating that a subset of a ring contains 1 and is closed under the ring’s multiplication. “Zorn’s Lemma,” capitalized, is the proper name of a result discovered by Kazimierz Kuratowski some thirteen years earlier than by Max Zorn. For a map f: A ! B, we can replace the arrow with “ ” when f is surjective, “ ” when it is injective, “,!” when it is an inclusion, ∼ and “−!” when it is an isomorphism. A =∼ B means that there exists some isomorphism between A and B, and X ≈ Y that X and Y are homeomorphic topological spaces. [M] is the isomorphism class of M. For V a map f: A ! B, if U ⊆ A and V ⊆ B are such that f(U) ⊆ V, then f jU is the restricted and corestricted map U ! V. Very occasionally, k, l, m may be cardinals (or homomorphisms), and indices a, b, g may be ordinals. @0 is the cardinality of N. 3 Chapter 1: Rings and Ideals Theorem 1.3. Every ring A 6= 0 has at least one maximal ideal. In order to apply Zorn’s Lemma, it is necessary to prove that if haaia2A is a chain of ideals (meaning, S recall, that for all a, b 2 A we have aa ⊆ ab or ab ⊆ aa) then the union a = a2A aa is an ideal. Indeed, if a, b 2 a, then there are a, b 2 A such that and a 2 aa and b 2 ab. Without loss of generality, suppose aa ⊆ ab. Then a, b 2 ab, so since ab is an ideal we have a − b 2 ab ⊆ a. If x 2 A and a 2 a, then there is a 2 A such that a 2 aa. As aa is an ideal, xa 2 aa ⊆ a. Therefore a is an ideal. Exercise 1.12. i) a ⊆ (a : b). For each a 2 a we have ab ⊆ ab ⊆ a, so a 2 (a : b). ii) (a : b)b ⊆ a. By definition, for x 2 (a : b) we have xb ⊆ a. iii) (a : b) : c = (a : bc) = (a : c) : b. x 2 (a : b) : c () xc ⊆ (a : b) () xcb ⊆ a () x 2 (a : bc); x 2 (a : c) : b () xb ⊆ (a : c) () xbc ⊆ a () x 2 (a : bc). T T iv) i ai : b = i (ai : b). \ \ \ x 2 ai : b () xb ⊆ ai () 8i (xb ⊆ ai) () x 2 (ai : b). i i i T v) a : ∑i bi = i (a : bi). \ x 2 a : ∑ bi () a ⊇ x ∑ bi = ∑ xbi () 8i (xbi ⊆ a) () x 2 (a : bi). i i i i For an A-module M and subsets N ⊆ M and E ⊆ A, define (N : E) := fm 2 M : Em ⊆ Ng; for subsets N, P ⊆ M and E ⊆ A, define (N : P) := fa 2 A : aP ⊆ Ng. Note for future use that then ii) holds equally well for subsets a, b ⊆ M, or b ⊆ A and a ⊆ M; iii) holds for a, b ⊆ M and c ⊆ A; and iv) and v) hold for modules a, ai and modules or ideals b, bi. Exercise 1.13. −i) a ⊆ b =) r(a) ⊆ r(b). If x 2 r(a), for some n > 0 we have xn 2 a ⊆ b, so x 2 r(b). 0) r(an) = r(a) for all n > 0. an ⊆ a, so by part −i) we have r(an) ⊆ r(a). If x 2 r(a), then for some m > 0, xm 2 a. But then xmn 2 an and x 2 r(an). i) r(a) ⊇ a. For each a 2 a we have a1 2 a, so a 2 r(a). 4 Chapter 1: Rings and Ideals ii) rr(a) = r(a). x 2 rr(a) () 9n > 0 xn 2 r(a) () 9n, m > 0 (xn)m = xmn 2 a () x 2 r(a). iii) r(ab) = r(a \ b) = r(a) \ r(b). For the first equality, note (a \ b)2 ⊆ ab ⊆ a \ b, so by parts 0) and −i), r(a \ b) = r(a \ b)2 ⊆ r(ab) ⊆ r(a \ b). For the second, note that if m, n > 0 are such that xm 2 a and xn 2 b, then xmaxfm, ng 2 a \ b, and conversely. iv) r(a) = (1) () a = (1). If r(a) = (1), then 1 2 r(a), so for some n we have 1 = 1n 2 a, and then a = (1). v) r(a + b) = rr(a) + r(b). Since a, b ⊆ a + b, by part −i) we have r(a), r(b) ⊆ r(a + b), so r(a) + r(b) ⊆ r(a + b). By parts −i), and ii), we see rr(a) + r(b) ⊆ rr(a + b) = r(a + b).
Load more

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]
  • The Freyd-Mitchell Embedding Theorem States the Existence of a Ring R and an Exact Full Embedding a Ñ R-Mod, R-Mod Being the Category of Left Modules Over R
    The Freyd-Mitchell Embedding Theorem Arnold Tan Junhan Michaelmas 2018 Mini Projects: Homological Algebra arXiv:1901.08591v1 [math.CT] 23 Jan 2019 University of Oxford MFoCS Homological Algebra Contents 1 Abstract 1 2 Basics on abelian categories 1 3 Additives and representables 6 4 A special case of Freyd-Mitchell 10 5 Functor categories 12 6 Injective Envelopes 14 7 The Embedding Theorem 18 1 Abstract Given a small abelian category A, the Freyd-Mitchell embedding theorem states the existence of a ring R and an exact full embedding A Ñ R-Mod, R-Mod being the category of left modules over R. This theorem is useful as it allows one to prove general results about abelian categories within the context of R-modules. The goal of this report is to flesh out the proof of the embedding theorem. We shall follow closely the material and approach presented in Freyd (1964). This means we will encounter such concepts as projective generators, injective cogenerators, the Yoneda embedding, injective envelopes, Grothendieck categories, subcategories of mono objects and subcategories of absolutely pure objects. This approach is summarised as follows: • the functor category rA, Abs is abelian and has injective envelopes. • in fact, the same holds for the full subcategory LpAq of left-exact functors. • LpAqop has some nice properties: it is cocomplete and has a projective generator. • such a category embeds into R-Mod for some ring R. • in turn, A embeds into such a category. 2 Basics on abelian categories Fix some category C. Let us say that a monic A Ñ B is contained in another monic A1 Ñ B if there is a map A Ñ A1 making the diagram A B commute.
    [Show full text]
  • The Pseudo-Radical of a Commutative Ring
    Pacific Journal of Mathematics THE PSEUDO-RADICAL OF A COMMUTATIVE RING ROBERT WILLIAM GILMER,JR. Vol. 19, No. 2 June 1966 PACIFIC JOURNAL OF MATHEMATICS Vol. 19, No. 2, 1966 THE PSEUDO-RADICAL OF A COMMUTATIVE RING ROBERT W. GILMER, JR. If D is an integral domain with identity having quotient field K, the pseudo-radical of D is defined to be the inter- section of all nonzero prime ideals of D. Consideration of the pseudo-radical arises naturally in examining the relation between the statements "D has Jacobson radical zero" and "D[u] has Jacobson radical zero, where ueK". Theorem 4 proves that the first statement implies the second. As a corollary it follows that if M is a prime ideal of the polynomial ring R[X] over a commutative ring R and if P=MnR, then M is an intersection of maximal ideals of R[X] if P is an intersection of maximal ideals of R. Consequently, if R is a Hubert ring, R[X] is also a Hubert ring. The remainder of the paper is devoted to a study of domains having nonzero pseudo-radical. Goldman has defined in [6] the concept of a Hubert ring: the commutative ring R with identity is a Hubert ring if each proper prime ideal of R is an intersection of maximal ideals; here proper means an ideal different from R. The terminology is motivated by the observation that Hubert's Nullstellensatz may be interpreted as asserting that each proper prime ideal of the polynomial domain K[Xlf - —, Xn] for K a field, is an intersection of maximal ideals.
    [Show full text]
  • Snake Lemma - Wikipedia, the Free Encyclopedia
    Snake lemma - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Snake_lemma Snake lemma From Wikipedia, the free encyclopedia The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences. The snake lemma is valid in every abelian category and is a crucial tool in homological algebra and its applications, for instance in algebraic topology. Homomorphisms constructed with its help are generally called connecting homomorphisms. Contents 1 Statement 2 Explanation of the name 3 Construction of the maps 4 Naturality 5 In popular culture 6 See also 7 References 8 External links Statement In an abelian category (such as the category of abelian groups or the category of vector spaces over a given field), consider a commutative diagram: where the rows are exact sequences and 0 is the zero object. Then there is an exact sequence relating the kernels and cokernels of a, b, and c: Furthermore, if the morphism f is a monomorphism, then so is the morphism ker a → ker b, and if g' is an epimorphism, then so is coker b → coker c. Explanation of the name To see where the snake lemma gets its name, expand the diagram above as follows: 1 of 4 28/11/2012 01:58 Snake lemma - Wikipedia, the free encyclopedia http://en.wikipedia.org/wiki/Snake_lemma and then note that the exact sequence that is the conclusion of the lemma can be drawn on this expanded diagram in the reversed "S" shape of a slithering snake. Construction of the maps The maps between the kernels and the maps between the cokernels are induced in a natural manner by the given (horizontal) maps because of the diagram's commutativity.
    [Show full text]
  • Notes on Commutative Algebra
    Notes on Commutative Algebra Dan Segal February 2015 1 Preliminary definitions etc. Rings: commutative, with identity, usually written 1 or 1R. Ring homomor- phisms are assumed to map 1 to 1. A subring is assumed to have the same identity element. Usually R will denote an arbitrary ring (in this sense). Polynomial rings I will always use t, t1,...,tn to denote independent indeterminates. Thus R[t] is the ring of polynomials in one variable over R, R[t1,...,tn] is the ring of polynomials in n variables over R, etc. The most important property of these rings is the ‘universal property’, which will frequently be used without special explanation: • Given any ring homomorphism f : R → S and elements s1,...,sn ∈ S, ∗ there exists a unique ring homomorphism f : R[t1,...,tn] → S such that ∗ ∗ f (r)= f(r) ∀r ∈ R and f (ti)= si for i = 1,...,n. Modules An R-module is an abelian group M together with an action of R on M. This means: for each r ∈ R, a −→ ar (a ∈ M) is an endomorphism of the abelian group M (i.e. a homomorphism from M to itself), and moreover this assignment gives a ring homomorphism from R into EndZ(M), the ring of all additive endomorphisms of M. In practical terms this means: for all a, b ∈ M and all r, s ∈ R we have (a + b)r = ar + br a1= a a(r + s)= ar + as a(rs)=(ar)s. 1 (Here M is a right R-module; similarly one has left R-modules, but over a commutative ring these are really the same thing.) A submodule of M is an additive subgroup N such that a ∈ N, r ∈ R =⇒ ar ∈ N.
    [Show full text]
  • Nil and Jacobson Radicals in Semigroup Graded Rings
    Faculty of Science Departement of Mathematics Nil and Jacobson radicals in semigroup graded rings Master thesis submitted in partial fulfillment of the requirements for the degree of Master in Mathematics Carmen Mazijn Promotor: Prof. Dr. E. Jespers AUGUST 2015 Acknowledgements When we started our last year of the Master in Mathematics at VUB, none of us knew how many hours we would spend on the reading, understanding and writing of our thesis. This final product as conclusion of the master was at that point only an idea. The subject was chosen, the first papers were read and the first words were written down. And more words were written, more books were consulted, more questions were asked to our promoters. Writing a Master thesis is a journey. Even though next week everyone will have handed in there thesis, we don’t yet understand clearly where this journey took us, for the future is unknown. First of all I would like to thank professor Eric Jespers, for giving me the chance to grow as mathematician in the past years. With every semester the interest in Algebra and accuracy as mathematician grew. Thank you for the guidance through all the books and papers to make this a consistent dissertation. Secondly I would like to thank all my classmates and compa˜nerosde clase. For frowned faces when we didn’t get something in class, the laughter when we realized it was a ctually quite trivial or sometimes not even at all. For the late night calls and the interesting discussions. It was a pleasure.
    [Show full text]
  • Weakly Exact Categories and the Snake Lemma 3
    WEAKLY EXACT CATEGORIES AND THE SNAKE LEMMA AMIR JAFARI Abstract. We generalize the notion of an exact category and introduce weakly exact categories. A proof of the snake lemma in this general setting is given. Some applications are given to illustrate how one can do homological algebra in a weakly exact category. Contents 1. Introduction 1 2. Weakly Exact Category 3 3. The Snake Lemma 4 4. The3 × 3 Lemma 6 5. Examples 8 6. Applications 10 7. Additive Weakly Exact Categories 12 References 14 1. Introduction Short and long exact sequences are among the most fundamental concepts in mathematics. The definition of an exact sequence is based on kernel and cokernel, which can be defined for any category with a zero object 0, i.e. an object that is both initial and final. In such a category, kernel and cokernel are equalizer and coequalizer of: f A // B . 0 arXiv:0901.2372v1 [math.CT] 16 Jan 2009 Kernel and cokernel do not need to exist in general, but by definition if they exist, they are unique up to a unique isomorphism. As is the case for any equalizer and coequalizer, kernel is monomorphism and cokernel is epimorphism. In an abelian category the converse is also true: any monomorphism is a kernel and any epimor- phism is a cokernel. In fact any morphism A → B factors as A → I → B with A → I a cokernel and I → B a kernel. This factorization property for a cate- gory with a zero object is so important that together with the existence of finite products, imply that the category is abelian (see 1.597 of [FS]).
    [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]
  • Homological Algebra Lecture 3
    Homological Algebra Lecture 3 Richard Crew Summer 2021 Richard Crew Homological Algebra Lecture 3 Summer 2021 1 / 21 Exactness in Abelian Categories Suppose A is an abelian category. We now try to formulate what it means for a sequence g X −!f Y −! Z (1) to be exact. First of all we require that gf = 0. When it is, f factors through the kernel of g: X ! Ker(g) ! Y But the composite Ker(f ) ! X ! Ker(g) ! Y is 0 and Ker(g) ! Y is a monomorphism, so Ker(f ) ! X ! Ker(g) is 0. Therefore f factors Richard Crew Homological Algebra Lecture 3 Summer 2021 2 / 21 X ! Im(f ) ! Ker(g) ! Y : Since Im(f ) ! Y is a monomorphism, Im(f ) ! Ker(g) is a monomorphism as well. Definition A sequence g X −!f Y −! Z is exact if gf = 0 and the canonical monomorphism Im(f ) ! Ker(g) is an isomorphism. Richard Crew Homological Algebra Lecture 3 Summer 2021 3 / 21 We need the following lemma for the next proposition: Lemma Suppose f : X ! Z and g : Y ! Z are morphisms in a category C which has fibered products, and suppose i : Z ! Z 0 is a monomorphism. Set f 0 = if : X ! Z 0 and g 0 = ig : Y ! Z 0. The canonical morphism X ×Z Y ! X ×Z 0 Y is an isomorphism. Proof: The canonical morphism comes from applying the universal property of the fibered product to the diagram p2 X ×Z Y / Y p1 g f g 0 X / Z i f 0 , Z 0 Richard Crew Homological Algebra Lecture 3 Summer 2021 4 / 21 The universal property of X ×Z Y is that the set of morphisms T ! X ×Z Y is in a functorial bijection with the set of pairs of morphisms a : T ! X and b : T ! Y such that fa = gb.
    [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]
  • The Snail Lemma
    Theory and Applications of Categories, Vol. 31, No. 19, 2016, pp. 484{501. THE SNAIL LEMMA ENRICO M. VITALE Resum´ e.´ The classical snake lemma produces a six terms exact sequence starting from a commutative square with one of the edge being a regular epimorphism. We establish a new diagram lemma, that we call snail lemma, removing such a condition. We also show that the snail lemma subsumes the snake lemma and we give an interpretation of the snail lemma in terms of strong homotopy kernels. Our results hold in any pointed regular protomodular category. 1. Introduction One of the basic diagram lemmas in homological algebra is the snake lemma (also called kernel-cokernel lemma). In an abelian category, it can be stated in the following way : from the commutative diagram kf f Ker(f) / A / B (1) K(α) α β Ker(f0) / A0 / B0 kf0 f0 and under the assumption that f is an epimorphism, it is possible to get an exact sequence Ker(K(α)) / Ker(α) / Ker(β) / Cok(K(α)) / Cok(α) / Cok(β) If we replace \epimorphism" with \regular epimorphism" and if α; β and K(α) are proper morphisms (Definition 2.2) the snake lemma holds also in several important non-abelian categories, like groups, crossed modules, Lie algebras, not necessarily unitary rings. Despite its very clear formulation, the snake lemma is somehow asymmetric because of the hypothesis on the morphism f: The aim of this paper is to study what happens if we remove this condition. What we prove is that we can get a six-term exact sequence (the snail sequence) starting from any commutative diagram like f A / B (2) α β A0 / B0 f0 Received by the editors 2014-07-05 and, in final form, 2016-06-07.
    [Show full text]
  • Advanced Modern Algebra Third Edition, Part 2
    GRADUATE STUDIES IN MATHEMATICS 180 Advanced Modern Algebra Third Edition, Part 2 Joseph J. Rotman American Mathematical Society 10.1090/gsm/180 GRADUATE STUDIES IN MATHEMATICS 180 Advanced Modern Algebra Third Edition, Part 2 Joseph J. Rotman American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed (Chair) Gigliola Staffilani Jeff A. Viaclovsky The 2002 edition of this book was previously published by Pearson Education, Inc. 2010 Mathematics Subject Classification. Primary 12-01, 13-01, 14-01, 15-01, 16-01, 18-01, 20-01. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-180 Library of Congress Cataloging-in-Publication Data Rotman, Joseph J., 1934– Advanced modern algebra / Joseph J. Rotman. – Third edition. volumes cm. – (Graduate studies in mathematics ; volume 165) Includes bibliographical references and index. ISBN 978-1-4704-1554-9 (alk. paper : pt. 1) ISBN 978-1-4704-2311-7 (alk. paper : pt. 2) 1. Algebra. I. Title. QA154.3.R68 2015 512–dc23 2015019659 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service.
    [Show full text]