Romashka97Нетривиальная — это в смысле не тривиальная, т. е. не группа из одного элемента. Вот с ней эта штука, разумеется, не пройдёт!
(это кстати морфизм называется???)
Морфизм — это, как правило, полный синоним гомоморфизма. Просто после распространения языка теории категорий стало неудобно постоянно говорить об этом общем случае так длинно, вот начали сокращать до просто морфизмов, или стрелок. В алгебре, насколько понимаю, вариант
гомоморфизм пока более-менее популярен. В общем, в любом случае вас на данный момент поймут, если и поправят.