Endlich erzeugte K-Algebren/K-Spektrum mit Zariski-Topologie/Definition

K-Spektrum

Zu einer kommutativen -Algebra von endlichem Typ bezeichnet man die Menge der -Algebrahomomorphismen

als das Spektrum von . Es wird mit bezeichnet.