Kommutativer Ring/Polynomring/1/Restklassenring/Aufgabe

Es sei ein kommutativer Ring und der Polynomring über . Es sei ein Ideal mit Erzeugern

wobei mit sei. Für seien die Elemente aus , die entstehen, wenn man in die Variable durch ersetzt. Zeige, dass eine Ringisomorphie der Restklassenringe

vorliegt.