Vector space/Change of base field/Definition

Vector space given by extension of scalars

For a ${}K$-vector space ${}V$ over a field ${}K$, and a field extension ${}K\subseteq L$, the tensor product ${}L\otimes _{K}V$ is called the (${}L$-) vector space given by extension of scalars.