Morfism de grupuri și izomorfism de grupuri

Fie grupurile   și 

Definiția SA15: Morfim de grupuri 

Numim  morfism  (omomorfism)  de grupuri funcția   dacă verifică

relația   oricare ar fi 

Definiția SA16: Izomorfism de grupuri 

Spunem că funcția    este un  izomorfism de grupuri, dacă funcția   este morfism de grupuri
și este o funcție bijectivă (adică este o funcție injectivă și totodată este și o funcție surjectivă).

Definiția SA17: Grupuri izomorfe 

Grupurile   și    se numesc grupuri izomorfe, notându-se   ,  dacă între ele există cel
puțin un izomorfism de grupuri,  .

Cele două grupuri   și   nu sunt izomorfe  și notăm     atunci când nu există un
izomorfism de grupuri,  .

În figura de mai jos se poate observa mai bine noțiunea de morfism de grupuri:

Exemple:
 1. Fie funcția   dată de legea   Această funcție este un morfism între
grupurile   și   deoarece este verificată relația   
pentru orice 

Într-adevăr, avem că:

  

2. Un exemplu de izomorfism între grupurile   și   este

funcția   dată de legea 

Într-adevăr, funcția exponențială   este bijectivă și îndeplinește condiția:

 oricare ar fi 

Teorema SA18: Morfism de grupuri care au element neutru 

Fie grupurile   și    care au elementele neutre   și, respectiv   

Fie funcția    un morfism între cele două grupuri.

Atunci avem următoarele relații:

i.

ii.   pentru orice 

iii.   oricare ar fi    și 

În scriere aditivă (adică referitor la operația de adunare), relațiile de mai sus pot fi scrise astfel: 

i.
ii.   pentru orice 
iii.   oricare ar fi    și 

 Teorema SA19:  Relații între grupuri 

Fie grupurile      și 

i. Dacă    și   sunt două morfisme de grupuri, atunci și funcția

  dată de legea   este un morfism de grupuri.
ii. Dacă    este un izomorfism  de grupuri, atunci funcția    este un
izomorfism de grupuri.

Definiția SA20: Automorfism și endomorfism de grupuri 

Fie grupurile   și 

Dacă grupurile     și     concid, atunci funcția   se numește  automorfism al

grupului  .

Un morfism    se numește endomorfism al grupului 

Mulțimea endomorfismelor unui grup    o notăm cu   iar mulțimea automorfismelor lui    o

notăm cu