Erzwingende Algebra/Erweiterungsideal/Universelle Eigenschaft/Aufgabe

Sei ${}R$ ein kommutativer Ring und sei ${}{\mathfrak {a}}=(f_{1},\ldots ,f_{n})$ ein endlich erzeugtes Ideal. Es sei ${}f\in R$ ein weiteres Element. Dann nennt man die ${}R$-Algebra

${}A=R[T_{1},\ldots ,T_{n}]/(f_{1}T_{1}+\cdots +f_{n}T_{n}+f)\,$

die erzwingende Algebra zu den ${}f_{1},\ldots ,f_{n},f$. Zeige, dass ${}A$ folgende Eigenschaft erfüllt: Zu jedem Ringhomomorphismus ${}\varphi \colon R\rightarrow S$ in einen kommutativen Ring ${}S$ mit der Eigenschaft ${}\varphi (f)\in {\mathfrak {a}}S$ gibt es einen ${}R$-Algebrahomomorphismus ${}\vartheta \colon A\rightarrow S$.

Zeige ebenso, dass dieser Homomorphismus nicht eindeutig bestimmt ist.

Eine Lösung erstellen