Os grupos G y H se dicen isomorfos si existen homomorfismos de grupo a: G → H y b: H → G, tals que aplicando as dos funcions una dimpués de l'atra (en cada un d'os dos ordens posibles) dan a función identidat de G y H, respectivament.