Довести, що такі групи ізоморфні одна одній

Вітаю! Скажіть будь ласка, чи правильне рішення наступного завдання:

Довести, що такі групи ізоморфні одна одній: G1 - цілі числа щодо додавання, G2 - парні числа щодо додавання, G3 - цілі числа, кратні n, щодо додавання, G4 - ступеня даного дійсного числа a (a не 0, +/- 1) з цілими показниками щодо множення.

Щоб довести, що наступні групи ізоморфні одна одній досить довести, що якась одна з них ізоморфна всім іншим, то й всі інші будуть ізоморфні одна одній (властивість транзитивності) Доводитимемо ізоморфність групи G1 трьом іншим групам: Нехай x належить групі G1, тобто приймає всі цілі числа; 1) введемо функцію f2(x)=2*x, значення цієї функції набирають по одному разу всі парні числа: x і f2(x) взаємно однозначні відображення, при цьому виконано f2(x1+x2)=f2(x1)+f2(x2), отже f2 - ізоморфізм; 2) введемо функцію f3(x)=n*x значення цієї функції приймають по одному разу всі цілі числа, кратні n: x і f3(x) взаємно однозначні відображення, при цьому виконано f3(x1+x2)=f3(x1)+f3(x2), отже f3 - ізоморфізм; 3) введемо функцію f4 (x)=a^x значення цієї функції приймають по одному разу всі ступеня даного дійсного числа a (a не 0, +/- 1) з цілими показниками: x і f4(x) взаємно однозначні відображення, при цьому виконано f4( x1+x2)=f4(x1)*f4(x2), отже f4 - ізоморфізм. ?

Я так зрозумів запис (a не 0, +/- 1) означає що a не дорівнює 0 і не дорівнює -1 або +1 просто там у скопах через кому варто, можна подумати так: а не дорівнює 0, набуває значення -1 або +1, але для такого випадку я нічого придумати не зміг, тому вирішив що все-таки a не одно +1 і -1. Так ось чи правильно рішення і чи достатньо вонопідтвердження ізоморфності цих груп? Заздалегідь спасибі.

---