Se define la operación de producto por un escalar como una función formula_6 tal que formula_7 y donde formula_8 en donde el producto es la operación binaria correspondiente pero en el campo formula_9.