Теория групп - Теорема о гомоморфизмах

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