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

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

die zugehörige Spektrumsabbildung.

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