Formaler Potenzreihenring/Eine Variable/T+../Transformierbar auf T/Fakt
Es sei ein Körper, der Potenzreihenring über und mit und .
Dann definiert der durch definierte Einsetzungshomomorpismus einen -Algebraautomorphismus auf .
Es sei ein
Körper,
der
Potenzreihenring
über
und
mit
und
.
Dann definiert der durch definierte Einsetzungshomomorpismus einen
-Algebraautomorphismus
auf
.