Tensorprodukt/Dachprodukt/Fakt

Es sei ein Körper und ein -Vektorraum und .

Dann gibt es eine kanonische surjektive lineare Abbildung