Vector space/Surjective mapping with structure/Vector space structure/Exercise

Let be a field, a -vector space, and a set with a binary operation

and a mapping

Let

be a surjective mapping satisfying

for all and . Show that is a -vector space.