Invariantenring/Endliche Gruppe/Quotient ist Spektrum/Fakt

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

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

die zugehörige Spektrumsabbildung.

Dann ist ${}{\left(\operatorname {Spek} {\left(R^{G}\right)},\iota ^{*}\right)}$ der Quotient der Gruppenoperation von ${}G$ auf ${}\operatorname {Spek} {\left(R\right)}$.

Zum Beweis, Alternativen Beweis erstellen