Vector space/Change of base field/Definition
< Vector space < Change of base field
Vector space given by extension of scalars
For a -vector space over a field , and a field extension , the tensor product is called the (-) vector space given by extension of scalars.