Invariantenring/Endliche Gruppe/Abgeschlossene Abbildung/Bildtopologie/Fakt
Es sei ein kommutativer Ring, auf dem eine endliche Gruppe durch Ringautomorphismen operiere.
Dann ist die Spektrumsabbildung
surjektiv und abgeschlossen.
Insbesondere trägt die Bildtopologie unter dieser Abbildung.