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

Aus Wikiversity
Zur Navigation springen Zur Suche springen
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.

Zur bewiesenen Aussage