Теория групп - Теорема о гомоморфизмах
Теорема о гомоморфизмах - одна из основных теорем в теории групп. Формулировка: фактор-группа по ядру гомоморфизма изоморфна его образу. Она убивает любого студента-технаря, а гуманитария и вовсе разрывает на куски. Когда-то нам дали её как задание на самостоятельное доказательство на первом курсе, и тогда казалось, что это жестяк. Но доказывается теорема довольно несложно, и в этом стриме я покажу, как это делается.
Таймкоды:
00:00 Вступление, формулировка теоремы о гомоморфизмах
09:25 Почему я запомнил эту теорему, история с первого курса
18:00 Группа, подгруппа, гомоморфизм, изоморфизм
35:20 Классы смежности, нормальная подгруппа, фактор-группа
44:34 Доказательство теоремы о гомоморфизмах