Неправильно - Вы нашли только один элемент ядра, который всегда лежит в ядре при любом гомоморфизме. Если ядро гомоморфизма одноэлементно, то группа и факторгруппа изоморфны. А это не так. Более того в ядре любого гомоморфизма будет лежать несчётное множество элементов, поскольку образ не более чем счётен ...
Ладно, задача не так проста для начинающих, поэтому дам подсказку:
Пусть
такой гомоморфизм, который отображает некоторый элемент
в положительный элемент
. Куда тогда отобразится
?
Кстати, первая группа у Вас отобразилась неверно - вычитание множеств можно записать так:
\backslash