Invariantenring/Endliche Gruppe/Kein Charakter in den Einheiten/Faktoriell/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein faktorieller Bereich und es sei eine endliche Gruppe, die auf als Gruppe von Ringautomorphismen operiere. Die Charaktergruppe zu mit Werten in der Einheitengruppe sei trivial, d.h. es ist

Dann ist auch der Invariantenring faktoriell.

Zum Beweis, Alternativen Beweis erstellen