pre- and postcomposition with a linear map is a linear map on Hom
Proposition
Let 
be vector spaces over a field 
and 
be vectorspace-homomorphisms
Then they induce vectorspace-homomorphism
given by pre resp. postcomposition
Proof
omitted / todo