Potenzreihenring eine Variable/Abbildung der Lokalisierung an maximalen Ideal/Aufgabe
Es sei ein Körper, das zum Nullpunkt gehörige maximale Ideal mit der Lokalisierung . Definiere einen -Algebrahomomorphismus
![{\displaystyle {}{\mathfrak {m}}=(T)\subset K[T]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/a76ebdc6c7b150b8a11efd6e04ba6176392d918b)
![{\displaystyle {}R=K[T]_{\mathfrak {m}}}](https://wikimedia.org/api/rest_v1/media/math/render/svg/1ddb083d4350f05bfa3166df998ed7ce9f1f0622)
![{\displaystyle \varphi \colon R\longrightarrow K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/d3effa8accf3e6d588d8c6a49bba5f84bdb25d9a)
mit , wobei den Ring der formalen Potenzreihen bezeichnet.
![{\displaystyle {}K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e991063a4560ec3010bd77a40fcccdae80316b7)