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