Let K {\displaystyle {}K} be a field, V {\displaystyle {}V} a K {\displaystyle {}K} -vector space, and M {\displaystyle {}M} a set with a binary operation
and a mapping
Let
be a surjective mapping satisfying
for all x , y ∈ V {\displaystyle {}x,y\in V} and s ∈ K {\displaystyle {}s\in K} . Show that M {\displaystyle {}M} is a K {\displaystyle {}K} -vector space.