Es sei G {\displaystyle {}G} eine Gruppe, die auf einem kommutativen lokalen Ring als Gruppe von Ringautomorphismen operiere. Zeige, dass der
ebenfalls lokal ist.