Kommutative Algebra/Modultheorie/Alternierend aus Multilinear/Fakt/Beweis

Beweis

Es sei mit für .

Es ist zu zeigen, dass ist. Es sei hierzu die Transposition, die und tauscht.

Durch wird eine bijektive Abblidung von der alternierenden Gruppe nach definiert.


da und ist, sind die beiden Summen identisch.