Affin-algebraische Mengen/Affin-linear äquivalent/Impliziert isomorphen Restklassenring/Fakt/Beweis
Erscheinungsbild
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.