Sea G un grupo (con operación