Fie ( ) și ( ) două grupuri. O funcție se numește morfism de grupuri dacă , oricare ar fi
Dacă morfismul este funcție bijectivă, atunci f se numește izomorfism. În acest caz spunem că cele 2 grupuri sunt izomorfe.
Proprietăți
Dacă ( ) și ( ) sunt 2 grupuri și este morfism atunci:
a) , unde și su