K-Spektrum/Ringhomomorphismus induziert Morphismus/Fakt/Beweis
Zur Navigation springen
Zur Suche springen
Beweis
Wir wissen bereits nach Fakt, dass
eine stetige Abbildung ist. Es sei eine offene Teilmenge und das Urbild. Es sei eine algebraische Funktion mit der Hintereinanderschaltung . Wir haben zu zeigen, dass diese Abbildung ebenfalls algebraisch ist. Es sei dazu ein Punkt mit dem Bildpunkt . Es sei und auf mit . Es ist
Wir behaupten, dass auf die Gleichheit gilt. Dies folgt für aus