homomorfismo, que formalizará la noción de semejanza de dos grupos.