Définition, détermination et propriétés de l'isomorphisme de groupe