Пятая лемма
- Пятая лемма – важная лемма о коммутативных диаграммах в гомологической алгебре и других абелевых категориях.
- Лемма справедлива не только для абелевых категорий, но и для категории групп.
- Пятая лемма является комбинацией двух других теорем, четырех лемм, двойственных друг другу.
- Лемма утверждает, что если ряды точны, то m, p, l и q являются изоморфизмами или эпиморфизмами.
- Доказательство леммы основано на поиске диаграмм и теореме Митчелла о вложении.
- Пятая лемма часто используется для определения неизвестных групп гомологий в длинных точных последовательностях.
Полный текст статьи: