Homological algebra MOC

Five lemma

If the following diagram commutes in 𝖦𝗋𝗉 with both rows exact

https://q.uiver.app/#q=WzAsMTAsWzAsMCwiQV8xIl0sWzIsMCwiQV8yIl0sWzQsMCwiQV8zIl0sWzYsMCwiQV80Il0sWzgsMCwiQV81Il0sWzAsMiwiQl8xIl0sWzIsMiwiQl8yIl0sWzQsMiwiQl8zIl0sWzYsMiwiQl80Il0sWzgsMiwiQl81Il0sWzAsMSwiXFxhbHBoYV8xIl0sWzEsMiwiXFxhbHBoYV8yIl0sWzIsMywiXFxhbHBoYV8zIl0sWzMsNCwiXFxhbHBoYV80Il0sWzUsNiwiXFxiZXRhXzEiLDJdLFs2LDcsIlxcYmV0YV8yIiwyXSxbNyw4LCJcXGJldGFfMyIsMl0sWzgsOSwiXFxiZXRhXzQiLDJdLFswLDUsIlxcZ2FtbWFfMSIsMSx7InN0eWxlIjp7ImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dLFsxLDYsIlxcZ2FtbWFfMiIsMSx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1vbm8ifSwiaGVhZCI6eyJuYW1lIjoiZXBpIn19fV0sWzIsNywiXFxnYW1tYV8zIiwxXSxbMyw4LCJcXGdhbW1hXzQiLDEseyJzdHlsZSI6eyJ0YWlsIjp7Im5hbWUiOiJtb25vIn0sImhlYWQiOnsibmFtZSI6ImVwaSJ9fX1dLFs0LDksIlxcZ2FtbWFfNSIsMSx7InN0eWxlIjp7InRhaWwiOnsibmFtZSI6Im1vbm8ifX19XV0=

and 𝛾2,𝛾4 are isomorphisms, 𝛾1 epimorphism, and 𝛾5 monomorphism then 𝛾3 is an isomorphism.1 #m/thm/homology

Proof

The proof involves proving the two β€œfour lemmata”, by Diagram chasing. We will use additive notation for group operations, but the groups in question need not be abelian.

First we use the fact that 𝛾2,𝛾4 are epic and 𝛾5 is monic to show that 𝛾3 is epic.

  1. Let 𝑏3 ∈𝐡3
  2. By epi 𝛾4(π‘Ž4) =𝛽3(𝑏3) for some π‘Ž4 ∈𝐴4
  3. By commutativity 𝛽4𝛾4(π‘Ž4) =𝛾5𝛼4(π‘Ž4)
  4. By exactness 0 =𝛽4𝛽3(𝑏3) =𝛽4𝛾4(π‘Ž4) =𝛾5𝛼4(π‘Ž4)
  5. By mono 𝛼4(π‘Ž4) =0
  6. By exactness π‘Ž4 ∈ker⁑𝛼4 =im⁑𝛼3
  7. Thus π‘Ž4 =𝛼3(π‘Ž3) for some π‘Ž3 ∈𝐴3
  8. Thus 𝛽3𝛾3(π‘Ž3) =𝛾4𝛼3(π‘Ž3) =𝛾4(π‘Ž4) =𝛽3(𝑏3)
  9. Thus 𝛽3(𝑏3) βˆ’π›½3𝛾3(π‘Ž3) =0
  10. By homo 𝛽3(𝑏3 βˆ’π›Ύ3(π‘Ž3)) =0
  11. By exactness 𝑏3 βˆ’π›Ύ3(π‘Ž3) ∈ker⁑𝛽3 =im⁑𝛽2
  12. Thus 𝑏3 βˆ’π›Ύ3(π‘Ž3) =𝛽2(𝑏2) for some 𝑏2 βˆˆπ›½2
  13. By epi 𝑏2 =𝛾2(π‘Ž2) for some π‘Ž2 ∈𝐴2
  14. By commutativity 𝛽2𝛾2(π‘Ž2) =𝛾3𝛼2(π‘Ž2) =𝑏3 βˆ’π›Ύ3(π‘Ž3)
  15. By homo 𝛾3(𝛼2(π‘Ž2) +π‘Ž3) =𝛾3𝛼2(π‘Ž2) +𝛾3(π‘Ž3) =𝑏3 βˆ’π›Ύ3(π‘Ž3) +𝛾3(π‘Ž3) =𝑏3

Therefore 𝛾3 is epic. Now we will use the fact that 𝛾2,𝛾4 are monic and 𝛾1 is epic to show that 𝛾3 is monic.

  1. Let π‘Ž3 ∈ker⁑𝛾3, so 𝛾3(π‘Ž3) =0
  2. By homo 𝛽3𝛾3(π‘Ž3) =0
  3. By commutativity 𝛾4𝛼3(π‘Ž3) =0
  4. By mono 𝛼3(π‘Ž3) =0
  5. By exactness π‘Ž3 ∈ker⁑𝛼3 =im⁑𝛼2
  6. Thus π‘Ž3 =𝛼2(π‘Ž2) for some π‘Ž2 ∈𝐴2
  7. By commutativity 𝛽2𝛾2(π‘Ž2) =𝛾3𝛼2(π‘Ž2) =𝛾3(π‘Ž3) =0
  8. By exactness 𝛾2(π‘Ž2) ∈ker⁑𝛽2 =im⁑𝛽1
  9. Thus 𝛾2(π‘Ž2) =𝛽1(𝑏1) for some 𝑏1 ∈𝐡1
  10. By epi 𝑏1 =𝛾1(π‘Ž1) for some π‘Ž1 ∈𝐴1
  11. By commutativity 𝛾2𝛼1(π‘Ž1) =𝛽1𝛾1(π‘Ž1) =𝛾2(π‘Ž2)
  12. By mono 𝛼1(π‘Ž1) =π‘Ž2
  13. By exactness 𝛼2𝛼1(π‘Ž1) =𝛼2(π‘Ž2) =π‘Ž3 =0

Therefore 𝛾3 is monic.

Every Module is a group, and every abelian category has a representation as a module category (Freyd-Mitchell theorem), so the lemma holds for module and abelian categories,

#state/tidy | #lang/en | #SemBr

Footnotes

  1. 2010, Algebraische Topologie, ΒΆ3.1.10, p.130ff ↩