Tensorprodukt/Dachprodukt/Fakt/Beweis

Beweis

Dies ergibt sich aus der alternierenden Abbildung

gemäß Fakt  (2). Die Surjektivität beruht darauf, dass das Erzeugendensystem im Bild liegt.