Различия
Показаны различия между двумя версиями страницы.
| Предыдущая версия справа и слева Предыдущая версия Следующая версия | Предыдущая версия | ||
|
s_k_homological_algebra_2024_2025 [23.04.2025 01:16] gordienko |
s_k_homological_algebra_2024_2025 [26.06.2025 15:37] (текущий) gordienko |
||
|---|---|---|---|
| Строка 11: | Строка 11: | ||
| - | Экзамен по задачам весеннего семестра состоится **26 мая** вместо последней лекции. | + | /* Экзамен по задачам весеннего семестра состоится **26 мая** вместо последней лекции.*/ |
| **[[https:// | **[[https:// | ||
| - | **[[https:// | + | **[[https:// |
| Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | Решённые задачи нужно будет принести в **отдельной** тонкой тетради. На экзамене будут заданы задачи и вопросы на понимание по программе ниже. Число вопросов и задач будет зависеть от того, насколько много задач вам удастся сделать дома из списка выше, и того, насколько часто я вас видел на лекциях. На экзамене ничем нельзя будет пользоваться, | ||
| Строка 134: | Строка 134: | ||
| __Упражнение.__ Пусть 0 → A → B → G → 0 — некоторое центральное расширение, | __Упражнение.__ Пусть 0 → A → B → G → 0 — некоторое центральное расширение, | ||
| - | группы | + | группы |
| H_2 (B; Z) → H_2 (G; Z) → A → 0. | H_2 (B; Z) → H_2 (G; Z) → A → 0. | ||
| Строка 141: | Строка 141: | ||
| __Упражнение.__ Доказать косимплициальные соотношения в пополненной симплициальной категории. | __Упражнение.__ Доказать косимплициальные соотношения в пополненной симплициальной категории. | ||
| - | (продолжение следует) | + | 30) **23.04.2025.** Действие факторгруппы на гомологиях нормальной подгруппы |
| + | Абсолютно свободные алгебраические структуры. | ||
| + | Многообразия алгебраических структур. | ||
| + | |||
| + | 31) **28.04.2025.** Относительно свободные алгебраические структуры. | ||
| + | Монады и комонады. Алгебры над монадами. Симплициальные объекты, | ||
| + | |||
| + | 32) **05.05.2025.** Комонадические (ко)гомологии. Абелевы группы в категориях. | ||
| + | |||
| + | __Упражнение.__ Покажите, | ||
| + | |||
| + | |||
| + | 33) **12.05.2025.** Модули Бека. | ||
| + | |||
| + | __Упражнение.__ Как устроены модули Бека в категории модулей над ассоциативным кольцом с 1? | ||
| + | |||
| + | __Упражнение.__ Вычислите когомологии Барра - Бека произвольного модуля над ассоциативной алгеброй R с 1 над полем с коэффициентами в произвольном модуле Бека в категории R-модулей. | ||
| + | |||
| + | __Упражнение.__ Как устроены модули Бека в категории алгебр Ли над полем? | ||
| + | |||
| + | Когомологии Барра - Бека с коэффициентами в модуле Бека. | ||
| + | |||
| + | 34) **19.05.2025.** Теорема Барра - Бека об ациклических моделях. Совпадение комонадических и обычных когомологий групп (проверка условий оставлена в качестве упражнения). | ||
| + | |||
| + | Темы, которые мы рассмотреть **не успели**. Комплекс Мура. Теорема Маклейна о нормализации. Соответствие Дольда - Кана. Отображение Александера - Уитни. Теорема Эйленберга - Зильбера. | ||
| **[[https:// | **[[https:// | ||
| Строка 152: | Строка 176: | ||
| **[[https:// | **[[https:// | ||
| + | |||
| + | **[[https:// | ||
| __Литература: | __Литература: | ||