Dachprodukt/Universelle Eigenschaft/Fakt

Universelle Eigenschaft des Dachprodukts

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

eine alternierende multilineare Abbildung in einen weiteren -Vektorraum .

Dann gibt es eine eindeutig bestimmte lineare Abbildung

derart, dass das Diagramm

kommutiert.