Endliche Gruppe/Operation auf Integritätsbereich/Quotientenkörper/Fakt

Es sei ${}G$ eine endliche Gruppe, die auf einem Integritätsbereich als Gruppe von Ringautomorphismen operiere.

Dann ist

${}Q{\left(R^{G}\right)}=(Q(R))^{G}\,.$

Zum Beweis, Alternativen Beweis erstellen