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