Invariantenring/Endliche Gruppe/Faser ist Bahn/Fakt

Aus Wikiversity
Zur Navigation springen Zur Suche springen

Es sei ein kommutativer Ring, auf dem eine endliche Gruppe durch Ringautomorphismen operiere und es sei

die zugehörige Spektrumsabbildung.

Dann gilt für die Äquivalenz: genau dann, wenn es ein mit gibt.

Das heißt, dass die Bahnen der Operation von auf mit den Fasern von übereinstimmen.