True. Use the lifted basis above and put . If , applying gives , so all . Thus the form a basis of , and takes this basis to the basis of . It is a linear isomorphism.
In fact the right inverse gives the stronger splitting
For every , write ; the first term is in the kernel and the second in . Their intersection is zero because is injective. This is a direct sum decomposition.
True. Choose a basis of . By surjective function, choose with . Define the linear map by and extend by linearity. Then on every basis vector, and therefore
This constructs a right inverse and does not require to be injective. If is the zero vector space, the unique zero map is the required right inverse.