Zum Inhalt springen

Kommutativer Ring/Gruppenoperation/Invariantenring/Definition

Aus Wikiversity
Invariantenring

Es sei eine Gruppe, die auf einem kommutativen Ring als Gruppe von Ringautomorphismen operiert (von rechts). Dann bezeichnet man

als den Invariantenring (oder Fixring) von unter der Operation von .