Drehgruppe auf R^2/Zwei Punkte/Invariantenring/Fakt

Aus Wikiversity

Die Drehgruppe

operiere linear und simultan auf dem .

Dann ist der Invariantenring der zugehörigen Operation auf dem Polynomring gleich

Dabei sind die ersten drei Erzeuger algebraisch unabhängig, und das Quadrat von lässt sich durch die ersten drei Erzeuger ausdrücken.