Además, podemos definir una multiplicación en formula_206 usando la multiplicación del grupo