Es sei K {\displaystyle {}K} ein Körper mit dem Potenzreihenring K [ [ T ] ] {\displaystyle {}K[\![T]\!]} . Es sei G ∈ K [ [ S ] ] {\displaystyle {}G\in K[\![S]\!]} eine Potenzreihe mit konstantem Term 0 {\displaystyle {}0} . Dann definiert G {\displaystyle {}G} durch Einsetzen einen K {\displaystyle {}K} -Algebrahomomorphismus
![{\displaystyle {}K[\![T]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e991063a4560ec3010bd77a40fcccdae80316b7)
![{\displaystyle {}G\in K[\![S]\!]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8dda2142a62241338217d1f1cfdf39bf8f1babba)
![{\displaystyle K[\![T]\!]\longrightarrow K[\![S]\!],\,F\longmapsto F(G).}](https://wikimedia.org/api/rest_v1/media/math/render/svg/14c840cdfe352678d6af13e4d3c730062e0335d2)