Ryhmäisomorfismi

Matematiikassa ryhmäisomorfismi on bijektiivinen ryhmähomomorfismi. Formaalisti olkoon ${\displaystyle (G_{1},\cdot )}$ ja ${\displaystyle (G_{2},*)}$ ryhmiä. Tällöin kuvaus ${\displaystyle f:G_{1}\to G_{2}}$ on ryhmäisomorfismi, jos kaikilla ${\displaystyle a,b\in G_{1}}$ on voimassa ${\displaystyle f(a\cdot b)=f(a)*f(b)}$ ja ${\displaystyle f}$ on bijektiivinen. ^[1]