гомоморфный образ группы изоморфен фактор-группе по ядру гомоморфизма.