Extensión de un cuerpo como espacio vectorial sobre el cuerpo.
Dada una extensión de cuerpos , podemos pensar en como en un espacio vectorial sobre el cuerpo : en efecto, por definición de cuerpo, es grupo abeliano, y podemos considerar el producto por escalares como una restricción a del producto en . De esta forma es inmediato que se cumple que:
● ,