Invariantenring/Endliche Gruppe/Abgeschlossene Abbildung/Bildtopologie/Fakt

Aus Wikiversity

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.