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.