Hauptteilmodul/Symmetrische Potenz/Differentialformen/Natürliche Abbildung/Fakt

Es sei eine kommutative -Algebra, es seien mit den zugehörigen Differentialen .

Dann wird unter der natürlichen Abbildung

das symmetrische Produkt auf

abgebildet.