Kommutative Monoidringe/Universelle Eigenschaft für R-Algebren mit Monoidabbildung/Fakt
Zur Navigation springen
Zur Suche springen
Sei ein kommutativer Ring und sei ein kommutatives Monoid. Sei eine kommutative -Algebra und
ein Monoidhomomorphismus (bezüglich der multiplikativen Struktur von ).
Dann gibt es einen eindeutig bestimmten -Algebrahomomorphismus
derart, dass das Diagramm
kommutiert.