Consider a vector space V over a field F. Let K be a subfield of F.
Prove that V over K is a vector space if we retain the same addition operation and restrict scalar multiplication to scalars from K
Work so far
I figure if we just prove that there exists the 0 element, and that addition and scalar multiplication are closed, the statement.
I know there exists a zero element, as 0x=0 for and , and this 0 is also in K
Under scalar multiplication, all scalars from K are also in F, so if it was closed under F it will also be closed under K
But how do I resolve addition if the same operation is retained.