Es sei
eine endlich erzeugte kommutative
-Algebra.
Zeige, dass es auf dem
-Spektrum
eine natürliche Topologie
(oder komplexe Topologie)
gibt, die im Falle des Polynomringes
mit der metrischen Topologie auf dem
übereinstimmt. Zeige ferner, dass zu einem
-Algebrahomomorphismus
zwischen endlich erzeugten
-Algebren
und
die induzierte Abbildung
-
stetig in der natürlichen Topologie ist.