Groupes

Pour démontrer que deux groupes $G$ et $G^{\prime }$ ne sont pas isomorphes, on procède souvent par l'absurde en supposant l'existence d'un isomorphisme de $G$ sur $G^{\prime }$, et en trouvant une propriété conservée par isomorphisme (ordre d'un élément, existence d'une solution à une équation, etc...) qui est vérifiée par un des deux groupes et par par l'autre.