Gruppenvarietät/K-Algebra Homomorphismus für Addition/Aufgabe/Lösung

Wir betrachten die Abbildung

die als Einsetzungshomomorphismus wohldefiniert ist. Die induzierte Spektrumsabbildung ist

Dies ist offenbar die Addition auf .