Zum Inhalt springen

Affin-algebraische Mengen/Affin-linear äquivalent/Impliziert isomorphen Restklassenring/Fakt/Beweis

Aus Wikiversity
Beweis

Nach Definition von affin-linear äquivalent gibt es eine affin-lineare Variablentransformation

mit . Es sei der zugehörige Automorphismus des Polynomrings . Dabei ist

Nach dem Isomorphiesatz folgt die Isomorphie der Restklassenringe.