Algebra/Modul der Hauptteile/Universelle Konstruktion über Produkteigenschaft/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei eine kommutative -Algebra und .

Dann ist der Hauptteilmodul kanonisch isomorph zu dem von allen Symbolen , , erzeugten -Modul, der den Identifizierungen

  1. für und ,

  2. für ,

genügt.