Formaler Potenzreihenring/Eine Variable/T+../Transformierbar auf T/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Sei ein Körper, der Potenzreihenring über und mit und .

Dann definiert der durch definierte Einsetzungshomomorpismus einen -Algebraautomorphismus auf .

Zum Beweis, Alternativen Beweis erstellen