Invariantenring/Endliche Gruppe/Abgeschlossene Abbildung/Bildtopologie/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

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.

Zum Beweis, Alternativen Beweis erstellen