Invariantenring/Endliche Gruppe/Ganzheit/Fakt

Aus Wikiversity

Zur Navigation springen Zur Suche springen

Es sei ${}R$ ein kommutativer Ring, auf dem eine endliche Gruppe ${}G$ durch Ringautomorphismen operiere.

Dann ist ${}R^{G}\subseteq R$ eine ganze Erweiterung.

Zum Beweis, Alternativen Beweis erstellen

Abgerufen von „https://de.wikiversity.org/w/index.php?title=Invariantenring/Endliche_Gruppe/Ganzheit/Fakt&oldid=336043“

Invariantentheorie (Algebra)/Fakten