Es sei ${\displaystyle {}G}$ eine endliche Gruppe, die auf dem ${\displaystyle {}\mathbb {C} ^{n}}$ linear operiere. Es sei ${\displaystyle {}S=\mathbb {C} [X_{1},\ldots ,X_{n}]^{G}}$ der zugehörige Invariantenring. Zeige, dass der Bahnenraum ${\displaystyle {}\mathbb {C} ^{n}\backslash G}$, versehen mit der Bildtopologie des (euklidischen) ${\displaystyle {}\mathbb {C} ^{n}}$, mit dem ${\displaystyle {}\mathbb {C} }$-Spektrum ${\displaystyle {}\mathbb {C} \!\!-\!\operatorname {Spek} \,{\left(S\right)}}$, versehen mit der natürlichen Topologie,