Ryhmäisomorfismi

Matematiikassa ryhmäisomorfismi on bijektiivinen ryhmähomomorfismi. Formaalisti olkoon $(G_1,\cdot )$ ja $(G_2,*)$ ryhmiä. Tällöin kuvaus $f:G_1\to G_2$ on ryhmäisomorfismi, jos kaikilla $a,b\in G_1$ on voimassa $f(a\cdot b)=f(a)*f(b)$ ja $f$ on bijektiivinen.