---

Fie f:(G₁,·)→(G₂,·) un morfism de grupuri si e₁ si e₂ elementele neutre ale grupurilor G₁, respectiv G₂, unde G₁≠{e₁} .
Notam cu Ker f={x∈G₁ /f(x)=e₂} . Functia f este injectiva daca si numai daca
a. Ker f=∅
b. Ker f={e₁}
c. Ker f=G₁
d. Ker f=G₁\{e₁}