Точная последовательность — последовательность алгебраических объектов с последовательностью гомоморфизмов , такая что для любого образ совпадает с ядром (если оба гомоморфизма с такими индексами существуют). В большинстве приложений роль играют коммутативные группы, иногда векторные пространства или алгебры над кольцами.
Энциклопедичный YouTube
-
1/4Просмотров:318316326473
-
Лекция 10 | Топологическая K-теория | С. Подкорытов | Лекториум
-
Лекция 93 | Алгебра | Виктор Петров | Лекториум
-
Дифференциальная геометрия, лекция 7, А.В.Пенской
-
Производные категории и исключительные наборы в алгебраической геометрии
Субтитры
Связанные определения
- Точные последовательности типа
- называются короткими точными последовательностями, в этом случае — мономорфизм, а — эпиморфизм.
- При этом, если у есть правый обратный или у левый обратный морфизм, то можно отождествить с таким образом, что отождествляется с каноническим вложением в , а — с канонической проекцией на . В этом случае короткая точная последовательность называется расщепляющейся.
- Длинная точная последовательность — это точная последовательность с бесконечным числом объектов и гомоморфизмов.
- Если то последовательность называется полуточной.
Примеры
- В теории гомотопических групп большое значение имеет точная последовательность пары, в частности, точная последовательность расслоения. Если — локально тривиальное расслоение над со слоем , то следующая последовательность гомотопических групп точна[1]:
- Точная последовательность Майера — Вьеториса имеет большое значение для вычисления групп гомологий сложных пространств:
- Цепной комплекс — это полуточная последовательность абелевых групп.
- Пусть — локально тривиальное расслоение многообразий. Тогда с ним связана[2] короткая точная последовательность расслоений
- и двойственная к ней
- Здесь — касательное расслоение к многообразию , и — вертикальное и горизонтальное расслоения к соответственно. обозначает двойственное расслоение (кокасательное и т. п.).
- где и — пучок голоморфных функций на комплексном многообразии и его подпучок, состоящий из нигде не обнуляющихся функций
Литература
- ↑ Спеньер Э. Алгебраическая топология. — М.: Мир, 1971.
- ↑ Г. А. Сарданашвили Современные методы теории поля. Т.1: Геометрия и классические поля, — М.: УРСС, 1996. — 224 с.
Обычно почти сразу, изредка в течении часа.