Gruppenoperation/Spektrum/Invariante irreduzible Teilmenge/Aufgabe

Aus Wikiversity

Es sei eine Gruppe, die auf einem kommutativen Ring als Gruppe von Ringautomorphismen operiere und es sei ein Primideal. Zeige, dass genau dann ein Fixpunkt der zugehörigen Operation auf ist, wenn die abgeschlossene Teilmenge

-invariant ist.