Condiciones de equivalencia en grupos y verificación de ejemplos