Es sei eine
endliche Gruppe,
die auf dem
linear operiere.
Es sei der zugehörige
Invariantenring.
Zeige, dass der
Bahnenraum
, versehen mit der
Bildtopologie
des
(euklidischen)
, mit dem -Spektrum , versehen mit der
natürlichen Topologie,
übereinstimmt.