Есть теорема: подгруппа
группы
нормальная тогда и только тогда, когда является ядром какого-либо гомоморфизма.
Раньше не возникало вопросов в этом моменте, но теперь, видимо, устал и не могу догнать:
разве не каждая группа
, необязательно нормальная, является ядром гомоморфизма
?
Ведь
тогда и только тогда, когда
? Иначе будет какая-то группа, отличная от
. Здесь вхожу в противоречие с самим собой, потому что, как известно, ядро любого гомоморфизма - нормальная подгруппа, ибо
, где я предполагал, что
Допустим, что
не равен ядру гомоморфизма
, тогда в любом случае является его подгруппой, а любая подгруппа ядра - нормальная.