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

${\mathrm{Hom}}_K(R,K)$

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