Kommutative Algebra/Modultheorie/Isomorphie zwischen Grundring und Raum der alternierenden Abbildungen/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring, sei ein freier Modul über mit Basis .

Dann ist .

Das heißt, dass der -Modulhomomorphismus, der durch

gegeben ist, bijektiv ist.

Zum Beweis, Alternativen Beweis erstellen