Conditions d'équivalence dans les groupes et vérification d'exemples