Endlich erzeugte K-Algebren/Nullenstellengebilde zu verschiedenen Restklassendarstellungen sind isomorph/über K-Spektrum/Fakt/Beweis

Beweis

Nach Fakt sind beide Nullstellengebilde homöomorph zu ${}K\!\!-\!\operatorname {Spek} \,{\left(R\right)}$, so dass sie auch untereinander homöomorph sein müssen.

Zur bewiesenen Aussage