Affin-algebraische Mengen/Affin-linear äquivalent/Impliziert isomorphen Restklassenring/Fakt/Beweis/Aufgabe/Lösung


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.