fundamental theorem of vectorspace homomorphisms

Let be a field, a vector space, a linear subspace.
Given the projection to the quotient vector space and the canonical projection

Then for each vectorspace-homomorphism

such that , then there exists a unique vectorspace-homomorphism such that

corollary of:

• vector space as module
  
• fundamental theorem of module homomorphisms