Modul/Äußere Potenz/Definition
Äußere Potenz
Es sei ein kommutativer Ring und ein -Modul. Man nennt den (in Fakt konstruierten) -Modul die -te äußere Potenz (oder das -te Dachprodukt) von . Die Abbildung
nennt man die universelle alternierende Abbildung.