Tensorprodukt/Kern der Multiplikation/Standarderzeuger/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative -Algebra.

Dann wird der Kern der Multiplikation

als -Untermodul bezüglich der ersten Komponente (und insbesondere als Ideal in ) von den Ausdrücken erzeugt.