Доброго времени суток, помогите разобраться:
Найти критерий изоморфизма групп

операция задана покомпонентно:

Первая компонента идёт по модулю первой группы, вторая - по модулю второй группы
Понял, что необходимым условием является

. Можнт быть оно является и достаточным? Сначала думал что

(изоморфно), но оказалось что это неправда, как дальше решать не представляю