Se define la operación de producto por un escalar como una función formula_100 tal que formula_101 y donde formula_102 en donde el producto es la operación binaria correspondiente pero en el campo formula_15.