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

K-Spektrum

Zu einer kommutativen ${}K$-Algebra ${}R$ von endlichem Typ bezeichnet man die Menge der ${}K$-Algebrahomomorphismen

$\operatorname {Hom} _{K}(R,K)$

als das Spektrum von ${}R$. Es wird mit ${}K\!\!-\!\operatorname {Spek} \,\left(R\right)$ bezeichnet.