Por definición de cuerpo, formula_1 es grupo abeliano, y podemos considerar el producto por escalares formula_2 como una restricción a formula_3 del producto en formula_4.