Polynomring über Körper/Punkte im affinen Raum und K-Algebra-Homomorphismen/Identifizierung/Fakt/Beweis

Aus Wikiversity
Zur Navigation springen Zur Suche springen
Beweis

Ein -Algebrahomomorphismus ist stets durch ein -Algebra-Erzeugendensystem festgelegt. D.h. die Werte an den Variablen legen einen -Algebrahomomorphismus von nach fest. Ein solcher Einsetzungshomomorphismus ist durch definiert. Zugleich ist hier jede Vorgabe von Werten erlaubt.

Zur bewiesenen Aussage