Хм, связный вопрос: как доказать утверждение, что если существует инъективный гомоморфизм из

в

, то существует сюръективный гомоморфизм обратно из

в

, и верно ли оно вообще? Ибо существование сюръекции из инъекции вытекает, но будет ли при этом гомоморфизм