. 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 writtenuniquelyas , 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.