Erzwingende Algebra/Erweiterungsideal/Universelle Eigenschaft/Aufgabe
Zur Navigation springen
Zur Suche springen
Sei ein kommutativer Ring und sei ein endlich erzeugtes Ideal. Es sei ein weiteres Element. Dann nennt man die -Algebra
die erzwingende Algebra zu den . Zeige, dass folgende Eigenschaft erfüllt: Zu jedem Ringhomomorphismus in einen kommutativen Ring mit der Eigenschaft gibt es einen -Algebrahomomorphismus .
Zeige ebenso, dass dieser Homomorphismus nicht eindeutig bestimmt ist.