Potenzreihenring eine Variable/Abbildung der Lokalisierung an maximalen Ideal/Aufgabe

Sei ein Körper, das zum Nullpunkt gehörige maximale Ideal mit der Lokalisierung . Definiere einen -Algebrahomomorphismus

mit , wobei den Ring der formalen Potenzreihen

bezeichnet.