base—y * una operación en G (o sea una función de G × G en G), tales que