Invariantenring/Endliche Gruppe/Quotient ist Spektrum/Fakt/Beweis

Aus Wikiversity
Beweis

Die Abbildung

ist nach Fakt surjektiv, so dass nach Fakt die Punkte aus den Bahnen der Gruppenoperation entsprechen. Daher ist ein mengentheoretischer Quotient. Nach Fakt trägt die Bildtopologie, so dass es sich auch um einen topologischen Quotienten handelt.