Erzwingende Algebra/Erweiterungsideal/Universelle Eigenschaft/Aufgabe

Es 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.