Formaler Potenzreihenring/Eine Variable/Einsetzen ergibt Ringhomomorphismus/Fakt
Es sei ein Körper mit dem Potenzreihenring . Es sei eine Potenzreihe mit konstantem Term .
Dann definiert durch Einsetzen einen -Algebrahomomorphismus
Es sei ein
Körper
mit dem
Potenzreihenring
. Es sei
eine Potenzreihe mit konstantem Term
.
Dann definiert durch Einsetzen einen
-Algebrahomomorphismus