Endlich erzeugte K-Algebren/K-Spektren als Funktor/Verschiedene Homomorphismen/Fakt/Beweis

Beweis

(1) Dies folgt aus .

(2) Unter der hintereinandergeschalteten Abbildung

wird auf geschickt.

(3) beruht auf ähnlichen Betrachtungen, wie sie im Beweis zu Fakt durchgeführt wurden. Das zeigt auch (4). Zu (5) siehe Aufgabe.