Invariantenring/Endliche Gruppe/Abgeschlossene Abbildung/Bildtopologie/Fakt

Es sei ${}R$ ein kommutativer Ring, auf dem eine endliche Gruppe ${}G$ durch Ringautomorphismen operiere.

$\iota ^{*}\colon \operatorname {Spek} {\left(R\right)}\longrightarrow \operatorname {Spek} {\left(R^{G}\right)}$

Insbesondere trägt ${}\operatorname {Spek} {\left(R^{G}\right)}$ die Bildtopologie unter dieser Abbildung.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.