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

Aus Wikiversity

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.