. It's a subspace of which contains both and (and in fact the smallest such subspace). In the event that every element of can be written uniquely as , then we write instead.
Both are direct consequences of the definitions. It's very easy to see that is linear. To show that is surjective, take any ; then .
The second one isn't any harder! Give it a try and post your idea.