Абстрактная теория групп
...можно представить как композицию естественного (сюръективного) гомоморфизма , изоморфизма и (инъективного) гомоморфизма (вложения подгруппы в группу): . Доказательство. Гомоморфизмы p и i описаны выше (см. примеры) Построим изоморфизм j . Пусть .