Есть теорема: подгруппа

группы

нормальная тогда и только тогда, когда является ядром какого-либо гомоморфизма.
Раньше не возникало вопросов в этом моменте, но теперь, видимо, устал и не могу догнать:
разве не каждая группа

, необязательно нормальная, является ядром гомоморфизма

?
Ведь

тогда и только тогда, когда

? Иначе будет какая-то группа, отличная от

. Здесь вхожу в противоречие с самим собой, потому что, как известно, ядро любого гомоморфизма - нормальная подгруппа, ибо

, где я предполагал, что

Допустим, что

не равен ядру гомоморфизма

, тогда в любом случае является его подгруппой, а любая подгруппа ядра - нормальная.