Es sei ${\displaystyle {}G}$ eine Gruppe, die auf einem kommutativen Ring ${\displaystyle {}R}$ als Gruppe von Ringautomorphismen und damit auf ${\displaystyle {}\operatorname {Spek} {\left(R\right)}}$ operiere. Es sei ${\displaystyle {}{\mathfrak {p}}\in \operatorname {Spek} {\left(R\right)}}$. Zeige, dass der Stabilisator ${\displaystyle {}G_{\mathfrak {p}}}$ auf dem lokalen Ring ${\displaystyle {}R_{\mathfrak {p}}}$ und auf dem

${\displaystyle {}\kappa ({\mathfrak {p}})}$